Rami Marelly, Ph.D. - Publications

Affiliations: 
2002 Weizmann Institute of Science, Rehovot, Israel 
Area:
Computer Science

13 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2020 Harel D, Marelly R, Marron A, Szekely S. Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems Ieee Design & Test of Computers. 1-1. DOI: 10.1109/Mdat.2020.3006805  0.517
2018 Harel D, Katz G, Marelly R, Marron A. Wise Computing: Toward Endowing System Development with Proactive Wisdom Computer. 51: 14-26. DOI: 10.1109/Mc.2018.1451652  0.555
2016 Harel D, Katz G, Marelly R, Marron A. First Steps Towards a Wise Development Environment for Behavioral Models International Journal of Information System Modeling and Design. 7: 1-22. DOI: 10.4018/Ijismd.2016070101  0.584
2016 Harel D, Katz G, Marelly R, Marron A. An initial wise development environment for behavioral models Modelsward 2016 - Proceedings of the 4th International Conference On Model-Driven Engineering and Software Development. 600-612.  0.43
2008 Kam N, Kugler H, Marelly R, Appleby L, Fisher J, Pnueli A, Harel D, Stern MJ, Hubbard EJ. A scenario-based approach to modeling development: a prototype model of C. elegans vulval fate specification. Developmental Biology. 323: 1-5. PMID 18706404 DOI: 10.1016/J.Ydbio.2008.07.030  0.585
2004 Barak D, Harel D, Marelly R. InterPlay: Horizontal scale-up and transition to design in scenario-based programming Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3098: 66-86. DOI: 10.1109/TSE.2006.67  0.626
2004 Barak D, Harel D, Marelly R. InterPlay: Horizontal scale-up and transition to design in scenario-based programming Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3098: 66-86. DOI: 10.1109/Tse.2006.67  0.631
2003 Harel D, Kugler H, Marelly R, Pnueli A. Smart play-out Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 68-69. DOI: 10.1145/949344.949353  0.436
2003 Harel D, Marelly R. Specifying and executing behavioral requirements: the play-in/play-out approach Software & Systems Modeling. 2: 82-107. DOI: 10.1007/S10270-002-0015-5  0.637
2003 Kam N, Harel D, Kugler H, Marelly R, Pnueli A, Albert Hubbard EJ, Stern MJ. Formal Modeling of C. elegans development: A Scenario-based approach Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2602: 4-20. DOI: 10.1007/3-540-36481-1_2  0.542
2002 Harel D, Marelly R. Playing with time: On the specification and execution of time-enriched LSCs Proceedings - Ieee Computer Society's Annual International Symposium On Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, Mascots. 2002: 193-202. DOI: 10.1109/MASCOT.2002.1167077  0.589
2002 Marelly R, Harel D, Kugler H. Multiple instances and symbolic variables in executable sequence charts Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 83-100.  0.433
2002 Harel D, Kugler H, Marelly R, Pnueli A. Smart play-out of behavioral requirements Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2517: 378-398.  0.478
Show low-probability matches.