Search the dblp DataBase

Publications of Author

1. Dan Barak, David Harel, Rami Marelly
   InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming. [Citation Graph (0, 0)][DBLP]
   Lectures on Concurrency and Petri Nets, 2003, pp:66-86 [Conf]
   
2. 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]
   
3. 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]
   
4. David Harel, Rami Marelly
   Playing with Time: On the Specification and Execution of Time-Enriched LSCs. [Citation Graph (0, 0)][DBLP]
   MASCOTS, 2002, pp:193-202 [Conf]
   
5. David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli
   Smart play-out. [Citation Graph (0, 0)][DBLP]
   OOPSLA Companion, 2003, pp:68-69 [Conf]
   
6. 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]
   
7. David Harel, Rami Marelly
   Specifying and executing behavioral requirements: the play-in/play-out approach. [Citation Graph (0, 0)][DBLP]
   Software and System Modeling, 2003, v:2, n:2, pp:82-107 [Journal]
   
8. Dan Barak, David Harel, Rami Marelly
   InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2006, v:32, n:7, pp:467-485 [Journal]