Marsha Chechik

Orcid: 0000-0002-6301-3517

Affiliations:
  • University of Toronto, Canada


According to our database1, Marsha Chechik authored at least 232 papers between 1994 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
MMINT-A: A framework for model-based safety assurance.
Sci. Comput. Program., January, 2024

Assessing Visually-Continuous Corruption Robustness of Neural Networks Relative to Human Performance.
CoRR, 2024

Analyzing and Debugging Normative Requirements via Satisfiability Checking.
CoRR, 2024

2023
The ForeMoSt approach to building valid model-based safety arguments.
Softw. Syst. Model., October, 2023

Annotative Software Product Line Analysis Using Variability-Aware Datalog.
IEEE Trans. Software Eng., March, 2023

Applying declarative analysis to industrial automotive software product line models.
Empir. Softw. Eng., March, 2023

Configuring mission-specific behavior in a product line of collaborating Small Unmanned Aerial Systems.
J. Syst. Softw., 2023

The Last Decade in Review: Tracing the Evolution of Safety Assurance Cases through a Comprehensive Bibliometric Analysis.
CoRR, 2023

Adding Product-Line Capabilities to Your Favourite Modeling Language.
Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, 2023

Defining, Analyzing, Querying and Assuring Product Line Models.
Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, 2023

Code-Level Functional Equivalence Checking of Annotative Software Product Lines.
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models.
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

A Vision on Intentions in Software Engineering.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

DecompoVision: Reliability Analysis of Machine Vision Components through Decomposition and Reuse.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Towards Feature-Based Analysis of the Machine Learning Development Lifecycle.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Assurance Case Arguments in the Large: The CERN LHC Machine Protection System.
Proceedings of the Computer Safety, Reliability, and Security, 2023

Towards a Formal Framework for Normative Requirements Elicitation.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Assurance Case Development as Data: A Manifesto.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2023

Early Verification of Legal Compliance via Bounded Satisfiability Checking.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Semantic History Slicing.
Proceedings of the Handbook of Re-Engineering Software Intensive Systems into Software Product Lines, 2023

2022
Property Satisfiability Analysis for Product Lines of Modelling Languages.
IEEE Trans. Software Eng., 2022

Bounded Satisfiability Checking of Metric First-order Temporal Logic.
CoRR, 2022

On safety, assurance, and reliability: a software engineering perspective (keynote).
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

What to Check: Systematic Selection of Transformations for Analyzing Reliability of Machine Vision Components.
Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021
Formal reasoning for analyzing goal models that evolve over time.
Requir. Eng., 2021

Validating Safety Arguments with Lean.
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Towards Certified Analysis of Software Product Line Safety Cases.
Proceedings of the Computer Safety, Reliability, and Security, 2021

A Lean Approach to Building Valid Model-Based Safety Arguments.
Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

Applying Declarative Analysis to Software Product Line Models: An Industrial Study.
Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

Verification by Gambling on Program Slices.
Proceedings of the Automated Technology for Verification and Analysis, 2021

2020
Heterogeneous megamodel management using collection operators.
Softw. Syst. Model., 2020

Reconstructing the past: the case of the Spadina Expressway.
Requir. Eng., 2020

Automatic and efficient variability-aware lifting of functional programs.
Proc. ACM Program. Lang., 2020

Just Enough Formality in Assurance Argument Structures.
Proceedings of the Computer Safety, Reliability, and Security, 2020

Variability-Aware Datalog.
Proceedings of the Practical Aspects of Declarative Languages, 2020

MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Scaling Client-Specific Equivalence Checking via Impact Boundary Search.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

GenSlice: Generalized Semantic History Slicing.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

Towards Requirements Specification for Machine-learned Perception Based on Human Performance.
Proceedings of the 7th IEEE International Workshop on Artificial Intelligence for Requirements Engineering, 2020

2019
Managing design-time uncertainty.
Softw. Syst. Model., 2019

