dblp.uni-trier.dewww.uni-trier.de

Rami Marelly

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
8EEDan 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
7EENa'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
6EEDan 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
5EEDavid Harel, Hillel Kugler, Rami Marelly, Amir Pnueli: Smart play-out. OOPSLA Companion 2003: 68-69
4EEDavid Harel, Rami Marelly: Specifying and executing behavioral requirements: the play-in/play-out approach. Software and System Modeling 2(2): 82-107 (2003)
2002
3EEDavid Harel, Hillel Kugler, Rami Marelly, Amir Pnueli: Smart Play-out of Behavioral Requirements. FMCAD 2002: 378-398
2EEDavid Harel, Rami Marelly: Playing with Time: On the Specification and Execution of Time-Enriched LSCs. MASCOTS 2002: 193-202
1EERami Marelly, David Harel, Hillel Kugler: Multiple instances and symbolic variables in executable sequence charts. OOPSLA 2002: 83-100

Coauthor Index

1Dan Barak [6] [8]
2David Harel [1] [2] [3] [4] [5] [6] [7] [8]
3E. Jane Albert Hubbard [7]
4Na'aman Kam [7]
5Hillel Kugler [1] [3] [5] [7]
6Amir Pnueli [3] [5] [7]
7Michael J. Stern [7]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)