| 2009 |
|---|
| 73 | EE | Marsha Chechik,
Martin Wirsing:
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
Springer 2009 |
| 72 | EE | Ou Wei,
Arie Gurfinkel,
Marsha Chechik:
Mixed Transition Systems Revisited.
VMCAI 2009: 349-365 |
| 2008 |
|---|
| 71 | | Marsha Chechik,
Mark R. Vigder,
Darlene A. Stewart:
Proceedings of the 2008 conference of the Centre for Advanced Studies on Collaborative Research, October 27-30, 2008, Richmond Hill, Ontario, Canada
IBM 2008 |
| 70 | | Franck van Breugel,
Marsha Chechik:
CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
Springer 2008 |
| 69 | EE | Thomas E. Hart,
Kelvin Ku,
Arie Gurfinkel,
Marsha Chechik,
David Lie:
Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates.
ASE 2008: 387-390 |
| 68 | EE | Nicolás D'Ippolito,
Dario Fischbein,
Marsha Chechik,
Sebastián Uchitel:
MTSA: The Modal Transition System Analyser.
ASE 2008: 475-476 |
| 67 | EE | Thomas E. Hart,
Kelvin Ku,
Arie Gurfinkel,
Marsha Chechik,
David Lie:
PtYasm: Software Model Checking with Proof Templates.
ASE 2008: 479-480 |
| 66 | EE | Arie Gurfinkel,
Ou Wei,
Marsha Chechik:
Model Checking Recursive Programs with Exact Predicate Abstraction.
ATVA 2008: 95-110 |
| 65 | EE | Thomas E. Hart,
Marsha Chechik,
David Lie:
Security Benchmarking using Partial Verification.
HotSec 2008 |
| 64 | EE | Mehrdad Sabetzadeh,
Shiva Nejati,
Steve M. Easterbrook,
Marsha Chechik:
Global consistency checking of distributed models with TReMer+.
ICSE 2008: 815-818 |
| 63 | EE | Jocelyn Simmonds,
Marsha Chechik,
Shiva Nejati,
Elena Litani,
Bill O'Farrell:
Property Patterns for Runtime Monitoring of Web Service Conversations.
RV 2008: 137-157 |
| 62 | EE | Shiva Nejati,
Mehrdad Sabetzadeh,
Marsha Chechik,
Sebastián Uchitel,
Pamela Zave:
Towards compositional synthesis of evolving systems.
SIGSOFT FSE 2008: 285-296 |
| 2007 |
|---|
| 61 | EE | Kelvin Ku,
Thomas E. Hart,
Marsha Chechik,
David Lie:
A buffer overflow benchmark for software model checkers.
ASE 2007: 389-392 |
| 60 | EE | Yuan Gan,
Marsha Chechik,
Shiva Nejati,
Jon Bennett,
Bill O'Farrell,
Julie Waterhouse:
Runtime monitoring of web service conversations.
CASCON 2007: 42-57 |
| 59 | EE | 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: 55-59 |
| 58 | EE | Marsha Chechik,
Mihaela Gheorghiu,
Arie Gurfinkel:
Finding Environment Guarantees.
FASE 2007: 352-367 |
| 57 | EE | Jocelyn Simmonds,
Jessica Davies,
Arie Gurfinkel,
Marsha Chechik:
Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC.
FMCAD 2007: 3-12 |
| 56 | EE | Sebastián Uchitel,
Greg Brunet,
Marsha Chechik:
Behaviour Model Synthesis from Properties and Scenarios.
ICSE 2007: 34-43 |
| 55 | EE | Shiva Nejati,
Mehrdad Sabetzadeh,
Marsha Chechik,
Steve M. Easterbrook,
Pamela Zave:
Matching and Merging of Statecharts Specifications.
ICSE 2007: 54-64 |
| 54 | EE | Mihaela Gheorghiu,
Arie Gurfinkel,
Marsha Chechik:
Finding State Solutions to Temporal Logic Queries.
IFM 2007: 273-292 |
| 53 | EE | Mehrdad Sabetzadeh,
Shiva Nejati,
Sotirios Liaskos,
Steve M. Easterbrook,
Marsha Chechik:
Consistency Checking of Conceptual Models via Model Merging.
RE 2007: 221-230 |
| 52 | EE | Marsha Chechik,
Arie Gurfinkel:
A framework for counterexample generation and exploration.
STTT 9(5-6): 429-445 (2007) |
| 2006 |
|---|
| 51 | EE | Arie Gurfinkel,
Ou Wei,
Marsha Chechik:
Yasm: A Software Model-Checker for Verification and Refutation.
CAV 2006: 170-174 |
| 50 | EE | Benet Devereux,
Marsha Chechik:
Automated Support for Building Behavioral Models of Event-Driven Systems.
FASE 2006: 122-138 |
| 49 | EE | Greg Brunet,
Marsha Chechik,
Sebastián Uchitel:
Properties of Behavioural Model Merging.
FM 2006: 98-114 |
| 48 | EE | Shiva Nejati,
Mihaela Gheorghiu,
Marsha Chechik:
Thorough Checking Revisited.
FMCAD 2006: 106-116 |
| 47 | EE | Marsha Chechik,
Greg Brunet,
Dario Fischbein,
Sebastián Uchitel:
Partial Behavioural Models for Requirements and Early Design.
MMOSS 2006 |
| 46 | EE | Arie Gurfinkel,
Marsha Chechik:
Why Waste a Perfectly Good Abstraction?.
TACAS 2006: 212-226 |
| 45 | EE | Arie Gurfinkel,
Ou Wei,
Marsha Chechik:
Systematic Construction of Abstractions for Model-Checking.
VMCAI 2006: 381-397 |
| 44 | EE | Mehrdad Sabetzadeh,
Shiva Nejati,
Steve M. Easterbrook,
Marsha Chechik:
A relationship-driven approach to view merging.
ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006) |
| 43 | EE | 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 29(3): 295-344 (2006) |
| 2005 |
|---|
| 42 | EE | Shiva Nejati,
Marsha Chechik:
Let's agree to disagree.
ASE 2005: 287-290 |
| 41 | EE | Ou Wei,
Arie Gurfinkel,
Marsha Chechik:
Identification and Counter Abstraction for Full Virtual Symmetry.
CHARME 2005: 285-300 |
| 40 | EE | Arie Gurfinkel,
Marsha Chechik:
How Thorough Is Thorough Enough?
CHARME 2005: 65-80 |
| 39 | EE | Marsha Chechik,
Arie Gurfinkel:
A Framework for Counterexample Generation and Exploration.
FASE 2005: 220-236 |
| 38 | EE | Shiva Nejati,
Arie Gurfinkel,
Marsha Chechik:
Stuttering Abstraction for Model Checkin.
SEFM 2005: 311-320 |
| 37 | EE | Marsha Chechik,
Arie Gurfinkel:
Model-Checking Software Using Precise Abstractions.
VSTTE 2005: 347-353 |
| 2004 |
|---|
| 36 | EE | Arie Gurfinkel,
Marsha Chechik:
Extending Extended Vacuity.
FMCAD 2004: 306-321 |
| 35 | EE | Sebastián Uchitel,
Marsha Chechik:
Merging partial behavioural models.
SIGSOFT FSE 2004: 43-52 |
| 34 | EE | Arie Gurfinkel,
Marsha Chechik:
How Vacuous Is Vacuous?
TACAS 2004: 451-466 |
| 2003 |
|---|
| 33 | EE | Marsha Chechik,
Arie Gurfinkel:
TLQSolver: A Temporal Logic Query Checker.
CAV 2003: 210-214 |
| 32 | EE | Arie Gurfinkel,
Marsha Chechik:
Multi-Valued Model Checking via Classical Model Checking.
CONCUR 2003: 263-277 |
| 31 | EE | Arie Gurfinkel,
Marsha Chechik:
Generating Counterexamples for Multi-valued Model-Checking.
FME 2003: 503-521 |
| 30 | EE | 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.
ICSE 2003: 804-805 |
| 29 | EE | Marsha Chechik,
Wendy MacCaull:
CTL Model-Checking over Logics with Non-Classical Negations.
ISMVL 2003: 293- |
| 28 | EE | Arie Gurfinkel,
Marsha Chechik:
Proof-Like Counter-Examples.
TACAS 2003: 160-175 |
| 27 | EE | Marsha Chechik,
Benet Devereux,
Steve M. Easterbrook,
Arie Gurfinkel:
Multi-valued symbolic model-checking.
ACM Trans. Softw. Eng. Methodol. 12(4): 371-408 (2003) |
| 26 | EE | Arie Gurfinkel,
Marsha Chechik,
Benet Devereux:
Temporal Logic Query Checking: A Tool for Model Exploration.
IEEE Trans. Software Eng. 29(10): 898-914 (2003) |
| 2002 |
|---|
| 25 | EE | Marsha Chechik,
Arie Gurfinkel,
Benet Devereux:
chi-Chek: A Multi-valued Model-Checker.
CAV 2002: 505-509 |
| 24 | EE | Arie Gurfinkel,
Benet Devereux,
Marsha Chechik:
Model exploration with temporal logic query checking.
SIGSOFT FSE 2002: 139-148 |
| 23 | EE | Marsha Chechik,
Wei Ding:
Lightweight Reasoning about Program Correctness.
Information Systems Frontiers 4(4): 363-377 (2002) |
| 22 | EE | Marsha Chechik,
Andre Wong:
Formal modeling in a commercial setting: A case study.
Journal of Systems and Software 60(1): 59-82 (2002) |
| 21 | EE | Steve M. Easterbrook,
Marsha Chechik:
Guest Editorial: Special Issue on Model Checking in Requirements Engineering.
Requir. Eng. 7(4): 221-224 (2002) |
| 2001 |
|---|
| 20 | EE | Marsha Chechik,
Wei Ding:
Lightweight reasoning about program correctness.
CASCON 2001: 1 |
| 19 | EE | Marsha Chechik,
Benet Devereux,
Steve M. Easterbrook,
Albert Y. C. Lai,
Victor Petrovykh:
Efficient Multiple-Valued Model-Checking Using Lattice Representations.
CONCUR 2001: 441-455 |
| 18 | EE | Marsha Chechik,
Steve M. Easterbrook,
Victor Petrovykh:
Model-Checking over Multi-valued Logics.
FME 2001: 72-98 |
| 17 | | Steve M. Easterbrook,
Marsha Chechik:
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints.
ICSE 2001: 411-420 |
| 16 | | Steve M. Easterbrook,
Marsha Chechik:
2nd International Workshop on Living with Inconsistency.
ICSE 2001: 749-750 |
| 15 | | Marsha Chechik,
Steve M. Easterbrook,
Benet Devereux:
Model Checking with Multi-Valued Temporal Logics.
ISMVL 2001: 187-192 |
| 14 | EE | Marsha Chechik,
Benet Devereux,
Arie Gurfinkel:
Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN.
SPIN 2001: 16-36 |
| 13 | EE | Marsha Chechik,
Benet Devereux,
Steve M. Easterbrook:
Implementing a Multi-valued Symbolic Model Checker.
TACAS 2001: 404-419 |
| 12 | EE | Marsha Chechik,
John D. Gannon:
Automatic Analysis of Consistency between Requirements and Designs.
IEEE Trans. Software Eng. 27(7): 651-672 (2001) |
| 2000 |
|---|
| 11 | EE | Marsha Chechik,
Hai Wang:
Bisimulation analysis of SDL-expressed protocols: a case study.
CASCON 2000: 2 |
| 1999 |
|---|
| 10 | EE | Dimitrie O. Paun,
Marsha Chechik:
Events in Linear-Time Properties.
RE 1999: 123-132 |
| 9 | EE | Marsha Chechik,
Dimitrie O. Paun:
Events in Property Patterns.
SPIN 1999: 154-167 |
| 8 | EE | Andre Wong,
Marsha Chechik:
Formal Modeling in a Commercial Setting: A Case Study.
World Congress on Formal Methods 1999: 590-607 |
| 7 | EE | Marsha Chechik,
Dimitrie O. Paun:
Events in Property Patterns
CoRR cs.SE/9906029: (1999) |
| 6 | EE | Marsha Chechik:
SCR3: towards usability of formal methods
CoRR cs.SE/9906030: (1999) |
| 5 | EE | Dimitrie O. Paun,
Marsha Chechik:
Events in Linear-Time Properties
CoRR cs.SE/9906031: (1999) |
| 4 | EE | Andre Wong,
Marsha Chechik:
Formal Modeling in a Commercial Setting: A Case Study
CoRR cs.SE/9906032: (1999) |
| 1998 |
|---|
| 3 | EE | Marsha Chechik:
SC(R)3: towards usability of formal methods.
CASCON 1998: 8 |
| 1996 |
|---|
| 2 | | Joanne M. Atlee,
Marsha Chechik,
John D. Gannon:
Using Model Checking to Analyze Requirements and Designs.
Advances in Computers 43: 141-178 (1996) |
| 1994 |
|---|
| 1 | EE | Marsha Chechik,
John D. Gannon:
Automatic Verification of Requirements Implementation.
ISSTA 1994: 1-14 |
