Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching
IEEE Transactions on Software Engineering
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communications of the ACM
Using temporal logic for automatic verification of finite state systems
Logics and models of concurrent systems
On the development of reactive systems
Logics and models of concurrent systems
Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
State-based model checking of event-driven system requirements
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Static analysis of state-based requirements analysis for completeness and consistency
Static analysis of state-based requirements analysis for completeness and consistency
CAV '92 Proceedings of the Fourth International Workshop on Computer Aided Verification
Experiences and lessons from the analysis of TCAS II
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
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)
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model checking large software specifications
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Reduction and slicing of hierarchical state machines
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Improving Design Dependability by Exploiting an Open Model-Based Specification
IEEE Transactions on Computers
Applying the SCR requirements method to a weapons control panel: an experience report
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Aircraft Trajectory Modeling and Altering Algorithm Verification
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
A Discussion About Integrated Techniques
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Automatic Generation of Formal Specification from Requirements Definition
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Automated Validation of Software Models
Proceedings of the 16th IEEE international conference on Automated software engineering
CASCON '03 Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Tabular Expressions and Their Relational Semantics
Fundamenta Informaticae
Supporting use case based requirements engineering
Information and Software Technology
Applying restricted english grammar on automotive requirements: does it work? a case study
REFSQ'11 Proceedings of the 17th international working conference on Requirements engineering: foundation for software quality
rt-inconsistency: a new property for real-time requirements
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Toward consistency checking of natural language temporal requirements
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Tabular Expressions and Their Relational Semantics
Fundamenta Informaticae
Checking sanity of software requirements
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
State-based model slicing: A survey
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |