Marsha Chechik

Available identifiers

zbMath Open chechik.marshaMaRDI QIDQ488217

List of research outcomes

Publication	Date of Publication	Type
Early verification of legal compliance via bounded satisfiability checking	2024-02-01	Paper
Validating safety arguments with Lean	2023-05-26	Paper
Verification by gambling on program slices	2022-06-22	Paper
A verification-driven framework for iterative design of controllers	2019-11-18	Paper
Supporting verification-driven incremental distributed design of components	2019-09-16	Paper
Observational refinement and merge for disjunctive MTSs	2018-10-25	Paper
Variability-based model transformation: formal foundation and application	2018-02-02	Paper
RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules	2016-04-21	Paper
Robust Vacuity for Branching Temporal Logic	2015-09-17	Paper
Monitoring and recovery for web service applications	2015-01-23	Paper
Symbolic optimization with SMT solvers	2014-04-10	Paper
A practical approach to partial functions in CVC Lite	2013-09-25	Paper
Merging Partial Behaviour Models with Different Vocabularies	2013-08-12	Paper
From Under-Approximations to Over-Approximations and Back	2012-06-29	Paper
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification	2012-06-15	Paper
On the consistency, expressiveness, and precision of partial modeling formalisms	2011-01-13	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
Finding State Solutions to Temporal Logic Queries	2009-03-06	Paper
Mixed Transition Systems Revisited	2009-02-10	Paper
Model Checking Recursive Programs with Exact Predicate Abstraction	2008-11-20	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
Verification, Model Checking, and Abstract Interpretation	2007-02-12	Paper
Data structures for symbolic multi-valued model-checking	2007-01-24	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
Fundamental Approaches to Software Engineering	2005-09-13	Paper
On closure under stuttering	2004-03-07	Paper
https://portal.mardi4nfdi.de/entity/Q4417920	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4806210	2003-05-21	Paper
https://portal.mardi4nfdi.de/entity/Q4791849	2003-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4531751	2002-05-23	Paper
https://portal.mardi4nfdi.de/entity/Q2769604	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2763963	2002-01-22	Paper

Research outcomes over time

This page was built for person: Marsha Chechik