Reduction of Timed Hybrid Systems
Discrete Event Dynamic Systems
Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
Model checking of systems with many identical timed processes
Theoretical Computer Science
Theoretical Computer Science
On the Existence of Network Invariants for Verifying Parameterized Systems
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Symbolic Model Checking for Rectangular Hybrid Systems
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
A Classification of Symbolic Transition Systems
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
Compositional Termination Analysis of Symbolic Forward Analysis
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Hybrid Systems with Finite Bisimulations
Hybrid Systems V
Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
A Geometric Approach to Bisimulation and Verification of Hybrid Systems
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
A New Class of Decidable Hybrid Systems
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Hybrid Feedback Control for Path Tracking by a Bounded-Curvature Vehicle
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Series of Abstractions for Hybrid Automata
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
A Logical Viewpoint on Process-Algebraic Quotients
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
General decidability theorems for infinite-state systems
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
A classification of symbolic transition systems
ACM Transactions on Computational Logic (TOCL)
On the expressiveness and decidability of o-minimal hybrid systems
Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage
On model-checking timed automata with stopwatch observers
Information and Computation
Abstractions for hybrid systems
Formal Methods in System Design
An Exercise on Transition Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
A Uniform Approach to Three-Valued Semantics for μ-Calculus on Abstractions of Hybrid Automata
HVC '08 Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing
A perspective on service orchestration
Science of Computer Programming
On model-checking timed automata with stopwatch observers
Information and Computation
On the expressiveness and decidability of o-minimal hybrid systems
Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage
Succinct discrete time approximations of distributed hybrid automata
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
The discrete time behavior of lazy linear hybrid automata
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Modular discrete time approximations of distributed hybrid automata
Theoretical Computer Science
Approximately bisimilar symbolic models for digital control systems
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Model checking systems and specifications with parameterized atomic propositions
ATVA'12 Proceedings of the 10th international conference on Automated Technology for Verification and Analysis
| Hi-index | 0.00 |