Hillel Kugler
Cited by
Cited by
Synthesizing state-based object systems from LSC specifications
D Harel, H Kugler
International Journal of Foundations of Computer Science 13 (1), 5-52, 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
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
Smart play-out of behavioral requirements
D Harel, H Kugler, R Marelly, A Pnueli
Formal Methods in Computer-aided Design, 378-398, 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
Formal Modelling of C. elegans Development. A Scenario-Based Approach
D Harel, H Kugler, R Marelly, A Pnueli, JA Hubbard, MJ Stern
Modelling in molecular biology, 151-173, 2004
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
Multiple instances and symbolic variables in executable sequence charts
R Marelly, D Harel, H Kugler
ACM SIGPLAN Notices 37 (11), 83-100, 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
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
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
Controller synthesis from LSC requirements
H Kugler, C Plock, A Pnueli
Fundamental Approaches to Software Engineering, 79-93, 2009
Supporting UML-based development of embedded systems by formal techniques
J Hooman, H Kugler, I Ober, A Votintseva, Y Yushtein
Software & Systems Modeling 7, 131-155, 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
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
SMT-based analysis of biological computation
B Yordanov, CM Wintersteiger, Y Hamadi, H Kugler
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013
Applying LSCs to the specification of an air traffic control system
Y Bontemps, P Heymans, H Kugler
Proc. Scesm 3, 2003
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
Some methodological observations resulting from experience using lscs and the play-in/play-out approach
D Harel, H Kugler, G Weiss
Scenarios: Models, Transformations and Tools, 576-576, 2005
A model of stem cell population dynamics: in silico analysis and in vivo validation
Y Setty, D Dalfó, DZ Korta, EJA Hubbard, H Kugler
Development 139 (1), 47-56, 2012
The system can't perform the operation now. Try again later.
Articles 1–20