Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts
Formal Methods in System Design
Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
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
Compositional Verification of Real-Time Applications
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Compositional Refinement for Hierarchical Hybrid Systems
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
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
Composing Abstractions of Hybrid Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Masaccio: A Formal Model for Embedded Components
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Model Checking for Timed Logic Processes
CL '00 Proceedings of the First International Conference on Computational Logic
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Modular Specification of Hybrid Systems in CHARON
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Information and Computation
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
Theory and Practice of Probabilistic Timed Game for Embedded Systems
ICESS '07 Proceedings of the 3rd international conference on Embedded Software and Systems
Trading Infinite Memory for Uniform Randomness in Timed Games
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Timed Parity Games: Complexity and Robustness
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
From synchronous programs to symbolic representations of hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
The concept of deadlock and livelock in hybrid control systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Efficient mode enumeration of compositional hybrid systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Hybrid modelling and control of power electronics
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
An accelerated algorithm for 3-color parity games with an application to timed games
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Synthesis of memory-efficient "real-time" controllers for safety objectives
Proceedings of the 14th international conference on Hybrid systems: computation and control
Formal verification of hybrid systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Model-checking timed ATL for durational concurrent game structures
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Minimum-time reachability in timed games
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems
Information and Computation
Hi-index | 0.00 |