Hillel Kugler

Ph.D student of David Harel and Amir Pnueli

The Minerva Center for Verification of Reactive Systems
Department of Computer Science and Applied Mathematics
Weizmann Institute
Rehovot 76100, Israel

Office Phone: 08-934-3523
Fax: 08-934-2945
Email: kugler@wisdom.weizmann.ac.il

On-line papers

• D. Harel and H. Kugler,

  Synthesizing State Based Object Systems from LSC Specifications

  International Journal on Foundations of Computer Science (IJFCS)

[abstract (html) | journal version (pdf, ps) | Bibtex entery]

• R. Marelly, D.Harel and H.Kugler,

Multiple Instances and Symbolic Variables in Executable Sequence Charts

Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'02)

[abstract (html) | preliminary version (pdf, ps) | Bibtex entery]

• D.Harel, H.Kugler, R. Marelly and A. Pnueli,

Smart Play-Out of Behavioral Requirements

Conference on Formal Methods in Computer-Aided Design (FMCAD'02)

[abstract (html) | preliminary version (pdf, ps) | Bibtex entery]

• D.Harel, H.Kugler and R. Marelly,

The Play-in / Play-out Approach and Tool: Specifying and Executing Behavioral Requirements

The Israeli Workshop on Programming Languages & Development Environments (PLE'02)

[abstract (html) | paper(pdf)]

• N. Kam, D. Harel, H. Kugler, R. Marelly, A. Pnueli, E.J.A. Hubbard and M.J. Stern,

  Formal Modeling of C. Elegans Development: A Scenario-Based Approach

  International Workshop on Computational Methods in Systems Biology (CMSB'03)

  [abstract (html) | paper(pdf)]

• Y. Bontemps, P. Heymans and H. Kugler

  Applying LSCs to the specification of an Air Traffic Control System

  International Workshop on Scenarios and State Machines (SCESM'03)

  [abstract (html) | paper(pdf)]

• D. Harel, H. Kugler and R. Marelly

Smart Play-Out

Chapter in the book by D.Harel and R. Marelly

Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine

Springer 2003

• D.Harel, H.Kugler, R. Marelly and A. Pnueli,

  Smart Play-Out D(DEMO)

  Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'03)

  [abstract (html) | paper(pdf)]

• M. Kyas, H. Fecher, F. S. de Boer, J. Jacob, J. Hooman, M. van der Zwaag, T. Arons and H. Kugler

  Formalizing UML Models and OCL Constraints in PVS

  International Workshop on Semantic Foundations of Engineering Design Languages (SFEDL'04)

  [abstract (html) | paper(pdf)]

• T. Arons, J. Hooman, H. Kugler, A. Pnueli and M. van der Zwaag

  Deductive Verification of UML Models in TLPVS

  Conference on UML Modeling Languages and Applications (UML'04)

  [abstract (html) | paper(pdf, ps)]

• D. Harel, H. Kugler and A. Pnueli

  Smart Play-Out Extended: Time and Forbidden Elements

  International Conference on Quality Software (QSIC'04)

  [abstract (html) | paper(pdf)]

• D. Harel and H. Kugler

  The RHAPSODY Semantics of Statecharts

  (or, On the Executable Core of the UML)

Integration of Software Specification Techniques for Application in Engineering (CHARTS'04)

[abstract (html) | paper(ps)]

Links

• Play-In / Play-Out Demos

• Omega Project

• Formal Modeling of C.Elegans