The complexity of propositional linear temporal logics
Journal of the ACM (JACM)
“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Automatic Verification of Sequential Circuits Using Temporal Logic
IEEE Transactions on Computers
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Automatic verification of finite state machines using temporal logic
Automatic verification of finite state machines using temporal logic
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
TRIO: A logic language for executable specifications of real-time systems
Journal of Systems and Software - On the role of language in programming
RSF: A Formalism for Executable Requirement Specifications
IEEE Transactions on Software Engineering
Variable Elimination and Chaining in a Resolution-based Prover for Inequalities
Proceedings of the 5th Conference on Automated Deduction
Tools and rules for the practicing verifier
Tools and rules for the practicing verifier
State determination in hard-embedded systems
State determination in hard-embedded systems
Completeness and consistency analysis of state-based requirements
Proceedings of the 17th international conference on Software engineering
Beyond objects: a software design paradigm based on process control
ACM SIGSOFT Software Engineering Notes
Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
An approach to large-scale collection of application usage data over the Internet
Proceedings of the 20th international conference on Software engineering
Automatic abstraction for model checking software systems with interrelated numeric constraints
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
State-Based Model Checking of Event-Driven System Requirements
IEEE Transactions on Software Engineering
A Discussion About Integrated Techniques
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
A property based specification formalism classification
Journal of Systems and Software
| Hi-index | 0.00 |