A verification-driven framework for iterative design of controllers.
Formal Aspects Comput., 2019

Software Evolution in Time and Space: Unifying Version and Variability Management (Dagstuhl Seminar 19191).
Dagstuhl Reports, 2019

A Survey of Tool-supported Assurance Case Assessment Techniques.
ACM Comput. Surv., 2019

Precise semantic history slicing through dynamic delta refinement.
Autom. Softw. Eng., 2019

Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

Lifting Datalog-based analyses to software product lines.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Toward Requirements Specification for Machine-Learned Components.
Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019

Uncertain Requirements, Assurance and Machine Learning.
Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

Querying Automotive System Models and Safety Artifacts with MMINT and Viatra.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Software Assurance in an Uncertain World.
Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018
Semantic Slicing of Software Version Histories.
IEEE Trans. Software Eng., 2018

Selected Extended Papers of VSTTE 2016.
J. Autom. Reason., 2018

Variability-based model transformation: formal foundation and application.
Formal Aspects Comput., 2018

Guest editorial: selected areas in automated software engineering.
Autom. Softw. Eng., 2018

Analysing meta-model product lines.
Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

Transformation of Software Product Lines.
Proceedings of the Software Engineering und Software Management 2018, 2018

Two Decades of Assurance Case Tools: A Survey.
Proceedings of the Computer Safety, Reliability, and Security, 2018

MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases.
Proceedings of the Computer Safety, Reliability, and Security, 2018

BloomingLeaf: A Formal Tool for Requirements Evolution Over Time.
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

Model Transformation Product Lines.
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Client-specific equivalence checking.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

CSlicerCloud: a web-based semantic history slicing framework.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Supporting Verification-Driven Incremental Distributed Design of Components.
Proceedings of the Fundamental Approaches to Software Engineering, 2018

FPH: Efficient Non-commutativity Analysis of Feature-Based Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2018

2017
Report from the 9th Workshop on Modelling in Software Engineering(MiSE 2017).
ACM SIGSOFT Softw. Eng. Notes, 2017

FHistorian: Locating Features in Version Histories.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017

RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules.
Proceedings of the Software Engineering 2017, 2017

Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach.
Proceedings of the Computer Safety, Reliability, and Security, 2017

Modeling and Reasoning with Changing Intentions: An Experiment.
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

A dataset for dynamic discovery of semantic changes in version controlled software histories.
Proceedings of the 14th International Conference on Mining Software Repositories, 2017

Transformations of Software Product Lines: A Generalizing Framework Based on Category Theory.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

9th Workshop on Modelling in Software Engineering (MiSE 2017).
Proceedings of the 9th IEEE/ACM International Workshop on Modelling in Software Engineering, 2017

FPH: efficient detection of feature interactions through non-commutativity.
Proceedings of the 39th International Conference on Software Engineering, 2017

The impact of visual load on performance in a human-computation game.
Proceedings of the International Conference on the Foundations of Digital Games, 2017

2016
Looking into the Crystal Ball: Requirements Evolution over Time.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Heterogeneous Megamodel Slicing for Model Evolution.
Proceedings of the 10th Workshop on Models and Evolution co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

A model management approach for assurance case reuse due to system evolution.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Precise semantic history slicing through dynamic delta refinement.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

GrowingLeaf: Supporting Requirements Evolution over Time.
Proceedings of the Ninth International i* Workshop co-located with 24th International Conference on Requirements Engineering (RE 2016), 2016

Perspectives of Model Transformation Reuse.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Model management for regulatory compliance: a position paper.
Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

Serious games for NP-hard problems: challenges and insights.
Proceedings of the 5th International Workshop on Games and Software Engineering, 2016

Correct Reuse of Transformations is Hard to Guarantee.
Proceedings of the Theory and Practice of Model Transformations, 2016

Observational Refinement and Merge for Disjunctive MTSs.
Proceedings of the Automated Technology for Verification and Analysis, 2016

