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 |
|
Hide low-probability matches. |