Hillel Kugler
Title
Cited by
Cited by
Year
Synthesizing state-based object systems from LSC specifications
D Harel, H Kugler
International Journal of Foundations of Computer Science 13 (1), 5-52, 2002
2952002
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
2092004
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
1752005
Smart play-out of behavioral requirements
D Harel, H Kugler, R Marelly, A Pnueli
Formal Methods in Computer-aided Design, 378-398, 2002
1632002
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
1292005
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
1272004
Formal modeling of C. elegans development: A scenario-based approach
N Kam, D Harel, H Kugler, R Marelly, A Pnueli, E Hubbard, M Stern
Computational Methods in Systems Biology, 4-20, 2003
127*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
1032005
Multiple instances and symbolic variables in executable sequence charts
R Marelly, D Harel, H Kugler
ACM SIGPLAN Notices 37 (11), 83-100, 2002
982002
Controller synthesis from LSC requirements
H Kugler, C Plock, A Pnueli
Fundamental Approaches to Software Engineering, 79-93, 2009
422009
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
372010
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
372009
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
372008
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
372008
Applying LSCs to the specification of an air traffic control system
Y Bontemps, P Heymans, H Kugler
Proc. Scesm 3, 2003
342003
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
322016
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
322008
SMT-based analysis of biological computation
B Yordanov, CM Wintersteiger, Y Hamadi, H Kugler
NASA formal methods symposium, 78-92, 2013
302013
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
272012
Concepts in user interfaces: a reference model for command and response languages
D Beech, C Gram, HJ Kugler, I Newman, H Stiegler
Lecture notes in computer science 234, 1986
261986
The system can't perform the operation now. Try again later.
Articles 1–20