2015
Cloned product variants: from ad-hoc to managed software product lines.
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.
Softw. Syst. Model., 2015

A Methodology for Verifying Refinements of Partial Models.
J. Object Technol., 2015

Modeling and Reasoning about Software Systems Containing Uncertainty and Variability.
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.
Proceedings of the 19th International Conference on Software Product Line, 2015

Using the crowds to satisfy unbounded requirements.
Proceedings of the 1st IEEE International Workshop on Crowd-Based Requirements Engineering, 2015

MMINT: A Graphical Tool for Interactive Model Management.
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?
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.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Property-Based Methods for Collaborative Model Development.
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).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Integrating Crowd Intelligence into Software.
Proceedings of the 2nd IEEE/ACM International Workshop on CrowdSourcing in Software Engineering, 2015

7th International Workshop on Modeling in Software Engineering (MiSE 2015).
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

MU-MMINT: An IDE for Model Uncertainty.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Migrating Automotive Product Lines: A Case Study.
Proceedings of the Theory and Practice of Model Transformations, 2015

A Variability-Based Approach to Reusable and Efficient Model Transformations.
Proceedings of the Fundamental Approaches to Software Engineering, 2015

A Generalized Formal Framework for Partial Modeling.
Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014
Supporting early decision-making in the presence of uncertainty.
Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Symbolic optimization with SMT solvers.
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.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Lifting model transformations to product lines.
Proceedings of the 36th International Conference on Software Engineering, 2014

Using developer conversations to resolve uncertainty in software development: a position paper.
Proceedings of the 4th International Workshop on Recommendation Systems for Software Engineering, 2014

Management of Time Requirements in Component-Based Systems.
Proceedings of the FM 2014: Formal Methods, 2014

A Comparison of Three Black-Box Optimization Approaches for Model-Based Testing.
Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, 2014

Splitting Models Using Information Retrieval and Model Crawling Techniques.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013
Managing requirements uncertainty with partial models.
Requir. Eng., 2013

Supporting incremental behaviour model elaboration.
Comput. Sci. Res. Dev., 2013

Monitoring and recovery for web service applications.
Computing, 2013

UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Managing cloned variants: a framework and experience.
Proceedings of the 17th International Software Product Line Conference, 2013

N-way model merging.
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.
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.
Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), 2013

Transformation of Models Containing Uncertainty.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

A framework for managing cloned product variants.
Proceedings of the 35th International Conference on Software Engineering, 2013

5th international workshop on modeling in software engineering (MiSE 2013).
Proceedings of the 35th International Conference on Software Engineering, 2013

Change Propagation due to Uncertainty Change.
Proceedings of the Fundamental Approaches to Software Engineering, 2013

Quality of Merge-Refactorings for Product Lines.
Proceedings of the Fundamental Approaches to Software Engineering, 2013

Merging Partial Behaviour Models with Different Vocabularies.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

PWWM: A Personal Web Workflow Methodology.
Proceedings of the Personal Web - A Research Agenda, 2013

A Survey of Feature Location Techniques.
Proceedings of the Domain Engineering, Product Lines, Languages, and Conceptual Models, 2013

2012
Matching and Merging of Variant Feature Specifications.
IEEE Trans. Software Eng., 2012

Weak Alphabet Merging of Partial Behavior Models.
ACM Trans. Softw. Eng. Methodol., 2012

Robust Vacuity for Branching Temporal Logic.
ACM Trans. Comput. Log., 2012

A relationship-based approach to model integration.
Innov. Syst. Softw. Eng., 2012

Whale: An Interpolation-Based Algorithm for Inter-procedural Verification.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

From Under-Approximations to Over-Approximations and Back.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Managing forked product variants.
Proceedings of the 16th International Software Product Line Conference, 2012

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

Managing requirements uncertainty with partial models.
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

Locating distinguishing features using diff sets.
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Towards a Methodology for Verifying Partial Model Refinements.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

