Marsha Chechik

Proceedings of the Ninth International i* Workshop co-located with 24th International Conference on Requirements Engineering (RE 2016), 2016

Perspectives of Model Transformation Reuse.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Model management for regulatory compliance: a position paper.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

Serious games for NP-hard problems: challenges and insights.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Games and Software Engineering, 2016

Correct Reuse of Transformations is Hard to Guarantee.

[BibT_eX]

[DOI]

Steffen Zschaler

Proceedings of the Theory and Practice of Model Transformations, 2016

Observational Refinement and Merge for Disjunctive MTSs.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Cloned product variants: from ad-hoc to managed software product lines.

[BibT_eX]

[DOI]

Krzysztof Czarnecki

Int. J. Softw. Tools Technol. Transf., 2015

In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2015

A Methodology for Verifying Refinements of Partial Models.

[BibT_eX]

[DOI]

J. Object Technol., 2015

Modeling and Reasoning about Software Systems Containing Uncertainty and Variability.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

What is a feature?: a qualitative study of features in industrial software product lines.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Software Product Line, 2015

Using the crowds to satisfy unbounded requirements.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE International Workshop on Crowd-Based Requirements Engineering, 2015

MMINT: A Graphical Tool for Interactive Model Management.

[BibT_eX]

[DOI]

Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Transformation Reuse: What is the Intent?

[BibT_eX]

[DOI]

Steffen Zschaler

Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

Enriching megamodel management with collection-based operators.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Property-Based Methods for Collaborative Model Development.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, 2015

Semantic Slicing of Software Version Histories (T).

[BibT_eX]

[DOI]

Yi Li

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Integrating Crowd Intelligence into Software.

[BibT_eX]

[DOI]

Fabiano Dalpiaz

Proceedings of the 2nd IEEE/ACM International Workshop on CrowdSourcing in Software Engineering, 2015

7th International Workshop on Modeling in Software Engineering (MiSE 2015).

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

MU-MMINT: An IDE for Model Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Migrating Automotive Product Lines: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2015

A Variability-Based Approach to Reusable and Efficient Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2015

A Generalized Formal Framework for Partial Modeling.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014

Supporting early decision-making in the presence of uncertainty.

[BibT_eX]

[DOI]

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Symbolic optimization with SMT solvers.

[BibT_eX]

[DOI]

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Trace Reduction and Pattern Analysis to Assist Debugging in Model-Based Testing.

[BibT_eX]

[DOI]

Teemu Kanstrén

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Lifting model transformations to product lines.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

Using developer conversations to resolve uncertainty in software development: a position paper.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Recommendation Systems for Software Engineering, 2014

Management of Time Requirements in Component-Based Systems.

[BibT_eX]

[DOI]

Yi Li

Tian Huat Tan

Proceedings of the FM 2014: Formal Methods, 2014

A Comparison of Three Black-Box Optimization Approaches for Model-Based Testing.

[BibT_eX]

[DOI]

Teemu Kanstrén

Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, 2014

Splitting Models Using Information Retrieval and Model Crawling Techniques.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

Managing requirements uncertainty with partial models.

[BibT_eX]

[DOI]

Requir. Eng., 2013

Supporting incremental behaviour model elaboration.

[BibT_eX]

[DOI]

Comput. Sci. Res. Dev., 2013

Monitoring and recovery for web service applications.

[BibT_eX]

[DOI]

Computing, 2013

UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Managing cloned variants: a framework and experience.

[BibT_eX]

[DOI]

Krzysztof Czarnecki

Proceedings of the 17th International Software Product Line Conference, 2013

N-way model merging.

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Supporting Agility in MDE Through Modeling Language Relaxation.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Extreme Modeling co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2013), 2013

Towards a Catalog of Non-Functional Requirements in Model Transformation Languages.

[BibT_eX]

[DOI]

Soroosh Nalchigar

Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), 2013

Transformation of Models Containing Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

A framework for managing cloned product variants.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

5th international workshop on modeling in software engineering (MiSE 2013).

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Change Propagation due to Uncertainty Change.

[BibT_eX]

[DOI]

Jan Gorzny

Proceedings of the Fundamental Approaches to Software Engineering, 2013

Quality of Merge-Refactorings for Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2013

Merging Partial Behaviour Models with Different Vocabularies.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

PWWM: A Personal Web Workflow Methodology.

[BibT_eX]

[DOI]

Proceedings of the Personal Web - A Research Agenda, 2013

A Survey of Feature Location Techniques.

[BibT_eX]

[DOI]

Proceedings of the Domain Engineering, Product Lines, Languages, and Conceptual Models, 2013

2012

Matching and Merging of Variant Feature Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2012

Weak Alphabet Merging of Partial Behavior Models.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2012

Robust Vacuity for Branching Temporal Logic.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2012

A relationship-based approach to model integration.

[BibT_eX]

[DOI]

Mehrdad Sabetzadeh

Innov. Syst. Softw. Eng., 2012

