2009 |
22 | EE | Hillel Kugler,
Cory Plock,
Amir Pnueli:
Controller Synthesis from LSC Requirements.
FASE 2009: 79-93 |
21 | EE | Hillel Kugler,
Itai Segall:
Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications.
TACAS 2009: 77-91 |
2008 |
20 | EE | David Harel,
Itai Segall,
Hillel Kugler,
Yaki Setty:
Crafting game-models using reactive system design.
Future Play 2008: 121-128 |
19 | EE | Jozef Hooman,
Hillel Kugler,
Iulian Ober,
Angelika Votintseva,
Yuri Yushtein:
Supporting UML-based development of embedded systems by formal techniques.
Software and System Modeling 7(2): 131-155 (2008) |
18 | EE | Pierre Combes,
David Harel,
Hillel Kugler:
Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool.
Software and System Modeling 7(2): 157-175 (2008) |
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 |