Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Integrating obstacles in goal-driven requirements engineering
Proceedings of the 20th international conference on Software engineering
Formal verification in hardware design: a survey
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Proceedings of the 22nd international conference on Software engineering
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial
Formal Methods in System Design
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Symbolic Reachability Computation for Families of Linear Vector Fields
Journal of Symbolic Computation
The complexity of propositional linear temporal logics in simple cases
Information and Computation
Deriving operational software specifications from system goals
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset
Automated Software Engineering
Deriving operational software specifications from system goals
ACM SIGSOFT Software Engineering Notes
Visual Abstractions for Temporal Verification
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
A Light-Weight Framework for Hardware Verification
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
The Expressive Power of Temporal Logic of Actions (Extended Abstract)
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Deductive Verification of Modular Systems
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
A Generalization of Shostak's Method for Combining Decision Procedures
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
Model Checking for Timed Logic Processes
CL '00 Proceedings of the First International Conference on Computational Logic
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
ICS: Integrated Canonizer and Solver
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Symbolic Analysis of Transition Systems
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Handbook of automated reasoning
Requirements interaction management
ACM Computing Surveys (CSUR)
A verifier for interactive, data-driven web applications
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Canonization for disjoint unions of theories
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Modular Pluggable Analyses for Data Structure Consistency
IEEE Transactions on Software Engineering
Temporal Verification of Fault-Tolerant Protocols
Methods, Models and Tools for Fault Tolerance
Monitoring Interfaces for Faults
Electronic Notes in Theoretical Computer Science (ENTCS)
Canonization for disjoint unions of theories
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
An overview of the Jahob analysis system: project goals and current status
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Validity checking for finite automata over linear arithmetic constraints
FSTTCS'06 Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science
Validating Quality Attribute Requirements
Software—Practice & Experience
Formal methods in avionic software certification: the DO-178C perspective
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
| Hi-index | 0.00 |