Hillel Kugler

2007
17	EE	Hillel Kugler, Michael J. Stern, E. Jane Albert Hubbard: Testing Scenario-Based Models. FASE 2007: 306-320
16	EE	Hillel Kugler, Cory Plock, Amir Pnueli: Synthesizing reactive systems from LSC requirements using the play-engine. OOPSLA Companion 2007: 801-802
15	EE	Hillel Kugler, Amir Pnueli, Michael J. Stern, E. Jane Albert Hubbard: "Don't Care" Modeling: A Logical Framework for Developing Predictive System Models. TACAS 2007: 343-357
2005
14	EE	Pierre Combes, David Harel, Hillel Kugler: Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool. ATVA 2005: 414-428
13	EE	David Harel, Hillel Kugler, Amir Pnueli: Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements. Formal Methods in Software and Systems Modeling 2005: 309-324
12	EE	Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps: Temporal Logic for Scenario-Based Specifications. TACAS 2005: 445-460
11	EE	Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler: Formalizing UML Models and OCL Constraints in PVS. Electr. Notes Theor. Comput. Sci. 115: 39-47 (2005)
2004
10	EE	David Harel, Hillel Kugler, Amir Pnueli: Smart Play-Out Extended: Time and Forbidden Elements. QSIC 2004: 2-10
9	EE	David Harel, Hillel Kugler: The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version. SoftSpez Final Report 2004: 325-354
8	EE	Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag: Deductive Verification of UML Models in TLPVS. UML 2004: 335-349
2003
7	EE	Na'aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern: Formal Modeling of C. elegans Development: A Scenario-Based Approach. CMSB 2003: 4-20
6	EE	David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli: Smart play-out. OOPSLA Companion 2003: 68-69
5	EE	David Harel, Hillel Kugler, Gera Weiss: Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach. Scenarios: Models, Transformations and Tools 2003: 26-42
2002
4	EE	David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli: Smart Play-out of Behavioral Requirements. FMCAD 2002: 378-398
3	EE	Rami Marelly, David Harel, Hillel Kugler: Multiple instances and symbolic variables in executable sequence charts. OOPSLA 2002: 83-100
2	EE	David Harel, Hillel Kugler: Synthesizing State-Based Object Systems from LSC Specifications. Int. J. Found. Comput. Sci. 13(1): 5-51 (2002)
2000
1	EE	David Harel, Hillel Kugler: Synthesizing State-Based Object Systems from LSC Specifications. CIAA 2000: 1-33

Coauthor Index

1	Tamarah Arons	[8] [11]
2	Frank S. de Boer	[11]
3	Yves Bontemps	[12]
4	Pierre Combes	[14]
5	Harald Fecher	[11]
6	David Harel	[1] [2] [3] [4] [5] [6] [7] [9] [10] [12] [13] [14]
7	Jozef Hooman	[8] [11]
8	E. Jane Albert Hubbard	[7] [15] [17]
9	Joost Jacob	[11]
10	Na'aman Kam	[7]
11	Marcel Kyas	[11]
12	Yuan Lu	[12]
13	Rami Marelly	[3] [4] [6] [7]
14	Cory Plock	[16]
15	Amir Pnueli	[4] [6] [7] [8] [10] [12] [13] [15] [16]
16	Michael J. Stern	[7] [15] [17]
17	Gera Weiss	[5]
18	Mark van der Zwaag	[8] [11]