| 2026 | FM | The SLEEC Framework for Normative Requirements Engineering. | Pedro Ribeiro, Radu Calinescu, Ana Cavalcanti, Marsha Chechik, Sinem Getir Yaman, Lina Marsso, Isobel Standen, Beverley A. Townsend |
| 2026 | SANER | Multi-CoLoR: Context-Aware Localization and Reasoning Across Multi-Language Codebases. | Indira Vats, Sanjukta De, Subhayan Roy, Saurabh Bodhe, Lejin Varghese, Max Kiehn, Yonas Bedasso, Marsha Chechik |
| 2025 | FMCAD | Solving Set Constraints with Comprehensions and Bounded Quantifiers. | Mudathir Mohamed, Nick Feng, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett, Marsha Chechik |
| 2025 | ICSE | LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements. | Kevin Kolyakov, Lina Marsso, Nick Feng, Junwei Quan, Marsha Chechik |
| 2025 | WACV | Assessing Visually-Continuous Corruption Robustness of Neural Networks Relative to Human Performance. | Huakun Shen, Boyue Caroline Hu, Krzysztof Czarnecki, Lina Marsso, Marsha Chechik |
| 2025 | SPLC | Assuring Product Lines of Complex Systems. | Marsha Chechik |
| 2024 | ICSE | Analyzing and Debugging Normative Requirements via Satisfiability Checking. | Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victria Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genana Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik |
| 2024 | IFM | PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases. | Logan Murphy, Torin Viger, Alessio Di Sandro, Marsha Chechik |
| 2024 | ISSRE | Supporting Change Impact Assessment with LLMs. | Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Marsha Chechik |
| 2024 | ISSRE | AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases. | Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Jeff Joyce, Alessio Di Sandro, Marsha Chechik |
| 2024 | MODELS | Evaluation of Automotive OTA Updates Using Assurance Cases. | Ali Raeisdanaei, Logan Murphy, Alessio Di Sandro, Mehrnoosh Askarpour, Torin Viger, Marsha Chechik |
| 2024 | MODELS | From Products to Product Lines: a Model-based Methodology. | Alessio Di Sandro, Logan Murphy, Torin Viger, Marsha Chechik |
| 2024 | RE | Normative Requirements Operationalization with Large Language Models. | Nick Feng, Lina Marsso, Sinem Getir Yaman, Isobel Standen, Yesugen Baatartogtokh, Reem Ayad, Victria Oldemburgo de Mello, Beverley A. Townsend, Hanne Bartels, Ana Cavalcanti, Radu Calinescu, Marsha Chechik |
| 2023 | CAV | Early Verification of Legal Compliance via Bounded Satisfiability Checking. | Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik |
| 2023 | ICSE | Assurance Case Development as Data: A Manifesto. | Claudio Menghi, Torin Viger, Alessio Di Sandro, Chris Rees, Jeff Joyce, Marsha Chechik |
| 2023 | SAFECOMP | Assurance Case Arguments in the Large: The CERN LHC Machine Protection System. | Laure Millet, Simon Diemert, Chris Rees, Torin Viger, Marsha Chechik, Claudio Menghi, Jeffrey J. Joyce |
| 2023 | SPLC | Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models. | Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik |
| 2023 | SPLC | Code-Level Functional Equivalence Checking of Annotative Software Product Lines. | Alan Wang, Nick Feng, Marsha Chechik |
| 2022 | ICSE | If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components. | Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Rick Salay, Huakun Shen, Marsha Chechik |
| 2022 | ISSRE | What to Check: Systematic Selection of Transformations for Analyzing Reliability of Machine Vision Components. | Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Marsha Chechik |
| 2021 | ATVA | Verification by Gambling on Program Slices. | Murad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik |
| 2021 | MODELS | Applying Declarative Analysis to Software Product Line Models: An Industrial Study. | Ramy Shahin, Robert Hackman, Rafael F. Toledo, S. Ramesh, Joanne M. Atlee, Marsha Chechik |
| 2021 | MODELS | A Lean Approach to Building Valid Model-Based Safety Arguments. | Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik |
| 2021 | SAFECOMP | Towards Certified Analysis of Software Product Line Safety Cases. | Ramy Shahin, Sahar Kokaly, Marsha Chechik |
| 2021 | SEFM | Validating Safety Arguments with Lean. | Logan Murphy, Torin Viger, Alessio Di Sandro, Ramy Shahin, Marsha Chechik |
| 2020 | MODELS | MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts. | Alessio Di Sandro, Gehan M. K. Selim, Rick Salay, Torin Viger, Marsha Chechik, Sahar Kokaly |
| 2020 | PADL | Variability-Aware Datalog. | Ramy Shahin, Marsha Chechik |
| 2020 | SAFECOMP | Just Enough Formality in Assurance Argument Structures. | Torin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik |
| 2019 | FASE | Software Assurance in an Uncertain World. | Marsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, Mona Rahimi |
| 2019 | MODELS | Querying Automotive System Models and Safety Artifacts with MMINT and Viatra. | Alessio Di Sandro, Sahar Kokaly, Rick Salay, Marsha Chechik |
| 2019 | RE | Uncertain Requirements, Assurance and Machine Learning. | Marsha Chechik |
| 2019 | RE | Toward Requirements Specification for Machine-Learned Components. | Mona Rahimi, Jin L. C. Guo, Sahar Kokaly, Marsha Chechik |
| 2018 | FASE | FPH: Efficient Non-commutativity Analysis of Feature-Based Systems. | Marsha Chechik, Ioanna Stavropoulou, Cynthia Disenfeld, Julia Rubin |
| 2018 | FASE | Supporting Verification-Driven Incremental Distributed Design of Components. | Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi |
| 2018 | ICSE | CSlicerCloud: a web-based semantic history slicing framework. | Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik |
| 2018 | MODELS | Model Transformation Product Lines. | Juan de Lara, Esther Guerra, Marsha Chechik, Rick Salay |
| 2018 | RE | BloomingLeaf: A Formal Tool for Requirements Evolution Over Time. | Alicia M. Grubb, Marsha Chechik |
| 2018 | SAFECOMP | MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases. | Nick L. S. Fung, Sahar Kokaly, Alessio Di Sandro, Rick Salay, Marsha Chechik |
| 2018 | SAFECOMP | Two Decades of Assurance Case Tools: A Survey. | Mike Maksimov, Nick L. S. Fung, Sahar Kokaly, Marsha Chechik |
| 2018 | SLE | Analysing meta-model product lines. | Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay |
| 2017 | FDG | The impact of visual load on performance in a human-computation game. | Christina Chung, Amit Kadan, Yueti Yang, Asako Matsuoka, Julia Rubin, Marsha Chechik |
| 2017 | ICSE | FPH: efficient detection of feature interactions through non-commutativity. | Cynthia Disenfeld, Ioanna Stavropoulou, Julia Rubin, Marsha Chechik |
| 2017 | ICSE | 9th Workshop on Modelling in Software Engineering (MiSE 2017). | Davide Di Ruscio, Marsha Chechik, Bernhard Rumpe |
| 2017 | MODELS | Managing Design-Time Uncertainty. | Michalis Famelis, Marsha Chechik |
| 2017 | MODELS | Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty. | Michalis Famelis, Julia Rubin, Krzysztof Czarnecki, Rick Salay, Marsha Chechik |
| 2017 | MODELS | Transformations of Software Product Lines: A Generalizing Framework Based on Category Theory. | Gabriele Taentzer, Rick Salay, Daniel Strber, Marsha Chechik |
| 2017 | MSR | A dataset for dynamic discovery of semantic changes in version controlled software histories. | Chenguang Zhu, Yi Li, Julia Rubin, Marsha Chechik |
| 2017 | RE | Modeling and Reasoning with Changing Intentions: An Experiment. | Alicia M. Grubb, Marsha Chechik |
| 2017 | SAFECOMP | Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach. | Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum |
| 2017 | SPLC | FHistorian: Locating Features in Version Histories. | Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik |
| 2016 | ATVA | Observational Refinement and Merge for Disjunctive MTSs. | Shoham Ben-David, Marsha Chechik, Sebastin Uchitel |
| 2016 | FASE | RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules. | Daniel Strber, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer, Jennifer Plger |
| 2016 | ICSE | Serious games for NP-hard problems: challenges and insights. | Christina Chung, Asako Matsuoka, Yueti Yang, Julia Rubin, Marsha Chechik |
| 2016 | ICSE | Model management for regulatory compliance: a position paper. | Sahar Kokaly, Rick Salay, Mehrdad Sabetzadeh, Marsha Chechik, Tom Maibaum |
| 2016 | IFM | Perspectives of Model Transformation Reuse. | Marsha Chechik, Michalis Famelis, Rick Salay, Daniel Strber |
| 2016 | MODELS | A model management approach for assurance case reuse due to system evolution. | Sahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik |
| 2016 | MODELS | Heterogeneous Megamodel Slicing for Model Evolution. | Rick Salay, Sahar Kokaly, Marsha Chechik, Tom Maibaum |
| 2016 | RE | Looking into the Crystal Ball: Requirements Evolution over Time. | Alicia M. Grubb, Marsha Chechik |
| 2015 | FASE | A Generalized Formal Framework for Partial Modeling. | Rick Salay, Marsha Chechik |
| 2015 | FASE | A Variability-Based Approach to Reusable and Efficient Model Transformations. | Daniel Strber, Julia Rubin, Marsha Chechik, Gabriele Taentzer |
| 2015 | ICSE | MU-MMINT: An IDE for Model Uncertainty. | Michalis Famelis, Naama Ben-David, Alessio Di Sandro, Rick Salay, Marsha Chechik |
| 2015 | ICSE | 7th International Workshop on Modeling in Software Engineering (MiSE 2015). | Jeff Gray, Marsha Chechik, Vinay Kulkarni, Richard F. Paige |
| 2015 | ICSE | Integrating Crowd Intelligence into Software. | Rick Salay, Fabiano Dalpiaz, Marsha Chechik |
| 2015 | MODELS | Property-Based Methods for Collaborative Model Development. | Marsha Chechik, Fabiano Dalpiaz, Csaba Debreceni, Jennifer Horkoff, Istvn Rth, Rick Salay, Dniel Varr |
| 2015 | MODELS | Enriching megamodel management with collection-based operators. | Rick Salay, Sahar Kokaly, Alessio Di Sandro, Marsha Chechik |
| 2015 | MODELS | Transformation Reuse: What is the Intent? | Rick Salay, Steffen Zschaler, Marsha Chechik |
| 2015 | MODELS | MMINT: A Graphical Tool for Interactive Model Management. | Alessio Di Sandro, Rick Salay, Michalis Famelis, Sahar Kokaly, Marsha Chechik |
| 2015 | RE | Using the crowds to satisfy unbounded requirements. | Fabiano Dalpiaz, Michal Korenko, Rick Salay, Marsha Chechik |
| 2015 | SPLC | What is a feature?: a qualitative study of features in industrial software product lines. | Thorsten Berger, Daniela Lettner, Julia Rubin, Paul Grnbacher, Adeline Silva, Martin Becker, Marsha Chechik, Krzysztof Czarnecki |
| 2015 | TASE | Modeling and Reasoning about Software Systems Containing Uncertainty and Variability. | Marsha Chechik |
| 2014 | FASE | Splitting Models Using Information Retrieval and Model Crawling Techniques. | Daniel Strber, Julia Rubin, Gabriele Taentzer, Marsha Chechik |
| 2014 | FedCSIS | A Comparison of Three Black-Box Optimization Approaches for Model-Based Testing. | Teemu Kanstrn, Marsha Chechik |
| 2014 | FM | Management of Time Requirements in Component-Based Systems. | Yi Li, Tian Huat Tan, Marsha Chechik |
| 2014 | ICSE | Using developer conversations to resolve uncertainty in software development: a position paper. | Ahmed Shah Mashiyat, Michalis Famelis, Rick Salay, Marsha Chechik |
| 2014 | ICSE | Lifting model transformations to product lines. | Rick Salay, Michalis Famelis, Julia Rubin, Alessio Di Sandro, Marsha Chechik |
| 2014 | ISSRE | Trace Reduction and Pattern Analysis to Assist Debugging in Model-Based Testing. | Teemu Kanstrn, Marsha Chechik |
| 2014 | POPL | Symbolic optimization with SMT solvers. | Yi Li, Aws Albarghouthi, Zachary Kincaid, Arie Gurfinkel, Marsha Chechik |
| 2014 | RE | Supporting early decision-making in the presence of uncertainty. | Jennifer Horkoff, Rick Salay, Marsha Chechik, Alessio Di Sandro |
| 2013 | CONCUR | Merging Partial Behaviour Models with Different Vocabularies. | Shoham Ben-David, Marsha Chechik, Sebastin Uchitel |
| 2013 | FASE | Quality of Merge-Refactorings for Product Lines. | Julia Rubin, Marsha Chechik |
| 2013 | FASE | Change Propagation due to Uncertainty Change. | Rick Salay, Jan Gorzny, Marsha Chechik |
| 2013 | ICSE | 5th international workshop on modeling in software engineering (MiSE 2013). | Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray, Richard F. Paige, Bernhard Rumpe |
| 2013 | ICSE | A framework for managing cloned product variants. | Julia Rubin, Marsha Chechik |
| 2013 | MODELS | Transformation of Models Containing Uncertainty. | Michalis Famelis, Rick Salay, Alessio Di Sandro, Marsha Chechik |
| 2013 | MODELS | Towards a Catalog of Non-Functional Requirements in Model Transformation Languages. | Soroosh Nalchigar, Rick Salay, Marsha Chechik |
| 2013 | MODELS | Supporting Agility in MDE Through Modeling Language Relaxation. | Rick Salay, Marsha Chechik |
| 2013 | SPLC | Managing cloned variants: a framework and experience. | Julia Rubin, Krzysztof Czarnecki, Marsha Chechik |
| 2013 | TACAS | UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution). | Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, Marsha Chechik |
| 2012 | CAV | Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification. | Aws Albarghouthi, Yi Li, Arie Gurfinkel, Marsha Chechik |
| 2012 | FASE | Combining Related Products into Product Lines. | Julia Rubin, Marsha Chechik |
| 2012 | FASE | Language Independent Refinement Using Partial Modeling. | Rick Salay, Michalis Famelis, Marsha Chechik |
| 2012 | ICSE | Partial models: Towards modeling and reasoning with uncertainty. | Michalis Famelis, Rick Salay, Marsha Chechik |
| 2012 | ICSE | The semantics of partial model transformations. | Michalis Famelis, Rick Salay, Marsha Chechik |
| 2012 | ICST | Towards a Methodology for Verifying Partial Model Refinements. | Rick Salay, Marsha Chechik, Jan Gorzny |
| 2012 | RE | Managing requirements uncertainty with partial models. | Rick Salay, Marsha Chechik, Jennifer Horkoff |
| 2012 | SAS | Craig Interpretation. | Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik |
| 2012 | SPLC | Managing forked product variants. | Julia Rubin, Andrei Kirshin, Goetz Botterweck, Marsha Chechik |
| 2012 | TACAS | From Under-Approximations to Over-Approximations and Back. | Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik |
| 2012 | VMCAI | Whale: An Interpolation-Based Algorithm for Inter-procedural Verification. | Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik |
| 2011 | MODELS | Partial models: a position paper. | Michalis Famelis, Shoham Ben-David, Marsha Chechik, Rick Salay |
| 2010 | CAV | Abstract Analysis of Symbolic Executions. | Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha Chechik |
| 2010 | SPLC | From Products to Product Lines Using Model Matching and Refactoring. | Julia Rubin, Marsha Chechik |
| 2009 | ICSE | Relationship-based change propagation: A case study. | Marsha Chechik, Winnie Lai, Shiva Nejati, Jordi Cabot, Zinovy Diskin, Steve M. Easterbrook, Mehrdad Sabetzadeh, Rick Salay |
| 2009 | VMCAI | Mixed Transition Systems Revisited. | Ou Wei, Arie Gurfinkel, Marsha Chechik |
| 2008 | ATVA | Model Checking Recursive Programs with Exact Predicate Abstraction. | Arie Gurfinkel, Ou Wei, Marsha Chechik |
| 2008 | ICSE | Behavioural model fusion: an overview of challenges. | Shiva Nejati, Marsha Chechik |
| 2008 | ICSE | Declarative approach for model composition. | Julia Rubin, Marsha Chechik, Steve M. Easterbrook |
| 2008 | ICSE | Global consistency checking of distributed models with TReMer+. | Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik |
| 2008 | RV | Property Patterns for Runtime Monitoring of Web Service Conversations. | Jocelyn Simmonds, Marsha Chechik, Shiva Nejati, Elena Litani, Bill O'Farrell |
| 2007 | FASE | Finding Environment Guarantees. | Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel |
| 2007 | FMCAD | Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC. | Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik |
| 2007 | ICSE | Matching and Merging of Statecharts Specifications. | Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave |
| 2007 | ICSE | A Relationship-Driven Framework for Model Merging. | Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik |
| 2007 | ICSE | Behaviour Model Synthesis from Properties and Scenarios. | Sebastin Uchitel, Greg Brunet, Marsha Chechik |
| 2007 | IFM | Finding State Solutions to Temporal Logic Queries. | Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik |
| 2007 | RE | Consistency Checking of Conceptual Models via Model Merging. | Mehrdad Sabetzadeh, Shiva Nejati, Sotirios Liaskos, Steve M. Easterbrook, Marsha Chechik |
| 2006 | CAV | Yasm: A Software Model-Checker for Verification and Refutation. | Arie Gurfinkel, Ou Wei, Marsha Chechik |
| 2006 | FASE | Automated Support for Building Behavioral Models of Event-Driven Systems. | Benet Devereux, Marsha Chechik |
| 2006 | FM | Properties of Behavioural Model Merging. | Greg Brunet, Marsha Chechik, Sebastin Uchitel |
| 2006 | FMCAD | Thorough Checking Revisited. | Shiva Nejati, Mihaela Gheorghiu, Marsha Chechik |
| 2006 | TACAS | Why Waste a Perfectly Good Abstraction?. | Arie Gurfinkel, Marsha Chechik |
| 2006 | VMCAI | Systematic Construction of Abstractions for Model-Checking. | Arie Gurfinkel, Ou Wei, Marsha Chechik |
| 2005 | FASE | A Framework for Counterexample Generation and Exploration. | Marsha Chechik, Arie Gurfinkel |
| 2005 | SEFM | Stuttering Abstraction for Model Checkin. | Shiva Nejati, Arie Gurfinkel, Marsha Chechik |
| 2004 | FMCAD | Extending Extended Vacuity. | Arie Gurfinkel, Marsha Chechik |
| 2004 | TACAS | How Vacuous Is Vacuous? | Arie Gurfinkel, Marsha Chechik |
| 2003 | CAV | TLQSolver: A Temporal Logic Query Checker. | Marsha Chechik, Arie Gurfinkel |
| 2003 | CONCUR | Multi-Valued Model Checking via Classical Model Checking. | Arie Gurfinkel, Marsha Chechik |
| 2003 | FM | Generating Counterexamples for Multi-valued Model-Checking. | Arie Gurfinkel, Marsha Chechik |
| 2003 | ICSE | \chiChek: A Model Checker for Multi-Valued Reasoning. | Steve M. Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Y. C. Lai, Victor Petrovykh, Anya Tafliovich, Christopher D. Thompson-Walsh |
| 2003 | TACAS | Proof-Like Counter-Examples. | Arie Gurfinkel, Marsha Chechik |
| 2002 | CAV | chi-Chek: A Multi-valued Model-Checker. | Marsha Chechik, Arie Gurfinkel, Benet Devereux |
| 2001 | CONCUR | Efficient Multiple-Valued Model-Checking Using Lattice Representations. | Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Albert Y. C. Lai, Victor Petrovykh |
| 2001 | FM | Model-Checking over Multi-valued Logics. | Marsha Chechik, Steve M. Easterbrook, Victor Petrovykh |
| 2001 | ICSE | A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints. | Steve M. Easterbrook, Marsha Chechik |
| 2001 | ICSE | 2nd International Workshop on Living with Inconsistency. | Steve M. Easterbrook, Marsha Chechik |
| 2001 | TACAS | Implementing a Multi-valued Symbolic Model Checker. | Marsha Chechik, Benet Devereux, Steve M. Easterbrook |
| 1999 | FM | Formal Modeling in a Commercial Setting: A Case Study. | Andre Wong, Marsha Chechik |
| 1999 | RE | Events in Linear-Time Properties. | Dimitrie O. Paun, Marsha Chechik |
| 1994 | ISSTA | Automatic Verification of Requirements Implementation. | Marsha Chechik, John D. Gannon |