Marsha Chechik

	2012
98		Rick Salay, Michalis Famelis, Marsha Chechik: Language Independent Refinement Using Partial Modeling. FASE 2012: 224-239
97		Julia Rubin, Marsha Chechik: Combining Related Products into Product Lines. FASE 2012: 285-300
96		Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik: From Under-Approximations to Over-Approximations and Back. TACAS 2012: 157-172
95		Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik: Whale: An Interpolation-Based Algorithm for Inter-procedural Verification. VMCAI 2012: 39-55
94		Arie Gurfinkel, Marsha Chechik: Robust Vacuity for Branching Temporal Logic. ACM Trans. Comput. Log. 13(1): 1 (2012)
93		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. 21(2): 9 (2012)
92		Marsha Chechik, Shiva Nejati, Mehrdad Sabetzadeh: A relationship-based approach to model integration. ISSE 8(1): 3-18 (2012)
	2011
91		Shoham Ben-David, Marsha Chechik, Arie Gurfinkel, Sebastián Uchitel: CSSL: a logic for specifying conditional scenarios. SIGSOFT FSE 2011: 37-47
90		Ou Wei, Arie Gurfinkel, Marsha Chechik: On the consistency, expressiveness, and precision of partial modeling formalisms. Inf. Comput. 209(1): 20-47 (2011)
89		Mathieu Sassolas, Marsha Chechik, Sebastián Uchitel: Exploring inconsistencies between modal transition systems. Software and System Modeling 10(1): 117-142 (2011)
	2010
88		Jocelyn Simmonds, Marsha Chechik: RuMoR: monitoring and recovery for BPEL applications. ASE 2010: 345-346
87		Allen Chan, Brian Petrini, Marsha Chechik: Accelerate service integration in your BPM/SOA applications. CASCON 2010: 359
86		Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha Chechik: Abstract Analysis of Symbolic Executions. CAV 2010: 495-510
85		Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik: Guided recovery for web service applications. SIGSOFT FSE 2010: 247-256
84		Julia Rubin, Marsha Chechik: From Products to Product Lines Using Model Matching and Refactoring. SPLC Workshops 2010: 155-162
83		Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik: Optimizing Computation of Recovery Plans for BPEL Applications TAV-WEB 2010: 3-14
82		Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik: Monitoring and Recovery of Web Service Applications. The Smart Internet 2010: 250-288
81		Arie Gurfinkel, Marsha Chechik: Robust Vacuity for Branching Temporal Logic CoRR abs/1002.4616: (2010)
80		Franck van Breugel, Marsha Chechik: 19th International Conference on Concurrency Theory. Inf. Comput. 208(10): 1091-1092 (2010)
79		Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik: Exploiting resolution proofs to speed up LTL vacuity detection for BMC. STTT 12(5): 319-335 (2010)
	2009
78		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
77		Faraz Ahmadi Torshizi, Jonathan S. Ostroff, Richard F. Paige, Marsha Chechik: The SCOOP Concurrency Model in Java-like Languages. CPA 2009: 7-27
76		Marsha Chechik: A relationship-based approach to model management. MOMPES 2009: 1
75		Ou Wei, Arie Gurfinkel, Marsha Chechik: Mixed Transition Systems Revisited. VMCAI 2009: 349-365
74		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)
73		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
72		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
71		Franck van Breugel, Marsha Chechik: CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings Springer 2008
70		Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie: Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates. ASE 2008: 387-390
69		Nicolás D'Ippolito, Dario Fischbein, Marsha Chechik, Sebastián Uchitel: MTSA: The Modal Transition System Analyser. ASE 2008: 475-476
68		Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie: PtYasm: Software Model Checking with Proof Templates. ASE 2008: 479-480
67		Arie Gurfinkel, Ou Wei, Marsha Chechik: Model Checking Recursive Programs with Exact Predicate Abstraction. ATVA 2008: 95-110
66		Thomas E. Hart, Marsha Chechik, David Lie: Security Benchmarking using Partial Verification. HotSec 2008
65		Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik: Global consistency checking of distributed models with TReMer+. ICSE 2008: 815-818
64		Jocelyn Simmonds, Marsha Chechik, Shiva Nejati, Elena Litani, Bill O'Farrell: Property Patterns for Runtime Monitoring of Web Service Conversations. RV 2008: 137-157
63		Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Sebastián Uchitel, Pamela Zave: Towards compositional synthesis of evolving systems. SIGSOFT FSE 2008: 285-296
	2007
62		Kelvin Ku, Thomas E. Hart, Marsha Chechik, David Lie: A buffer overflow benchmark for software model checkers. ASE 2007: 389-392
61		Yuan Gan, Marsha Chechik, Shiva Nejati, Jon Bennett, Bill O'Farrell, Julie Waterhouse: Runtime monitoring of web service conversations. CASCON 2007: 42-57
60		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
59		Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel: Finding Environment Guarantees. FASE 2007: 352-367
58		Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik: Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC. FMCAD 2007: 3-12
57		Sebastián Uchitel, Greg Brunet, Marsha Chechik: Behaviour Model Synthesis from Properties and Scenarios. ICSE 2007: 34-43
56		Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave: Matching and Merging of Statecharts Specifications. ICSE 2007: 54-64
55		Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik: Finding State Solutions to Temporal Logic Queries. IFM 2007: 273-292
54		Mehrdad Sabetzadeh, Shiva Nejati, Sotirios Liaskos, Steve M. Easterbrook, Marsha Chechik: Consistency Checking of Conceptual Models via Model Merging. RE 2007: 221-230
53		Marsha Chechik, Arie Gurfinkel: A framework for counterexample generation and exploration. STTT 9(5-6): 429-445 (2007)
	2006
