| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marsha Chechik, Shiva Nejati, Mehrdad Sabetzadeh |
A relationship-based approach to model integration.  |
ISSE  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Arie Gurfinkel, Marsha Chechik |
Robust Vacuity for Branching Temporal Logic. |
ACM Trans. Comput. Log. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik |
From Under-Approximations to Over-Approximations and Back. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia Rubin, Marsha Chechik |
Combining Related Products into Product Lines. |
FASE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rick Salay, Michalis Famelis, Marsha Chechik |
Language Independent Refinement Using Partial Modeling. |
FASE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik |
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Sassolas, Marsha Chechik, Sebastián Uchitel |
Exploring inconsistencies between modal transition systems. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ou Wei, Arie Gurfinkel, Marsha Chechik |
On the consistency, expressiveness, and precision of partial modeling formalisms. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoham Ben-David, Marsha Chechik, Arie Gurfinkel, Sebastián Uchitel |
CSSL: a logic for specifying conditional scenarios. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck van Breugel, Marsha Chechik |
19th International Conference on Concurrency Theory. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik |
Optimizing Computation of Recovery Plans for BPEL Applications |
TAV-WEB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Arie Gurfinkel, Marsha Chechik |
Robust Vacuity for Branching Temporal Logic |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik |
Exploiting resolution proofs to speed up LTL vacuity detection for BMC. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia Rubin, Marsha Chechik |
From Products to Product Lines Using Model Matching and Refactoring. |
SPLC Workshops |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jocelyn Simmonds, Marsha Chechik |
RuMoR: monitoring and recovery for BPEL applications. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha Chechik |
Abstract Analysis of Symbolic Executions. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik |
Monitoring and Recovery of Web Service Applications. |
The Smart Internet |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Allen Chan, Brian Petrini, Marsha Chechik |
Accelerate service integration in your BPM/SOA applications. |
CASCON |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik |
Guided recovery for web service applications. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastián Uchitel, Greg Brunet, Marsha Chechik |
Synthesis of Partial Behavior Models from Properties and Scenarios. |
IEEE Trans. Software Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jocelyn Simmonds, Yuan Gan, Marsha Chechik, Shiva Nejati, Bill O'Farrell, Elena Litani, Julie Waterhouse |
Runtime Monitoring of Web Service Conversations. |
IEEE T. Services Computing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Faraz Ahmadi Torshizi, Jonathan S. Ostroff, Richard F. Paige, Marsha Chechik |
The SCOOP Concurrency Model in Java-like Languages. |
CPA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marsha Chechik, Martin Wirsing (eds.) |
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 |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ou Wei, Arie Gurfinkel, Marsha Chechik |
Mixed Transition Systems Revisited. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marsha Chechik |
A relationship-based approach to model management. |
MOMPES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck van Breugel, Marsha Chechik (eds.) |
CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings |
CONCUR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jocelyn Simmonds, Marsha Chechik, Shiva Nejati, Elena Litani, Bill O'Farrell |
Property Patterns for Runtime Monitoring of Web Service Conversations. |
RV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolás D'Ippolito, Dario Fischbein, Marsha Chechik, Sebastián Uchitel |
MTSA: The Modal Transition System Analyser. |
ASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie |
PtYasm: Software Model Checking with Proof Templates. |
ASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie |
Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates. |
ASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Arie Gurfinkel, Ou Wei, Marsha Chechik |
Model Checking Recursive Programs with Exact Predicate Abstraction. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas E. Hart, Marsha Chechik, David Lie |
Security Benchmarking using Partial Verification. |
HotSec |
2008 |
DBLP BibTeX RDF |
|
| 1 | Marsha Chechik, Mark R. Vigder, Darlene A. Stewart (eds.) |
Proceedings of the 2008 conference of the Centre for Advanced Studies on Collaborative Research, October 27-30, 2008, Richmond Hill, Ontario, Canada |
CASCON |
2008 |
DBLP BibTeX RDF |
|
| 1 | Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik |
Global consistency checking of distributed models with TReMer+. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
consistency checking, distributed development, model merging |
| 1 | Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Sebastián Uchitel, Pamela Zave |
Towards compositional synthesis of evolving systems. |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
behavioural design patterns, feature-based development, synthesis, pipelines, I/O automata |
| 1 | Marsha Chechik, Arie Gurfinkel |
A framework for counterexample generation and exploration. |
STTT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kelvin Ku, Thomas E. Hart, Marsha Chechik, David Lie |
A buffer overflow benchmark for software model checkers. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
model checking, benchmark, buffer overflow, array bounds checking |
| 1 | Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik |
Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC. |
FMCAD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
multi-view modeling, metamodeling, modeling tools, model management, model integration |
| 1 | Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik |
Finding State Solutions to Temporal Logic Queries. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel |
Finding Environment Guarantees. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehrdad Sabetzadeh, Shiva Nejati, Sotirios Liaskos, Steve M. Easterbrook, Marsha Chechik |
Consistency Checking of Conceptual Models via Model Merging. |
RE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Gan, Marsha Chechik, Shiva Nejati, Jon Bennett, Bill O'Farrell, Julie Waterhouse |
Runtime monitoring of web service conversations. |
CASCON |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave |
Matching and Merging of Statecharts Specifications. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastián Uchitel, Greg Brunet, Marsha Chechik |
Behaviour Model Synthesis from Properties and Scenarios. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik |
A relationship-driven approach to view merging. |
ACM SIGSOFT Software Engineering Notes |
2006 |
DBLP DOI BibTeX RDF |
view merging, view-based modelling, modelling, distributed development |
| 1 | Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook |
Data structures for symbolic multi-valued model-checking. |
Formal Methods in System Design |
2006 |
DBLP DOI BibTeX RDF |
Symbolic model-checking, Decision diagrams, Multi-valued logic |
| 1 | Arie Gurfinkel, Marsha Chechik |
Why Waste a Perfectly Good Abstraction?. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shiva Nejati, Mihaela Gheorghiu, Marsha Chechik |
Thorough Checking Revisited. |
FMCAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marsha Chechik, Greg Brunet, Dario Fischbein, Sebastián Uchitel |
Partial Behavioural Models for Requirements and Early Design. |
MMOSS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Benet Devereux, Marsha Chechik |
Automated Support for Building Behavioral Models of Event-Driven Systems. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Brunet, Marsha Chechik, Sebastián Uchitel |
Properties of Behavioural Model Merging. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Arie Gurfinkel, Ou Wei, Marsha Chechik |
Yasm: A Software Model-Checker for Verification and Refutation. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Arie Gurfinkel, Ou Wei, Marsha Chechik |
Systematic Construction of Abstractions for Model-Checking. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Berezin, Clark Barrett, Igor Shikanian, Marsha Chechik, Arie Gurfinkel, David L. Dill |
A Practical Approach to Partial Functions in CVC Lite. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shiva Nejati, Arie Gurfinkel, Marsha Chechik |
Stuttering Abstraction for Model Checkin. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shiva Nejati, Marsha Chechik |
Let's agree to disagree. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
3-valued logic, model checking, refinement, negotiation, detection, inconsistency, model merging |
| 1 | Arie Gurfinkel, Marsha Chechik |
How Thorough Is Thorough Enough? |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ou Wei, Arie Gurfinkel, Marsha Chechik |
Identification and Counter Abstraction for Full Virtual Symmetry. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marsha Chechik, Arie Gurfinkel |
A Framework for Counterexample Generation and Exploration. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marsha Chechik, Arie Gurfinkel |
Model-Checking Software Using Precise Abstractions. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Arie Gurfinkel, Marsha Chechik |
How Vacuous Is Vacuous? |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Arie Gurfinkel, Marsha Chechik |
Extending Extended Vacuity. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastián Uchitel, Marsha Chechik |
Merging partial behavioural models. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
partial behaviour models, merge, MTS |
| 1 | Arie Gurfinkel, Marsha Chechik, Benet Devereux |
Temporal Logic Query Checking: A Tool for Model Exploration. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
query checking, TLQSolver, model understanding, model checking, CTL, multi-valued logic |
| 1 | Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Arie Gurfinkel |
Multi-valued symbolic model-checking. |
ACM Trans. Softw. Eng. Methodol. |
2003 |
DBLP DOI BibTeX RDF |
?Chek., model-checking, fairness, inconsistency, CTL, multi-valued logic, partiality |
| 1 | Arie Gurfinkel, Marsha Chechik |
Multi-Valued Model Checking via Classical Model Checking. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Arie Gurfinkel, Marsha Chechik |
Proof-Like Counter-Examples. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marsha Chechik, Wendy MacCaull |
CTL Model-Checking over Logics with Non-Classical Negations. (PDF / PS) |
ISMVL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Arie Gurfinkel, Marsha Chechik |
Generating Counterexamples for Multi-valued Model-Checking. |
FME |
2003 |
DBLP DOI BibTeX RDF |
De Morgan algebras, model-checking, CTL, counterexamples, witnesses |
| 1 | Marsha Chechik, Arie Gurfinkel |
TLQSolver: A Temporal Logic Query Checker. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve M. Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Y. C. Lai, Victor Petrovykh, Anya Tafliovich, Christopher Thompson-Walsh |
\chiChek: A Model Checker for Multi-Valued Reasoning. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marsha Chechik, Wei Ding |
Lightweight Reasoning about Program Correctness. |
Information Systems Frontiers |
2002 |
DBLP DOI BibTeX RDF |
model checking, program analysis, abstract interpretation, CTL |
| 1 | Marsha Chechik, Andre Wong |
Formal modeling in a commercial setting: A case study. |
Journal of Systems and Software |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve M. Easterbrook, Marsha Chechik |
Guest Editorial: Special Issue on Model Checking in Requirements Engineering. |
Requir. Eng. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marsha Chechik, Arie Gurfinkel, Benet Devereux |
chi-Chek: A Multi-valued Model-Checker. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Arie Gurfinkel, Benet Devereux, Marsha Chechik |
Model exploration with temporal logic query checking. |
SIGSOFT FSE |
2002 |
DBLP DOI BibTeX RDF |
multi-valued model-checking, query-checking, CTL |
| 1 | Marsha Chechik, John D. Gannon |
Automatic Analysis of Consistency between Requirements and Designs. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
SCR requirements, finite-state abstraction, formal specification, static analysis, data-flow analysis |
| 1 | Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Albert Y. C. Lai, Victor Petrovykh |
Efficient Multiple-Valued Model-Checking Using Lattice Representations. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marsha Chechik, Benet Devereux, Steve M. Easterbrook |
Implementing a Multi-valued Symbolic Model Checker. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marsha Chechik, Benet Devereux, Arie Gurfinkel |
Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marsha Chechik, Steve M. Easterbrook, Benet Devereux |
Model Checking with Multi-Valued Temporal Logics. |
ISMVL |
2001 |
DBLP BibTeX RDF |
|
| 1 | Marsha Chechik, Steve M. Easterbrook, Victor Petrovykh |
Model-Checking over Multi-valued Logics. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marsha Chechik, Wei Ding |
Lightweight reasoning about program correctness. |
CASCON |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve M. Easterbrook, Marsha Chechik |
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve M. Easterbrook, Marsha Chechik |
2nd International Workshop on Living with Inconsistency. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marsha Chechik, Hai Wang |
Bisimulation analysis of SDL-expressed protocols: a case study. |
CASCON |
2000 |
DBLP DOI BibTeX RDF |
SDL |
| 1 | Andre Wong, Marsha Chechik |
Formal Modeling in a Commercial Setting: A Case Study |
CoRR |
1999 |
DBLP BibTeX RDF |
|
| 1 | Marsha Chechik |
SCR3: towards usability of formal methods |
CoRR |
1999 |
DBLP BibTeX RDF |
|
| 1 | Dimitrie O. Paun, Marsha Chechik |
Events in Linear-Time Properties |
CoRR |
1999 |
DBLP BibTeX RDF |
|
| 1 | Marsha Chechik, Dimitrie O. Paun |
Events in Property Patterns |
CoRR |
1999 |
DBLP BibTeX RDF |
|
| 1 | Marsha Chechik, Dimitrie O. Paun |
Events in Property Patterns. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrie O. Paun, Marsha Chechik |
Events in Linear-Time Properties. (PDF / PS) |
RE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andre Wong, Marsha Chechik |
Formal Modeling in a Commercial Setting: A Case Study. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marsha Chechik |
SC(R)3: towards usability of formal methods. |
CASCON |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Joanne M. Atlee, Marsha Chechik, John D. Gannon |
Using Model Checking to Analyze Requirements and Designs. |
Advances in Computers |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Marsha Chechik, John D. Gannon |
Automatic Verification of Requirements Implementation. |
ISSTA |
1994 |
DBLP DOI BibTeX RDF |
C |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")