Applications of temporal logic to the specification of real time systems (extended abstract)
Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Temporal logic for real time systems
Temporal logic for real time systems
An interleaving model for real time
JCIT Proceedings of the fifth Jerusalem conference on Information technology
Completing the temporal picture
Selected papers of the 16th international colloquium on Automata, languages, and programming
Proving Liveness Properties of Concurrent Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
The anchored version of the temporal framework
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Real-time programming and asynchronous message passing
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Temporal proof methodologies for real-time systems
Temporal proof methodologies for real-time systems
A real-time transition model for analyzing behavioral compatibility of telecommunications services
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Detecting Unsafe Error Recovery Schedules
IEEE Transactions on Software Engineering
Guest A Layered Approach to Automating the Verification of Real-Time Systems
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
A Case-Study in Timed Refinement: A Mine Pump
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Analyzing refinements of state based specifications: the case of TB nets
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Targeting safety-related errors during software requirements analysis
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Extending Statecharts with Temporal Logic
IEEE Transactions on Software Engineering
Specification and verification of fault-tolerance, timing, and scheduling
ACM Transactions on Programming Languages and Systems (TOPLAS)
Statically Safe Speculative Execution for Real-Time Systems
IEEE Transactions on Software Engineering
An Interval Logic for Real-Time System Specification
IEEE Transactions on Software Engineering
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
A Specification and Validation Technique Based on STATEMATE and FNLOG
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Verification of fault tolerance and real time
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
On Inspection and Verification of Software with Timing Requirements
IEEE Transactions on Software Engineering
Using mappings to prove timing properties
Distributed Computing
A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol
Electronic Notes in Theoretical Computer Science (ENTCS)
Component-based software engineering
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Formal Verification of Compiler Transformations for Speculative Real-Time Execution
Automatica (Journal of IFAC)
Characterization of the Expressive Power of Silent Transitions in Timed Automata
Fundamenta Informaticae
A mechanized semantic framework for real-time systems
FORMATS'13 Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems
| Hi-index | 0.01 |