Hillel Kugler

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 21

Top Topics

Formal Verification

Regulatory Networks

Satisfiability Problem

Top Venues

IEEE ACM Trans. Comput. Biol. Bioinform.

Publications

Noy Biton, Sharon Shoob, Ani Amar, Hillel Kugler
Synthesis of Boolean Networks with Weak and Strong Regulators. ISBRA (2) (2024)
Avraham Raviv, Yizhak Y. Elboher, Michelle Aluf-Medina, Yael Leibovich Weiss, Omer Cohen, Roy Assa, Guy Katz, Hillel Kugler
Formal Verification of Object Detection. CoRR (2024)
Avraham Raviv, Yuval Gerber, Liri Benzinou, Michelle Aluf-Medina, Hillel Kugler
Prediction and Control of Stochastic Agents Using Formal Methods. FoMLAS@CAV (2023)
Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, Himanshu Arora, Hillel Kugler, Christoph M. Wintersteiger
The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models. J. Comput. Biol. 30 (9) (2023)
Avraham Raviv, Eliya Bronshtein, Or Reginiano, Michelle Aluf-Medina, Hillel Kugler
Learning Through Imitation by Using Formal Verification. SOFSEM (2023)
Michelle Aluf-Medina, Avraham Raviv, Himanshu Arora, Till Korten, Hillel Kugler
Simulation and Verification of Network-Based Biocomputation Circuits. ISCAS (2023)
Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, Hillel Kugler, Christoph M. Wintersteiger
An SMT-Based Framework for Reasoning About Discrete Biological Models. ISBRA (2022)
Ani Amar, E. Jane Albert Hubbard, Hillel Kugler
germline stem cell genetic network using automated reasoning. Biosyst. 217 (2022)
Jingyuan Zhu, Aseem Salhotra, Christoph Robert Meinecke, Pradheebha Surendiran, Roman Lyttleton, Danny Reuter, Hillel Kugler, Stefan Diez, Alf Månsson, Heiner Linke, Till Korten
Solving the 3-Satisfiability Problem Using Network-Based Biocomputation. Adv. Intell. Syst. 4 (12) (2022)
Sara-Jane Dunn, Hillel Kugler, Boyan Yordanov
Formal Analysis of Network Motifs Links Structure to Function in Biological Programs. IEEE ACM Trans. Comput. Biol. Bioinform. 18 (1) (2021)
Michelle Aluf-Medina, Till Korten, Avraham Raviv, Dan V. Nicolau Jr., Hillel Kugler
Formal Semantics and Verification of Network-Based Biocomputation Circuits. VMCAI (2021)
Annalisa Occhipinti, Youssef Hamadi, Hillel Kugler, Christoph M. Wintersteiger, Boyan Yordanov, Claudio Angione
Discovering Essential Multiple Gene Effects Through Large Scale Optimization: An Application to Human Cancer Metabolism. IEEE ACM Trans. Comput. Biol. Bioinform. 18 (6) (2021)
Jingyuan Zhu, Till Korten, Hillel Kugler, Falco C. M. J. M. van Delft, Alf Månsson, Danny Reuter, Stefan Diez, Heiner Linke
Physical requirements for scaling up network-based biocomputation. CoRR (2021)
Hillel Kugler
Formal Verification for Natural and Engineered Biological Systems. FMCAD (2020)
Judah Goldfeder, Hillel Kugler
BRE: IN - A Backend for Reasoning About Interaction Networks with Temporal Logic. CMSB (2019)
Tom Munk, Hillel Kugler, Ofir Maori, Adam Teman
TEMPO: Thermal-Efficient Management of Power in High-Throughput Network Switches. VLSI-DAT (2019)
Hillel Kugler, Sara-Jane Dunn, Boyan Yordanov
Formal Analysis of Network Motifs. CMSB (2018)
Dana Fisman, Hillel Kugler
Temporal Reasoning on Incomplete Paths. ISoLA (2) (2018)
Judah Goldfeder, Hillel Kugler
Temporal Logic Based Synthesis of Experimentally Constrained Interaction Networks. MLCSB (2018)
Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Tomoki Otani, Youssef Hamadi, Frederick J. Livesey, Hillel Kugler
Automated Synthesis and Analysis of Switching Gene Regulatory Networks. Biosyst. 146 (2016)
Hillel Kugler
Unifying Modelling and Programming: A Systems Biology Perspective. ISoLA (2) (2016)
Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler
Switching Gene Regulatory Networks. IPCAT (2015)
Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler
Analyzing and Synthesizing Genomic Logic Functions. CAV (2014)
Markus N. Rabe, Christoph M. Wintersteiger, Hillel Kugler, Boyan Yordanov, Youssef Hamadi
Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains. QEST (2014)
Hillel Kugler
Biocharts: Unifying Biological Hypotheses with Models and Experiments. e-Science (2013)
Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler
SMT-Based Analysis of Biological Computation. NASA Formal Methods (2013)
Hillel Kugler
Runtime Verification and Refutation for Biological Systems. RV (2013)
Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler
Functional Analysis of Large-Scale DNA Strand Displacement Circuits. DNA (2013)
Hillel Kugler, Cory Plock, Andy Roberts
Synthesizing Biological Theories. CAV (2011)
Aleksandar Milicevic, Hillel Kugler
Model Checking Using SMT and Theory of Lists. NASA Formal Methods (2011)
David Harel, Hillel Kugler
Some Thoughts on the Semantics of Biocharts. Essays in Memory of Amir Pnueli (2010)
David Harel, Hillel Kugler, Shahar Maoz, Itai Segall
Accelerating Smart Play-Out. SOFSEM (2010)
Hillel Kugler, Itai Segall
Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications. TACAS (2009)
Hillel Kugler, Cory Plock, Amir Pnueli
Controller Synthesis from LSC Requirements. FASE (2009)
Jozef Hooman, Hillel Kugler, Iulian Ober, Anjelika Votintseva, Yuri Yushtein
Supporting UML-based development of embedded systems by formal techniques. Softw. Syst. Model. 7 (2) (2008)
Pierre Combes, David Harel, Hillel Kugler
Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool. Softw. Syst. Model. 7 (2) (2008)
David Harel, Itai Segall, Hillel Kugler, Yaki Setty
Crafting game-models using reactive system design. Future Play (2008)
Hillel Kugler, Cory Plock, Amir Pnueli
Synthesizing reactive systems from LSC requirements using the play-engine. OOPSLA Companion (2007)
Hillel Kugler, Amir Pnueli, Michael J. Stern, E. Jane Albert Hubbard
"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models. TACAS (2007)
Hillel Kugler, Michael J. Stern, E. Jane Albert Hubbard
Testing Scenario-Based Models. FASE (2007)
Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps
Temporal Logic for Scenario-Based Specifications. TACAS (2005)
Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler
Formalizing UML Models and OCL Constraints in PVS. Electron. Notes Theor. Comput. Sci. 115 (2005)
Pierre Combes, David Harel, Hillel Kugler
Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool. ATVA (2005)
David Harel, Hillel Kugler, Amir Pnueli
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements. Formal Methods in Software and Systems Modeling (2005)
David Harel, Hillel Kugler, Amir Pnueli
Smart Play-Out Extended: Time and Forbidden Elements. QSIC (2004)
Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag
Deductive Verification of UML Models in TLPVS. UML (2004)
David Harel, Hillel Kugler
The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version. SoftSpez Final Report (2004)
David Harel, Hillel Kugler, Gera Weiss
Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach. Scenarios: Models, Transformations and Tools (2003)
David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli
Smart play-out. OOPSLA Companion (2003)
Na'aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern
Formal Modeling of C. elegans Development: A Scenario-Based Approach. CMSB (2003)
David Harel, Hillel Kugler
Synthesizing State-Based Object Systems from LSC Specifications. Int. J. Found. Comput. Sci. 13 (1) (2002)
Rami Marelly, David Harel, Hillel Kugler
Multiple instances and symbolic variables in executable sequence charts. OOPSLA (2002)
David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli
Smart Play-out of Behavioral Requirements. FMCAD (2002)
Rami Marelly, David Harel, Hillel Kugler
Specifying and executing requirements: the play-in/play-out approach. OOPSLA Companion (2002)
David Harel, Hillel Kugler
Synthesizing State-Based Object Systems from LSC Specifications. CIAA (2000)