
Dr. Hillel Kugler
Current affiliation: Universitat Bar-Ilan
Subject: Computer Science
Primary location: Israel
SMT-Based Analysis of Biological Computation
Published in:Lecture Notes in Computer Science
Publication date:2013-01-01
Testing Scenario-Based Models
Published in:Fundamental Approaches to Software Engineering
Publication date:Not available
Some Thoughts on the Semantics of Biocharts
Published in:Time for Verification
Publication date:2010-01-01
Synthesizing State-Based Object Systems from LSC Specifications
Published in:Implementation and Application of Automata
Publication date:2001-01-01
Controller Synthesis from LSC Requirements
Published in:Fundamental Approaches to Software Engineering
Publication date:2009-01-01
Model Checking Using SMT and Theory of Lists
Published in:Lecture Notes in Computer Science
Publication date:2011-01-01
Multiple instances and symbolic variables in executable sequence charts
Published in:ACM SIGPLAN Notices
Publication date:2002-11-17
“Don’t Care” Modeling: A Logical Framework for Developing Predictive System Models
Published in:Tools and Algorithms for the Construction and Analysis of Systems
Publication date:Not available
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements
Published in:Formal Methods in Software and Systems Modeling
Publication date:2005-01-01
The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML)
Published in:Integration of Software Specification Techniques for Applications in Engineering
Publication date:2004-01-01
Deductive Verification of UML Models in TLPVS
Published in:< <UML> > 2004 - The Unified Modeling Language. Modelling Languages and Applications
Publication date:2004-01-01
Analyzing and Synthesizing Genomic Logic Functions
Published in:Computer Aided Verification
Publication date:2014-01-01
Temporal Logic for Scenario-Based Specifications
Published in:Tools and Algorithms for the Construction and Analysis of Systems
Publication date:2005-01-01
Accelerating Smart Play-Out
Published in:SOFSEM 2010: Theory and Practice of Computer Science
Publication date:2010-01-01
Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach
Published in:Scenarios: Models, Transformations and Tools
Publication date:2005-01-01
Runtime Verification and Refutation for Biological Systems
Published in:Runtime Verification
Publication date:2013-01-01
Biocharts: Unifying Biological Hypotheses with Models and Experiments
Published in:2013 IEEE 9th International Conference on e-Science
Publication date:2013-10-01
Synthesizing Biological Theories
Published in:Computer Aided Verification
Publication date:2011-01-01
A method to identify and analyze biological programs through automated reasoning
Published in:npj Systems Biology and Applications
Publication date:2016-07-07
Automated Synthesis and Analysis of Switching Gene Regulatory Networks
Published in:Biosystems
Publication date:2016-08-01
Smart play-out
Published in:Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '03
Publication date:2003-01-01
Multiple instances and symbolic variables in executable sequence charts
Published in:Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '02
Publication date:2002-01-01
Formal Modelling of C. elegans Development. A Scenario-Based Approach
Published in:Natural Computing Series
Publication date:2004-01-01
Switching Gene Regulatory Networks
Published in:Information Processing in Cells and Tissues
Publication date:2015-01-01
Crafting game-models using reactive system design
Published in:Proceedings of the 2008 Conference on Future Play Research, Play, Share - Future Play '08
Publication date:2008-01-01
Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool
Published in:Software & Systems Modeling
Publication date:2008-01-08
Supporting UML-based development of embedded systems by formal techniques
Published in:Software & Systems Modeling
Publication date:2007-02-08
Functional Analysis of Large-Scale DNA Strand Displacement Circuits
Published in:Lecture Notes in Computer Science
Publication date:2013-01-01
SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS
Published in:International Journal of Foundations of Computer Science
Publication date:2002-02-01
Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool
Published in:Automated Technology for Verification and Analysis
Publication date:2005-01-01
Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications
Published in:Tools and Algorithms for the Construction and Analysis of Systems
Publication date:2009-01-01
Multiple instances and symbolic variables in executable sequence charts
Published in:Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '02
Publication date:2002-01-01
Smart Play-out of Behavioral Requirements
Published in:Formal Methods in Computer-Aided Design
Publication date:2002-01-01
Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains
Published in:Quantitative Evaluation of Systems
Publication date:2014-01-01
Synthesizing reactive systems from LSC requirements using the play-engine
Published in:Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07
Publication date:2007-01-01
Smart play-out
Published in:Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '03
Publication date:2003-01-01
Specifying and executing requirements
Published in:Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '02
Publication date:2002-01-01the play-in/play-out approach
A scenario-based approach to modeling development: A prototype model of C. elegans vulval fate specification
Published in:Developmental Biology
Publication date:2008-11-01
Formal Modeling of C. elegans Development: A Scenario-Based Approach
Published in:Computational Methods in Systems Biology
Publication date:2003-01-01
Formalizing UML Models and OCL Constraints in PVS
Published in:Electronic Notes in Theoretical Computer Science
Publication date:2005-01-01
How computational models contribute to our understanding of the germ line
Published in:Molecular Reproduction and Development
Publication date:2016-09-01Modeling and germ-line biology