The semantics of partial model transformations.
Proceedings of the 4th International Workshop on Modeling in Software Engineering, 2012

Partial models: Towards modeling and reasoning with uncertainty.
Proceedings of the 34th International Conference on Software Engineering, 2012

Language Independent Refinement Using Partial Modeling.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

Combining Related Products into Product Lines.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011
Exploring inconsistencies between modal transition systems.
Softw. Syst. Model., 2011

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

CSSL: a logic for specifying conditional scenarios.
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.
Proceedings of the 8th International Workshop on Model-Driven Engineering, 2011

2010
Exploiting resolution proofs to speed up LTL vacuity detection for BMC.
Int. J. Softw. Tools Technol. Transf., 2010

19th International Conference on Concurrency Theory.
Inf. Comput., 2010

Optimizing Computation of Recovery Plans for BPEL Applications
Proceedings of the Proceedings Fourth International Workshop on Testing, 2010

From Products to Product Lines Using Model Matching and Refactoring.
Proceedings of the Software Product Lines - 14th International Conference, 2010

Guided recovery for web service applications.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

RuMoR: monitoring and recovery for BPEL applications.
Proceedings of the ASE 2010, 2010

Reasoning about Consistency in Model Merging.
Proceedings of the 3rd Workshop on Living with Inconsistencies in Software Development, 2010

Abstract Analysis of Symbolic Executions.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Monitoring and Recovery of Web Service Applications.
Proceedings of the Smart Internet - Current Research and Future Applications, 2010

Accelerate service integration in your BPM/SOA applications.
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.
IEEE Trans. Software Eng., 2009

Runtime Monitoring of Web Service Conversations.
IEEE Trans. Serv. Comput., 2009

The SCOOP Concurrency Model in Java-like Languages.
Proceedings of the thirty-second Communicating Process Architectures Conference, 2009

Mixed Transition Systems Revisited.
Proceedings of the Verification, 2009

A relationship-based approach to model management.
Proceedings of the ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2009

Relationship-based change propagation: A case study.
Proceedings of the ICSE Workshop on Modeling in Software Engineering, 2009

2008
Security Benchmarking using Partial Verification.
Proceedings of the 3rd USENIX Workshop on Hot Topics in Security, 2008

Towards compositional synthesis of evolving systems.
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Property Patterns for Runtime Monitoring of Web Service Conversations.
Proceedings of the Runtime Verification, 8th International Workshop, 2008

PtYasm: Software Model Checking with Proof Templates.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

MTSA: The Modal Transition System Analyser.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Global consistency checking of distributed models with TReMer+.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Declarative approach for model composition.
Proceedings of the International Workshop on Modeling in Software Engineering, 2008

Behavioural model fusion: an overview of challenges.
Proceedings of the International Workshop on Modeling in Software Engineering, 2008

Model Checking Recursive Programs with Exact Predicate Abstraction.
Proceedings of the Automated Technology for Verification and Analysis, 2008

2007
A framework for counterexample generation and exploration.
Int. J. Softw. Tools Technol. Transf., 2007

Consistency Checking of Conceptual Models via Model Merging.
Proceedings of the 15th IEEE International Requirements Engineering Conference, 2007

A buffer overflow benchmark for software model checkers.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Finding State Solutions to Temporal Logic Queries.
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Behaviour Model Synthesis from Properties and Scenarios.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

A Relationship-Driven Framework for Model Merging.
Proceedings of the International Workshop on Modeling in Software Engineering, 2007

Matching and Merging of Statecharts Specifications.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Finding Environment Guarantees.
Proceedings of the Fundamental Approaches to Software Engineering, 2007

An Eclipse-based tool framework for software model management.
Proceedings of the 2007 OOPSLA workshop on Eclipse Technology eXchange, 2007

Runtime monitoring of web service conversations.
Proceedings of the 2007 conference of the Centre for Advanced Studies on Collaborative Research, 2007

