Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Synthesis and Viability of Minimally Interventive LegalControllers for Hybrid Systems
Discrete Event Dynamic Systems
Decidability results in First–Order Hybrid PetriNets
Discrete Event Dynamic Systems
A Compared Study of Two Correctness Proofs for the Standardized Algorithm of ABR Conformance
Formal Methods in System Design
Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
Theoretical Computer Science
Theoretical Computer Science
Widening the Boundary between Decidable and Undecidable Hybrid Systems
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Series of Abstractions for Hybrid Automata
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Verification of duration systems using an approximation approach
Journal of Computer Science and Technology
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Relating Hybrid Chi to Other Formalisms
Electronic Notes in Theoretical Computer Science (ENTCS)
Abstractions for hybrid systems
Formal Methods in System Design
Inclusion dynamics hybrid automata
Information and Computation
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Foundations of a compositional interchange format for hybrid systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Continuous time and/or continuous distributions
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
A logic-based modeling and verification of CPS
ACM SIGBED Review - Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems
Logic and compositional verification of hybrid systems
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Differential dynamic logics: automated theorem proving for hybrid systems
Differential dynamic logics: automated theorem proving for hybrid systems
Reachability analysis of multi-affine systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Low dimensional hybrid systems - decidable, undecidable, don't know
Information and Computation
Real-Counter automata and their decision problems
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science
Controllers for reachability specifications for hybrid systems
Automatica (Journal of IFAC)
Switching controller design via convex polyhedral Lyapunov functions
Automatica (Journal of IFAC)
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.01 |