Stop the war!Остановите войну!
for scientists:
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
- 2024
[j48]Alessio Di Sandro
, Logan Murphy, Torin Viger, Marsha Chechik:
MMINT-A: A framework for model-based safety assurance. Sci. Comput. Program. 231: 103004 (2024)- [c182]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 - [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 - [i20]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) - [i19]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) - [i18]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) - [i17]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) - [i16]Logan Murphy, Torin Viger, Alessio Di Sandro, Marsha Chechik:
PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases. CoRR abs/2407.10345 (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 - [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] - [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]