Search the dblp DataBase

Publications of Author

1. Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar
   Verifying analog oscillator circuits using forward/backward abstraction refinement. [Citation Graph (0, 0)][DBLP]
   DATE, 2006, pp:257-262 [Conf]
   
2. Goran Frehse
   On Timed Simulation Relations for Hybrid Systems and Compositionality. [Citation Graph (0, 0)][DBLP]
   FORMATS, 2006, pp:200-214 [Conf]
   
3. Goran Frehse
   PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech. [Citation Graph (0, 0)][DBLP]
   HSCC, 2005, pp:258-273 [Conf]
   
4. Goran Frehse, Oded Maler
   Reachability Analysis of a Switched Buffer Network. [Citation Graph (0, 0)][DBLP]
   HSCC, 2007, pp:698-701 [Conf]
   
5. Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler
   Time Domain Verification of Oscillator Circuit Properties. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:153, n:3, pp:9-22 [Journal]
   
6. 
   A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. [Citation Graph (, )][DBLP]