 | 2011 |
|---|
| 10 |       | Goran Frehse,
Colas Le Guernic,
Alexandre Donzé,
Scott Cotton,
Rajarshi Ray,
Olivier Lebeltel,
Rodolfo Ripado,
Antoine Girard,
Thao Dang,
Oded Maler:
SpaceEx: Scalable Verification of Hybrid Systems.
CAV 2011: 379-395 |
| 9 | | Goran Frehse,
Kim G. Larsen,
Marius Mikucionis,
Brian Nielsen:
Monitoring Dynamical Signals While Testing Timed Aspects of a System.
ICTSS 2011: 115-130 |
| 8 | | Xin Chen,
Erika Ábrahám,
Goran Frehse:
Efficient Bounded Reachability Computation for Rectangular Automata.
RP 2011: 139-152 |
| 2008 |
|---|
| 7 | | Goran Frehse,
Sumit Kumar Jha,
Bruce H. Krogh:
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata.
HSCC 2008: 187-200 |
| 6 | | Goran Frehse:
PHAVer: algorithmic verification of hybrid systems past HyTech.
STTT 10(3): 263-279 (2008) |
| 2007 |
|---|
| 5 | | Goran Frehse,
Oded Maler:
Reachability Analysis of a Switched Buffer Network.
HSCC 2007: 698-701 |
| 2006 |
|---|
| 4 | | Goran Frehse,
Bruce H. Krogh,
Rob A. Rutenbar:
Verifying analog oscillator circuits using forward/backward abstraction refinement.
DATE 2006: 257-262 |
| 3 | | Goran Frehse:
On Timed Simulation Relations for Hybrid Systems and Compositionality.
FORMATS 2006: 200-214 |
| 2 | | 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 | | Goran Frehse:
PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech.
HSCC 2005: 258-273 |
Data released under the ODC-BY 1.0 license — See also our legal information page