Goran Frehse

	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

Coauthor Index

1	Sumit Kumar Jha	[7]
2	Bruce H. Krogh	[2] [4] [7]
3	Oded Maler	[2] [5]
4	Rob A. Rutenbar	[2] [4]