Temporal Properties of Self-Timed Rings
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
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
Generating embedded software from hierarchical hybrid models
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Dynamic structure multiparadigm modeling and simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Distributed-code generation from hybrid systems models for time-delayed multirate systems
Proceedings of the 5th ACM international conference on Embedded software
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
SHIFT and SMART-AHS: a language for hybrid system engineering modeling and simulation
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Model-Driven Development of Reliable Automotive Services
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Quantified differential dynamic logic for distributed hybrid systems
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Quantified differential invariants
Proceedings of the 14th international conference on Hybrid systems: computation and control
Distributed theorem proving for distributed hybrid systems
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Hi-index | 0.00 |