Hillel Kugler

Cited by

	All	Since 2020
Citations	2444	422
h-index	24	11
i10-index	47	18

180

135

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202510 8 41 54 73 135 130 114 161 147 146 132 167 131 101 91 123 64 71 65 72 86 91 95 75 3

Public access

View all

27 articles

2 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. WintersteigerImandraVerified email at imandra.ai
E. Jane Albert HubbardProfessor of Cell Biology, NYU Grossman School of MedicineVerified email at med.nyu.edu
Youssef HamadiTempero.techVerified email at tempero.tech
Sara-Jane DunnDeepMindVerified email at deepmind.com
Till KortenAI Consultant, Helmholtz Zentrum - Dresden Rossendorf (HZDR)Verified email at hzdr.de
Jozef HoomanProfessor of Computer Science, Radboud University NijmegenVerified email at cs.ru.nl
Yuan LuEK12Verified email at ek12.com
Stefan DiezProfessor for BioNanoTools, B CUBE, TU DresdenVerified email at tu-dresden.de
Graziano MartelloAssociate Professor, Dept. of Biology, University of Padua, ItalyVerified email at unipd.it
Heiner LinkeNanoLund, Solid State Physics, Lund UniversityVerified email at ftf.lth.se
Marcel KyasAssistant Professor, Reykjavik UniversityVerified email at ru.is
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
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
Austin SmithLiving Systems Institute, University of ExeterVerified email at exeter.ac.uk
Gera WeissBen Gurion University of The NegevVerified email at cs.bgu.ac.il

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	316	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	242	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	197	2005
Smart play-out of behavioral requirements D Harel, H Kugler, R Marelly, A Pnueli Formal Methods in Computer-aided Design, 378-398, 2002	187	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	140	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	135	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	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	57	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	50	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	44	2015
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
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	39	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	36	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	31	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	29	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