52		Arie Gurfinkel, Ou Wei, Marsha Chechik: Yasm: A Software Model-Checker for Verification and Refutation. CAV 2006: 170-174
51		Benet Devereux, Marsha Chechik: Automated Support for Building Behavioral Models of Event-Driven Systems. FASE 2006: 122-138
50		Greg Brunet, Marsha Chechik, Sebastián Uchitel: Properties of Behavioural Model Merging. FM 2006: 98-114
49		Shiva Nejati, Mihaela Gheorghiu, Marsha Chechik: Thorough Checking Revisited. FMCAD 2006: 106-116
48		Marsha Chechik, Greg Brunet, Dario Fischbein, Sebastián Uchitel: Partial Behavioural Models for Requirements and Early Design. MMOSS 2006
47		Arie Gurfinkel, Marsha Chechik: Why Waste a Perfectly Good Abstraction?. TACAS 2006: 212-226
46		Arie Gurfinkel, Ou Wei, Marsha Chechik: Systematic Construction of Abstractions for Model-Checking. VMCAI 2006: 381-397
45		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)
44		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
43		Shiva Nejati, Marsha Chechik: Let's agree to disagree. ASE 2005: 287-290
42		Ou Wei, Arie Gurfinkel, Marsha Chechik: Identification and Counter Abstraction for Full Virtual Symmetry. CHARME 2005: 285-300
41		Arie Gurfinkel, Marsha Chechik: How Thorough Is Thorough Enough? CHARME 2005: 65-80
40		Marsha Chechik, Arie Gurfinkel: A Framework for Counterexample Generation and Exploration. FASE 2005: 220-236
39		Shiva Nejati, Arie Gurfinkel, Marsha Chechik: Stuttering Abstraction for Model Checkin. SEFM 2005: 311-320
38		Marsha Chechik, Arie Gurfinkel: Model-Checking Software Using Precise Abstractions. VSTTE 2005: 347-353
37		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. 125(3): 13-23 (2005)
	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	Aws Albarghouthi	[86] [95] [96]
2	Joanne M. Atlee	[2]
3	Clark W. Barrett (Clark Barrett)	[37]
4	Shoham Ben-David	[82] [83] [85] [91]
5	Jon Bennett	[61]
6	Sergey Berezin	[37]
7	Mihaela Gheorghiu Bobaru (Mihaela Gheorghiu)	[49] [55] [59]
8	Franck van Breugel	[71] [80]
9	Greg Brunet	[48] [50] [57] [73] [93]
10	Allen Chan	[87]
11	Nicolás D'Ippolito	[69] [93]
12	Jessica Davies	[58] [79]
13	Benet Devereux	[13] [14] [15] [19] [24] [25] [26] [27] [30] [44] [51]
14	David L. Dill	[37]
15	Wei Ding	[20] [23]
16	Zinovy Diskin	[60]
17	Steve M. Easterbrook	[13] [15] [16] [17] [18] [19] [21] [27] [30] [44] [45] [54] [56] [60] [65]
18	Michalis Famelis	[98]
19	Dario Fischbein	[48] [69] [93]
20	Yuan Gan	[61] [74]
21	John D. Gannon	[1] [2] [12]
22	Arie Gurfinkel	[14] [24] [25] [26] [27] [28] [30] [31] [32] [33] [34] [36] [37] [38] [39] [40] [41] [42] [44] [46] [47] [52] [53] [55] [58] [59] [67] [68] [70] [75] [79] [81] [86] [90] [91] [94] [95] [96]
23	Thomas E. Hart	[62] [66] [68] [70]
24	Kelvin Ku	[62] [68] [70]
25	Albert Y. C. Lai	[19] [30] [44]
26	Sotirios Liaskos	[54]
27	David Lie	[62] [66] [68] [70]
28	Elena Litani	[64] [74]
29	Wendy MacCaull	[29]
30	Pete McCormick	[60]
31	Shiva Nejati	[39] [43] [45] [49] [54] [56] [60] [61] [63] [64] [65] [74] [92]
32	Bill O'Farrell	[61] [64] [74]
33	Jonathan S. Ostroff	[77]
34	Richard F. Paige	[77]
35	Dimitrie O. Paun	[5] [7] [9] [10]
36	Brian Petrini	[87]
37	Victor Petrovykh	[18] [19] [30]
38	Julia Rubin (Julia Rubin-Mosin, Julia Mosin)	[84] [97]
39	Mehrdad Sabetzadeh	[45] [54] [56] [60] [63] [65] [92]
40	Rick Salay	[60] [98]
41	Mathieu Sassolas	[89]
42	Igor Shikanian	[37]
43	Jocelyn Simmonds	[58] [64] [74] [79] [82] [83] [85] [88]
44	Darlene A. Stewart	[72]
45	Anya Tafliovich	[30]
46	Christopher Thompson-Walsh	[30]
47	Faraz Ahmadi Torshizi	[77]
48	Sebastián Uchitel	[35] [48] [50] [57] [63] [69] [73] [89] [91] [93]
49	Mark R. Vigder	[72]
50	Petcharat Viriyakattiyaporn	[60]
51	Hai Wang	[11]
52	Julie Waterhouse	[61] [74]
53	Ou Wei	[42] [46] [52] [67] [75] [86] [90]
54	Martin Wirsing	[78]
55	Andre Wong	[4] [8] [22]
56	Pamela Zave	[56] [63]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page