On-line papers

• H. Kugler, A. Pnueli, M.J. Stern and E.J.A. Hubbard

  "Don't Care" Modeling: A logical framework for developing predictive system models

  Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07)

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

  To appear

• H. Kugler, M.J. Stern and E.J.A. Hubbard

  Testing Scenario-Based Models

  Fundamental Approaches to Software Engineering (FASE '07)

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

  To appear

• J. Hooman, H. Kugler, I. Ober, A. Votintseva and Y. Yushtein

  Supporting UML-based Development of Embedded Systems by Formal Techniques

  International Journal of Software and Systems Modeling (SoSym)

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

• P. Combes, D. Harel and H. Kugler

  Modeling and Verification of a Telecommunication Application using Live Sequence Charts and the Play-Engine Tool

  Automated Technology for Verification and Analysis (ATVA'05)

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

• H. Kugler, D. Harel, A. Pnueli, Y. Lu and Y. Bontemps

  Temporal Logic for Scenario-Based Specifications

  Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05)

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

• D. Harel, H. Kugler and G. Weiss

  Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach

  Scenarios: Models, Transformations and Tools

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

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

  Synthesis Revisited: Generating Statechart Models from Scenarios-Based Requirements

  Formal Methods in Software and System Modeling

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

• 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(pdf, ps)]

Links