Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation
IEEE Transactions on Software Engineering
Automated Analysis of Concurrent Systems with the Constrained Expression Toolset
IEEE Transactions on Software Engineering
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
A graphical interval logic for specifying concurrent systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Data flow analysis for verifying properties of concurrent programs
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Using integer programming to verify general safety and liveness properties
Formal Methods in System Design - Special issue on computer-aided verification (based on CAV'92 workshop)
Pattern languages of program design
Pattern languages of program design
Model checking software systems: a case study
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Formal methods and testing: why the state-of-the art is not the state-of-the practice
ACM SIGSOFT Software Engineering Notes
Verification of communication protocols using data flow analysis
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Model checking large software specifications
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
Analysis patterns: reusable objects models
Analysis patterns: reusable objects models
Model checking graphical user interfaces using abstractions
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
Data Model Patterns: Conventions of Thought
Data Model Patterns: Conventions of Thought
Symbolic Model Checking
An empirical comparison of static concurrency analysis techniques
An empirical comparison of static concurrency analysis techniques
Filter-based model checking of partial systems
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
A practical method for verifying event-driven software
Proceedings of the 21st international conference on Software engineering
An Automated Verification Method for Distributed Systems Software Based on Model Extraction
IEEE Transactions on Software Engineering
PROPEL: an approach supporting property elucidation
Proceedings of the 24th International Conference on Software Engineering
Model Checking Large Software Specifications
IEEE Transactions on Software Engineering
Automatically verifying an object-oriented specification of the steam-boiler system
Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
A Fixpoint Based Encoding for Bounded Model Checking
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
A Formal Methodology to Specify E-commerce Systems
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
VIP: A Visual Editor and Compiler for v-Promela
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Performance Evaluation: = (Process Algebra + Model Checking) × Markov Chains
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Safety Patterns - The Key to Formal Specification of Safety Requirements
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Extending JML Specifications with Temporal Logic
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Antipattern-Based Detection of Deficiencies in Java Multithreaded Software
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
A semantically-derived subset of English for hardware verification
ACL '99 Proceedings of the 37th annual meeting of the Association for Computational Linguistics on Computational Linguistics
Factorising temporal specifications
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
Runtime Validation of Behavioural Contracts for Component Software
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
More efficient on-the-fly LTL verification with Tarjan's algorithm
Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2004)
XFM: extreme formal method for capturing formal specification into abstract models
Formal methods and models for system design
Distributed breadth-first search LTL model checking
Formal Methods in System Design
Feature interaction detection by pairwise analysis of LTL properties: a case study
Formal Methods in System Design
Towards security monitoring patterns
Proceedings of the 2007 ACM symposium on Applied computing
Seamless formal verification of complex event processing applications
Proceedings of the 2007 inaugural international conference on Distributed event-based systems
REX, the rule and event eXplorer
Proceedings of the 2007 inaugural international conference on Distributed event-based systems
A static compliance-checking framework for business process models
IBM Systems Journal
Security protocols, properties, and their monitoring
Proceedings of the fourth international workshop on Software engineering for secure systems
Model-Checking Large Finite-State Systems and Beyond
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Efficient online monitoring of web-service SLAs
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Model Checking of Control-User Component-Based Parametrised Systems
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Property Patterns for Runtime Monitoring of Web Service Conversations
Runtime Verification
Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties
ICISS '08 Proceedings of the 4th International Conference on Information Systems Security
Introspection mechanisms for runtime verification in a system-level design environment
Microelectronics Journal
A formal analysis of requirements-based testing
Proceedings of the eighteenth international symposium on Software testing and analysis
TAGED Approximations for Temporal Properties Model-Checking
CIAA '09 Proceedings of the 14th International Conference on Implementation and Application of Automata
An Abstract Specification Language for Static Program Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Making Temporal Logic Calculational: A Tool for Unification and Discovery
FM '09 Proceedings of the 2nd World Congress on Formal Methods
A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of Scenario-based Specifications using Templates
Electronic Notes in Theoretical Computer Science (ENTCS)
Patterns for Timed Property Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal interactive systems analysis and usability inspection methods: two incompatible worlds?
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Distributed verification: exploring the power of raw computing power
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Joint structural and temporal property specification using timed story scenario diagrams
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
A requirements patterns-driven approach to specify systems and check properties
SPIN'03 Proceedings of the 10th international conference on Model checking software
Efficient model checking of safety properties
SPIN'03 Proceedings of the 10th international conference on Model checking software
Generating counter-examples through randomized guided search
Proceedings of the 14th international SPIN conference on Model checking software
Scalable multi-core LTL model-checking
Proceedings of the 14th international SPIN conference on Model checking software
Model classifications and automated verification
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Synthesis of monitors for real-time analysis of reactive systems
Pillars of computer science
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
Business process compliance through reusable units of compliant processes
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
On the virtue of patience: minimizing Büchi automata
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
Pointfree expression and calculation: from quantification to temporal logic
Formal Methods in System Design
Monitoring and recovery of web service applications
The smart internet
Monitoring and recovery of web service applications
The smart internet
On the formal specification of regulatory compliance: a comparative analysis
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
Querying contract databases based on temporal behavior
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Identifying state space reduction techniques from behavioural design patterns
Proceedings of the Third Workshop on Behavioural Modelling
Towards support for software model checking: improving the efficiency of formal specifications
Advances in Software Engineering
Pattern based property specification and verification for service composition
WISE'06 Proceedings of the 7th international conference on Web Information Systems
Weak Alphabet Merging of Partial Behavior Models
ACM Transactions on Software Engineering and Methodology (TOSEM)
Cluster-Based LTL model checking of large systems
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Tool for translating simulink models into input language of a model checker
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Correct transformation: From object-based graph grammars to PROMELA
Science of Computer Programming
Extending JML for modular specification and verification of multi-threaded programs
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
On-the-fly emptiness checks for generalized büchi automata
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
Verifying pattern-generated LTL formulas: a case study
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
Efficient computation of causal behavioural profiles using structural decomposition
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Larger automata and less work for LTL model checking
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
LTL translation improvements in spot
VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems
Nested dynamic condition response graphs
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Reliability analysis in component-based development via probabilistic model checking
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Specification patterns from research to industry: a case study in service-based applications
Proceedings of the 34th International Conference on Software Engineering
On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties
Science of Computer Programming
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
An approach to model checking ada programs
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Specification patterns for properties over reachable states of graph grammars
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
Checking sanity of software requirements
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Leveraging formal verification tools for DSML users: a process modeling case study
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Engineering Applications of Artificial Intelligence
Business process regulatory compliance management solution frameworks: a comparative evaluation
APCCM '12 Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130
A business protocol unit testing framework for web service composition
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
On enabling compliance of cross-organizational business processes
BPM'13 Proceedings of the 11th international conference on Business Process Management
Formal modeling of robot behavior with learning
Neural Computation
Behavioral modeling and formal verification of a resource discovery approach in Grid computing
Expert Systems with Applications: An International Journal
KBRE: a framework for knowledge-based requirements engineering
Software Quality Control
LTL translation improvements in Spot 1.0
International Journal of Critical Computer-Based Systems
Hi-index | 0.00 |