Specifying and using a partitionable group communication service
PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing
Using TAME to prove invariants of automata models: Two case studies
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Specifying and using a partitionable group communication service
ACM Transactions on Computer Systems (TOCS)
A Timed Verification of the IEEE 1394 Leader Election Protocol
Formal Methods in System Design
TAME: Using PVS strategies for special-purpose theorem proving
Annals of Mathematics and Artificial Intelligence
Proving Invariants of I/O Automata with TAME
Automated Software Engineering
Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Refinement and Continuous Behaviour
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Programming methodology
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 theory of normed simulations
ACM Transactions on Computational Logic (TOCL)
Safe compositional specification of networking systems
ACM SIGCOMM Computer Communication Review
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications
Proceedings of the 5th international workshop on Software and performance
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Towards integrated verification of timed transition models
Fundamenta Informaticae - Special issue on application of concurrency to system design (ACSD'04)
Can We Build an Automatic Program Verifier? Invariant Proofs and Other Challenges
Verified Software: Theories, Tools, Experiments
Automatically transforming and relating Uppaal models of embedded systems
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Verifying average dwell time of hybrid systems
ACM Transactions on Embedded Computing Systems (TECS)
Towards a real-time distributed computing model
Theoretical Computer Science
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
PVS Strategies for Proving Abstraction Properties of Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Safe compositional network sketches: formal framework
Proceedings of the 13th ACM 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
Weak bisimulation for Probabilistic Timed Automata
Theoretical Computer Science
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
Relational concurrent refinement: timed refinement
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
An event-b approach to timing issues applied to the generic insulin infusion pump
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
Towards Integrated Verification of Timed Transition Models
Fundamenta Informaticae - APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD'04)
Refinement-Based development of timed systems
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Formal analysis of TESLA protocol in the timed OTS/CafeOBJ method
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
ACM Computing Surveys (CSUR)
Analyzing an embedded sensor with timed automata in uppaal
ACM Transactions on Embedded Computing Systems (TECS)
| Hi-index | 0.00 |