Goran Frehse
Goran Frehse
Associate Professor of Computer Science, ENSTA ParisTech
Dirección de correo verificada de ensta-paristech.fr - Página principal
TítuloCitado porAño
PHAVer: algorithmic verification of hybrid systems past HyTech
G Frehse
International Journal on Software Tools for Technology Transfer (STTT) 10 (3 …, 2008
8232008
SpaceEx: Scalable verification of hybrid systems
G Frehse, C Le Guernic, A Donzé, S Cotton, R Ray, O Lebeltel, R Ripado, ...
Computer Aided Verification, 379-395, 2011
7742011
Verifying analog oscillator circuits using forward/backward abstraction refinement
G Frehse, BH Krogh, RA Rutenbar
Proceedings of the Conference on Design, Automation and Test in Europe, 257-262, 2006
1122006
A counterexample-guided approach to parameter synthesis for linear hybrid automata
G Frehse, SK Jha, BH Krogh
International Workshop on Hybrid Systems: Computation and Control, 187-200, 2008
1052008
Recent progress in continuous and hybrid reachability analysis
E Asarin, T Dang, G Frehse, A Girard, C Le Guernic, O Maler
2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE …, 2006
1032006
Modelling, analysis, and design of hybrid systems
S Engell, G Frehse, E Schnieder
Springer Verlag, 2002
1002002
Compositional Verification of Hybrid Systems Using Simulation Relations
G Frehse
Radboud University Nijmegen, 2005
662005
Flowpipe approximation and clustering in space-time
G Frehse, R Kateja, C Le Guernic
Proceedings of the 16th international conference on Hybrid systems …, 2013
602013
Formal analysis of timing effects on closed-loop properties of control software
G Frehse, A Hamann, S Quinton, M Woehrle
2014 IEEE Real-Time Systems Symposium, 53-62, 2014
502014
Assume-guarantee abstraction refinement meets hybrid systems
S Bogomolov, G Frehse, M Greitschus, R Grosu, C Pasareanu, A Podelski, ...
Haifa verification conference, 116-131, 2014
452014
Assume-guarantee reasoning for hybrid I/O-automata by over-approximation of continuous interaction
G Frehse, Z Han, B Krogh
2004 43rd IEEE Conference on Decision and Control (CDC)(IEEE Cat. No …, 2004
442004
Time domain verification of oscillator circuit properties
G Frehse, BH Krogh, RA Rutenbar, O Maler
Electronic Notes in Theoretical Computer Science 153 (3), 9-22, 2006
402006
A benchmark suite for hybrid systems reachability analysis
X Chen, S Schupp, IB Makhlouf, E Ábrahám, G Frehse, S Kowalewski
NASA Formal Methods Symposium, 408-414, 2015
362015
Current challenges in the verification of hybrid systems
S Schupp, E Ábrahám, X Chen, IB Makhlouf, G Frehse, ...
International Workshop on Design, Modeling, and Evaluation of Cyber Physical …, 2015
312015
Guided search for hybrid systems based on coarse-grained space abstractions
S Bogomolov, A Donzé, G Frehse, R Grosu, TT Johnson, H Ladan, ...
International Journal on Software Tools for Technology Transfer 18 (4), 449-467, 2016
252016
SL2SX translator: from Simulink to SpaceEx models
S Minopoli, G Frehse
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
252016
Abstraction-based guided search for hybrid systems
S Bogomolov, A Donzé, G Frehse, R Grosu, TT Johnson, H Ladan, ...
International SPIN Workshop on Model Checking of Software, 117-134, 2013
222013
Flowpipe-Guard Intersection for Reachability Computations with Support Functions
G Frehse, R Ray
Analysis and Design of Hybrid Systems (ADHS), 94-101, 2012
212012
Verification of hybrid systems
L Doyen, G Frehse, GJ Pappas, A Platzer
Handbook of Model Checking, 1047-1110, 2018
202018
Design principles for an extendable verification tool for hybrid systems
G Frehse, R Ray
IFAC Proceedings Volumes 42 (17), 244-249, 2009
192009
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20