| Synthesizing state-based object systems from LSC specifications D Harel, H Kugler International Journal of Foundations of Computer Science 13 (1), 5-52, 2002 | 323 | 2002 |
| The rhapsody semantics of statecharts (or, on the executable core of the UML) D Harel, H Kugler Integration of Software Specification Techniques for Applications in …, 2004 | 248 | 2004 |
| Synthesis revisited: Generating statechart models from scenario-based requirements D Harel, H Kugler, A Pnueli Formal Methods in Software and Systems Modeling, 309-324, 2005 | 201 | 2005 |
| Smart play-out of behavioral requirements D Harel, H Kugler, R Marelly, A Pnueli Formal Methods in Computer-aided Design, 378-398, 2002 | 190 | 2002 |
| Temporal logic for scenario-based specifications H Kugler, D Harel, A Pnueli, Y Lu, Y Bontemps Tools and Algorithms for the Construction and Analysis of Systems, 445-460, 2005 | 144 | 2005 |
| Formal modeling of C. elegans development: A scenario-based approach N Kam, D Harel, H Kugler, R Marelly, A Pnueli, EJA Hubbard, MJ Stern Computational Methods in Systems Biology: First International Workshop, CMSB …, 2003 | 139 | 2003 |
| Formalizing UML Models and OCL Constraints in PVS1 M Kyas, H Fecher, FS de Boer, J Jacob, J Hooman, M Van Der Zwaag, ... Electronic Notes in Theoretical Computer Science 115, 39-47, 2005 | 121 | 2005 |
| Multiple instances and symbolic variables in executable sequence charts R Marelly, D Harel, H Kugler ACM SIGPLAN Notices 37 (11), 83-100, 2002 | 107 | 2002 |
| A method to identify and analyze biological programs through automated reasoning B Yordanov, SJ Dunn, H Kugler, A Smith, G Martello, S Emmott NPJ systems biology and applications 2 (1), 1-16, 2016 | 65 | 2016 |
| Compositional synthesis of reactive systems from live sequence chart specifications H Kugler, I Segall Tools and Algorithms for the Construction and Analysis of Systems, 77-91, 2009 | 51 | 2009 |
| Mechano-logical model of C. elegans germ line suggests feedback on the cell cycle K Atwell, Z Qin, D Gavaghan, H Kugler, EJA Hubbard, JM Osborne Development 142 (22), 3902-3911, 2015 | 45 | 2015 |
| Controller synthesis from LSC requirements H Kugler, C Plock, A Pnueli Fundamental Approaches to Software Engineering, 79-93, 2009 | 45 | 2009 |
| A scenario-based approach to modeling development: a prototype model of C. elegans vulval fate specification N Kam, H Kugler, R Marelly, L Appleby, J Fisher, A Pnueli, D Harel, ... Developmental biology 323 (1), 1-5, 2008 | 44 | 2008 |
| Supporting UML-based development of embedded systems by formal techniques J Hooman, H Kugler, I Ober, A Votintseva, Y Yushtein Software & Systems Modeling 7 (2), 131-155, 2008 | 42 | 2008 |
| Biocharts: a visual formalism for complex biological systems H Kugler, A Larjo, D Harel Journal of The Royal Society Interface 7 (48), 1015-1024, 2010 | 40 | 2010 |
| Applying LSCs to the specification of an air traffic control system Y Bontemps, P Heymans, H Kugler Proc. Scesm 3, 2003 | 38 | 2003 |
| SMT-based analysis of biological computation B Yordanov, CM Wintersteiger, Y Hamadi, H Kugler NASA formal methods symposium, 78-92, 2013 | 36 | 2013 |
| Esrrb guides naive pluripotent cells through the formative transcriptional programme E Carbognin, V Carlini, F Panariello, M Chieregato, E Guerzoni, ... Nature cell biology 25 (5), 643-657, 2023 | 32 | 2023 |
| Modeling and verification of a telecommunication application using live sequence charts and the play-engine tool P Combes, D Harel, H Kugler Software and Systems Modeling 7 (2), 157-175, 2008 | 30 | 2008 |
| Analyzing and synthesizing genomic logic functions N Paoletti, B Yordanov, Y Hamadi, CM Wintersteiger, H Kugler International Conference on Computer Aided Verification, 343-357, 2014 | 29 | 2014 |
David HarelProfessor of Computer Science, The Weizmann InstituteVerified email at weizmann.ac.il
