Specifying mode requirements of embedded systems
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts
Formal Methods in System Design
Fundamenta Informaticae
Theoretical Computer Science
Biocomputation: modeling and analyzing biomolecular networks
Computing in Science and Engineering
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Hierarchical Hybrid Modeling of Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Time-Deterministic Hybrid Transition Systems
Hybrid Systems V
Action Systems with Continuous Behaviour
Hybrid Systems V
High-Level Modeling and Analysis of an Air-Traffic Management System (Abstract)
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
On the Existence of Solutions to Controlled Hybrid Automata
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Compositional Refinement for Hierarchical Hybrid Systems
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Hybrid Modeling and Simulation of Biomolecular Networks
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
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
A Framework for Reasoning about Animation Systems
IVA '01 Proceedings of the Third International Workshop on Intelligent Virtual Agents
Modular Specification of Hybrid Systems in CHARON
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Information and Computation
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
A brief history of process algebra
Theoretical Computer Science - Process algebra
Distributing synchronous programs using bounded queues
Proceedings of the 5th ACM international conference on Embedded software
Environmental modeling with UML
Formal methods for embedded distributed systems
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
Observer-Based Control of Linear Complementarity Systems
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Compositional Abstraction in Real-Time Model Checking
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
CPO semantics of timed interactive actor networks
Theoretical Computer Science
Classes and inheritance in actor-oriented design
ACM Transactions on Embedded Computing Systems (TECS)
A static verification approach for architectural integration of mixed-signal integrated circuits
Integration, the VLSI Journal
SDL time extensions from a semantic point of view
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Approximate stabilisation of uncertain hybrid systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Safety verification of model helicopter controller using hybrid input/output automata
HSCC'03 Proceedings of the 6th 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
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Operational semantics of hybrid systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Controllers for reachability specifications for hybrid systems
Automatica (Journal of IFAC)
Fundamenta Informaticae
| Hi-index | 0.00 |