The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hillel Kugler: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  18. Some Thoughts on the Semantics of Biocharts. [Citation Graph (, )][DBLP]


  19. Controller Synthesis from LSC Requirements. [Citation Graph (, )][DBLP]


  20. Accelerating Smart Play-Out. [Citation Graph (, )][DBLP]


  21. Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications. [Citation Graph (, )][DBLP]


  22. Crafting game-models using reactive system design. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002