Whale: An Interpolation-Based Algorithm for Inter-procedural Verification.

[BibT_eX]

[DOI]

Aws Albarghouthi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

From Under-Approximations to Over-Approximations and Back.

[BibT_eX]

[DOI]

Aws Albarghouthi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Managing forked product variants.

[BibT_eX]

[DOI]

Proceedings of the 16th International Software Product Line Conference, 2012

Craig Interpretation.

[BibT_eX]

[DOI]

Aws Albarghouthi

Proceedings of the Static Analysis - 19th International Symposium, 2012

Managing requirements uncertainty with partial models.

[BibT_eX]

[DOI]

Jennifer Horkoff

Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

Locating distinguishing features using diff sets.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Towards a Methodology for Verifying Partial Model Refinements.

[BibT_eX]

[DOI]

Jan Gorzny

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

The semantics of partial model transformations.

[BibT_eX]

[DOI]

Michalis Famelis

Proceedings of the 4th International Workshop on Modeling in Software Engineering, 2012

Partial models: Towards modeling and reasoning with uncertainty.

[BibT_eX]

[DOI]

Michalis Famelis

Proceedings of the 34th International Conference on Software Engineering, 2012

Language Independent Refinement Using Partial Modeling.

[BibT_eX]

[DOI]

Michalis Famelis

Proceedings of the Fundamental Approaches to Software Engineering, 2012

Combining Related Products into Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2012

Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Exploring inconsistencies between modal transition systems.

[BibT_eX]

[DOI]

Mathieu Sassolas

Softw. Syst. Model., 2011

On the consistency, expressiveness, and precision of partial modeling formalisms.

[BibT_eX]

[DOI]

Inf. Comput., 2011

CSSL: a logic for specifying conditional scenarios.

[BibT_eX]

[DOI]

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Partial models: a position paper.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Model-Driven Engineering, 2011

2010

Exploiting resolution proofs to speed up LTL vacuity detection for BMC.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2010

19th International Conference on Concurrency Theory.

[BibT_eX]

[DOI]

Franck van Breugel

Inf. Comput., 2010

Optimizing Computation of Recovery Plans for BPEL Applications

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth International Workshop on Testing, 2010

From Products to Product Lines Using Model Matching and Refactoring.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines - 14th International Conference, 2010

Guided recovery for web service applications.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

RuMoR: monitoring and recovery for BPEL applications.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

Reasoning about Consistency in Model Merging.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Living with Inconsistencies in Software Development, 2010

Abstract Analysis of Symbolic Executions.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Monitoring and Recovery of Web Service Applications.

[BibT_eX]

[DOI]

Proceedings of the Smart Internet - Current Research and Future Applications, 2010

Accelerate service integration in your BPM/SOA applications.

[BibT_eX]

[DOI]

Allen Chan

Brian Petrini

Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010

2009

Synthesis of Partial Behavior Models from Properties and Scenarios.

[BibT_eX]

[DOI]

Greg Brunet

IEEE Trans. Software Eng., 2009

Runtime Monitoring of Web Service Conversations.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2009

The SCOOP Concurrency Model in Java-like Languages.

[BibT_eX]

[DOI]

Faraz Ahmadi Torshizi

Jonathan S. Ostroff

Richard F. Paige

Proceedings of the thirty-second Communicating Process Architectures Conference, 2009

Mixed Transition Systems Revisited.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2009

A relationship-based approach to model management.

[BibT_eX]

[DOI]

Proceedings of the ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2009

Relationship-based change propagation: A case study.

[BibT_eX]

[DOI]

Proceedings of the ICSE Workshop on Modeling in Software Engineering, 2009

2008

Security Benchmarking using Partial Verification.

[BibT_eX]

[DOI]

Thomas E. Hart

David Lie

Proceedings of the 3rd USENIX Workshop on Hot Topics in Security, 2008

Towards compositional synthesis of evolving systems.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Property Patterns for Runtime Monitoring of Web Service Conversations.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, 8th International Workshop, 2008

PtYasm: Software Model Checking with Proof Templates.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

MTSA: The Modal Transition System Analyser.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Global consistency checking of distributed models with TReMer+.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Declarative approach for model composition.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Modeling in Software Engineering, 2008

Behavioural model fusion: an overview of challenges.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Modeling in Software Engineering, 2008

Model Checking Recursive Programs with Exact Predicate Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

A framework for counterexample generation and exploration.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2007

Consistency Checking of Conceptual Models via Model Merging.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Requirements Engineering Conference, 2007

A buffer overflow benchmark for software model checkers.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Finding State Solutions to Temporal Logic Queries.

[BibT_eX]

[DOI]

Mihaela Gheorghiu

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Behaviour Model Synthesis from Properties and Scenarios.

[BibT_eX]

[DOI]

Greg Brunet

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

A Relationship-Driven Framework for Model Merging.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Modeling in Software Engineering, 2007

Matching and Merging of Statecharts Specifications.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Finding Environment Guarantees.

