Marsha Chechik

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

Coauthor Index

1	Joanne M. Atlee	[2]
2	Jon Bennett	[60]
3	Mihaela Gheorghiu Bobaru (Mihaela Gheorghiu)	[48] [54] [58]
4	Franck van Breugel	[70]
5	Greg Brunet	[47] [49] [56] [72]
6	Nicolás D'Ippolito	[68]
7	Jessica Davies	[57]
8	Benet Devereux	[13] [14] [15] [19] [24] [25] [26] [27] [30] [43] [50]
9	Wei Ding	[20] [23]
10	Zinovy Diskin	[59]
11	Steve M. Easterbrook	[13] [15] [16] [17] [18] [19] [21] [27] [30] [43] [44] [53] [55] [59] [64]
12	Dario Fischbein	[47] [68]
13	Yuan Gan	[60] [73]
14	John D. Gannon	[1] [2] [12]
15	Arie Gurfinkel	[14] [24] [25] [26] [27] [28] [30] [31] [32] [33] [34] [36] [37] [38] [39] [40] [41] [43] [45] [46] [51] [52] [54] [57] [58] [66] [67] [69] [74]
16	Thomas E. Hart	[61] [65] [67] [69]
17	Kelvin Ku	[61] [67] [69]
18	Albert Y. C. Lai	[19] [30] [43]
19	Sotirios Liaskos	[53]
20	David Lie	[61] [65] [67] [69]
21	Elena Litani	[63] [73]
22	Wendy MacCaull	[29]
23	Pete McCormick	[59]
24	Shiva Nejati	[38] [42] [44] [48] [53] [55] [59] [60] [62] [63] [64] [73]
25	Bill O'Farrell	[60] [63] [73]
26	Dimitrie O. Paun	[5] [7] [9] [10]
27	Victor Petrovykh	[18] [19] [30]
28	Mehrdad Sabetzadeh	[44] [53] [55] [59] [62] [64]
29	Rick Salay	[59]
30	Jocelyn Simmonds	[57] [63] [73]
31	Darlene A. Stewart	[71]
32	Anya Tafliovich	[30]
33	Christopher Thompson-Walsh	[30]
34	Sebastián Uchitel	[35] [47] [49] [56] [62] [68] [72]
35	Mark R. Vigder	[71]
36	Petcharat Viriyakattiyaporn	[59]
37	Hai Wang	[11]
38	Julie Waterhouse	[60] [73]
39	Ou Wei	[41] [45] [51] [66] [74]
40	Martin Wirsing	[75]
41	Andre Wong	[4] [8] [22]
42	Pamela Zave	[55] [62]

Colors in the list of coauthors