default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarsha Chechik
Person information
- affiliation: University of Toronto, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j53]Marsha Chechik
, Joost-Pieter Katoen:
Introduction to the Special Collection from FM 2023. Formal Aspects Comput. 37(1): 2:1-2:2 (2025)- [j52]Logan Murphy, Mahmood Saifi, Alessio Di Sandro, Marsha Chechik:
A structural taxonomy for lifted software product line analyses. J. Syst. Softw. 222: 112280 (2025) - [j51]Silvia Abrahão, Miroslaw Staron, Judith Michael, Benoît Combemale, Marsha Chechik:
Modeling and Digital Twins: Insights and Strategies for Software Engineers. IEEE Softw. 42(2): 92-96 (2025) - [c189]Huakun Shen, Boyue Caroline Hu, Krzysztof Czarnecki, Lina Marsso, Marsha Chechik:
Assessing Visually-Continuous Corruption Robustness of Neural Networks Relative to Human Performance. WACV 2025: 6300-6310 - [i23]Kevin Kolyakov, Lina Marsso, Nick Feng, Junwei Quan, Marsha Chechik:
LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements. CoRR abs/2501.12544 (2025) - 2024
- [j50]Jacob Krüger, Yi Li, Kirill Lossev, Chenguang Zhu, Marsha Chechik, Thorsten Berger, Julia Rubin:
A Meta-Study of Software-Change Intentions. ACM Comput. Surv. 56(12): 300:1-300:41 (2024) - [j49]Alessio Di Sandro, Logan Murphy, Torin Viger, Marsha Chechik:
MMINT-A: A framework for model-based safety assurance. Sci. Comput. Program. 231: 103004 (2024) - [j48]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:
Scoping Software Engineering for AI: The TSE Perspective. IEEE Trans. Software Eng. 50(11): 2709-2711 (2024) - [c188]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: 214:1-214:12 - [c187]Logan Murphy, Torin Viger, Alessio Di Sandro, Marsha Chechik:
PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases. IFM 2024: 87-108 - [c186]Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Marsha Chechik:
Supporting Change Impact Assessment with LLMs. ISSRE (Workshops) 2024: 203-204 - [c185]Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Jeff Joyce, Alessio Di Sandro, Marsha Chechik:
AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases. ISSRE 2024: 284-294 - [c184]Nick Feng, Lina Marsso, Marsha Chechik:
Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects. ASE 2024: 1521-1532 - [c183]Ali Raeisdanaei, Logan Murphy, Alessio Di Sandro, Mehrnoosh Askarpour, Torin Viger, Marsha Chechik:
Evaluation of Automotive OTA Updates Using Assurance Cases. MoDELS (Companion) 2024: 720-724 - [c182]Alessio Di Sandro, Logan Murphy, Torin Viger, Marsha Chechik:
From Products to Product Lines: a Model-based Methodology. MoDELS (Companion) 2024: 980-989 - [c181]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. RE 2024: 129-141 - [e18]Alexander Egyed, Manuel Wimmer, Marsha Chechik, Benoît Combemale:
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, MODELS 2024, Linz, Austria, September 22-27, 2024. ACM 2024, ISBN 979-8-4007-0504-5 [contents] - [e17]Manuel Wimmer, Alexander Egyed, Benoît Combemale, Marsha Chechik:
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, MODELS Companion 2024, Linz, Austria, September 22-27, 2024. ACM 2024, ISBN 979-8-4007-0622-6 [contents] - [d3]Jacob Krüger, Yi Li, Kirill Lossev, Chenguang Zhu, Marsha Chechik, Thorsten Berger, Julia Rubin:
Artifact for ACM CSUR article: "A Meta-Study of Software-Change Intentions". Zenodo, 2024
- [i22]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 abs/2401.05673 (2024) - [i21]Huakun Shen, Boyue Caroline Hu, Krzysztof Czarnecki, Lina Marsso, Marsha Chechik:
Assessing Visually-Continuous Corruption Robustness of Neural Networks Relative to Human Performance. CoRR abs/2402.19401 (2024) - [i20]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 abs/2404.12335 (2024) - [i19]Sinclair Hudson, Sophia Jit, Boyue Caroline Hu, Marsha Chechik:
A Software Engineering Perspective on Testing Large Language Models: Research, Practice, Tools and Benchmarks. CoRR abs/2406.08216 (2024) - [i18]Logan Murphy, Torin Viger, Alessio Di Sandro, Marsha Chechik:
PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases. CoRR abs/2407.10345 (2024) - [i17]Nelly Bencomo, Jordi Cabot, Marsha Chechik, Betty H. C. Cheng, Benoît Combemale, Andrzej Wasowski, Steffen Zschaler:
Abstraction Engineering. CoRR abs/2408.14074 (2024) - [i16]Nick Feng, Lina Marsso, Marsha Chechik:
Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects. CoRR abs/2409.09223 (2024) - 2023
- [j47]Ramy Shahin, Rafael F. Toledo, Robert Hackman, S. Ramesh, Joanne M. Atlee, Marsha Chechik:
Applying declarative analysis to industrial automotive software product line models. Empir. Softw. Eng. 28(2): 40 (2023) - [j46]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: 111543 (2023) - [j45]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): 1473-1494 (2023) - [j44]Ramy Shahin, Murad Akhundov, Marsha Chechik:
Annotative Software Product Line Analysis Using Variability-Aware Datalog. IEEE Trans. Software Eng. 49(3): 1323-1341 (2023) - [c180]Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik:
Early Verification of Legal Compliance via Bounded Satisfiability Checking. CAV (3) 2023: 374-396 - [c179]Claudio Menghi, Torin Viger, Alessio Di Sandro, Chris Rees, Jeff Joyce, Marsha Chechik:
Assurance Case Development as Data: A Manifesto. ICSE (NIER) 2023: 135-139 - [c178]Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley A. Townsend, Ana Cavalcanti, Radu Calinescu, Marsha Chechik:
Towards a Formal Framework for Normative Requirements Elicitation. ASE 2023: 1776-1780 - [c177]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: 3-10 - [c176]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: 541-552 - [c175]Boyue Caroline Hu, Marsha Chechik:
Towards Feature-Based Analysis of the Machine Learning Development Lifecycle. ESEC/SIGSOFT FSE 2023: 2087-2091 - [c174]Jacob Krüger, Yi Li, Chenguang Zhu, Marsha Chechik, Thorsten Berger, Julia Rubin:
A Vision on Intentions in Software Engineering. ESEC/SIGSOFT FSE 2023: 2117-2121 - [c173]Alan Wang, Nick Feng, Marsha Chechik:
Code-Level Functional Equivalence Checking of Annotative Software Product Lines. SPLC (A) 2023: 64-75 - [c172]Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik:
Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models. SPLC (A) 2023: 117-128 - [c171]Marsha Chechik:
Defining, Analyzing, Querying and Assuring Product Line Models. VaMoS 2023: 1 - [c170]Alessio Di Sandro, Ramy Shahin, Marsha Chechik:
Adding Product-Line Capabilities to Your Favourite Modeling Language. VaMoS 2023: 3-12 - [p4]Yi Li, Julia Rubin, Marsha Chechik:
Semantic History Slicing. Handbook of Re-Engineering Software Intensive Systems into Software Product Lines 2023: 53-77 - [e16]Marsha Chechik, Joost-Pieter Katoen, Martin Leucker:
Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings. Lecture Notes in Computer Science 14000, Springer 2023, ISBN 978-3-031-27480-0 [contents] - [e15]Marsha Chechik, Sebastian G. Elbaum, Boyue Caroline Hu, Lina Marsso, Meriel von Stein:
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. ACM 2023 [contents] - [i15]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 abs/2311.07495 (2023) - 2022
- [j43]Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay:
Property Satisfiability Analysis for Product Lines of Modelling Languages. IEEE Trans. Software Eng. 48(2): 397-416 (2022) - [c169]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: 1145-1156 - [c168]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: 49-60 - [c167]Marsha Chechik:
On safety, assurance, and reliability: a software engineering perspective (keynote). ESEC/SIGSOFT FSE 2022: 2 - [d2]Torin Viger, Logan Murphy, Alessio Di Sandro, Claudio Menghi, Ramy Shahin, Marsha Chechik:
The ForeMoSt Approach to Building Valid Model-Based Safety Arguments. Zenodo, 2022 - [i14]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 abs/2202.03930 (2022) - [i13]Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik:
Bounded Satisfiability Checking of Metric First-order Temporal Logic. CoRR abs/2209.04052 (2022) - 2021
- [j42]Alicia M. Grubb, Marsha Chechik:
Formal reasoning for analyzing goal models that evolve over time. Requir. Eng. 26(3): 423-457 (2021) - [c166]Murad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik:
Verification by Gambling on Program Slices. ATVA 2021: 266-282 - [c165]Ramy Shahin, Robert Hackman, Rafael F. Toledo, S. Ramesh, Joanne M. Atlee, Marsha Chechik:
Applying Declarative Analysis to Software Product Line Models: An Industrial Study. MoDELS 2021: 145-155 - [c164]Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik:
A Lean Approach to Building Valid Model-Based Safety Arguments. MoDELS 2021: 194-204 - [c163]Ramy Shahin, Sahar Kokaly, Marsha Chechik:
Towards Certified Analysis of Software Product Line Safety Cases. SAFECOMP 2021: 130-145 - [c162]Logan Murphy, Torin Viger, Alessio Di Sandro, Ramy Shahin, Marsha Chechik:
Validating Safety Arguments with Lean. SEFM 2021: 23-43 - [e14]Diomidis Spinellis, Georgios Gousios, Marsha Chechik, Massimiliano Di Penta:
ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021. ACM 2021, ISBN 978-1-4503-8562-6 [contents] - [d1]Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik:
A Lean Approach to Building Valid Model-Based Safety Arguments. Zenodo, 2021 - [i12]Ramy Shahin, Sahar Kokaly, Marsha Chechik:
Towards Certified Analysis of Software Product Line Safety Cases. CoRR abs/2105.00041 (2021) - [i11]Ramy Shahin, Robert Hackman, Rafael F. Toledo, S. Ramesh, Joanne M. Atlee, Marsha Chechik:
Applying Declarative Analysis to Software Product Line Models: An Industrial Study. CoRR abs/2107.07690 (2021) - 2020
- [j41]Ramy Shahin, Marsha Chechik:
Automatic and efficient variability-aware lifting of functional programs. Proc. ACM Program. Lang. 4(OOPSLA): 157:1-157:27 (2020) - [j40]Alicia M. Grubb, Marsha Chechik:
Reconstructing the past: the case of the Spadina Expressway. Requir. Eng. 25(2): 253-272 (2020) - [j39]Rick Salay, Sahar Kokaly, Alessio Di Sandro, Nick L. S. Fung, Marsha Chechik:
Heterogeneous megamodel management using collection operators. Softw. Syst. Model. 19(1): 231-260 (2020) - [c161]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: 48-51 - [c160]Chenguang Zhu, Yi Li, Julia Rubin, Marsha Chechik:
GenSlice: Generalized Semantic History Slicing. ICSME 2020: 81-91 - [c159]Nick Feng, Federico Mora, Vincent Hui, Marsha Chechik:
Scaling Client-Specific Equivalence Checking via Impact Boundary Search. ASE 2020: 734-745 - [c158]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: 15:1-15:5 - [c157]Ramy Shahin, Marsha Chechik:
Variability-Aware Datalog. PADL 2020: 213-221 - [c156]Torin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik:
Just Enough Formality in Assurance Argument Structures. SAFECOMP 2020: 34-49 - [i10]Ramy Shahin, Marsha Chechik:
Automatic and Efficient Variability-Aware Lifting of Functional Programs. CoRR abs/2010.00697 (2020)
2010 – 2019
- 2019
- [j38]Yi Li, Chenguang Zhu, Milos Gligoric, Julia Rubin, Marsha Chechik:
Precise semantic history slicing through dynamic delta refinement. Autom. Softw. Eng. 26(4): 757-793 (2019) - [j37]Mike Maksimov, Sahar Kokaly, Marsha Chechik:
A Survey of Tool-supported Assurance Case Assessment Techniques. ACM Comput. Surv. 52(5): 101:1-101:34 (2019) - [j36]Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi:
A verification-driven framework for iterative design of controllers. Formal Aspects Comput. 31(5): 459-502 (2019) - [j35]Michalis Famelis, Marsha Chechik:
Managing design-time uncertainty. Softw. Syst. Model. 18(2): 1249-1284 (2019) - [c155]Marsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, Mona Rahimi:
Software Assurance in an Uncertain World. FASE 2019: 3-21 - [c154]Alessio Di Sandro, Sahar Kokaly, Rick Salay, Marsha Chechik:
Querying Automotive System Models and Safety Artifacts with MMINT and Viatra. MoDELS (Companion) 2019: 2-11 - [c153]Marsha Chechik:
Uncertain Requirements, Assurance and Machine Learning. RE 2019: 2-3 - [c152]Mona Rahimi, Jin L. C. Guo, Sahar Kokaly, Marsha Chechik:
Toward Requirements Specification for Machine-Learned Components. RE Workshops 2019: 241-244 - [c151]Ramy Shahin, Marsha Chechik, Rick Salay:
Lifting Datalog-based analyses to software product lines. ESEC/SIGSOFT FSE 2019: 39-49 - [c150]Marsha Chechik, Sahar Kokaly, Mona Rahimi, Rick Salay, Torin Viger:
Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework. VSTTE 2019: 19-29 - [e13]Marsha Chechik, Daniel Strüber, Dániel Varró:
Proceedings of the 11th International Workshop on Modelling in Software Engineerings, MiSE@ICSE 2019, Montreal, QC, Canada, May 26-27, 2019. ACM 2019, ISBN 978-1-7281-2231-1 [contents] - [i9]Ramy Shahin, Marsha Chechik, Rick Salay:
Lifting Datalog-Based Analyses to Software Product Lines. CoRR abs/1907.02192 (2019) - [i8]Ramy Shahin, Marsha Chechik:
Variability-aware Datalog. CoRR abs/1912.03854 (2019) - [i7]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): 1-30 (2019) - 2018
- [j34]Marsha Chechik, Paul Grünbacher:
Guest editorial: selected areas in automated software engineering. Autom. Softw. Eng. 25(1): 45-46 (2018) - [j33]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): 133-162 (2018) - [j32]Sandrine Blazy, Marsha Chechik:
Selected Extended Papers of VSTTE 2016. J. Autom. Reason. 60(3): 255-256 (2018) - [j31]Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik:
Semantic Slicing of Software Version Histories. IEEE Trans. Software Eng. 44(2): 182-201 (2018) - [c149]Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi:
Supporting Verification-Driven Incremental Distributed Design of Components. FASE 2018: 169-188 - [c148]Marsha Chechik, Ioanna Stavropoulou, Cynthia Disenfeld, Julia Rubin:
FPH: Efficient Non-commutativity Analysis of Feature-Based Systems. FASE 2018: 319-336 - [c147]Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik:
CSlicerCloud: a web-based semantic history slicing framework. ICSE (Companion Volume) 2018: 57-60 - [c146]Federico Mora, Yi Li, Julia Rubin, Marsha Chechik:
Client-specific equivalence checking. ASE 2018: 441-451 - [c145]Juan de Lara, Esther Guerra, Marsha Chechik, Rick Salay:
Model Transformation Product Lines. MoDELS 2018: 67-77 - [c144]Alicia M. Grubb, Marsha Chechik:
BloomingLeaf: A Formal Tool for Requirements Evolution Over Time. RE 2018: 490-491 - [c143]Mike Maksimov, Nick L. S. Fung, Sahar Kokaly, Marsha Chechik:
Two Decades of Assurance Case Tools: A Survey. SAFECOMP Workshops 2018: 49-59 - [c142]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: 60-70 - [c141]Gabriele Taentzer, Rick Salay, Daniel Strüber, Marsha Chechik:
Transformation of Software Product Lines. Software Engineering 2018: 51-52 - [c140]Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay:
Analysing meta-model product lines. SLE 2018: 160-173 - [e12]Michel Chaudron, Ivica Crnkovic, Marsha Chechik, Mark Harman:
Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018. ACM 2018, ISBN 978-1-4503-5638-1 [contents] - [e11]Michel Chaudron, Ivica Crnkovic, Marsha Chechik, Mark Harman:
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018. ACM 2018, ISBN 978-1-4503-5663-3 [contents] - 2017
- [j30]Marsha Chechik, Davide Di Ruscio:
Report from the 9th Workshop on Modelling in Software Engineering(MiSE 2017). ACM SIGSOFT Softw. Eng. Notes 42(4): 21-24 (2017) - [c139]Yuan Gan, Marsha Chechik, Shiva Nejati, Jon Bennett, Bill O'Farrell, Julie Waterhouse:
Runtime monitoring of web service conversations. CASCON 2017: 2-17 - [c138]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: 51:1-51:4 - [c137]Davide Di Ruscio, Marsha Chechik, Bernhard Rumpe:
9th Workshop on Modelling in Software Engineering (MiSE 2017). MiSE@ICSE 2017: 1 - [c136]Cynthia Disenfeld, Ioanna Stavropoulou, Julia Rubin, Marsha Chechik:
FPH: efficient detection of feature interactions through non-commutativity. ICSE (Companion Volume) 2017: 225 - [c135]Michalis Famelis, Julia Rubin, Krzysztof Czarnecki, Rick Salay, Marsha Chechik:
Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty. MoDELS 2017: 93-100 - [c134]Gabriele Taentzer, Rick Salay, Daniel Strüber, Marsha Chechik:
Transformations of Software Product Lines: A Generalizing Framework Based on Category Theory. MoDELS 2017: 101-111 - [c133]Michalis Famelis, Marsha Chechik:
Managing Design-Time Uncertainty. MoDELS 2017: 179 - [c132]Chenguang Zhu, Yi Li, Julia Rubin, Marsha Chechik:
A dataset for dynamic discovery of semantic changes in version controlled software histories. MSR 2017: 523-526 - [c131]Alicia M. Grubb, Marsha Chechik:
Modeling and Reasoning with Changing Intentions: An Experiment. RE 2017: 164-173 - [c130]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: 69-85 - [c129]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: 135-136 - [c128]Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik:
FHistorian: Locating Features in Version Histories. SPLC (A) 2017: 49-58 - 2016
- [c127]Shoham Ben-David, Marsha Chechik, Sebastián Uchitel:
Observational Refinement and Merge for Disjunctive MTSs. ATVA 2016: 287-303 - [c126]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: 122-140 - [c125]Rick Salay, Steffen Zschaler, Marsha Chechik:
Correct Reuse of Transformations is Hard to Guarantee. ICMT 2016: 107-122 - [c124]Christina Chung, Asako Matsuoka, Yueti Yang, Julia Rubin, Marsha Chechik:
Serious games for NP-hard problems: challenges and insights. GAS@ICSE 2016: 29-32 - [c123]Sahar Kokaly, Rick Salay, Mehrdad Sabetzadeh, Marsha Chechik, Tom Maibaum:
Model management for regulatory compliance: a position paper. MiSE@ICSE 2016: 74-80 - [c122]Marsha Chechik, Michalis Famelis, Rick Salay, Daniel Strüber:
Perspectives of Model Transformation Reuse. IFM 2016: 28-44 - [c121]Alicia M. Grubb, Gary Song, Marsha Chechik:
GrowingLeaf: Supporting Requirements Evolution over Time. iStar 2016: 31-36 - [c120]Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik:
Precise semantic history slicing through dynamic delta refinement. ASE 2016: 495-506 - [c119]Rick Salay, Sahar Kokaly, Marsha Chechik, Tom Maibaum:
Heterogeneous Megamodel Slicing for Model Evolution. ME@MoDELS 2016: 50-59 - [c118]Sahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik:
A model management approach for assurance case reuse due to system evolution. MoDELS 2016: 196-206 - [c117]Alicia M. Grubb, Marsha Chechik:
Looking into the Crystal Ball: Requirements Evolution over Time. RE 2016: 86-95 - [e10]Marsha Chechik, Jean-François Raskin:
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. Lecture Notes in Computer Science 9636, Springer 2016, ISBN 978-3-662-49673-2 [contents] - [e9]Sandrine Blazy, Marsha Chechik:
Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers. Lecture Notes in Computer Science 9971, 2016, ISBN 978-3-319-48868-4 [contents] - 2015
- [j29]Rick Salay, Marsha Chechik, Michalis Famelis, Jan Gorzny:
A Methodology for Verifying Refinements of Partial Models. J. Object Technol. 14(3): 3:1-31 (2015) - [j28]Marsha Chechik, Geri Georg, Martin Gogolla, Jean-Marc Jézéquel, Bernhard Rumpe, Martin Schindler:
In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015. Softw. Syst. Model. 14(2): 525-532 (2015) - [j27]Julia Rubin, Krzysztof Czarnecki, Marsha Chechik:
Cloned product variants: from ad-hoc to managed software product lines. Int. J. Softw. Tools Technol. Transf. 17(5): 627-646 (2015) - [c116]Rick Salay, Marsha Chechik:
A Generalized Formal Framework for Partial Modeling. FASE 2015: 133-148 - [c115]Daniel Strüber, Julia Rubin, Marsha Chechik, Gabriele Taentzer:
A Variability-Based Approach to Reusable and Efficient Model Transformations. FASE 2015: 283-298 - [c114]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:
Migrating Automotive Product Lines: A Case Study. ICMT 2015: 82-97 - [c113]Rick Salay, Fabiano Dalpiaz, Marsha Chechik:
Integrating Crowd Intelligence into Software. CSI-SE 2015: 1-7 - [c112]Michalis Famelis, Naama Ben-David, Alessio Di Sandro, Rick Salay, Marsha Chechik:
MU-MMINT: An IDE for Model Uncertainty. ICSE (2) 2015: 697-700 - [c111]Jeff Gray, Marsha Chechik, Vinay Kulkarni, Richard F. Paige:
7th International Workshop on Modeling in Software Engineering (MiSE 2015). ICSE (2) 2015: 985-986 - [c110]Yi Li, Julia Rubin, Marsha Chechik:
Semantic Slicing of Software Version Histories (T). ASE 2015: 686-696 - [c109]Marsha Chechik, Fabiano Dalpiaz, Csaba Debreceni, Jennifer Horkoff, István Ráth, Rick Salay, Dániel Varró:
Property-Based Methods for Collaborative Model Development. GEMOC+MPM@MoDELS 2015: 1-7 - [c108]Rick Salay, Steffen Zschaler, Marsha Chechik:
Transformation Reuse: What is the Intent? AMT@MoDELS 2015: 7-15 - [c107]Alessio Di Sandro, Rick Salay, Michalis Famelis, Sahar Kokaly, Marsha Chechik:
MMINT: A Graphical Tool for Interactive Model Management. P&D@MoDELS 2015: 16-19 - [c106]Rick Salay, Sahar Kokaly, Alessio Di Sandro, Marsha Chechik:
Enriching megamodel management with collection-based operators. MoDELS 2015: 236-245 - [c105]Fabiano Dalpiaz, Michal Korenko, Rick Salay, Marsha Chechik:
Using the crowds to satisfy unbounded requirements. CrowdRE@RE 2015: 19-24 - [c104]Thorsten Berger, Daniela Lettner, Julia Rubin, Paul Grünbacher, Adeline Silva, Martin Becker, Marsha Chechik, Krzysztof Czarnecki:
What is a feature?: a qualitative study of features in industrial software product lines. SPLC 2015: 16-25 - [c103]Marsha Chechik:
Modeling and Reasoning about Software Systems Containing Uncertainty and Variability. TASE 2015: 1 - [e8]Jeff Gray, Marsha Chechik, Vinay Kulkarni, Richard F. Paige:
7th IEEE/ACM International Workshop on Modeling in Software Engineering, MiSE 2015, Florence, Italy, May 16-17, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-7055-4 [contents] - [e7]Dimitris S. Kolovos, Marsha Chechik:
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. CEUR Workshop Proceedings 1531, CEUR-WS.org 2015 [contents] - 2014
- [c102]Daniel Strüber, Julia Rubin, Gabriele Taentzer, Marsha Chechik:
Splitting Models Using Information Retrieval and Model Crawling Techniques. FASE 2014: 47-62 - [c101]Teemu Kanstrén, Marsha Chechik:
A Comparison of Three Black-Box Optimization Approaches for Model-Based Testing. FedCSIS 2014: 1591-1598 - [c100]Yi Li, Tian Huat Tan, Marsha Chechik:
Management of Time Requirements in Component-Based Systems. FM 2014: 399-415 - [c99]Ahmed Shah Mashiyat, Michalis Famelis, Rick Salay, Marsha Chechik:
Using developer conversations to resolve uncertainty in software development: a position paper. RSSE@ICSE 2014: 1-5 - [c98]Rick Salay, Michalis Famelis, Julia Rubin, Alessio Di Sandro, Marsha Chechik:
Lifting model transformations to product lines. ICSE 2014: 117-128 - [c97]Teemu Kanstrén, Marsha Chechik:
Trace Reduction and Pattern Analysis to Assist Debugging in Model-Based Testing. ISSRE Workshops 2014: 238-243 - [c96]Yi Li, Aws Albarghouthi, Zachary Kincaid, Arie Gurfinkel, Marsha Chechik:
Symbolic optimization with SMT solvers. POPL 2014: 607-618 - [c95]Jennifer Horkoff, Rick Salay, Marsha Chechik, Alessio Di Sandro:
Supporting early decision-making in the presence of uncertainty. RE 2014: 33-42 - [e6]Ivica Crnkovic, Marsha Chechik, Paul Grünbacher:
ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014. ACM 2014, ISBN 978-1-4503-3013-8 [contents] - 2013
- [j26]Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik:
Monitoring and recovery for web service applications. Computing 95(3): 223-267 (2013) - [j25]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:
Supporting incremental behaviour model elaboration. Comput. Sci. Res. Dev. 28(4): 279-293 (2013) - [j24]Rick Salay, Marsha Chechik, Jennifer Horkoff, Alessio Di Sandro:
Managing requirements uncertainty with partial models. Requir. Eng. 18(2): 107-128 (2013) - [c94]Shoham Ben-David, Marsha Chechik, Sebastián Uchitel:
Merging Partial Behaviour Models with Different Vocabularies. CONCUR 2013: 91-105 - [c93]Rick Salay, Jan Gorzny, Marsha Chechik:
Change Propagation due to Uncertainty Change. FASE 2013: 21-36 - [c92]Julia Rubin, Marsha Chechik:
Quality of Merge-Refactorings for Product Lines. FASE 2013: 83-98 - [c91]Julia Rubin, Marsha Chechik:
A framework for managing cloned product variants. ICSE 2013: 1233-1236 - [c90]Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray, Richard F. Paige, Bernhard Rumpe:
5th international workshop on modeling in software engineering (MiSE 2013). ICSE 2013: 1531-1532 - [c89]Soroosh Nalchigar, Rick Salay, Marsha Chechik:
Towards a Catalog of Non-Functional Requirements in Model Transformation Languages. AMT@MoDELS 2013 - [c88]Rick Salay, Marsha Chechik:
Supporting Agility in MDE Through Modeling Language Relaxation. XM@MoDELS 2013: 20-27 - [c87]Michalis Famelis, Rick Salay, Alessio Di Sandro, Marsha Chechik:
Transformation of Models Containing Uncertainty. MoDELS 2013: 673-689 - [c86]Julia Rubin, Marsha Chechik:
N-way model merging. ESEC/SIGSOFT FSE 2013: 301-311 - [c85]Julia Rubin, Krzysztof Czarnecki, Marsha Chechik:
Managing cloned variants: a framework and experience. SPLC 2013: 101-110 - [c84]Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, Marsha Chechik:
UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution). TACAS 2013: 637-640 - [p3]Julia Rubin, Marsha Chechik:
A Survey of Feature Location Techniques. Domain Engineering, Product Lines, Languages, and Conceptual Models 2013: 29-58 - [p2]Marsha Chechik, Jocelyn Simmonds, Sotirios Liaskos, Shiva Nejati, Mehrdad Sabetzadeh, Rick Salay:
PWWM: A Personal Web Workflow Methodology. The Personal Web 2013: 11-48 - [e5]Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray, Richard F. Paige, Bernhard Rumpe:
Proceedings of the 5th International Workshop on Modeling in Software Engineering, MiSE 2013, San Francisco, California, USA, May 18-19, 2013. IEEE Computer Society 2013, ISBN 978-1-4673-6447-8 [contents] - 2012
- [j23]Marsha Chechik, Shiva Nejati, Mehrdad Sabetzadeh:
A relationship-based approach to model integration. Innov. Syst. Softw. Eng. 8(1): 3-18 (2012) - [j22]Arie Gurfinkel, Marsha Chechik:
Robust Vacuity for Branching Temporal Logic. ACM Trans. Comput. Log. 13(1): 1:1-1:32 (2012) - [j21]Dario Fischbein, Nicolás D'Ippolito, Greg Brunet, Marsha Chechik, Sebastián Uchitel:
Weak Alphabet Merging of Partial Behavior Models. ACM Trans. Softw. Eng. Methodol. 21(2): 9:1-9:47 (2012) - [j20]Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave:
Matching and Merging of Variant Feature Specifications. IEEE Trans. Software Eng. 38(6): 1355-1375 (2012) - [c83]Aws Albarghouthi, Yi Li, Arie Gurfinkel, Marsha Chechik:
Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification. CAV 2012: 672-678 - [c82]Rick Salay, Michalis Famelis, Marsha Chechik:
Language Independent Refinement Using Partial Modeling. FASE 2012: 224-239 - [c81]Julia Rubin, Marsha Chechik:
Combining Related Products into Product Lines. FASE 2012: 285-300 - [c80]Michalis Famelis, Rick Salay, Marsha Chechik:
The semantics of partial model transformations. MiSE 2012: 64-69 - [c79]Michalis Famelis, Rick Salay, Marsha Chechik:
Partial models: Towards modeling and reasoning with uncertainty. ICSE 2012: 573-583 - [c78]Rick Salay, Marsha Chechik, Jan Gorzny:
Towards a Methodology for Verifying Partial Model Refinements. ICST 2012: 938-945 - [c77]Julia Rubin, Marsha Chechik:
Locating distinguishing features using diff sets. ASE 2012: 242-245 - [c76]Rick Salay, Marsha Chechik, Jennifer Horkoff:
Managing requirements uncertainty with partial models. RE 2012: 1-10 - [c75]Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik:
Craig Interpretation. SAS 2012: 300-316 - [c74]Julia Rubin, Andrei Kirshin, Goetz Botterweck, Marsha Chechik:
Managing forked product variants. SPLC (1) 2012: 156-160 - [c73]Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik:
From Under-Approximations to Over-Approximations and Back. TACAS 2012: 157-172 - [c72]Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik:
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification. VMCAI 2012: 39-55 - 2011
- [j19]Ou Wei, Arie Gurfinkel, Marsha Chechik:
On the consistency, expressiveness, and precision of partial modeling formalisms. Inf. Comput. 209(1): 20-47 (2011) - [j18]Mathieu Sassolas, Marsha Chechik, Sebastián Uchitel:
Exploring inconsistencies between modal transition systems. Softw. Syst. Model. 10(1): 117-142 (2011) - [c71]Michalis Famelis, Shoham Ben-David, Marsha Chechik, Rick Salay:
Partial models: a position paper. MoDeVVa@MoDELS 2011: 1:1-1:4 - [c70]Shoham Ben-David, Marsha Chechik, Arie Gurfinkel, Sebastián Uchitel:
CSSL: a logic for specifying conditional scenarios. SIGSOFT FSE 2011: 37-47 - 2010
- [j17]Franck van Breugel, Marsha Chechik:
19th International Conference on Concurrency Theory. Inf. Comput. 208(10): 1091-1092 (2010) - [j16]Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik:
Exploiting resolution proofs to speed up LTL vacuity detection for BMC. Int. J. Softw. Tools Technol. Transf. 12(5): 319-335 (2010) - [c69]Allen Chan, Brian Petrini, Marsha Chechik:
Accelerate service integration in your BPM/SOA applications. CASCON 2010: 359 - [c68]Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha Chechik:
Abstract Analysis of Symbolic Executions. CAV 2010: 495-510 - [c67]Mehrdad Sabetzadeh, Shiva Nejati, Marsha Chechik, Steve Easterbrook:
Reasoning about Consistency in Model Merging. LWI@ASE 2010: 32-38 - [c66]Jocelyn Simmonds, Marsha Chechik:
RuMoR: monitoring and recovery for BPEL applications. ASE 2010: 345-346 - [c65]Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik:
Guided recovery for web service applications. SIGSOFT FSE 2010: 247-256 - [c64]Julia Rubin, Marsha Chechik:
From Products to Product Lines Using Model Matching and Refactoring. SPLC Workshops 2010: 155-162 - [c63]Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik:
Optimizing Computation of Recovery Plans for BPEL Applications. TAV-WEB 2010: 3-14 - [p1]Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik:
Monitoring and Recovery of Web Service Applications. The Smart Internet 2010: 250-288 - [e4]Alexander Egyed, Roberto E. Lopez-Herrejon, Bashar Nuseibeh, Goetz Botterweck, Marsha Chechik, Zhenjiang Hu:
Proceedings of the 3rd Workshop on Living with Inconsistencies in Software Development, LWI@ASE 2010, Antwerp, Belgium, September 21st, 2010. CEUR Workshop Proceedings 661, CEUR-WS.org 2010 [contents] - [i6]Arie Gurfinkel, Marsha Chechik:
Robust Vacuity for Branching Temporal Logic. CoRR abs/1002.4616 (2010)
2000 – 2009
- 2009
- [j15]Jocelyn Simmonds, Yuan Gan, Marsha Chechik, Shiva Nejati, Bill O'Farrell, Elena Litani, Julie Waterhouse:
Runtime Monitoring of Web Service Conversations. IEEE Trans. Serv. Comput. 2(3): 223-244 (2009) - [j14]Sebastián Uchitel, Greg Brunet, Marsha Chechik:
Synthesis of Partial Behavior Models from Properties and Scenarios. IEEE Trans. Software Eng. 35(3): 384-406 (2009) - [c62]Marsha Chechik, Winnie Lai, Shiva Nejati, Jordi Cabot, Zinovy Diskin, Steve M. Easterbrook, Mehrdad Sabetzadeh, Rick Salay:
Relationship-based change propagation: A case study. MiSE@ICSE 2009: 7-12 - [c61]Marsha Chechik:
A relationship-based approach to model management. MOMPES 2009: 1 - [c60]Ou Wei, Arie Gurfinkel, Marsha Chechik:
Mixed Transition Systems Revisited. VMCAI 2009: 349-365 - [c59]Faraz Ahmadi Torshizi, Jonathan S. Ostroff, Richard F. Paige, Marsha Chechik:
The SCOOP Concurrency Model in Java-like Languages. CPA 2009: 7-27 - [e3]Marsha Chechik, Martin Wirsing:
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. Lecture Notes in Computer Science 5503, Springer 2009, ISBN 978-3-642-00592-3 [contents] - 2008
- [c58]Arie Gurfinkel, Ou Wei, Marsha Chechik:
Model Checking Recursive Programs with Exact Predicate Abstraction. ATVA 2008: 95-110 - [c57]Shiva Nejati, Marsha Chechik:
Behavioural model fusion: an overview of challenges. MiSE 2008: 1-6 - [c56]Julia Rubin, Marsha Chechik, Steve M. Easterbrook:
Declarative approach for model composition. MiSE 2008: 7-14 - [c55]Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik:
Global consistency checking of distributed models with TReMer+. ICSE 2008: 815-818 - [c54]Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie:
Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates. ASE 2008: 387-390 - [c53]Nicolás D'Ippolito, Dario Fischbein, Marsha Chechik, Sebastián Uchitel:
MTSA: The Modal Transition System Analyser. ASE 2008: 475-476 - [c52]Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie:
PtYasm: Software Model Checking with Proof Templates. ASE 2008: 479-480 - [c51]Jocelyn Simmonds, Marsha Chechik, Shiva Nejati, Elena Litani, Bill O'Farrell:
Property Patterns for Runtime Monitoring of Web Service Conversations. RV 2008: 137-157 - [c50]Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Sebastián Uchitel, Pamela Zave:
Towards compositional synthesis of evolving systems. SIGSOFT FSE 2008: 285-296 - [c49]Thomas E. Hart, Marsha Chechik, David Lie:
Security Benchmarking using Partial Verification. HotSec 2008 - [e2]Marsha Chechik, Mark R. Vigder, Darlene A. Stewart:
Proceedings of the 2008 conference of the Centre for Advanced Studies on Collaborative Research, October 27-30, 2008, Richmond Hill, Ontario, Canada. IBM 2008 [contents] - [e1]Franck van Breugel, Marsha Chechik:
CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings. Lecture Notes in Computer Science 5201, Springer 2008, ISBN 978-3-540-85360-2 [contents] - 2007
- [j13]Marsha Chechik, Arie Gurfinkel:
A framework for counterexample generation and exploration. Int. J. Softw. Tools Technol. Transf. 9(5-6): 429-445 (2007) - [c48]Yuan Gan, Marsha Chechik, Shiva Nejati, Jon Bennett, Bill O'Farrell, Julie Waterhouse:
Runtime monitoring of web service conversations. CASCON 2007: 42-57 - [c47]Rick Salay, Marsha Chechik, Steve M. Easterbrook, Zinovy Diskin, Pete McCormick, Shiva Nejati, Mehrdad Sabetzadeh, Petcharat Viriyakattiyaporn:
An Eclipse-based tool framework for software model management. ETX 2007: 55-59 - [c46]Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel:
Finding Environment Guarantees. FASE 2007: 352-367 - [c45]Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik:
Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC. FMCAD 2007: 3-12 - [c44]Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik:
A Relationship-Driven Framework for Model Merging. MiSE@ICSE 2007: 2 - [c43]Sebastián Uchitel, Greg Brunet, Marsha Chechik:
Behaviour Model Synthesis from Properties and Scenarios. ICSE 2007: 34-43 - [c42]Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave:
Matching and Merging of Statecharts Specifications. ICSE 2007: 54-64 - [c41]Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik:
Finding State Solutions to Temporal Logic Queries. IFM 2007: 273-292 - [c40]Kelvin Ku, Thomas E. Hart, Marsha Chechik, David Lie:
A buffer overflow benchmark for software model checkers. ASE 2007: 389-392 - [c39]Mehrdad Sabetzadeh, Shiva Nejati, Sotirios Liaskos, Steve M. Easterbrook, Marsha Chechik:
Consistency Checking of Conceptual Models via Model Merging. RE 2007: 221-230 - 2006
- [j12]Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook:
Data structures for symbolic multi-valued model-checking. Formal Methods Syst. Des. 29(3): 295-344 (2006) - [j11]Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik:
A relationship-driven approach to view merging. ACM SIGSOFT Softw. Eng. Notes 31(6): 1-2 (2006) - [c38]Arie Gurfinkel, Ou Wei, Marsha Chechik:
Yasm: A Software Model-Checker for Verification and Refutation. CAV 2006: 170-174 - [c37]Benet Devereux, Marsha Chechik:
Automated Support for Building Behavioral Models of Event-Driven Systems. FASE 2006: 122-138 - [c36]Greg Brunet, Marsha Chechik, Sebastián Uchitel:
Properties of Behavioural Model Merging. FM 2006: 98-114 - [c35]Shiva Nejati, Mihaela Gheorghiu, Marsha Chechik:
Thorough Checking Revisited. FMCAD 2006: 106-116 - [c34]Arie Gurfinkel, Marsha Chechik:
Why Waste a Perfectly Good Abstraction?. TACAS 2006: 212-226 - [c33]Arie Gurfinkel, Ou Wei, Marsha Chechik:
Systematic Construction of Abstractions for Model-Checking. VMCAI 2006: 381-397 - [i5]Marsha Chechik, Greg Brunet, Dario Fischbein, Sebastián Uchitel:
Partial Behavioural Models for Requirements and Early Design. MMOSS 2006 - 2005
- [c32]Arie Gurfinkel, Marsha Chechik:
How Thorough Is Thorough Enough? CHARME 2005: 65-80 - [c31]Ou Wei, Arie Gurfinkel, Marsha Chechik:
Identification and Counter Abstraction for Full Virtual Symmetry. CHARME 2005: 285-300 - [c30]Marsha Chechik, Arie Gurfinkel:
A Framework for Counterexample Generation and Exploration. FASE 2005: 220-236 - [c29]Shiva Nejati, Marsha Chechik:
Let's agree to disagree. ASE 2005: 287-290 - [c28]Shiva Nejati, Arie Gurfinkel, Marsha Chechik:
Stuttering Abstraction for Model Checkin. SEFM 2005: 311-320 - [c27]Marsha Chechik, Arie Gurfinkel:
Model-Checking Software Using Precise Abstractions. VSTTE 2005: 347-353 - 2004
- [c26]Arie Gurfinkel, Marsha Chechik:
Extending Extended Vacuity. FMCAD 2004: 306-321 - [c25]Sebastián Uchitel, Marsha Chechik:
Merging partial behavioural models. SIGSOFT FSE 2004: 43-52 - [c24]Arie Gurfinkel, Marsha Chechik:
How Vacuous Is Vacuous? TACAS 2004: 451-466 - [c23]Sergey Berezin, Clark W. Barrett, Igor Shikanian, Marsha Chechik, Arie Gurfinkel, David L. Dill:
A Practical Approach to Partial Functions in CVC Lite. D/PDPAR@IJCAR 2004: 13-23 - 2003
- [j10]Dimitrie O. Paun, Marsha Chechik:
On Closure Under Stuttering. Formal Aspects Comput. 14(4): 342-368 (2003) - [j9]Benet Devereux, Marsha Chechik:
Edge-Shifted Decision Diagrams for Multiple-Valued Logic. J. Multiple Valued Log. Soft Comput. 9(1): 59-86 (2003) - [j8]Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Arie Gurfinkel:
Multi-valued symbolic model-checking. ACM Trans. Softw. Eng. Methodol. 12(4): 371-408 (2003) - [j7]Arie Gurfinkel, Marsha Chechik, Benet Devereux:
Temporal Logic Query Checking: A Tool for Model Exploration. IEEE Trans. Software Eng. 29(10): 898-914 (2003) - [c22]Marsha Chechik, Arie Gurfinkel:
TLQSolver: A Temporal Logic Query Checker. CAV 2003: 210-214 - [c21]Arie Gurfinkel, Marsha Chechik:
Multi-Valued Model Checking via Classical Model Checking. CONCUR 2003: 263-277 - [c20]Arie Gurfinkel, Marsha Chechik:
Generating Counterexamples for Multi-valued Model-Checking. FME 2003: 503-521 - [c19]Steve M. Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Y. C. Lai, Victor Petrovykh, Anya Tafliovich, Christopher D. Thompson-Walsh:
\chiChek: A Model Checker for Multi-Valued Reasoning. ICSE 2003: 804-805 - [c18]Marsha Chechik, Wendy MacCaull:
CTL Model-Checking over Logics with Non-Classical Negations. ISMVL 2003: 293-302 - [c17]Arie Gurfinkel, Marsha Chechik:
Proof-Like Counter-Examples. TACAS 2003: 160-175 - 2002
- [j6]Marsha Chechik, Wei Ding:
Lightweight Reasoning about Program Correctness. Inf. Syst. Frontiers 4(4): 363-377 (2002) - [j5]Marsha Chechik, Andre Wong:
Formal modeling in a commercial setting: A case study. J. Syst. Softw. 60(1): 59-82 (2002) - [j4]Steve M. Easterbrook, Marsha Chechik:
Guest Editorial: Special Issue on Model Checking in Requirements Engineering. Requir. Eng. 7(4): 221-224 (2002) - [c16]Marsha Chechik, Arie Gurfinkel, Benet Devereux:
chi-Chek: A Multi-valued Model-Checker. CAV 2002: 505-509 - [c15]Arie Gurfinkel, Benet Devereux, Marsha Chechik:
Model exploration with temporal logic query checking. SIGSOFT FSE 2002: 139-148 - 2001
- [j3]Steve M. Easterbrook, Marsha Chechik:
2nd international workshop on living with inconsistency (IWLWI01). ACM SIGSOFT Softw. Eng. Notes 26(6): 76-78 (2001) - [j2]Marsha Chechik, John D. Gannon:
Automatic Analysis of Consistency between Requirements and Designs. IEEE Trans. Software Eng. 27(7): 651-672 (2001) - [c14]Marsha Chechik, Wei Ding:
Lightweight reasoning about program correctness. CASCON 2001: 1 - [c13]Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Albert Y. C. Lai, Victor Petrovykh:
Efficient Multiple-Valued Model-Checking Using Lattice Representations. CONCUR 2001: 441-455 - [c12]Marsha Chechik, Steve M. Easterbrook, Victor Petrovykh:
Model-Checking over Multi-valued Logics. FME 2001: 72-98 - [c11]Steve M. Easterbrook, Marsha Chechik:
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints. ICSE 2001: 411-420 - [c10]Steve M. Easterbrook, Marsha Chechik:
2nd International Workshop on Living with Inconsistency. ICSE 2001: 749-750 - [c9]Marsha Chechik, Steve M. Easterbrook, Benet Devereux:
Model Checking with Multi-Valued Temporal Logics. ISMVL 2001: 187-192 - [c8]Marsha Chechik, Benet Devereux, Arie Gurfinkel:
Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN. SPIN 2001: 16-36 - [c7]Marsha Chechik, Benet Devereux, Steve M. Easterbrook:
Implementing a Multi-valued Symbolic Model Checker. TACAS 2001: 404-419 - 2000
- [c6]Marsha Chechik, Hai Wang:
Bisimulation analysis of SDL-expressed protocols: a case study. CASCON 2000: 2
1990 – 1999
- 1999
- [c5]Andre Wong, Marsha Chechik:
Formal Modeling in a Commercial Setting: A Case Study. World Congress on Formal Methods 1999: 590-607 - [c4]Dimitrie O. Paun, Marsha Chechik:
Events in Linear-Time Properties. RE 1999: 123-132 - [c3]Marsha Chechik, Dimitrie O. Paun:
Events in Property Patterns. SPIN 1999: 154-167 - [i4]Marsha Chechik, Dimitrie O. Paun:
Events in Property Patterns. CoRR cs.SE/9906029 (1999) - [i3]Marsha Chechik:
SCR3: towards usability of formal methods. CoRR cs.SE/9906030 (1999) - [i2]Dimitrie O. Paun, Marsha Chechik:
Events in Linear-Time Properties. CoRR cs.SE/9906031 (1999) - [i1]Andre Wong, Marsha Chechik:
Formal Modeling in a Commercial Setting: A Case Study. CoRR cs.SE/9906032 (1999) - 1998
- [c2]Marsha Chechik:
SC(R)3: towards usability of formal methods. CASCON 1998: 8 - 1996
- [j1]Joanne M. Atlee, Marsha Chechik, John D. Gannon:
Using Model Checking to Analyze Requirements and Designs. Adv. Comput. 43: 141-178 (1996) - 1994
- [c1]Marsha Chechik, John D. Gannon:
Automatic Verification of Requirements Implementation. ISSTA 1994: 1-14
Coauthor Index
Steve M. Easterbrook
aka: Steve Easterbrook
aka: Steve Easterbrook
[j43] [c169] [i14] [j39] [c161] [c158] [c156] [c155] [c154] [c151] [c150] [i9] [c145] [c142] [c141] [c140] [c135] [c134] [c130] [c125] [c123] [c122] [c119] [c118] [j29] [c116] [c114] [c113] [c112] [c109] [c108] [c107] [c106] [c105] [c99] [c98] [c95] [j24] [c93] [c89] [c88] [c87] [p2] [c82] [c80] [c79] [c78] [c76] [c71] [c62] [c47]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-14 22:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
