Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
Modeling and Parameters Synthesis for an Air Traffic Management System
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Reachability for linear hybrid automata using iterative relaxation abstraction
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Symbolic reachability analysis of lazy linear hybrid automata
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
On under-determined dynamical systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
PHAVer: algorithmic verification of hybrid systems past hytech
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Reachability analysis of non-linear planar autonomous systems
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Synthesizing switching controllers for hybrid systems by generating invariants
Theories of Programming and Formal Methods
| Hi-index | 0.01 |