| |
| 2008 | ||
|---|---|---|
| 7 | EE | Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh: A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. HSCC 2008: 187-200 |
| 6 | EE | Goran Frehse: PHAVer: algorithmic verification of hybrid systems past HyTech. STTT 10(3): 263-279 (2008) |
| 2007 | ||
| 5 | EE | Goran Frehse, Oded Maler: Reachability Analysis of a Switched Buffer Network. HSCC 2007: 698-701 |
| 2006 | ||
| 4 | EE | Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar: Verifying analog oscillator circuits using forward/backward abstraction refinement. DATE 2006: 257-262 |
| 3 | EE | Goran Frehse: On Timed Simulation Relations for Hybrid Systems and Compositionality. FORMATS 2006: 200-214 |
| 2 | EE | Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler: Time Domain Verification of Oscillator Circuit Properties. Electr. Notes Theor. Comput. Sci. 153(3): 9-22 (2006) |
| 2005 | ||
| 1 | EE | Goran Frehse: PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech. HSCC 2005: 258-273 |
| 1 | Sumit Kumar Jha | [7] |
| 2 | Bruce H. Krogh | [2] [4] [7] |
| 3 | Oded Maler | [2] [5] |
| 4 | Rob A. Rutenbar | [2] [4] |