 | 2006 |
|---|
| 8 |       | Dan Barak,
David Harel,
Rami Marelly:
InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming.
IEEE Trans. Software Eng. 32(7): 467-485 (2006) |
| 2003 |
|---|
| 7 | | 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 | | Dan Barak,
David Harel,
Rami Marelly:
InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming.
Lectures on Concurrency and Petri Nets 2003: 66-86 |
| 5 | | David Harel,
Hillel Kugler,
Rami Marelly,
Amir Pnueli:
Smart play-out.
OOPSLA Companion 2003: 68-69 |
| 4 | | David Harel,
Rami Marelly:
Specifying and executing behavioral requirements: the play-in/play-out approach.
Software and System Modeling 2(2): 82-107 (2003) |
| 2002 |
|---|
| 3 | | David Harel,
Hillel Kugler,
Rami Marelly,
Amir Pnueli:
Smart Play-out of Behavioral Requirements.
FMCAD 2002: 378-398 |
| 2 | | David Harel,
Rami Marelly:
Playing with Time: On the Specification and Execution of Time-Enriched LSCs.
MASCOTS 2002: 193-202 |
| 1 | | Rami Marelly,
David Harel,
Hillel Kugler:
Multiple instances and symbolic variables in executable sequence charts.
OOPSLA 2002: 83-100 |
