Rami Marelly

20 papers A 1B 3C 1Journal 7Unranked 7
YearRankTypeTitle / Venue / Authors
2021 J jnl
Integrating Interobject Scenarios with Intraobject Statecharts for Developing Reactive Systems.
IEEE Des. Test
David Harel, Rami Marelly, Assaf Marron, Smadar Szekely
2020 B conf
Plethora of Skills: Play-Learn-Practice-Invent-Share.
ITiCSE
Judith Gal-Ezer, Smadar Szekely, Rami Marelly
2019 J jnl
Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems.
CoRR
David Harel, Rami Marelly, Assaf Marron, Smadar Szekely
2018 J jnl
Wise Computing: Toward Endowing System Development with Proactive Wisdom.
Computer
David Harel, Guy Katz, Rami Marelly, Assaf Marron
2017 — conf
Crowd-Based Programming for Reactive Systems.
CSI-SE@ICSE
David Harel, Idan Heimlich, Rami Marelly, Assaf Marron
2016 C conf
An Initial Wise Development Environment for Behavioral Models.
MODELSWARD
David Harel, Guy Katz, Rami Marelly, Assaf Marron
2016 J jnl
First Steps Towards a Wise Development Environment for Behavioral Models.
Int. J. Inf. Syst. Model. Des.
David Harel, Guy Katz, Rami Marelly, Assaf Marron
2016 — conf
Scenario-based programming for mobile applications.
MOBILESoft
Anat Berkman-Chardon, David Harel, Yaarit Goel, Rami Marelly, Smadar Szekely, Guy Weiss
2016 — conf
Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing.
D&P@MoDELS
Assaf Marron, Brit Arnon, Achiya Elyasaf, Michal Gordon, Guy Katz, Hadas Lapid, Rami Marelly, Dana Sherman, Smadar Szekely, Gera Weiss, David Harel
2015 J jnl
Wise Computing: Towards Endowing System Development with True Wisdom.
CoRR
David Harel, Guy Katz, Rami Marelly, Assaf Marron
2006 J jnl
InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming.
IEEE Trans. Software Eng.
Dan Barak, David Harel, Rami Marelly
2003 — book
Come, Let's Play, Scenario-Based Programming Using LSCs and the Play-Engine.
David Harel, Rami Marelly
2003 — conf
Formal Modeling of C. elegans Development: A Scenario-Based Approach.
CMSB
Na'aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern
2003 — conf
InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming.
Lectures on Concurrency and Petri Nets
Dan Barak, David Harel, Rami Marelly
2003 — conf
Smart play-out.
OOPSLA Companion
David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli
2003 J jnl
Specifying and executing behavioral requirements: the play-in/play-out approach.
Softw. Syst. Model.
David Harel, Rami Marelly
2002 A conf
Multiple instances and symbolic variables in executable sequence charts.
OOPSLA
Rami Marelly, David Harel, Hillel Kugler
2002 B conf
Playing with Time: On the Specification and Execution of Time-Enriched LSCs.
MASCOTS
David Harel, Rami Marelly
2002 B conf
Smart Play-out of Behavioral Requirements.
FMCAD
David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli
2002 — conf
Specifying and executing requirements: the play-in/play-out approach.
OOPSLA Companion
Rami Marelly, David Harel, Hillel Kugler