[BibT_eX]

[DOI]

Mihaela Gheorghiu

Petcharat Viriyakattiyaporn

Proceedings of the Fundamental Approaches to Software Engineering, 2007

An Eclipse-based tool framework for software model management.

[BibT_eX]

[DOI]

Proceedings of the 2007 OOPSLA workshop on Eclipse Technology eXchange, 2007

2006

A relationship-driven approach to view merging.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2006

Data structures for symbolic multi-valued model-checking.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2006

Systematic Construction of Abstractions for Model-Checking.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2006

Why Waste a Perfectly Good Abstraction?.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Thorough Checking Revisited.

[BibT_eX]

[DOI]

Mihaela Gheorghiu

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

Properties of Behavioural Model Merging.

[BibT_eX]

[DOI]

Greg Brunet

Proceedings of the FM 2006: Formal Methods, 2006

Automated Support for Building Behavioral Models of Event-Driven Systems.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2006

Partial Behavioural Models for Requirements and Early Design.

[BibT_eX]

[DOI]

Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006

Yasm: A Software Model-Checker for Verification and Refutation.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Model-Checking Software Using Precise Abstractions.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, 2005

Stuttering Abstraction for Model Checkin.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Let's agree to disagree.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Identification and Counter Abstraction for Full Virtual Symmetry.

[BibT_eX]

[DOI]

Proceedings of the Correct Hardware Design and Verification Methods, 2005

How Thorough Is Thorough Enough?

[BibT_eX]

[DOI]

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004

A Practical Approach to Partial Functions in CVC Lite.

[BibT_eX]

[DOI]

Proceedings of the Selected Papers from the Workshops on Disproving, 2004

How Vacuous Is Vacuous?

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Merging partial behavioural models.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Extending Extended Vacuity.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003

Temporal Logic Query Checking: A Tool for Model Exploration.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2003

Multi-valued symbolic model-checking.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2003

Edge-Shifted Decision Diagrams for Multiple-Valued Logic.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2003

On Closure Under Stuttering.

[BibT_eX]

[DOI]

Dimitrie O. Paun

Formal Aspects Comput., 2003

Proof-Like Counter-Examples.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

CTL Model-Checking over Logics with Non-Classical Negations.

[BibT_eX]

[DOI]

Christopher D. Thompson-Walsh

Wendy MacCaull

Proceedings of the 33rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2003), 2003

\chiChek: A Model Checker for Multi-Valued Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Software Engineering, 2003

Generating Counterexamples for Multi-valued Model-Checking.

[BibT_eX]

[DOI]

Proceedings of the FME 2003: Formal Methods, 2003

Multi-Valued Model Checking via Classical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2003, 2003

TLQSolver: A Temporal Logic Query Checker.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Guest Editorial: Special Issue on Model Checking in Requirements Engineering.

[BibT_eX]

[DOI]

Requir. Eng., 2002

Formal modeling in a commercial setting: A case study.

[BibT_eX]

[DOI]

Andre Wong

J. Syst. Softw., 2002

Lightweight Reasoning about Program Correctness.

[BibT_eX]

[DOI]

Wei Ding

Inf. Syst. Frontiers, 2002

Model exploration with temporal logic query checking.

[BibT_eX]

[DOI]

Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

chi-Chek: A Multi-valued Model-Checker.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Automatic Analysis of Consistency between Requirements and Designs.

[BibT_eX]

[DOI]

John D. Gannon

IEEE Trans. Software Eng., 2001

2nd international workshop on living with inconsistency (IWLWI01).

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2001

Implementing a Multi-valued Symbolic Model Checker.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2001

Model Checking with Multi-Valued Temporal Logics.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

2nd International Workshop on Living with Inconsistency.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Software Engineering, 2001

A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Software Engineering, 2001

Model-Checking over Multi-valued Logics.

[BibT_eX]

[DOI]

Victor Petrovykh

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

Efficient Multiple-Valued Model-Checking Using Lattice Representations.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2001, 2001

2000

Bisimulation analysis of SDL-expressed protocols: a case study.

[BibT_eX]

[DOI]

Hai Wang

Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative Research, 2000

1999

SCR3: towards usability of formal methods

[BibT_eX]

[DOI]

CoRR, 1999

Events in Property Patterns.

[BibT_eX]

[DOI]

Dimitrie O. Paun

Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

Events in Linear-Time Properties.

[BibT_eX]

[DOI]

Dimitrie O. Paun

Proceedings of the 4th IEEE International Symposium on Requirements Engineering (RE '99), 1999

1998

SC(R)<sup>3</sup>: towards usability of formal methods.

[BibT_eX]

[DOI]

Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative Research, November 30, 1998

1996

Using Model Checking to Analyze Requirements and Designs.

[BibT_eX]

[DOI]

Joanne M. Atlee

John D. Gannon

Adv. Comput., 1996

1994

Automatic Verification of Requirements Implementation.

[BibT_eX]

[DOI]