Designing algorithms for distributed systems with partially synchronized clocks
PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
Bounds on the time to reach agreement in the presence of timing uncertainty
Journal of the ACM (JACM)
Are wait-free algorithms fast?
Journal of the ACM (JACM)
Formal verification of timed properties of randomized distributed algorithms
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets
IEEE Transactions on Software Engineering
Automated deductive requirements analysis of critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion
IEEE Transactions on Software Engineering
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
From Early to Late Formal Requirements: A Process-Control Case Study
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
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
Using mappings to prove timing properties
Distributed Computing
Specifying Urgency in Timed I/O Automata
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
A formal verification approach for DEVS
Proceedings of the 2007 Summer Computer Simulation Conference
Discrete event modeling through a multi-formalism approach, from a user-oriented perspective
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
Modeling Computational Security in Long-Lived Systems
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Event order abstraction for parametric real-time system verification
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Towards a real-time distributed computing model
Theoretical Computer Science
PVS Strategies for Proving Abstraction Properties of Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
ISTSM: incompletely specified timed sequential machines (Work-in-Progress)
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Translating timed i/o automata specifications for theorem proving in PVS
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
From sequential machines to DEVS formalism
SCSC '09 Proceedings of the 2009 Summer Computer Simulation Conference
An algebraic structure for duration automata
ICCCI'12 Proceedings of the 4th international conference on Computational Collective Intelligence: technologies and applications - Volume Part II
ACM Computing Surveys (CSUR)
An introduction to Timed Sequential Machines
Simulation
| Hi-index | 0.00 |