Search Results - "Chechik, Marsha"

Antonio Vallecillo.

Authors: Challita, Stéphanie Chechik, Marsha Combemale, Benoit et al.

Source: Software & Systems Modeling; Jun2025, Vol. 24 Issue 3, p593-594, 2p

Report on the state and changes of the SoSyM journal (2025 summary).

Authors: Challita, Stéphanie Chechik, Marsha Combemale, Benoit et al.

Source: Software & Systems Modeling; Feb2026, Vol. 25 Issue 1, p1-6, 6p

On theory and management of dependencies between models.

Authors: Chechik, Marsha Combemale, Benoit Gray, Jeff et al.

Source: Software & Systems Modeling. Aug2025, Vol. 24 Issue 4, p975-976. 2p.

Agentic AI in the next frontier of model-based software engineering: the arrival of AI-hyper-agile software engineering methods?

Authors: Chechik, Marsha Combemale, Benoit Gray, Jeff et al.

Source: Software & Systems Modeling; Apr2026, Vol. 25 Issue 2, p315-317, 3p

Evaluating AI-supported eliminative argumentation for developing reliable assurance cases.

Authors: Viger, Torin Murphy, Logan Diemert, Simon et al.

Source: Empirical Software Engineering; Jul2026, Vol. 31 Issue 4, p1-34, 34p

Formal methods in the scope of the Software and Systems Modeling journal.

Authors: Chechik, Marsha Combemale, Benoit Gray, Jeff et al.

Source: Software & Systems Modeling; Apr2025, Vol. 24 Issue 2, p271-272, 2p

Analyzing and Debugging Normative Requirements via Satisfiability Checking.

Authors: Feng, Nick Marsso, Lina Getir Yaman, Sinem et al.

Source: ICSE: International Conference on Software Engineering; 2024, p1-12, 12p

The ForeMoSt approach to building valid model-based safety arguments.

Authors: Viger, Torin Murphy, Logan Di Sandro, Alessio et al.

Source: Software & Systems Modeling; Oct2023, Vol. 22 Issue 5, p1473-1494, 22p

How UML models and ontologies can complement each other.

Authors: Chechik, Marsha Combemale, Benoit Gray, Jeff et al.

Source: Software & Systems Modeling. May2026, p1-3. 3p.

Bounded satisfiability checking of FOL∗ formulas with aggregations.

Authors: Feng, Nick Marsso, Lina Kholodetska, Yuliia et al.

Source: Formal Methods in System Design; Dec2025, Vol. 67 Issue 3, p282-315, 34p

Formal reasoning for analyzing goal models that evolve over time.

Authors: Grubb, Alicia M. Chechik, Marsha

Source: Requirements Engineering; Sep2021, Vol. 26 Issue 3, p423-457, 35p

Reconstructing the past: the case of the Spadina Expressway.

Authors: Grubb, Alicia M. Chechik, Marsha

Source: Requirements Engineering; Jun2020, Vol. 25 Issue 2, p253-272, 20p

Heterogeneous megamodel management using collection operators.

Authors: Salay, Rick Kokaly, Sahar Di Sandro, Alessio et al.

Source: Software & Systems Modeling; Jan2020, Vol. 19 Issue 1, p231-260, 30p

Standards in software development and modeling.

Authors: Chechik, Marsha Combemale, Benoit Gray, Jeff et al.

Source: Software & Systems Modeling; Oct2025, Vol. 24 Issue 5, p1315-1316, 2p

Overcoming Data Shortage in Critical Domains With Data Augmentation for Natural Language Software Requirements.

Authors: Korfmann, Robin Beyersdorffer, Patrick Gerlich, Rainer et al.

Source: Journal of Software: Evolution & Process; May2025, Vol. 37 Issue 5, p1-20, 20p

Managing design-time uncertainty.

Authors: Famelis, Michalis Chechik, Marsha

Source: Software & Systems Modeling; Apr2019, Vol. 18 Issue 2, p1249-1284, 36p

Pragmatic specification of software behavior, configuration, and orchestration: the precision and usability of domain-specific modeling.

Authors: Chechik, Marsha Combemale, Benoit Gray, Jeff et al.

Source: Software & Systems Modeling; Dec2025, Vol. 24 Issue 6, p1621-1622, 2p

If a human can see it, so should your system: reliability requirements for machine vision components.

Authors: Hu, Boyue Caroline Marsso, Lina Czarnecki, Krzysztof et al.

Source: ICSE: International Conference on Software Engineering; 2022, p1145-1156, 12p

Author index.

Source: ICSE: International Conference on Software Engineering; May2009, p1-5, 5p

Applying declarative analysis to industrial automotive software product line models.

Authors: Shahin, Ramy Toledo, Rafael Hackman, Robert et al.

Source: Empirical Software Engineering; Mar2023, Vol. 28 Issue 2, p1-29, 29p