- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c23 |      | Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler: SMT-Based Analysis of Biological Computation. NASA Formal Methods 2013: 78-92 |
| 2011 | ||
| c22 | | |
| c21 | | Aleksandar Milicevic, Hillel Kugler: Model Checking Using SMT and Theory of Lists. NASA Formal Methods 2011: 282-297 |
| 2010 | ||
| c20 | | David Harel, Hillel Kugler: Some Thoughts on the Semantics of Biocharts. Essays in Memory of Amir Pnueli 2010: 185-194 |
| c19 | | David Harel, Hillel Kugler, Shahar Maoz, Itai Segall: Accelerating Smart Play-Out. SOFSEM 2010: 477-488 |
| 2009 | ||
| c18 | | Hillel Kugler, Cory Plock, Amir Pnueli: Controller Synthesis from LSC Requirements. FASE 2009: 79-93 |
| c17 | | Hillel Kugler, Itai Segall: Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications. TACAS 2009: 77-91 |
| 2008 | ||
| j4 | | Jozef Hooman, Hillel Kugler, Iulian Ober, Anjelika Votintseva, Yuri Yushtein: Supporting UML-based development of embedded systems by formal techniques. Software and System Modeling 7(2): 131-155 (2008) |
| j3 | | 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) |
| c16 | | David Harel, Itai Segall, Hillel Kugler, Yaki Setty: Crafting game-models using reactive system design. Future Play 2008: 121-128 |
| 2007 | ||
| c15 | | Hillel Kugler, Michael J. Stern, E. Jane Albert Hubbard: Testing Scenario-Based Models. FASE 2007: 306-320 |
| c14 | | Hillel Kugler, Cory Plock, Amir Pnueli: Synthesizing reactive systems from LSC requirements using the play-engine. OOPSLA Companion 2007: 801-802 |
| c13 | | 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 | ||
| j2 | | 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) |
| c12 | | 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 |
| c11 | | 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 |
| c10 | | Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps: Temporal Logic for Scenario-Based Specifications. TACAS 2005: 445-460 |
| 2004 | ||
| c9 | | 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 |
| c8 | | David Harel, Hillel Kugler, Amir Pnueli: Smart Play-Out Extended: Time and Forbidden Elements. QSIC 2004: 2-10 |
| c7 | | Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag: Deductive Verification of UML Models in TLPVS. UML 2004: 335-349 |
| 2003 | ||
| c6 | | 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 |
| c5 | | 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 |
| c4 | | |
| 2002 | ||
| j1 | | David Harel, Hillel Kugler: Synthesizing State-Based Object Systems from LSC Specifications. Int. J. Found. Comput. Sci. 13(1): 5-51 (2002) |
| c3 | | David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli: Smart Play-out of Behavioral Requirements. FMCAD 2002: 378-398 |
| c2 | | Rami Marelly, David Harel, Hillel Kugler: Multiple instances and symbolic variables in executable sequence charts. OOPSLA 2002: 83-100 |
| 2000 | ||
| c1 | | David Harel, Hillel Kugler: Synthesizing State-Based Object Systems from LSC Specifications. CIAA 2000: 1-33 |
Colors in the list of coauthors
Last update Sat May 25 06:28:26 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page