Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
Action Systems with Continuous Behaviour
Hybrid Systems V
Checking Safe Trajectories of Aircraft Using Hybrid Automata
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Polyhedral Flows in Hybrid Automata
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Assertion-Based Analysis of Hybrid Systems with PVS
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Polyhedral Flows in Hybrid Automata
Formal Methods in System Design
Understanding Basic Automata Theory in the Continuous Time Setting
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Abstractions for hybrid systems
Formal Methods in System Design
On timed simulation relations for hybrid systems and compositionality
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Reachability analysis of non-linear planar autonomous systems
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
A box-based distance between regions for guiding the reachability analysis of spaceex
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Understanding Basic Automata Theory in the Continuous Time Setting
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
| Hi-index | 0.00 |