Hillel Kugler

Cited by

	All	Since 2018
Citations	2298	419
h-index	24	11
i10-index	36	14

180

135

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220239 10 36 54 77 132 130 110 157 146 135 140 166 135 107 91 121 56 79 68 68 82 82 40

Public access

View all

24 articles

1 article

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
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
Sara-Jane DunnDeepMindVerified email at deepmind.com
Yuan LuEK12Verified email at ek12.com
Till KortenPostdoctoral fellow, B CUBE, TU DresdenVerified email at tu-dresden.de
Marcel KyasAssistant Professor, Reykjavik UniversityVerified email at ru.is
Stefan DiezProfessor for BioNanoTools, B CUBE, TU DresdenVerified email at bcube-dresden.de
Itai SegallBell Labs ResearcherVerified email at alcatel-lucent.com
Heiner LinkeNanoLund, Solid State Physics, Lund UniversityVerified email at ftf.lth.se
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Graziano MartelloAssociate Professor, Dept. of Biology, University of Padua, ItalyVerified email at unipd.it
Jingyuan ZhuLund UniversityVerified email at ftf.lth.se
Alf ManssonProfessor i Fysiologi, LinnéuniversitetetVerified email at lnu.se
Danny ReuterAbteilungsleiter am Zentrum für Mikrotechnologie, TU ChemnitzVerified email at zfm.tu-chemnitz.de
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	311	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	234	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	189	2005
Smart play-out of behavioral requirements D Harel, H Kugler, R Marelly, A Pnueli Formal Methods in Computer-aided Design, 378-398, 2002	182	2002
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	137	2004
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	136	2005
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	118	2005
Multiple instances and symbolic variables in executable sequence charts R Marelly, D Harel, H Kugler ACM SIGPLAN Notices 37 (11), 83-100, 2002	103	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	49	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	47	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	40	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	39	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	35	2013
Applying LSCs to the specification of an air traffic control system Y Bontemps, P Heymans, H Kugler Proc. Scesm 3, 2003	34	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	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	28	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