Hillel Kugler

Christoph Robert Meinecke

J. Comput. Biol., September, 2023

Learning Through Imitation by Using Formal Verification.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2023: Theory and Practice of Computer Science, 2023

Simulation and Verification of Network-Based Biocomputation Circuits.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2023

2022

Solving the 3-Satisfiability Problem Using Network-Based Biocomputation.

[BibT_eX]

[DOI]

Jingyuan Zhu

Aseem Salhotra

Pradheebha Surendiran

Adv. Intell. Syst., December, 2022

Modeling the <i>C. elegans</i> germline stem cell genetic network using automated reasoning.

[BibT_eX]

[DOI]

Ani Amar

Biosyst., 2022

An SMT-Based Framework for Reasoning About Discrete Biological Models.

[BibT_eX]

[DOI]

Proceedings of the Bioinformatics Research and Applications - 18th International Symposium, 2022

2021

Discovering Essential Multiple Gene Effects Through Large Scale Optimization: An Application to Human Cancer Metabolism.

[BibT_eX]

[DOI]

Annalisa Occhipinti

Claudio Angione

IEEE ACM Trans. Comput. Biol. Bioinform., 2021

Formal Analysis of Network Motifs Links Structure to Function in Biological Programs.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2021

Physical requirements for scaling up network-based biocomputation.

[BibT_eX]

[DOI]

Jingyuan Zhu

Till Korten

Falco C. M. J. M. van Delft

CoRR, 2021

Formal Semantics and Verification of Network-Based Biocomputation Circuits.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

2020

Formal Verification for Natural and Engineered Biological Systems.

[BibT_eX]

[DOI]

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019

TEMPO: Thermal-Efficient Management of Power in High-Throughput Network Switches.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on VLSI Design, Automation and Test, 2019

BRE: IN - A Backend for Reasoning About Interaction Networks with Temporal Logic.

[BibT_eX]

[DOI]

Judah Goldfeder

Proceedings of the Computational Methods in Systems Biology, 2019

2018

Large-scale Genetic Exploration of Genome-wide Models: an Application to Human Cancer Metabolism.

[BibT_eX]

[DOI]

Claudio Angione

Dataset, November, 2018

Temporal Logic Based Synthesis of Experimentally Constrained Interaction Networks.

[BibT_eX]

[DOI]

Judah Goldfeder

Proceedings of the Molecular Logic and Computational Synthetic Biology, 2018

Temporal Reasoning on Incomplete Paths.

[BibT_eX]

[DOI]

Dana Fisman

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Formal Analysis of Network Motifs.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2018

2016

Automated Synthesis and Analysis of Switching Gene Regulatory Networks.

[BibT_eX]

[DOI]

Yoli Shavit

Biosyst., 2016

Unifying Modelling and Programming: A Systems Biology Perspective.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

Switching Gene Regulatory Networks.

[BibT_eX]

[DOI]

Yoli Shavit

Proceedings of the Information Processing in Cells and Tissues, 2015

2014

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

[BibT_eX]

[DOI]

Markus N. Rabe

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Analyzing and Synthesizing Genomic Logic Functions.

[BibT_eX]

[DOI]

Nicola Paoletti

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Runtime Verification and Refutation for Biological Systems.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 4th International Conference, 2013

SMT-Based Analysis of Biological Computation.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2013

Biocharts: Unifying Biological Hypotheses with Models and Experiments.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Conference on eScience, 2013

Functional Analysis of Large-Scale DNA Strand Displacement Circuits.

[BibT_eX]

[DOI]

Andrew Phillips

Proceedings of the DNA Computing and Molecular Programming - 19th International Conference, 2013

2011

Model Checking Using SMT and Theory of Lists.

[BibT_eX]

[DOI]

Aleksandar Milicevic

Proceedings of the NASA Formal Methods, 2011

Synthesizing Biological Theories.

[BibT_eX]

[DOI]

Cory Plock

Andy Roberts

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Accelerating Smart Play-Out.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

Some Thoughts on the Semantics of Biocharts.

[BibT_eX]

[DOI]

Proceedings of the Time for Verification, 2010

2009

Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications.

[BibT_eX]

[DOI]

Itai Segall

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Controller Synthesis from LSC Requirements.

[BibT_eX]

[DOI]

Cory Plock

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008

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

[BibT_eX]

[DOI]

Softw. Syst. Model., 2008

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

[BibT_eX]

[DOI]

Pierre Combes

Softw. Syst. Model., 2008

Crafting game-models using reactive system design.

[BibT_eX]

[DOI]

Proceedings of the 2008 Conference on Future Play: Research, Play, Share, 2008

2007

"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models.

[BibT_eX]

[DOI]

Michael J. Stern

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

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

[BibT_eX]

[DOI]

Cory Plock

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Testing Scenario-Based Models.

[BibT_eX]

[DOI]

Michael J. Stern

Proceedings of the Fundamental Approaches to Software Engineering, 2007

2005

Temporal Logic for Scenario-Based Specifications.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

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

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2004

Formalizing UML Models and OCL Constraints in PVS.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, 2004

Deductive Verification of UML Models in TLPVS.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2004, 2004

Smart Play-Out Extended: Time and Forbidden Elements.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version.

[BibT_eX]

[DOI]

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

2003

Smart play-out.

[BibT_eX]

[DOI]

Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003

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

[BibT_eX]

[DOI]

Gera Weiss

Proceedings of the Scenarios: Models, 2003

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

[BibT_eX]

[DOI]

Michael J. Stern

Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

2002

Synthesizing State-Based Object Systems from LSC Specifications.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2002

Specifying and executing requirements: the play-in/play-out approach.

[BibT_eX]

[DOI]

Rami Marelly

Proceedings of the Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, 2002

Multiple instances and symbolic variables in executable sequence charts.

[BibT_eX]

[DOI]

Rami Marelly