Stebėti
Hillel Kugler
Pavadinimas
Cituota
Cituota
Metai
Synthesizing state-based object systems from LSC specifications
D Harel, H Kugler
International Journal of Foundations of Computer Science 13 (1), 5-52, 2002
3202002
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
2452004
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
2002005
Smart play-out of behavioral requirements
D Harel, H Kugler, R Marelly, A Pnueli
Formal Methods in Computer-aided Design, 378-398, 2002
1872002
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
1402005
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
1342004
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
1212005
Multiple instances and symbolic variables in executable sequence charts
R Marelly, D Harel, H Kugler
ACM SIGPLAN Notices 37 (11), 83-100, 2002
1082002
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
582016
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
512009
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
452015
Controller synthesis from LSC requirements
H Kugler, C Plock, A Pnueli
Fundamental Approaches to Software Engineering, 79-93, 2009
452009
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
442008
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
422008
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
382010
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
362013
Applying LSCs to the specification of an air traffic control system
Y Bontemps, P Heymans, H Kugler
Proc. Scesm 3, 2003
362003
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
302008
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
292005
Analyzing and synthesizing genomic logic functions
N Paoletti, B Yordanov, Y Hamadi, CM Wintersteiger, H Kugler
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
272014
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–20