Proving Approximate Implementations for Probabilistic I/O Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
The power of simulation relations
Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing
Convergence Verification: From Shared Memory to Partially Synchronous Systems
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Compositional Abstraction in Real-Time Model Checking
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Event order abstraction for parametric real-time system verification
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Self-stabilizing Mobile Robot Formations with Virtual Nodes
SSS '08 Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Periodically Controlled Hybrid Systems
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Self-stabilizing robot formations over unreliable networks
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services
CPAIOR '09 Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Modeling and simulation of cardiac tissue using hybrid I/O automata
Theoretical Computer Science
Gradient clock synchronization in dynamic networks
Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures
Integrated behavior models for factory automation systems
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Learning cycle-linear hybrid automata for excitable cells
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Safety verification of an aircraft landing protocol: a refinement approach
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Trace-based semantics for probabilistic timed I/O automata
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Translatable finite state time machine
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Self-stabilization and virtual node layer emulations
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Reliability properties of models for flexible design and run-time analysis
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
Optimal deployment of eventually-serializable data services
CPAIOR'08 Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Neighbor discovery in mobile ad hoc networks using an abstract MAC layer
Allerton'09 Proceedings of the 47th annual Allerton conference on Communication, control, and computing
CUTS: a system execution modeling tool for realizing continuous system integration testing
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Reliable neighbor discovery for mobile ad hoc networks
Proceedings of the 6th International Workshop on Foundations of Mobile Computing
Methodologies for specification of real-time systems using timed I/O automata
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
On the automated implementation of time-based paxos using the IOA compiler
OPODIS'10 Proceedings of the 14th international conference on Principles of distributed systems
Towards a verification framework for faulty message passing systems in PVS
Innovations in Systems and Software Engineering
Lyapunov abstractions for inevitability of hybrid systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Computing bounded reach sets from sampled simulation traces
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
Analyzing an embedded sensor with timed automata in uppaal
ACM Transactions on Embedded Computing Systems (TECS)
| Hi-index | 0.00 |