Hillel Kugler

Cited by

	All	Since 2018
Citations	2374	475
h-index	24	11
i10-index	39	17

180

135

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220239 9 36 54 73 134 129 114 158 148 144 137 170 132 108 96 124 58 78 69 72 83 92 81

Public access

View all

24 articles

3 articles

available

not available

Based on funding mandates

Co-authors

David HarelProfessor of Computer Science, The Weizmann InstituteVerified email at weizmann.ac.il
Boyan YordanovScientific TechnologiesVerified email at scientific.london
Christoph M. WintersteigerMicrosoft ResearchVerified email at microsoft.com
Youssef HamadiTempero.techVerified email at tempero.tech
Sara-Jane DunnDeepMindVerified email at deepmind.com
E. Jane Albert HubbardProfessor of Cell Biology, NYU Grossman School of MedicineVerified email at med.nyu.edu
Jozef HoomanProfessor of Computer Science, Radboud University NijmegenVerified email at cs.ru.nl
Till KortenPostdoctoral fellow, B CUBE, TU DresdenVerified email at tu-dresden.de
Yuan LuEK12Verified email at ek12.com
Stefan DiezProfessor for BioNanoTools, B CUBE, TU DresdenVerified email at tu-dresden.de
Marcel KyasAssistant Professor, Reykjavik UniversityVerified email at ru.is
Heiner LinkeNanoLund, Solid State Physics, Lund UniversityVerified email at ftf.lth.se
Itai SegallBell Labs ResearcherVerified email at alcatel-lucent.com
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Jingyuan ZhuLund UniversityVerified email at ftf.lth.se
Alf ManssonProfessor i Fysiologi, LinnéuniversitetetVerified email at lnu.se
Danny ReuterHead of Nano Device Technologies, Fraunhofer ENAS, ChemnitzVerified email at enas.fraunhofer.de
Graziano MartelloAssociate Professor, Dept. of Biology, University of Padua, ItalyVerified email at unipd.it
Gera WeissBen Gurion University of The NegevVerified email at cs.bgu.ac.il
Austin SmithLiving Systems Institute, University of ExeterVerified email at exeter.ac.uk

Hillel Kugler

Bar-Ilan University

Verified email at biu.ac.il - Homepage

Biological Computation Formal Verification Temporal Logic Computational Systems Biology Stem Cells


Title Sort by citations Sort by year Sort by 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	318	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	240	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	194	2005
Smart play-out of behavioral requirements D Harel, H Kugler, R Marelly, A Pnueli Formal Methods in Computer-aided Design, 378-398, 2002	185	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	139	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	132	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	122	2005
Multiple instances and symbolic variables in executable sequence charts R Marelly, D Harel, H Kugler ACM SIGPLAN Notices 37 (11), 83-100, 2002	104	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	51	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	48	2009
Controller synthesis from LSC requirements H Kugler, C Plock, A Pnueli Fundamental Approaches to Software Engineering, 79-93, 2009	44	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, 131-155, 2008	42	2008
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	38	2015
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	38	2010
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	37	2013
Applying LSCs to the specification of an air traffic control system Y Bontemps, P Heymans, H Kugler Proc. Scesm 3, 2003	36	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	32	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	30	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	27	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors