Marsha Chećhik

Computer Science · Physical Sciences

42h-index6.6kcitations345works1.82yr avg
OpenAlex↗ORCID↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Advanced Software Engineering Methodologies(135), Model-Driven Software Engineering Techniques(129), Formal Methods in Verification(107), Software Engineering Research(69), Software Reliability and Analysis Research(64)

Publications345 total

Abductive Vibe Coding (Extended Abstract)
arXiv (Cornell University)·2026Open Access
Abductive Vibe Coding (Extended Abstract)
ArXiv.org·2026Open Access
Bounded satisfiability checking of $$\hbox {FOL}^*$$ formulas with aggregations
Formal Methods in System Design·2025
Pragmatic specification of software behavior, configuration, and orchestration: the precision and usability of domain-specific modeling
Software & Systems Modeling·2025Open Access
Assessing the Usefulness of Assurance Cases: Experience With the Large Hadron Collider
Systems Engineering·2025Open Access
Assuring Product Lines of Complex Systems
2025
Solving Set Constraints with Comprehensions and Bounded Quantifiers
arXiv (Cornell University)·2025Open Access
Standards in software development and modeling
Software & Systems Modeling·2025Open Access
On theory and management of dependencies between models
Software & Systems Modeling·2025Open Access
Towards Systematic Maintenance of Assurance for Evolving Self-Adaptive Systems
2025
Arguing Reliability of Machine Learning-based Components
2025
Antonio Vallecillo
Software & Systems Modeling·2025Open Access
Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins
Electronic Proceedings in Theoretical Computer Science·2025Open Access
Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins
Electronic Proceedings in Theoretical Computer Science·2025Open Access
LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements
2025
Automated Codebase Reconciliation using Large Language Models
2025· 1 cited
Untangling Shared Phenomena for Improving Analysis of Normative Requirements
2025· 1 cited
Formal methods in the scope of the Software and Systems Modeling journal
Software & Systems Modeling·2025Open Access
Assessing Visually-Continuous Corruption Robustness of Neural Networks Relative to Human Performance
2025· 1 cited
Modeling and Digital Twins: Insights and Strategies for Software Engineers
IEEE Software·2025
page 1 of 18Next →

Frequent Co-authors

Arie Gurfinkel(15), Steve Easterbrook(10), Julia Rubin(10), Rick Salay(7), Shiva Nejati(6), Mehrdad Sabetzadeh(5), Benet Devereux(5), Aws Albarghouthi(5), Sebastián Uchitel(4), Michalis Famelis(4), Greg Brunet(3), Yi Li(3), Alessio Di Sandro(3), Pamela Zave(2), Krzysztof Czarnecki(2), Victor Petrovykh(2), Albert Lai(2), Thorsten Berger(1), Daniela Lettner(1), Paul Grünbacher(1)