Marsha Chechik

310 papers A* 33A 33B 46C 9Misc 1Journal 92Unranked 81

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Abductive Vibe Coding (Extended Abstract). CoRR Logan Murphy, Aren A. Babikian, Marsha Chechik
2026	J	`jnl`	Agentic AI in the next frontier of model-based software engineering: the arrival of AI-hyper-agile software engineering methods? Softw. Syst. Model. Marsha Chechik, Benoît Combemale, Jeff Gray, Bernhard Rumpe
2026	J	`jnl`	Evaluating AI-supported eliminative argumentation for developing reliable assurance cases. Empir. Softw. Eng. Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Aren A. Babikian, Jeff Joyce, Alessio Di Sandro, Naweed Anwari, Erin Cyffka, Marsha Chechik
2026	J	`jnl`	Future of Software Engineering Research: The SIGSOFT Perspective. CoRR Massimiliano Di Penta, Kelly Blincoe, Marsha Chechik, Claire Le Goues, David Lo, Emerson R. Murphy-Hill, Thomas Zimmermann
2026	J	`jnl`	Multi-CoLoR: Context-Aware Localization and Reasoning across Multi-Language Codebases. CoRR Indira Vats, Sanjukta De, Subhayan Roy, Saurabh Bodhe, Lejin Varghese, Max Kiehn, Yonas Bedasso, Marsha Chechik
2026	J	`jnl`	Operationalizing Human Values in the Requirements Engineering Process of Ethics-Aware Autonomous Systems. CoRR Everaldo Silva Júnior, Lina Marsso, Ricardo Caldas, Marsha Chechik, Genaína Nunes Rodrigues
2026	J	`jnl`	Report on the state and changes of the SoSyM journal (2025 summary). Softw. Syst. Model. Stéphanie Challita, Marsha Chechik, Benoît Combemale, Hüseyin Ergin, Jeff Gray, Bernhard Rumpe, Martin Schindler
2026	J	`jnl`	Safety Analysis of Over-the-Air Updates for CPS: A Contract-Driven Approach. IEEE Trans. Software Eng. Nunzio Marco Bisceglia, Aurora Francesca Zanenga, Mehrnoosh Askarpour, Sahar Kokaly, S. Ramesh, Marsha Chechik, Claudio Menghi
2026	J	`jnl`	Social, Legal, Ethical, Empathetic and Cultural Norm Operationalisation for AI Agents. CoRR Radu Calinescu, Ana Cavalcanti, Marsha Chechik, Lina Marsso, Beverley A. Townsend
2025	J	`jnl`	A structural taxonomy for lifted software product line analyses. J. Syst. Softw. Logan Murphy, Mahmood Saifi, Alessio Di Sandro, Marsha Chechik
2025	J	`jnl`	Antonio Vallecillo. Softw. Syst. Model. Stéphanie Challita, Marsha Chechik, Benoît Combemale, Hüseyin Ergin, Jeff Gray, Bernhard Rumpe, Martin Schindler
2025	A	`conf`	Assessing Visually-Continuous Corruption Robustness of Neural Networks Relative to Human Performance. WACV Huakun Shen, Boyue Caroline Hu, Krzysztof Czarnecki, Lina Marsso, Marsha Chechik
2025	J	`jnl`	Assurance Case Development for Evolving Software Product Lines: A Formal Approach. CoRR Logan Murphy, Torin Viger, Alessio Di Sandro, Aren A. Babikian, Marsha Chechik
2025	—	`conf`	Assuring Product Lines of Complex Systems. SPLC (A) Marsha Chechik
2025	—	`conf`	Automated Codebase Reconciliation using Large Language Models. Forge@ICSE Aneri Gandhi, Sanjukta De, Marsha Chechik, Vinay Pandit, Max Kiehn, Matthieu Chan Chee, Yonas Bedasso
2025	J	`jnl`	Bounded satisfiability checking of $\hbox {FOL}^*$ formulas with aggregations. Formal Methods Syst. Des. Nick Feng, Lina Marsso, Yuliia Kholodetska, Marsha Chechik
2025	J	`jnl`	Formal methods in the scope of the Software and Systems Modeling journal. Softw. Syst. Model. Marsha Chechik, Benoît Combemale, Jeff Gray, Bernhard Rumpe
2025	J	`jnl`	Introduction to the Special Collection from FM 2023. Formal Aspects Comput. Marsha Chechik, Joost-Pieter Katoen
2025	—	`conf`	LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements. ICSE Companion Kevin Kolyakov, Lina Marsso, Nick Feng, Junwei Quan, Marsha Chechik
2025	J	`jnl`	LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements. CoRR Kevin Kolyakov, Lina Marsso, Nick Feng, Junwei Quan, Marsha Chechik
2025	J	`jnl`	Modeling and Digital Twins: Insights and Strategies for Software Engineers. IEEE Softw. Silvia Abrahão, Miroslaw Staron, Judith Michael, Benoît Combemale, Marsha Chechik
2025	J	`jnl`	On theory and management of dependencies between models. Softw. Syst. Model. Marsha Chechik, Benoît Combemale, Jeff Gray, Bernhard Rumpe
2025	J	`jnl`	Pragmatic specification of software behavior, configuration, and orchestration: the precision and usability of domain-specific modeling. Softw. Syst. Model. Marsha Chechik, Benoît Combemale, Jeff Gray, Bernhard Rumpe
2025	—	`ed.`	Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins, ASQAP 2025, Hamilton, Canada, 4th May 2025. ASQAP Marsha Chechik, Arianna Fedeli, Gianluca Filippone, Federico Formica, Mirgita Frasheri, Nico Hochgeschwender, Lina Marsso
2025	B	`conf`	Solving Set Constraints with Comprehensions and Bounded Quantifiers. FMCAD Mudathir Mohamed, Nick Feng, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett, Marsha Chechik
2025	J	`jnl`	Solving Set Constraints with Comprehensions and Bounded Quantifiers. CoRR Mudathir Mohamed, Nick Feng, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett, Marsha Chechik
2025	J	`jnl`	Standards in software development and modeling. Softw. Syst. Model. Marsha Chechik, Benoît Combemale, Jeffrey G. Gray, Bernhard Rumpe
2025	—	`conf`	Untangling Shared Phenomena for Improving Analysis of Normative Requirements. MO2RE Junwei Quan, Lina Marsso, Dalal Alrajeh, Marsha Chechik
2024	J	`jnl`	A Meta-Study of Software-Change Intentions. ACM Comput. Surv. Jacob Krüger, Yi Li, Kirill Lossev, Chenguang Zhu, Marsha Chechik, Thorsten Berger, Julia Rubin
2024	J	`jnl`	A Software Engineering Perspective on Testing Large Language Models: Research, Practice, Tools and Benchmarks. CoRR Sinclair Hudson, Sophia Jit, Boyue Caroline Hu, Marsha Chechik
2024	A	`conf`	AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases. ISSRE Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Jeff Joyce, Alessio Di Sandro, Marsha Chechik
2024	J	`jnl`	Abstraction Engineering. CoRR Nelly Bencomo, Jordi Cabot, Marsha Chechik, Betty H. C. Cheng, Benoît Combemale, Andrzej Wasowski, Steffen Zschaler
2024	A*	`conf`	Analyzing and Debugging Normative Requirements via Satisfiability Checking. ICSE Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genaína Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
2024	J	`jnl`	Analyzing and Debugging Normative Requirements via Satisfiability Checking. CoRR Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genaína Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
2024	J	`jnl`	Assessing Visually-Continuous Corruption Robustness of Neural Networks Relative to Human Performance. CoRR Huakun Shen, Boyue Caroline Hu, Krzysztof Czarnecki, Lina Marsso, Marsha Chechik
2024	A*	`conf`	Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects. ASE Nick Feng, Lina Marsso, Marsha Chechik
2024	J	`jnl`	Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects. CoRR Nick Feng, Lina Marsso, Marsha Chechik
2024	—	`conf`	Evaluation of Automotive OTA Updates Using Assurance Cases. MoDELS (Companion) Ali Raeisdanaei, Logan Murphy, Alessio Di Sandro, Mehrnoosh Askarpour, Torin Viger, Marsha Chechik
2024	—	`conf`	From Products to Product Lines: a Model-based Methodology. MoDELS (Companion) Alessio Di Sandro, Logan Murphy, Torin Viger, Marsha Chechik
2024	J	`jnl`	MMINT-A: A framework for model-based safety assurance. Sci. Comput. Program. Alessio Di Sandro, Logan Murphy, Torin Viger, Marsha Chechik
2024	A	`conf`	Normative Requirements Operationalization with Large Language Models. RE Nick Feng, Lina Marsso, Sinem Getir Yaman, Isobel Standen, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Hanne Bartels, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
2024	J	`jnl`	Normative Requirements Operationalization with Large Language Models. CoRR Nick Feng, Lina Marsso, Sinem Getir Yaman, Isobel Standen, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Hanne Bartels, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
2024	B	`conf`	PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases. IFM Logan Murphy, Torin Viger, Alessio Di Sandro, Marsha Chechik
2024	J	`jnl`	PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases. CoRR Logan Murphy, Torin Viger, Alessio Di Sandro, Marsha Chechik
2024	A	`ed.`	Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, MODELS 2024, Linz, Austria, September 22-27, 2024 MODELS Alexander Egyed, Manuel Wimmer, Marsha Chechik, Benoît Combemale
2024	—	`ed.`	Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, MODELS Companion 2024, Linz, Austria, September 22-27, 2024 MoDELS (Companion) Manuel Wimmer, Alexander Egyed, Benoît Combemale, Marsha Chechik
2024	J	`jnl`	Scoping Software Engineering for AI: The TSE Perspective. IEEE Trans. Software Eng. Sebastián Uchitel, Marsha Chechik, Massimiliano Di Penta, Bram Adams, Nazareno Aguirre, Gabriele Bavota, Domenico Bianculli, Kelly Blincoe, Ana Cavalcanti, Yvonne Dittrich, Filomena Ferrucci, Rashina Hoda, Liguo Huang, David Lo, Michael R. Lyu, Lei Ma, Jonathan I. Maletic, Leonardo Mariani, Collin McMillan, Tim Menzies, Martin Monperrus, Ana Moreno, Nachiappan Nagappan, Liliana Pasquale, Patrizio Pelliccione, Michael Pradel, Rahul Purandare, Sukyoung Ryu, Mehrdad Sabetzadeh, Alexander Serebrenik, Jun Sun, Chakkrit Kla Tantithamthavorn, Christoph Treude, Manuel Wimmer, Yingfei Xiong, Tao Yue, Andy Zaidman, Tao Zhang, Hao Zhong
2024	—	`conf`	Supporting Change Impact Assessment with LLMs. ISSRE (Workshops) Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Marsha Chechik
2023	—	`conf`	A Vision on Intentions in Software Engineering. ESEC/SIGSOFT FSE Jacob Krüger, Yi Li, Chenguang Zhu, Marsha Chechik, Thorsten Berger, Julia Rubin
2023	—	`conf`	Adding Product-Line Capabilities to Your Favourite Modeling Language. VaMoS Alessio Di Sandro, Ramy Shahin, Marsha Chechik
2023	J	`jnl`	Annotative Software Product Line Analysis Using Variability-Aware Datalog. IEEE Trans. Software Eng. Ramy Shahin, Murad Akhundov, Marsha Chechik
2023	J	`jnl`	Applying declarative analysis to industrial automotive software product line models. Empir. Softw. Eng. Ramy Shahin, Rafael F. Toledo, Robert Hackman, S. Ramesh, Joanne M. Atlee, Marsha Chechik
2023	B	`conf`	Assurance Case Arguments in the Large: The CERN LHC Machine Protection System. SAFECOMP Laure Millet, Simon Diemert, Chris Rees, Torin Viger, Marsha Chechik, Claudio Menghi, Jeffrey J. Joyce
2023	—	`conf`	Assurance Case Development as Data: A Manifesto. ICSE (NIER) Claudio Menghi, Torin Viger, Alessio Di Sandro, Chris Rees, Jeff Joyce, Marsha Chechik
2023	—	`conf`	Code-Level Functional Equivalence Checking of Annotative Software Product Lines. SPLC (A) Alan Wang, Nick Feng, Marsha Chechik
2023	J	`jnl`	Configuring mission-specific behavior in a product line of collaborating Small Unmanned Aerial Systems. J. Syst. Softw. Md Nafee Al Islam, Muhammed Tawfiq Chowdhury, Ankit Agrawal, Michael Murphy, Raj Mehta, Daria Kudriavtseva, Jane Cleland-Huang, Michael Vierhauser, Marsha Chechik
2023	—	`conf`	DecompoVision: Reliability Analysis of Machine Vision Components through Decomposition and Reuse. ESEC/SIGSOFT FSE Boyue Caroline Hu, Lina Marsso, Nikita Dvornik, Huakun Shen, Marsha Chechik
2023	—	`conf`	Defining, Analyzing, Querying and Assuring Product Line Models. VaMoS Marsha Chechik
2023	—	`conf`	Early Verification of Legal Compliance via Bounded Satisfiability Checking. CAV (3) Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik
2023	B	`ed.`	Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings FM Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
2023	—	`ed.`	Proceedings of the 1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components, SE4SafeML 2023, San Francisco, CA, USA, 4 December 2023 SE4SafeML@SIGSOFT FSE Marsha Chechik, Sebastian G. Elbaum, Boyue Caroline Hu, Lina Marsso, Meriel von Stein
2023	—	`conf`	Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models. SPLC (A) Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik
2023	—	`ch.`	Semantic History Slicing. Handbook of Re-Engineering Software Intensive Systems into Software Product Lines Yi Li, Julia Rubin, Marsha Chechik
2023	J	`jnl`	The ForeMoSt approach to building valid model-based safety arguments. Softw. Syst. Model. Torin Viger, Logan Murphy, Alessio Di Sandro, Claudio Menghi, Ramy Shahin, Marsha Chechik
2023	J	`jnl`	The Last Decade in Review: Tracing the Evolution of Safety Assurance Cases through a Comprehensive Bibliometric Analysis. CoRR Mithila Sivakumar, Alvine Boaye Belle, Jinjun Shan, Opeyemi Adesina, Song Wang, Marsha Chechik, Marios Fokaefs, Kimya Khakzad Shahandashti, Oluwafemi Odu
2023	—	`conf`	Towards Feature-Based Analysis of the Machine Learning Development Lifecycle. ESEC/SIGSOFT FSE Boyue Caroline Hu, Marsha Chechik
2023	A*	`conf`	Towards a Formal Framework for Normative Requirements Elicitation. ASE Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley A. Townsend, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
2022	J	`jnl`	Bounded Satisfiability Checking of Metric First-order Temporal Logic. CoRR Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik
2022	A*	`conf`	If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components. ICSE Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Rick Salay, Huakun Shen, Marsha Chechik
2022	J	`jnl`	If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components. CoRR Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Rick Salay, Huakun Shen, Marsha Chechik
2022	—	`conf`	On safety, assurance, and reliability: a software engineering perspective (keynote). ESEC/SIGSOFT FSE Marsha Chechik
2022	J	`jnl`	Property Satisfiability Analysis for Product Lines of Modelling Languages. IEEE Trans. Software Eng. Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay
2022	A	`conf`	What to Check: Systematic Selection of Transformations for Analyzing Reliability of Machine Vision Components. ISSRE Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Marsha Chechik
2021	A	`conf`	A Lean Approach to Building Valid Model-Based Safety Arguments. MoDELS Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik
2021	A	`conf`	Applying Declarative Analysis to Software Product Line Models: An Industrial Study. MoDELS Ramy Shahin, Robert Hackman, Rafael F. Toledo, S. Ramesh, Joanne M. Atlee, Marsha Chechik
2021	J	`jnl`	Applying Declarative Analysis to Software Product Line Models: An Industrial Study. CoRR Ramy Shahin, Robert Hackman, Rafael F. Toledo, S. Ramesh, Joanne M. Atlee, Marsha Chechik
2021	—	`ed.`	ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021 ESEC/SIGSOFT FSE Diomidis Spinellis, Georgios Gousios, Marsha Chechik, Massimiliano Di Penta
2021	J	`jnl`	Formal reasoning for analyzing goal models that evolve over time. Requir. Eng. Alicia M. Grubb, Marsha Chechik
2021	B	`conf`	Towards Certified Analysis of Software Product Line Safety Cases. SAFECOMP Ramy Shahin, Sahar Kokaly, Marsha Chechik
2021	J	`jnl`	Towards Certified Analysis of Software Product Line Safety Cases. CoRR Ramy Shahin, Sahar Kokaly, Marsha Chechik
2021	B	`conf`	Validating Safety Arguments with Lean. SEFM Logan Murphy, Torin Viger, Alessio Di Sandro, Ramy Shahin, Marsha Chechik
2021	B	`conf`	Verification by Gambling on Program Slices. ATVA Murad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik
2020	J	`jnl`	Automatic and Efficient Variability-Aware Lifting of Functional Programs. CoRR Ramy Shahin, Marsha Chechik
2020	J	`jnl`	Automatic and efficient variability-aware lifting of functional programs. Proc. ACM Program. Lang. Ramy Shahin, Marsha Chechik
2020	A	`conf`	GenSlice: Generalized Semantic History Slicing. ICSME Chenguang Zhu, Yi Li, Julia Rubin, Marsha Chechik
2020	J	`jnl`	Heterogeneous megamodel management using collection operators. Softw. Syst. Model. Rick Salay, Sahar Kokaly, Alessio Di Sandro, Nick L. S. Fung, Marsha Chechik
2020	B	`conf`	Just Enough Formality in Assurance Argument Structures. SAFECOMP Torin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik
2020	—	`conf`	MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts. MoDELS (Companion) Alessio Di Sandro, Gehan M. K. Selim, Rick Salay, Torin Viger, Marsha Chechik, Sahar Kokaly
2020	J	`jnl`	Reconstructing the past: the case of the Spadina Expressway. Requir. Eng. Alicia M. Grubb, Marsha Chechik
2020	A*	`conf`	Scaling Client-Specific Equivalence Checking via Impact Boundary Search. ASE Nick Feng, Federico Mora, Vincent Hui, Marsha Chechik
2020	—	`conf`	Towards Requirements Specification for Machine-learned Perception Based on Human Performance. AIRE@RE Boyue Caroline Hu, Rick Salay, Krzysztof Czarnecki, Mona Rahimi, Gehan M. K. Selim, Marsha Chechik
2020	C	`conf`	Variability-Aware Datalog. PADL Ramy Shahin, Marsha Chechik
2019	J	`jnl`	A Survey of Tool-supported Assurance Case Assessment Techniques. ACM Comput. Surv. Mike Maksimov, Sahar Kokaly, Marsha Chechik
2019	J	`jnl`	A verification-driven framework for iterative design of controllers. Formal Aspects Comput. Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi
2019	J	`jnl`	Lifting Datalog-Based Analyses to Software Product Lines. CoRR Ramy Shahin, Marsha Chechik, Rick Salay
2019	—	`conf`	Lifting Datalog-based analyses to software product lines. ESEC/SIGSOFT FSE Ramy Shahin, Marsha Chechik, Rick Salay
2019	J	`jnl`	Managing design-time uncertainty. Softw. Syst. Model. Michalis Famelis, Marsha Chechik
2019	J	`jnl`	Precise semantic history slicing through dynamic delta refinement. Autom. Softw. Eng. Yi Li, Chenguang Zhu, Milos Gligoric, Julia Rubin, Marsha Chechik
2019	—	`ed.`	Proceedings of the 11th International Workshop on Modelling in Software Engineerings, MiSE@ICSE 2019, Montreal, QC, Canada, May 26-27, 2019 MiSE@ICSE Marsha Chechik, Daniel Strüber, Dániel Varró
2019	—	`conf`	Querying Automotive System Models and Safety Artifacts with MMINT and Viatra. MoDELS (Companion) Alessio Di Sandro, Sahar Kokaly, Rick Salay, Marsha Chechik
2019	B	`conf`	Software Assurance in an Uncertain World. FASE Marsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, Mona Rahimi
2019	J	`jnl`	Software Evolution in Time and Space: Unifying Version and Variability Management (Dagstuhl Seminar 19191). Dagstuhl Reports Thorsten Berger, Marsha Chechik, Timo Kehrer, Manuel Wimmer
2019	—	`conf`	Toward Requirements Specification for Machine-Learned Components. RE Workshops Mona Rahimi, Jin L. C. Guo, Sahar Kokaly, Marsha Chechik
2019	A	`conf`	Uncertain Requirements, Assurance and Machine Learning. RE Marsha Chechik
2019	—	`conf`	Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework. VSTTE Marsha Chechik, Sahar Kokaly, Mona Rahimi, Rick Salay, Torin Viger
2019	J	`jnl`	Variability-aware Datalog. CoRR Ramy Shahin, Marsha Chechik
2018	B	`conf`	Analysing meta-model product lines. SLE Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay
2018	A	`conf`	BloomingLeaf: A Formal Tool for Requirements Evolution Over Time. RE Alicia M. Grubb, Marsha Chechik
2018	—	`conf`	CSlicerCloud: a web-based semantic history slicing framework. ICSE (Companion Volume) Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik
2018	A*	`conf`	Client-specific equivalence checking. ASE Federico Mora, Yi Li, Julia Rubin, Marsha Chechik
2018	B	`conf`	FPH: Efficient Non-commutativity Analysis of Feature-Based Systems. FASE Marsha Chechik, Ioanna Stavropoulou, Cynthia Disenfeld, Julia Rubin
2018	J	`jnl`	Guest editorial: selected areas in automated software engineering. Autom. Softw. Eng. Marsha Chechik, Paul Grünbacher
2018	—	`conf`	MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases. SAFECOMP Workshops Nick L. S. Fung, Sahar Kokaly, Alessio Di Sandro, Rick Salay, Marsha Chechik
2018	A	`conf`	Model Transformation Product Lines. MoDELS Juan de Lara, Esther Guerra, Marsha Chechik, Rick Salay
2018	A*	`ed.`	Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018 ICSE Michel Chaudron, Ivica Crnkovic, Marsha Chechik, Mark Harman
2018	—	`ed.`	Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018 ICSE (Companion Volume) Michel Chaudron, Ivica Crnkovic, Marsha Chechik, Mark Harman
2018	J	`jnl`	Selected Extended Papers of VSTTE 2016. J. Autom. Reason. Sandrine Blazy, Marsha Chechik
2018	J	`jnl`	Semantic Slicing of Software Version Histories. IEEE Trans. Software Eng. Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik
2018	B	`conf`	Supporting Verification-Driven Incremental Distributed Design of Components. FASE Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi
2018	C	`conf`	Transformation of Software Product Lines. Software Engineering Gabriele Taentzer, Rick Salay, Daniel Strüber, Marsha Chechik
2018	—	`conf`	Two Decades of Assurance Case Tools: A Survey. SAFECOMP Workshops Mike Maksimov, Nick L. S. Fung, Sahar Kokaly, Marsha Chechik
2018	J	`jnl`	Variability-based model transformation: formal foundation and application. Formal Aspects Comput. Daniel Strüber, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer, Jennifer Plöger
2017	—	`conf`	9th Workshop on Modelling in Software Engineering (MiSE 2017). MiSE@ICSE Davide Di Ruscio, Marsha Chechik, Bernhard Rumpe
2017	A	`conf`	A dataset for dynamic discovery of semantic changes in version controlled software histories. MSR Chenguang Zhu, Yi Li, Julia Rubin, Marsha Chechik
2017	—	`conf`	FHistorian: Locating Features in Version Histories. SPLC (A) Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik
2017	—	`conf`	FPH: efficient detection of feature interactions through non-commutativity. ICSE (Companion Volume) Cynthia Disenfeld, Ioanna Stavropoulou, Julia Rubin, Marsha Chechik
2017	A	`conf`	Managing Design-Time Uncertainty. MoDELS Michalis Famelis, Marsha Chechik
2017	A	`conf`	Modeling and Reasoning with Changing Intentions: An Experiment. RE Alicia M. Grubb, Marsha Chechik
2017	J	`jnl`	Report from the 9th Workshop on Modelling in Software Engineering(MiSE 2017). ACM SIGSOFT Softw. Eng. Notes Marsha Chechik, Davide Di Ruscio
2017	C	`conf`	RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules. Software Engineering Daniel Strüber, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer, Jennifer Plöger
2017	—	`conf`	Runtime monitoring of web service conversations. CASCON Yuan Gan, Marsha Chechik, Shiva Nejati, Jon Bennett, Bill O'Farrell, Julie Waterhouse
2017	B	`conf`	Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach. SAFECOMP Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum
2017	A	`conf`	Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty. MoDELS Michalis Famelis, Julia Rubin, Krzysztof Czarnecki, Rick Salay, Marsha Chechik
2017	C	`conf`	The impact of visual load on performance in a human-computation game. FDG Christina Chung, Amit Kadan, Yueti Yang, Asako Matsuoka, Julia Rubin, Marsha Chechik
2017	A	`conf`	Transformations of Software Product Lines: A Generalizing Framework Based on Category Theory. MoDELS Gabriele Taentzer, Rick Salay, Daniel Strüber, Marsha Chechik
2016	A	`conf`	A model management approach for assurance case reuse due to system evolution. MoDELS Sahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik
2016	—	`conf`	Correct Reuse of Transformations is Hard to Guarantee. ICMT Rick Salay, Steffen Zschaler, Marsha Chechik
2016	—	`conf`	GrowingLeaf: Supporting Requirements Evolution over Time. iStar Alicia M. Grubb, Gary Song, Marsha Chechik
2016	—	`conf`	Heterogeneous Megamodel Slicing for Model Evolution. ME@MoDELS Rick Salay, Sahar Kokaly, Marsha Chechik, Tom Maibaum
2016	A	`conf`	Looking into the Crystal Ball: Requirements Evolution over Time. RE Alicia M. Grubb, Marsha Chechik
2016	—	`conf`	Model management for regulatory compliance: a position paper. MiSE@ICSE Sahar Kokaly, Rick Salay, Mehrdad Sabetzadeh, Marsha Chechik, Tom Maibaum
2016	B	`conf`	Observational Refinement and Merge for Disjunctive MTSs. ATVA Shoham Ben-David, Marsha Chechik, Sebastián Uchitel
2016	B	`conf`	Perspectives of Model Transformation Reuse. IFM Marsha Chechik, Michalis Famelis, Rick Salay, Daniel Strüber
2016	A*	`conf`	Precise semantic history slicing through dynamic delta refinement. ASE Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik
2016	B	`conf`	RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules. FASE Daniel Strüber, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer, Jennifer Plöger
2016	—	`conf`	Serious games for NP-hard problems: challenges and insights. GAS@ICSE Christina Chung, Asako Matsuoka, Yueti Yang, Julia Rubin, Marsha Chechik
2016	A	`ed.`	Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings TACAS Marsha Chechik, Jean-François Raskin
2016	—	`ed.`	Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers VSTTE Sandrine Blazy, Marsha Chechik
2015	—	`ed.`	7th IEEE/ACM International Workshop on Modeling in Software Engineering, MiSE 2015, Florence, Italy, May 16-17, 2015 MiSE Jeff Gray, Marsha Chechik, Vinay Kulkarni, Richard F. Paige
2015	—	`conf`	7th International Workshop on Modeling in Software Engineering (MiSE 2015). ICSE (2) Jeff Gray, Marsha Chechik, Vinay Kulkarni, Richard F. Paige
2015	B	`conf`	A Generalized Formal Framework for Partial Modeling. FASE Rick Salay, Marsha Chechik
2015	J	`jnl`	A Methodology for Verifying Refinements of Partial Models. J. Object Technol. Rick Salay, Marsha Chechik, Michalis Famelis, Jan Gorzny
2015	B	`conf`	A Variability-Based Approach to Reusable and Efficient Model Transformations. FASE Daniel Strüber, Julia Rubin, Marsha Chechik, Gabriele Taentzer
2015	J	`jnl`	Cloned product variants: from ad-hoc to managed software product lines. Int. J. Softw. Tools Technol. Transf. Julia Rubin, Krzysztof Czarnecki, Marsha Chechik
2015	A	`conf`	Enriching megamodel management with collection-based operators. MoDELS Rick Salay, Sahar Kokaly, Alessio Di Sandro, Marsha Chechik
2015	J	`jnl`	In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015. Softw. Syst. Model. Marsha Chechik, Geri Georg, Martin Gogolla, Jean-Marc Jézéquel, Bernhard Rumpe, Martin Schindler
2015	—	`conf`	Integrating Crowd Intelligence into Software. CSI-SE Rick Salay, Fabiano Dalpiaz, Marsha Chechik
2015	—	`conf`	MMINT: A Graphical Tool for Interactive Model Management. P&D@MoDELS Alessio Di Sandro, Rick Salay, Michalis Famelis, Sahar Kokaly, Marsha Chechik
2015	—	`conf`	MU-MMINT: An IDE for Model Uncertainty. ICSE (2) Michalis Famelis, Naama Ben-David, Alessio Di Sandro, Rick Salay, Marsha Chechik
2015	—	`conf`	Migrating Automotive Product Lines: A Case Study. ICMT Michalis Famelis, Levi Lucio, Gehan M. K. Selim, Alessio Di Sandro, Rick Salay, Marsha Chechik, James R. Cordy, Jürgen Dingel, Hans Vangheluwe, S. Ramesh
2015	Misc	`conf`	Modeling and Reasoning about Software Systems Containing Uncertainty and Variability. TASE Marsha Chechik
2015	—	`ed.`	Proceedings of the Doctoral Symposium at the 18th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems 2015 (MoDELS 2015), Ottawa, Canada, September 29, 2015. MoDELS (Doctoral Symposium) Dimitris S. Kolovos, Marsha Chechik
2015	—	`conf`	Property-Based Methods for Collaborative Model Development. GEMOC+MPM@MoDELS Marsha Chechik, Fabiano Dalpiaz, Csaba Debreceni, Jennifer Horkoff, István Ráth, Rick Salay, Dániel Varró
2015	A*	`conf`	Semantic Slicing of Software Version Histories (T). ASE Yi Li, Julia Rubin, Marsha Chechik
2015	—	`conf`	Transformation Reuse: What is the Intent? AMT@MoDELS Rick Salay, Steffen Zschaler, Marsha Chechik
2015	—	`conf`	Using the crowds to satisfy unbounded requirements. CrowdRE@RE Fabiano Dalpiaz, Michal Korenko, Rick Salay, Marsha Chechik
2015	B	`conf`	What is a feature?: a qualitative study of features in industrial software product lines. SPLC Thorsten Berger, Daniela Lettner, Julia Rubin, Paul Grünbacher, Adeline Silva, Martin Becker, Marsha Chechik, Krzysztof Czarnecki
2014	C	`conf`	A Comparison of Three Black-Box Optimization Approaches for Model-Based Testing. FedCSIS Teemu Kanstrén, Marsha Chechik
2014	A*	`ed.`	ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014 ASE Ivica Crnkovic, Marsha Chechik, Paul Grünbacher
2014	A*	`conf`	Lifting model transformations to product lines. ICSE Rick Salay, Michalis Famelis, Julia Rubin, Alessio Di Sandro, Marsha Chechik
2014	B	`conf`	Management of Time Requirements in Component-Based Systems. FM Yi Li, Tian Huat Tan, Marsha Chechik
2014	B	`conf`	Splitting Models Using Information Retrieval and Model Crawling Techniques. FASE Daniel Strüber, Julia Rubin, Gabriele Taentzer, Marsha Chechik
2014	A	`conf`	Supporting early decision-making in the presence of uncertainty. RE Jennifer Horkoff, Rick Salay, Marsha Chechik, Alessio Di Sandro
2014	A*	`conf`	Symbolic optimization with SMT solvers. POPL Yi Li, Aws Albarghouthi, Zachary Kincaid, Arie Gurfinkel, Marsha Chechik
2014	—	`conf`	Trace Reduction and Pattern Analysis to Assist Debugging in Model-Based Testing. ISSRE Workshops Teemu Kanstrén, Marsha Chechik
2014	—	`conf`	Using developer conversations to resolve uncertainty in software development: a position paper. RSSE@ICSE Ahmed Shah Mashiyat, Michalis Famelis, Rick Salay, Marsha Chechik
2013	A*	`conf`	5th international workshop on modeling in software engineering (MiSE 2013). ICSE Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray, Richard F. Paige, Bernhard Rumpe
2013	—	`ch.`	A Survey of Feature Location Techniques. Domain Engineering, Product Lines, Languages, and Conceptual Models Julia Rubin, Marsha Chechik
2013	A*	`conf`	A framework for managing cloned product variants. ICSE Julia Rubin, Marsha Chechik
2013	B	`conf`	Change Propagation due to Uncertainty Change. FASE Rick Salay, Jan Gorzny, Marsha Chechik
2013	B	`conf`	Managing cloned variants: a framework and experience. SPLC Julia Rubin, Krzysztof Czarnecki, Marsha Chechik
2013	J	`jnl`	Managing requirements uncertainty with partial models. Requir. Eng. Rick Salay, Marsha Chechik, Jennifer Horkoff, Alessio Di Sandro
2013	B	`conf`	Merging Partial Behaviour Models with Different Vocabularies. CONCUR Shoham Ben-David, Marsha Chechik, Sebastián Uchitel
2013	J	`jnl`	Monitoring and recovery for web service applications. Computing Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik
2013	—	`conf`	N-way model merging. ESEC/SIGSOFT FSE Julia Rubin, Marsha Chechik
2013	—	`ch.`	PWWM: A Personal Web Workflow Methodology. The Personal Web Marsha Chechik, Jocelyn Simmonds, Sotirios Liaskos, Shiva Nejati, Mehrdad Sabetzadeh, Rick Salay
2013	C	`ed.`	Proceedings of the 5th International Workshop on Modeling in Software Engineering, MiSE 2013, San Francisco, California, USA, May 18-19, 2013 MiSE Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray, Richard F. Paige, Bernhard Rumpe
2013	B	`conf`	Quality of Merge-Refactorings for Product Lines. FASE Julia Rubin, Marsha Chechik
2013	—	`conf`	Supporting Agility in MDE Through Modeling Language Relaxation. XM@MoDELS Rick Salay, Marsha Chechik
2013	J	`jnl`	Supporting incremental behaviour model elaboration. Comput. Sci. Res. Dev. Sebastián Uchitel, Dalal Alrajeh, Shoham Ben-David, Víctor A. Braberman, Marsha Chechik, Guido de Caso, Nicolás D'Ippolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German E. Sibay
2013	—	`conf`	Towards a Catalog of Non-Functional Requirements in Model Transformation Languages. AMT@MoDELS Soroosh Nalchigar, Rick Salay, Marsha Chechik
2013	A	`conf`	Transformation of Models Containing Uncertainty. MoDELS Michalis Famelis, Rick Salay, Alessio Di Sandro, Marsha Chechik
2013	A	`conf`	UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution). TACAS Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, Marsha Chechik
2012	J	`jnl`	A relationship-based approach to model integration. Innov. Syst. Softw. Eng. Marsha Chechik, Shiva Nejati, Mehrdad Sabetzadeh
2012	B	`conf`	Combining Related Products into Product Lines. FASE Julia Rubin, Marsha Chechik
2012	B	`conf`	Craig Interpretation. SAS Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik
2012	A	`conf`	From Under-Approximations to Over-Approximations and Back. TACAS Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik
2012	B	`conf`	Language Independent Refinement Using Partial Modeling. FASE Rick Salay, Michalis Famelis, Marsha Chechik
2012	A*	`conf`	Locating distinguishing features using diff sets. ASE Julia Rubin, Marsha Chechik
2012	—	`conf`	Managing forked product variants. SPLC (1) Julia Rubin, Andrei Kirshin, Goetz Botterweck, Marsha Chechik
2012	A	`conf`	Managing requirements uncertainty with partial models. RE Rick Salay, Marsha Chechik, Jennifer Horkoff
2012	J	`jnl`	Matching and Merging of Variant Feature Specifications. IEEE Trans. Software Eng. Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave
2012	A*	`conf`	Partial models: Towards modeling and reasoning with uncertainty. ICSE Michalis Famelis, Rick Salay, Marsha Chechik
2012	J	`jnl`	Robust Vacuity for Branching Temporal Logic. ACM Trans. Comput. Log. Arie Gurfinkel, Marsha Chechik
2012	C	`conf`	The semantics of partial model transformations. MiSE Michalis Famelis, Rick Salay, Marsha Chechik
2012	A	`conf`	Towards a Methodology for Verifying Partial Model Refinements. ICST Rick Salay, Marsha Chechik, Jan Gorzny
2012	A*	`conf`	Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification. CAV Aws Albarghouthi, Yi Li, Arie Gurfinkel, Marsha Chechik
2012	J	`jnl`	Weak Alphabet Merging of Partial Behavior Models. ACM Trans. Softw. Eng. Methodol. Dario Fischbein, Nicolás D'Ippolito, Greg Brunet, Marsha Chechik, Sebastián Uchitel
2012	B	`conf`	Whale: An Interpolation-Based Algorithm for Inter-procedural Verification. VMCAI Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik
2011	—	`conf`	CSSL: a logic for specifying conditional scenarios. SIGSOFT FSE Shoham Ben-David, Marsha Chechik, Arie Gurfinkel, Sebastián Uchitel
2011	J	`jnl`	Exploring inconsistencies between modal transition systems. Softw. Syst. Model. Mathieu Sassolas, Marsha Chechik, Sebastián Uchitel
2011	J	`jnl`	On the consistency, expressiveness, and precision of partial modeling formalisms. Inf. Comput. Ou Wei, Arie Gurfinkel, Marsha Chechik
2011	—	`conf`	Partial models: a position paper. MoDeVVa@MoDELS Michalis Famelis, Shoham Ben-David, Marsha Chechik, Rick Salay
2010	J	`jnl`	19th International Conference on Concurrency Theory. Inf. Comput. Franck van Breugel, Marsha Chechik
2010	A*	`conf`	Abstract Analysis of Symbolic Executions. CAV Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha Chechik
2010	—	`conf`	Accelerate service integration in your BPM/SOA applications. CASCON Allen Chan, Brian Petrini, Marsha Chechik
2010	J	`jnl`	Exploiting resolution proofs to speed up LTL vacuity detection for BMC. Int. J. Softw. Tools Technol. Transf. Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik
2010	—	`conf`	From Products to Product Lines Using Model Matching and Refactoring. SPLC Workshops Julia Rubin, Marsha Chechik
2010	—	`conf`	Guided recovery for web service applications. SIGSOFT FSE Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik
2010	—	`ch.`	Monitoring and Recovery of Web Service Applications. The Smart Internet Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik
2010	—	`conf`	Optimizing Computation of Recovery Plans for BPEL Applications TAV-WEB Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik
2010	—	`ed.`	Proceedings of the 3rd Workshop on Living with Inconsistencies in Software Development, LWI@ASE 2010, Antwerp, Belgium, September 21st, 2010 LWI@ASE Alexander Egyed, Roberto E. Lopez-Herrejon, Bashar Nuseibeh, Goetz Botterweck, Marsha Chechik, Zhenjiang Hu
2010	—	`conf`	Reasoning about Consistency in Model Merging. LWI@ASE Mehrdad Sabetzadeh, Shiva Nejati, Marsha Chechik, Steve Easterbrook
2010	J	`jnl`	Robust Vacuity for Branching Temporal Logic CoRR Arie Gurfinkel, Marsha Chechik
2010	A*	`conf`	RuMoR: monitoring and recovery for BPEL applications. ASE Jocelyn Simmonds, Marsha Chechik
2009	—	`conf`	A relationship-based approach to model management. MOMPES Marsha Chechik
2009	B	`ed.`	Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings FASE Marsha Chechik, Martin Wirsing
2009	B	`conf`	Mixed Transition Systems Revisited. VMCAI Ou Wei, Arie Gurfinkel, Marsha Chechik
2009	—	`conf`	Relationship-based change propagation: A case study. MiSE@ICSE Marsha Chechik, Winnie Lai, Shiva Nejati, Jordi Cabot, Zinovy Diskin, Steve M. Easterbrook, Mehrdad Sabetzadeh, Rick Salay
2009	J	`jnl`	Runtime Monitoring of Web Service Conversations. IEEE Trans. Serv. Comput. Jocelyn Simmonds, Yuan Gan, Marsha Chechik, Shiva Nejati, Bill O'Farrell, Elena Litani, Julie Waterhouse
2009	J	`jnl`	Synthesis of Partial Behavior Models from Properties and Scenarios. IEEE Trans. Software Eng. Sebastián Uchitel, Greg Brunet, Marsha Chechik
2009	—	`conf`	The SCOOP Concurrency Model in Java-like Languages. CPA Faraz Ahmadi Torshizi, Jonathan S. Ostroff, Richard F. Paige, Marsha Chechik
2008	A*	`conf`	Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates. ASE Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie
2008	C	`conf`	Behavioural model fusion: an overview of challenges. MiSE Shiva Nejati, Marsha Chechik
2008	B	`ed.`	CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings CONCUR Franck van Breugel, Marsha Chechik
2008	C	`conf`	Declarative approach for model composition. MiSE Julia Rubin, Marsha Chechik, Steve M. Easterbrook
2008	A*	`conf`	Global consistency checking of distributed models with TReMer+. ICSE Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik
2008	A*	`conf`	MTSA: The Modal Transition System Analyser. ASE Nicolás D'Ippolito, Dario Fischbein, Marsha Chechik, Sebastián Uchitel
2008	B	`conf`	Model Checking Recursive Programs with Exact Predicate Abstraction. ATVA Arie Gurfinkel, Ou Wei, Marsha Chechik
2008	—	`ed.`	Proceedings of the 2008 conference of the Centre for Advanced Studies on Collaborative Research, October 27-30, 2008, Richmond Hill, Ontario, Canada CASCON Marsha Chechik, Mark R. Vigder, Darlene A. Stewart
2008	B	`conf`	Property Patterns for Runtime Monitoring of Web Service Conversations. RV Jocelyn Simmonds, Marsha Chechik, Shiva Nejati, Elena Litani, Bill O'Farrell
2008	A*	`conf`	PtYasm: Software Model Checking with Proof Templates. ASE Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie
2008	—	`conf`	Security Benchmarking using Partial Verification. HotSec Thomas E. Hart, Marsha Chechik, David Lie
2008	—	`conf`	Towards compositional synthesis of evolving systems. SIGSOFT FSE Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Sebastián Uchitel, Pamela Zave
2007	—	`conf`	A Relationship-Driven Framework for Model Merging. MiSE@ICSE Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik
2007	A*	`conf`	A buffer overflow benchmark for software model checkers. ASE Kelvin Ku, Thomas E. Hart, Marsha Chechik, David Lie
2007	J	`jnl`	A framework for counterexample generation and exploration. Int. J. Softw. Tools Technol. Transf. Marsha Chechik, Arie Gurfinkel
2007	—	`conf`	An Eclipse-based tool framework for software model management. ETX Rick Salay, Marsha Chechik, Steve M. Easterbrook, Zinovy Diskin, Pete McCormick, Shiva Nejati, Mehrdad Sabetzadeh, Petcharat Viriyakattiyaporn
2007	A*	`conf`	Behaviour Model Synthesis from Properties and Scenarios. ICSE Sebastián Uchitel, Greg Brunet, Marsha Chechik
2007	A	`conf`	Consistency Checking of Conceptual Models via Model Merging. RE Mehrdad Sabetzadeh, Shiva Nejati, Sotirios Liaskos, Steve M. Easterbrook, Marsha Chechik
2007	B	`conf`	Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC. FMCAD Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik
2007	B	`conf`	Finding Environment Guarantees. FASE Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel
2007	B	`conf`	Finding State Solutions to Temporal Logic Queries. IFM Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik
2007	A*	`conf`	Matching and Merging of Statecharts Specifications. ICSE Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave
2007	—	`conf`	Runtime monitoring of web service conversations. CASCON Yuan Gan, Marsha Chechik, Shiva Nejati, Jon Bennett, Bill O'Farrell, Julie Waterhouse
2006	J	`jnl`	A relationship-driven approach to view merging. ACM SIGSOFT Softw. Eng. Notes Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik
2006	B	`conf`	Automated Support for Building Behavioral Models of Event-Driven Systems. FASE Benet Devereux, Marsha Chechik
2006	J	`jnl`	Data structures for symbolic multi-valued model-checking. Formal Methods Syst. Des. Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook
2006	—	`conf`	Partial Behavioural Models for Requirements and Early Design. MMOSS Marsha Chechik, Greg Brunet, Dario Fischbein, Sebastián Uchitel
2006	B	`conf`	Properties of Behavioural Model Merging. FM Greg Brunet, Marsha Chechik, Sebastián Uchitel
2006	B	`conf`	Systematic Construction of Abstractions for Model-Checking. VMCAI Arie Gurfinkel, Ou Wei, Marsha Chechik
2006	B	`conf`	Thorough Checking Revisited. FMCAD Shiva Nejati, Mihaela Gheorghiu, Marsha Chechik
2006	A	`conf`	Why Waste a Perfectly Good Abstraction?. TACAS Arie Gurfinkel, Marsha Chechik
2006	A*	`conf`	Yasm: A Software Model-Checker for Verification and Refutation. CAV Arie Gurfinkel, Ou Wei, Marsha Chechik
2005	B	`conf`	A Framework for Counterexample Generation and Exploration. FASE Marsha Chechik, Arie Gurfinkel
2005	—	`conf`	How Thorough Is Thorough Enough? CHARME Arie Gurfinkel, Marsha Chechik
2005	—	`conf`	Identification and Counter Abstraction for Full Virtual Symmetry. CHARME Ou Wei, Arie Gurfinkel, Marsha Chechik
2005	A*	`conf`	Let's agree to disagree. ASE Shiva Nejati, Marsha Chechik
2005	—	`conf`	Model-Checking Software Using Precise Abstractions. VSTTE Marsha Chechik, Arie Gurfinkel
2005	B	`conf`	Stuttering Abstraction for Model Checkin. SEFM Shiva Nejati, Arie Gurfinkel, Marsha Chechik
2004	—	`conf`	A Practical Approach to Partial Functions in CVC Lite. D/PDPAR@IJCAR Sergey Berezin, Clark W. Barrett, Igor Shikanian, Marsha Chechik, Arie Gurfinkel, David L. Dill
2004	B	`conf`	Extending Extended Vacuity. FMCAD Arie Gurfinkel, Marsha Chechik
2004	A	`conf`	How Vacuous Is Vacuous? TACAS Arie Gurfinkel, Marsha Chechik
2004	—	`conf`	Merging partial behavioural models. SIGSOFT FSE Sebastián Uchitel, Marsha Chechik
2003	—	`conf`	CTL Model-Checking over Logics with Non-Classical Negations. ISMVL Marsha Chechik, Wendy MacCaull
2003	J	`jnl`	Edge-Shifted Decision Diagrams for Multiple-Valued Logic. J. Multiple Valued Log. Soft Comput. Benet Devereux, Marsha Chechik
2003	—	`conf`	Generating Counterexamples for Multi-valued Model-Checking. FME Arie Gurfinkel, Marsha Chechik
2003	B	`conf`	Multi-Valued Model Checking via Classical Model Checking. CONCUR Arie Gurfinkel, Marsha Chechik
2003	J	`jnl`	Multi-valued symbolic model-checking. ACM Trans. Softw. Eng. Methodol. Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Arie Gurfinkel
2003	J	`jnl`	On Closure Under Stuttering. Formal Aspects Comput. Dimitrie O. Paun, Marsha Chechik
2003	A	`conf`	Proof-Like Counter-Examples. TACAS Arie Gurfinkel, Marsha Chechik
2003	A*	`conf`	TLQSolver: A Temporal Logic Query Checker. CAV Marsha Chechik, Arie Gurfinkel
2003	J	`jnl`	Temporal Logic Query Checking: A Tool for Model Exploration. IEEE Trans. Software Eng. Arie Gurfinkel, Marsha Chechik, Benet Devereux
2003	A*	`conf`	\chiChek: A Model Checker for Multi-Valued Reasoning. ICSE Steve M. Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Y. C. Lai, Victor Petrovykh, Anya Tafliovich, Christopher D. Thompson-Walsh
2002	J	`jnl`	Formal modeling in a commercial setting: A case study. J. Syst. Softw. Marsha Chechik, Andre Wong
2002	J	`jnl`	Guest Editorial: Special Issue on Model Checking in Requirements Engineering. Requir. Eng. Steve M. Easterbrook, Marsha Chechik
2002	J	`jnl`	Lightweight Reasoning about Program Correctness. Inf. Syst. Frontiers Marsha Chechik, Wei Ding
2002	—	`conf`	Model exploration with temporal logic query checking. SIGSOFT FSE Arie Gurfinkel, Benet Devereux, Marsha Chechik
2002	A*	`conf`	chi-Chek: A Multi-valued Model-Checker. CAV Marsha Chechik, Arie Gurfinkel, Benet Devereux
2001	A*	`conf`	2nd International Workshop on Living with Inconsistency. ICSE Steve M. Easterbrook, Marsha Chechik
2001	J	`jnl`	2nd international workshop on living with inconsistency (IWLWI01). ACM SIGSOFT Softw. Eng. Notes Steve M. Easterbrook, Marsha Chechik
2001	A*	`conf`	A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints. ICSE Steve M. Easterbrook, Marsha Chechik
2001	J	`jnl`	Automatic Analysis of Consistency between Requirements and Designs. IEEE Trans. Software Eng. Marsha Chechik, John D. Gannon
2001	B	`conf`	Efficient Multiple-Valued Model-Checking Using Lattice Representations. CONCUR Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Albert Y. C. Lai, Victor Petrovykh
2001	A	`conf`	Implementing a Multi-valued Symbolic Model Checker. TACAS Marsha Chechik, Benet Devereux, Steve M. Easterbrook
2001	—	`conf`	Lightweight reasoning about program correctness. CASCON Marsha Chechik, Wei Ding
2001	—	`conf`	Model Checking with Multi-Valued Temporal Logics. ISMVL Marsha Chechik, Steve M. Easterbrook, Benet Devereux
2001	—	`conf`	Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN. SPIN Marsha Chechik, Benet Devereux, Arie Gurfinkel
2001	—	`conf`	Model-Checking over Multi-valued Logics. FME Marsha Chechik, Steve M. Easterbrook, Victor Petrovykh
2000	—	`conf`	Bisimulation analysis of SDL-expressed protocols: a case study. CASCON Marsha Chechik, Hai Wang
1999	J	`jnl`	Events in Linear-Time Properties CoRR Dimitrie O. Paun, Marsha Chechik
1999	A	`conf`	Events in Linear-Time Properties. RE Dimitrie O. Paun, Marsha Chechik
1999	J	`jnl`	Events in Property Patterns CoRR Marsha Chechik, Dimitrie O. Paun
1999	—	`conf`	Events in Property Patterns. SPIN Marsha Chechik, Dimitrie O. Paun
1999	J	`jnl`	Formal Modeling in a Commercial Setting: A Case Study CoRR Andre Wong, Marsha Chechik
1999	—	`conf`	Formal Modeling in a Commercial Setting: A Case Study. World Congress on Formal Methods Andre Wong, Marsha Chechik
1999	J	`jnl`	SCR3: towards usability of formal methods CoRR Marsha Chechik
1998	—	`conf`	SC(R) CASCON Marsha Chechik
1996	J	`jnl`	Using Model Checking to Analyze Requirements and Designs. Adv. Comput. Joanne M. Atlee, Marsha Chechik, John D. Gannon
1994	A	`conf`	Automatic Verification of Requirements Implementation. ISSTA Marsha Chechik, John D. Gannon