Marsha Chechik

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 115

Top Venues

CoRR

MoDELS

FASE

Publications

Alessio Di Sandro, Logan Murphy, Torin Viger, Marsha Chechik
MMINT-A: A framework for model-based safety assurance. Sci. Comput. Program. 231 (2024)
Sinclair Hudson, Sophia Jit, Boyue Caroline Hu, Marsha Chechik
A Software Engineering Perspective on Testing Large Language Models: Research, Practice, Tools and Benchmarks. CoRR (2024)
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
Analyzing and Debugging Normative Requirements via Satisfiability Checking. ICSE (2024)
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
Normative Requirements Operationalization with Large Language Models. CoRR (2024)
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
Analyzing and Debugging Normative Requirements via Satisfiability Checking. CoRR (2024)
Huakun Shen, Boyue Caroline Hu, Krzysztof Czarnecki, Lina Marsso, Marsha Chechik
Assessing Visually-Continuous Corruption Robustness of Neural Networks Relative to Human Performance. CoRR (2024)
Logan Murphy, Torin Viger, Alessio Di Sandro, Marsha Chechik
PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases. CoRR (2024)
Alan Wang, Nick Feng, Marsha Chechik
Code-Level Functional Equivalence Checking of Annotative Software Product Lines. SPLC (A) (2023)
Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley Townsend, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
Towards a Formal Framework for Normative Requirements Elicitation. ASE (2023)
Jacob Krüger, Yi Li, Chenguang Zhu, Marsha Chechik, Thorsten Berger, Julia Rubin
A Vision on Intentions in Software Engineering. ESEC/SIGSOFT FSE (2023)
Marsha Chechik
Defining, Analyzing, Querying and Assuring Product Line Models. VaMoS (2023)
Md Nafee Al Islam, Muhammed Tawfiq Chowdhury, Ankit Agrawal, Michael Murphy, Raj Mehta, Daria Kudriavtseva, Jane Cleland-Huang, Michael Vierhauser, Marsha Chechik
Configuring mission-specific behavior in a product line of collaborating Small Unmanned Aerial Systems. J. Syst. Softw. 197 (2023)
Laure Millet, Simon Diemert, Chris Rees, Torin Viger, Marsha Chechik, Claudio Menghi, Jeffrey J. Joyce
Assurance Case Arguments in the Large: The CERN LHC Machine Protection System. SAFECOMP (2023)
Boyue Caroline Hu, Marsha Chechik
Towards Feature-Based Analysis of the Machine Learning Development Lifecycle. ESEC/SIGSOFT FSE (2023)
Torin Viger, Logan Murphy, Alessio Di Sandro, Claudio Menghi, Ramy Shahin, Marsha Chechik
The ForeMoSt approach to building valid model-based safety arguments. Softw. Syst. Model. 22 (5) (2023)
Boyue Caroline Hu, Lina Marsso, Nikita Dvornik, Huakun Shen, Marsha Chechik
DecompoVision: Reliability Analysis of Machine Vision Components through Decomposition and Reuse. ESEC/SIGSOFT FSE (2023)
Alessio Di Sandro, Ramy Shahin, Marsha Chechik
Adding Product-Line Capabilities to Your Favourite Modeling Language. VaMoS (2023)
Claudio Menghi, Torin Viger, Alessio Di Sandro, Chris Rees, Jeff Joyce, Marsha Chechik
Assurance Case Development as Data: A Manifesto. ICSE (NIER) (2023)
Ramy Shahin, Murad Akhundov, Marsha Chechik
Annotative Software Product Line Analysis Using Variability-Aware Datalog. IEEE Trans. Software Eng. 49 (3) (2023)
Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik
Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models. SPLC (A) (2023)
Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik
Early Verification of Legal Compliance via Bounded Satisfiability Checking. CAV (3) (2023)
Ramy Shahin, Rafael Toledo, Robert Hackman, Ramesh S, Joanne M. Atlee, Marsha Chechik
Applying declarative analysis to industrial automotive software product line models. Empir. Softw. Eng. 28 (2) (2023)
Mithila Sivakumar, Alvine Boaye Belle, Jinjun Shan, Opeyemi Adesina, Song Wang, Marsha Chechik, Marios Fokaefs, Kimya Khakzad Shahandashti, Oluwafemi Odu
The Last Decade in Review: Tracing the Evolution of Safety Assurance Cases through a Comprehensive Bibliometric Analysis. CoRR (2023)
Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Rick Salay, Huakun Shen, Marsha Chechik
If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components. ICSE (2022)
Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Rick Salay, Huakun Shen, Marsha Chechik
If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components. CoRR (2022)
Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki, Marsha Chechik
What to Check: Systematic Selection of Transformations for Analyzing Reliability of Machine Vision Components. ISSRE (2022)
Marsha Chechik
On safety, assurance, and reliability: a software engineering perspective (keynote). ESEC/SIGSOFT FSE (2022)
Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik
Bounded Satisfiability Checking of Metric First-order Temporal Logic. CoRR (2022)
Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay
Property Satisfiability Analysis for Product Lines of Modelling Languages. IEEE Trans. Software Eng. 48 (2) (2022)
Logan Murphy, Torin Viger, Alessio Di Sandro, Ramy Shahin, Marsha Chechik
Validating Safety Arguments with Lean. SEFM (2021)
Ramy Shahin, Robert Hackman, Rafael Toledo, Ramesh S, Joanne M. Atlee, Marsha Chechik
Applying Declarative Analysis to Software Product Line Models: An Industrial Study. CoRR (2021)
Murad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik
Verification by Gambling on Program Slices. ATVA (2021)
Ramy Shahin, Sahar Kokaly, Marsha Chechik
Towards Certified Analysis of Software Product Line Safety Cases. SAFECOMP (2021)
Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik
A Lean Approach to Building Valid Model-Based Safety Arguments. MoDELS (2021)
Ramy Shahin, Sahar Kokaly, Marsha Chechik
Towards Certified Analysis of Software Product Line Safety Cases. CoRR (2021)
Ramy Shahin, Robert Hackman, Rafael Toledo, S. Ramesh, Joanne M. Atlee, Marsha Chechik
Applying Declarative Analysis to Software Product Line Models: An Industrial Study. MoDELS (2021)
Alicia M. Grubb, Marsha Chechik
Formal reasoning for analyzing goal models that evolve over time. Requir. Eng. 26 (3) (2021)
Ramy Shahin, Marsha Chechik
Automatic and efficient variability-aware lifting of functional programs. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Alicia M. Grubb, Marsha Chechik
Reconstructing the past: the case of the Spadina Expressway. Requir. Eng. 25 (2) (2020)
Rick Salay, Sahar Kokaly, Alessio Di Sandro, Nick L. S. Fung, Marsha Chechik
Heterogeneous megamodel management using collection operators. Softw. Syst. Model. 19 (1) (2020)
Ramy Shahin, Marsha Chechik
Variability-Aware Datalog. PADL (2020)
Alessio Di Sandro, Gehan M. K. Selim, Rick Salay, Torin Viger, Marsha Chechik, Sahar Kokaly
MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts. MoDELS (Companion) (2020)
Torin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik
Just Enough Formality in Assurance Argument Structures. SAFECOMP (2020)
Boyue Caroline Hu, Rick Salay, Krzysztof Czarnecki, Mona Rahimi, Gehan M. K. Selim, Marsha Chechik
Towards Requirements Specification for Machine-learned Perception Based on Human Performance. AIRE@RE (2020)
Chenguang Zhu, Yi Li, Julia Rubin, Marsha Chechik
GenSlice: Generalized Semantic History Slicing. ICSME (2020)
Ramy Shahin, Marsha Chechik
Automatic and Efficient Variability-Aware Lifting of Functional Programs. CoRR (2020)
Nick Feng, Federico Mora, Vincent Hui, Marsha Chechik
Scaling Client-Specific Equivalence Checking via Impact Boundary Search. ASE (2020)
Mike Maksimov, Sahar Kokaly, Marsha Chechik
A Survey of Tool-supported Assurance Case Assessment Techniques. ACM Comput. Surv. 52 (5) (2019)
Marsha Chechik, Sahar Kokaly, Mona Rahimi, Rick Salay, Torin Viger
Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework. VSTTE (2019)
Marsha Chechik
Uncertain Requirements, Assurance and Machine Learning. RE (2019)
Mona Rahimi, Jin L. C. Guo, Sahar Kokaly, Marsha Chechik
Toward Requirements Specification for Machine-Learned Components. RE Workshops (2019)
Ramy Shahin, Marsha Chechik, Rick Salay
Lifting Datalog-Based Analyses to Software Product Lines. CoRR (2019)
Alessio Di Sandro, Sahar Kokaly, Rick Salay, Marsha Chechik
Querying Automotive System Models and Safety Artifacts with MMINT and Viatra. MoDELS (Companion) (2019)
Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi
A verification-driven framework for iterative design of controllers. Formal Aspects Comput. 31 (5) (2019)
Yi Li, Chenguang Zhu, Milos Gligoric, Julia Rubin, Marsha Chechik
Precise semantic history slicing through dynamic delta refinement. Autom. Softw. Eng. 26 (4) (2019)
Ramy Shahin, Marsha Chechik, Rick Salay
Lifting Datalog-based analyses to software product lines. ESEC/SIGSOFT FSE (2019)
Ramy Shahin, Marsha Chechik
Variability-aware Datalog. CoRR (2019)
Thorsten Berger, Marsha Chechik, Timo Kehrer, Manuel Wimmer
Software Evolution in Time and Space: Unifying Version and Variability Management (Dagstuhl Seminar 19191). Dagstuhl Reports 9 (5) (2019)
Marsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, Mona Rahimi
Software Assurance in an Uncertain World. FASE (2019)
Michalis Famelis, Marsha Chechik
Managing design-time uncertainty. Softw. Syst. Model. 18 (2) (2019)
Sandrine Blazy, Marsha Chechik
Selected Extended Papers of VSTTE 2016. J. Autom. Reason. 60 (3) (2018)
Marsha Chechik, Paul Grünbacher
Guest editorial: selected areas in automated software engineering. Autom. Softw. Eng. 25 (1) (2018)
Alicia M. Grubb, Marsha Chechik
BloomingLeaf: A Formal Tool for Requirements Evolution Over Time. RE (2018)
Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik
CSlicerCloud: a web-based semantic history slicing framework. ICSE (Companion Volume) (2018)
Mike Maksimov, Nick L. S. Fung, Sahar Kokaly, Marsha Chechik
Two Decades of Assurance Case Tools: A Survey. SAFECOMP Workshops (2018)
Nick L. S. Fung, Sahar Kokaly, Alessio Di Sandro, Rick Salay, Marsha Chechik
MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases. SAFECOMP Workshops (2018)
Gabriele Taentzer, Rick Salay, Daniel Strüber, Marsha Chechik
Transformation of Software Product Lines. Software Engineering (2018)
Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi
Supporting Verification-Driven Incremental Distributed Design of Components. FASE (2018)
Juan de Lara, Esther Guerra, Marsha Chechik, Rick Salay
Model Transformation Product Lines. MoDELS (2018)
Federico Mora, Yi Li, Julia Rubin, Marsha Chechik
Client-specific equivalence checking. ASE (2018)
Marsha Chechik, Ioanna Stavropoulou, Cynthia Disenfeld, Julia Rubin
FPH: Efficient Non-commutativity Analysis of Feature-Based Systems. FASE (2018)
Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik
Semantic Slicing of Software Version Histories. IEEE Trans. Software Eng. 44 (2) (2018)
Daniel Strüber, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer, Jennifer Plöger
Variability-based model transformation: formal foundation and application. Formal Aspects Comput. 30 (1) (2018)
Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay
Analysing meta-model product lines. SLE (2018)
Davide Di Ruscio, Marsha Chechik, Bernhard Rumpe
9th Workshop on Modelling in Software Engineering (MiSE 2017). MiSE@ICSE (2017)
Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum
Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach. SAFECOMP (2017)
Gabriele Taentzer, Rick Salay, Daniel Strüber, Marsha Chechik
Transformations of Software Product Lines: A Generalizing Framework Based on Category Theory. MoDELS (2017)
Chenguang Zhu, Yi Li, Julia Rubin, Marsha Chechik
A dataset for dynamic discovery of semantic changes in version controlled software histories. MSR (2017)
Cynthia Disenfeld, Ioanna Stavropoulou, Julia Rubin, Marsha Chechik
FPH: efficient detection of feature interactions through non-commutativity. ICSE (Companion Volume) (2017)
Daniel Strüber, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer, Jennifer Plöger
RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules. Software Engineering (2017)
Christina Chung, Amit Kadan, Yueti Yang, Asako Matsuoka, Julia Rubin, Marsha Chechik
The impact of visual load on performance in a human-computation game. FDG (2017)
Michalis Famelis, Julia Rubin, Krzysztof Czarnecki, Rick Salay, Marsha Chechik
Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty. MoDELS (2017)
Michalis Famelis, Marsha Chechik
Managing Design-Time Uncertainty. MoDELS (2017)
Marsha Chechik, Davide Di Ruscio
Report from the 9th Workshop on Modelling in Software Engineering(MiSE 2017). ACM SIGSOFT Softw. Eng. Notes 42 (4) (2017)
Yuan Gan, Marsha Chechik, Shiva Nejati, Jon Bennett, Bill O'Farrell, Julie Waterhouse
Runtime monitoring of web service conversations. CASCON (2017)
Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik
FHistorian: Locating Features in Version Histories. SPLC (A) (2017)
Alicia M. Grubb, Marsha Chechik
Modeling and Reasoning with Changing Intentions: An Experiment. RE (2017)
Alicia M. Grubb, Marsha Chechik
Looking into the Crystal Ball: Requirements Evolution over Time. RE (2016)
Daniel Strüber, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer, Jennifer Plöger
RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules. FASE (2016)
Rick Salay, Sahar Kokaly, Marsha Chechik, Tom Maibaum
Heterogeneous Megamodel Slicing for Model Evolution. ME@MoDELS (2016)
Marsha Chechik, Michalis Famelis, Rick Salay, Daniel Strüber
Perspectives of Model Transformation Reuse. IFM (2016)
Shoham Ben-David, Marsha Chechik, Sebastián Uchitel
Observational Refinement and Merge for Disjunctive MTSs. ATVA (2016)
Sahar Kokaly, Rick Salay, Mehrdad Sabetzadeh, Marsha Chechik, Tom Maibaum
Model management for regulatory compliance: a position paper. MiSE@ICSE (2016)
Rick Salay, Steffen Zschaler, Marsha Chechik
Correct Reuse of Transformations is Hard to Guarantee. ICMT (2016)
Christina Chung, Asako Matsuoka, Yueti Yang, Julia Rubin, Marsha Chechik
Serious games for NP-hard problems: challenges and insights. GAS@ICSE (2016)
Alicia M. Grubb, Gary Song, Marsha Chechik
GrowingLeaf: Supporting Requirements Evolution over Time. iStar (2016)
Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik
Precise semantic history slicing through dynamic delta refinement. ASE (2016)
Sahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik
A model management approach for assurance case reuse due to system evolution. MoDELS (2016)
Fabiano Dalpiaz, Michal Korenko, Rick Salay, Marsha Chechik
Using the crowds to satisfy unbounded requirements. CrowdRE@RE (2015)
Yi Li, Julia Rubin, Marsha Chechik
Semantic Slicing of Software Version Histories (T). ASE (2015)

Marsha Chechik.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marsha Chechik