2006
A relationship-driven approach to view merging.
ACM SIGSOFT Softw. Eng. Notes, 2006

Data structures for symbolic multi-valued model-checking.
Formal Methods Syst. Des., 2006

Systematic Construction of Abstractions for Model-Checking.
Proceedings of the Verification, 2006

Why Waste a Perfectly Good Abstraction?.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

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

Properties of Behavioural Model Merging.
Proceedings of the FM 2006: Formal Methods, 2006

Automated Support for Building Behavioral Models of Event-Driven Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2006

Partial Behavioural Models for Requirements and Early Design.
Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006

Yasm: A Software Model-Checker for Verification and Refutation.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005
Model-Checking Software Using Precise Abstractions.
Proceedings of the Verified Software: Theories, 2005

Stuttering Abstraction for Model Checkin.
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Let's agree to disagree.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Identification and Counter Abstraction for Full Virtual Symmetry.
Proceedings of the Correct Hardware Design and Verification Methods, 2005

How Thorough Is Thorough Enough?
Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004
A Practical Approach to Partial Functions in CVC Lite.
Proceedings of the Selected Papers from the Workshops on Disproving, 2004

How Vacuous Is Vacuous?
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

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

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

2003
Temporal Logic Query Checking: A Tool for Model Exploration.
IEEE Trans. Software Eng., 2003

Multi-valued symbolic model-checking.
ACM Trans. Softw. Eng. Methodol., 2003

Edge-Shifted Decision Diagrams for Multiple-Valued Logic.
J. Multiple Valued Log. Soft Comput., 2003

On Closure Under Stuttering.
Formal Aspects Comput., 2003

Proof-Like Counter-Examples.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

CTL Model-Checking over Logics with Non-Classical Negations.
Proceedings of the 33rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2003), 2003

\chiChek: A Model Checker for Multi-Valued Reasoning.
Proceedings of the 25th International Conference on Software Engineering, 2003

Generating Counterexamples for Multi-valued Model-Checking.
Proceedings of the FME 2003: Formal Methods, 2003

Multi-Valued Model Checking via Classical Model Checking.
Proceedings of the CONCUR 2003, 2003

TLQSolver: A Temporal Logic Query Checker.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002
Guest Editorial: Special Issue on Model Checking in Requirements Engineering.
Requir. Eng., 2002

Formal modeling in a commercial setting: A case study.
J. Syst. Softw., 2002

Lightweight Reasoning about Program Correctness.
Inf. Syst. Frontiers, 2002

Model exploration with temporal logic query checking.
Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

chi-Chek: A Multi-valued Model-Checker.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001
Automatic Analysis of Consistency between Requirements and Designs.
IEEE Trans. Software Eng., 2001

2nd international workshop on living with inconsistency (IWLWI01).
ACM SIGSOFT Softw. Eng. Notes, 2001

Implementing a Multi-valued Symbolic Model Checker.
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.
Proceedings of the Model Checking Software, 2001

Model Checking with Multi-Valued Temporal Logics.
Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

2nd International Workshop on Living with Inconsistency.
Proceedings of the 23rd International Conference on Software Engineering, 2001

A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints.
Proceedings of the 23rd International Conference on Software Engineering, 2001

Model-Checking over Multi-valued Logics.
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

Efficient Multiple-Valued Model-Checking Using Lattice Representations.
Proceedings of the CONCUR 2001, 2001

2000
Bisimulation analysis of SDL-expressed protocols: a case study.
Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative Research, 2000

1999
SCR3: towards usability of formal methods
CoRR, 1999

Events in Property Patterns.
Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

Events in Linear-Time Properties.
Proceedings of the 4th IEEE International Symposium on Requirements Engineering (RE '99), 1999

1998
SC(R)<sup>3</sup>: towards usability of formal methods.
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.
Adv. Comput., 1996

1994
Automatic Verification of Requirements Implementation.
Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994


  Loading...