All Stories

  1. How computational models contribute to our understanding of the germ line

    Article • Molecular Reproduction and Development, October 2016, Wiley

    Dr. Hillel Kugler

  2. Automated Synthesis and Analysis of Switching Gene Regulatory Networks

    Article • Biosystems, August 2016, Elsevier

    Dr. Hillel Kugler

  3. A method to identify and analyze biological programs through automated reasoning

    Article • npj Systems Biology and Applications, July 2016, Nature

    Dr. Hillel Kugler

  4. Switching Gene Regulatory Networks

    Article • January 2015, Springer Science + Business Media

    Dr. Hillel Kugler

  5. Analyzing and Synthesizing Genomic Logic Functions

    Article • January 2014, Springer Science + Business Media

    Dr. Hillel Kugler

  6. Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains

    Article • January 2014, Springer Science + Business Media

    Dr. Hillel Kugler

  7. Biocharts: Unifying Biological Hypotheses with Models and Experiments

    Article • October 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Hillel Kugler

  8. SMT-Based Analysis of Biological Computation

    Article • January 2013, Springer Science + Business Media

    Dr. Hillel Kugler

  9. Runtime Verification and Refutation for Biological Systems

    Article • January 2013, Springer Science + Business Media

    Dr. Hillel Kugler

  10. Functional Analysis of Large-Scale DNA Strand Displacement Circuits

    Article • January 2013, Springer Science + Business Media

    Dr. Hillel Kugler

  11. Model Checking Using SMT and Theory of Lists

    Article • January 2011, Springer Science + Business Media

    Dr. Hillel Kugler

  12. Synthesizing Biological Theories

    Article • January 2011, Springer Science + Business Media

    Dr. Hillel Kugler

  13. Some Thoughts on the Semantics of Biocharts

    Article • January 2010, Springer Science + Business Media

    Dr. Hillel Kugler

  14. Accelerating Smart Play-Out

    Article • January 2010, Springer Science + Business Media

    Dr. Hillel Kugler

  15. Controller Synthesis from LSC Requirements

    Article • January 2009, Springer Science + Business Media

    Dr. Hillel Kugler

  16. Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications

    Article • January 2009, Springer Science + Business Media

    Dr. Hillel Kugler

  17. A scenario-based approach to modeling development: A prototype model of C. elegans vulval fate specification

    Article • Developmental Biology, November 2008, Elsevier

    Dr. Hillel Kugler

  18. Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool

    Article • Software & Systems Modeling, January 2008, Springer Science + Business Media

    Dr. Hillel Kugler

  19. Crafting game-models using reactive system design

    Article • January 2008, ACM (Association for Computing Machinery)

    Dr. Hillel Kugler

  20. Supporting UML-based development of embedded systems by formal techniques

    Article • Software & Systems Modeling, February 2007, Springer Science + Business Media

    Dr. Hillel Kugler

  21. Synthesizing reactive systems from LSC requirements using the play-engine

    Article • January 2007, ACM (Association for Computing Machinery)

    Dr. Hillel Kugler

  22. Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements

    Article • January 2005, Springer Science + Business Media

    Dr. Hillel Kugler

  23. Temporal Logic for Scenario-Based Specifications

    Article • January 2005, Springer Science + Business Media

    Dr. Hillel Kugler

  24. Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach

    Article • January 2005, Springer Science + Business Media

    Dr. Hillel Kugler

  25. Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool

    Article • January 2005, Springer Science + Business Media

    Dr. Hillel Kugler

  26. Formalizing UML Models and OCL Constraints in PVS

    Article • Electronic Notes in Theoretical Computer Science, January 2005, Elsevier

    Dr. Hillel Kugler

  27. The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML)

    Article • January 2004, Springer Science + Business Media

    Dr. Hillel Kugler

  28. Deductive Verification of UML Models in TLPVS

    Article • January 2004, Springer Science + Business Media

    Dr. Hillel Kugler

  29. Formal Modelling of C. elegans Development. A Scenario-Based Approach

    Article • January 2004, Springer Science + Business Media

    Dr. Hillel Kugler

  30. Smart play-out

    Article • January 2003, ACM (Association for Computing Machinery)

    Dr. Hillel Kugler

  31. Smart play-out

    Article • January 2003, ACM (Association for Computing Machinery)

    Dr. Hillel Kugler

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

    Article • January 2003, Springer Science + Business Media

    Dr. Hillel Kugler

  33. Multiple instances and symbolic variables in executable sequence charts

    Article • ACM SIGPLAN Notices, November 2002, ACM (Association for Computing Machinery)

    Dr. Hillel Kugler

  34. SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS

    Article • International Journal of Foundations of Computer Science, February 2002, World Scientific Pub Co Pte Lt

    Dr. Hillel Kugler

  35. Multiple instances and symbolic variables in executable sequence charts

    Article • January 2002, ACM (Association for Computing Machinery)

    Dr. Hillel Kugler

  36. Multiple instances and symbolic variables in executable sequence charts

    Article • January 2002, ACM (Association for Computing Machinery)

    Dr. Hillel Kugler

  37. Smart Play-out of Behavioral Requirements

    Article • January 2002, Springer Science + Business Media

    Dr. Hillel Kugler

  38. Specifying and executing requirements

    Article • January 2002, ACM (Association for Computing Machinery)

    Dr. Hillel Kugler

  39. Synthesizing State-Based Object Systems from LSC Specifications

    Article • January 2001, Springer Science + Business Media

    Dr. Hillel Kugler

  40. Testing Scenario-Based Models

    Article • Springer Science + Business Media

    Dr. Hillel Kugler

  41. “Don’t Care” Modeling: A Logical Framework for Developing Predictive System Models

    Article • Springer Science + Business Media

    Dr. Hillel Kugler