Hillel Kugler

Scientist

Microsoft Research Cambridge

Previously I was a member of Prof. Jane Hubbard's lab at the Biology Department

and the Analysis of Computer Systems Group , Department of Computer Science, Courant Institute New York University

I did my Ph.D at the Weizmann Institute under the supervision of David Harel and Amir Pnueli

Office Phone: 44-1223-479781
Email: hLastname@microsoft.com

Research Interests:

• Systems Biology (Modeling and Analysis of Biological Systems)

• Software and System Engineering (Statecharts, Live Sequence Charts, Formal Verification, Synthesis)

On-line papers

Positions Available: Post-doctoral and Ph.D positions available,

for information please email me with an updated CV.

I am seeking candidates with mathematical and computational skills to participate in developing theory

and algorithms for a new set of modeling tools developed in the group, or candidates with strong biological

background that are interested in applying advanced modeling technology and tools for addressing key

biological questions. Experimental validation is / will be conducted through collaboration with relevant

collaborators worldwide.

Selected Publications

• J. Hooman, H. Kugler, I. Ober, A. Votintseva and Y. Yushtein

Supporting UML-based Development of Embedded Systems by Formal Techniques

International Journal of Software and Systems Modeling (SoSym)  To appear 2008

[abstract (html) | paper(pdf, ps)]

• P. Combes, D. Harel and H. Kugler

Modeling and Verification of a Telecommunication Application using Live Sequence Charts and the Play-Engine Tool

International Journal of Software and Systems Modeling (SoSym)  To appear 2008

Preliminary version in Automated Technology for Verification and Analysis (ATVA'05)

[abstract (html) | paper(pdf, ps)]

• H. Kugler, A. Pnueli, M.J. Stern and E.J.A. Hubbard

"Don't Care" Modeling: A logical framework for developing predictive system models

Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07)

[abstract (html) | paper(pdf, ps)]

• D. Harel and H. Kugler

  The RHAPSODY Semantics of Statecharts

  (or, On the Executable Core of the UML)

Integration of Software Specification Techniques for Application in Engineering (CHARTS'04)

[abstract (html) | paper(pdf, ps)]

 

• T. Arons, J. Hooman, H. Kugler, A. Pnueli and M. van der Zwaag

Deductive Verification of UML Models in TLPVS

Conference on UML Modeling Languages and Applications (UML'04)

[abstract (html) | paper(pdf, ps)]

• N. Kam, D. Harel, H. Kugler, R. Marelly, A. Pnueli, E.J.A. Hubbard and M.J. Stern,

Formal Modeling of C. Elegans Development: A Scenario-Based Approach

International Workshop on Computational Methods in Systems Biology (CMSB'03)

[abstract (html) | paper(pdf)]

• D.Harel, H.Kugler, R. Marelly and A. Pnueli,

Smart Play-Out of Behavioral Requirements

Conference on Formal Methods in Computer-Aided Design (FMCAD'02)

[abstract (html) | preliminary version (pdf, ps) | Bibtex entery]

• D. Harel and H. Kugler,

  Synthesizing State Based Object Systems from LSC Specifications

  International Journal on Foundations of Computer Science (IJFCS)

[abstract (html) | journal version (pdf, ps) | Bibtex entery]