default search action
Hillel Kugler
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c44]Noy Biton, Sharon Shoob, Ani Amar, Hillel Kugler:
Synthesis of Boolean Networks with Weak and Strong Regulators. ISBRA (2) 2024: 119-131 - [i2]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 abs/2407.01295 (2024) - 2023
- [j9]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): 1046-1058 (2023) - [c43]Avraham Raviv, Yuval Gerber, Liri Benzinou, Michelle Aluf-Medina, Hillel Kugler:
Prediction and Control of Stochastic Agents Using Formal Methods. FoMLAS@CAV 2023: 29-34 - [c42]Michelle Aluf-Medina, Avraham Raviv, Himanshu Arora, Till Korten, Hillel Kugler:
Simulation and Verification of Network-Based Biocomputation Circuits. ISCAS 2023: 1-5 - [c41]Avraham Raviv, Eliya Bronshtein, Or Reginiano, Michelle Aluf-Medina, Hillel Kugler:
Learning Through Imitation by Using Formal Verification. SOFSEM 2023: 342-355 - 2022
- [j8]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) - [j7]Ani Amar, E. Jane Albert Hubbard, Hillel Kugler:
Modeling the C. elegans germline stem cell genetic network using automated reasoning. Biosyst. 217: 104672 (2022) - [c40]Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, Hillel Kugler, Christoph M. Wintersteiger:
An SMT-Based Framework for Reasoning About Discrete Biological Models. ISBRA 2022: 114-125 - 2021
- [j6]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): 261-271 (2021) - [j5]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): 2339-2352 (2021) - [c39]Michelle Aluf-Medina, Till Korten, Avraham Raviv, Dan V. Nicolau Jr., Hillel Kugler:
Formal Semantics and Verification of Network-Based Biocomputation Circuits. VMCAI 2021: 464-485 - [i1]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 abs/2106.07236 (2021) - 2020
- [c38]Hillel Kugler:
Formal Verification for Natural and Engineered Biological Systems. FMCAD 2020: 1
2010 – 2019
- 2019
- [c37]Judah Goldfeder, Hillel Kugler:
BRE: IN - A Backend for Reasoning About Interaction Networks with Temporal Logic. CMSB 2019: 289-295 - [c36]Tom Munk, Hillel Kugler, Ofir Maori, Adam Teman:
TEMPO: Thermal-Efficient Management of Power in High-Throughput Network Switches. VLSI-DAT 2019: 1-4 - 2018
- [c35]Hillel Kugler, Sara-Jane Dunn, Boyan Yordanov:
Formal Analysis of Network Motifs. CMSB 2018: 111-128 - [c34]Dana Fisman, Hillel Kugler:
Temporal Reasoning on Incomplete Paths. ISoLA (2) 2018: 28-52 - [c33]Judah Goldfeder, Hillel Kugler:
Temporal Logic Based Synthesis of Experimentally Constrained Interaction Networks. MLCSB 2018: 89-104 - [d1]Youssef Hamadi, Claudio Angione, Hillel Kugler, Christoph M. Wintersteiger, Boyan Yordanov:
Large-scale Genetic Exploration of Genome-wide Models: an Application to Human Cancer Metabolism. IEEE DataPort, 2018 - 2016
- [j4]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: 26-34 (2016) - [c32]Hillel Kugler:
Unifying Modelling and Programming: A Systems Biology Perspective. ISoLA (2) 2016: 131-133 - 2015
- [c31]Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler:
Switching Gene Regulatory Networks. IPCAT 2015: 131-144 - 2014
- [c30]Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler:
Analyzing and Synthesizing Genomic Logic Functions. CAV 2014: 343-357 - [c29]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: 388-403 - 2013
- [c28]Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler:
Functional Analysis of Large-Scale DNA Strand Displacement Circuits. DNA 2013: 189-203 - [c27]Hillel Kugler:
Biocharts: Unifying Biological Hypotheses with Models and Experiments. e-Science 2013: 317-325 - [c26]Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler:
SMT-Based Analysis of Biological Computation. NASA Formal Methods 2013: 78-92 - [c25]Hillel Kugler:
Runtime Verification and Refutation for Biological Systems. RV 2013: 384-385 - 2011
- [c24]Hillel Kugler, Cory Plock, Andy Roberts:
Synthesizing Biological Theories. CAV 2011: 579-584 - [c23]Aleksandar Milicevic, Hillel Kugler:
Model Checking Using SMT and Theory of Lists. NASA Formal Methods 2011: 282-297 - 2010
- [c22]David Harel, Hillel Kugler:
Some Thoughts on the Semantics of Biocharts. Essays in Memory of Amir Pnueli 2010: 185-194 - [c21]David Harel, Hillel Kugler, Shahar Maoz, Itai Segall:
Accelerating Smart Play-Out. SOFSEM 2010: 477-488
2000 – 2009
- 2009
- [c20]Hillel Kugler, Cory Plock, Amir Pnueli:
Controller Synthesis from LSC Requirements. FASE 2009: 79-93 - [c19]Hillel Kugler, Itai Segall:
Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications. TACAS 2009: 77-91 - 2008
- [j3]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): 131-155 (2008) - [j2]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): 157-175 (2008) - [c18]David Harel, Itai Segall, Hillel Kugler, Yaki Setty:
Crafting game-models using reactive system design. Future Play 2008: 121-128 - 2007
- [c17]Hillel Kugler, Michael J. Stern, E. Jane Albert Hubbard:
Testing Scenario-Based Models. FASE 2007: 306-320 - [c16]Hillel Kugler, Cory Plock, Amir Pnueli:
Synthesizing reactive systems from LSC requirements using the play-engine. OOPSLA Companion 2007: 801-802 - [c15]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: 343-357 - 2005
- [c14]Pierre Combes, David Harel, Hillel Kugler:
Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool. ATVA 2005: 414-428 - [c13]David Harel, Hillel Kugler, Amir Pnueli:
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements. Formal Methods in Software and Systems Modeling 2005: 309-324 - [c12]Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps:
Temporal Logic for Scenario-Based Specifications. TACAS 2005: 445-460 - 2004
- [c11]David Harel, Hillel Kugler:
The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version. SoftSpez Final Report 2004: 325-354 - [c10]David Harel, Hillel Kugler, Amir Pnueli:
Smart Play-Out Extended: Time and Forbidden Elements. QSIC 2004: 2-10 - [c9]Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag:
Deductive Verification of UML Models in TLPVS. UML 2004: 335-349 - [c8]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. SFEDL@ETAPS 2004: 39-47 - 2003
- [c7]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: 4-20 - [c6]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: 26-42 - [c5]David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli:
Smart play-out. OOPSLA Companion 2003: 68-69 - 2002
- [j1]David Harel, Hillel Kugler:
Synthesizing State-Based Object Systems from LSC Specifications. Int. J. Found. Comput. Sci. 13(1): 5-51 (2002) - [c4]David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli:
Smart Play-out of Behavioral Requirements. FMCAD 2002: 378-398 - [c3]Rami Marelly, David Harel, Hillel Kugler:
Multiple instances and symbolic variables in executable sequence charts. OOPSLA 2002: 83-100 - [c2]Rami Marelly, David Harel, Hillel Kugler:
Specifying and executing requirements: the play-in/play-out approach. OOPSLA Companion 2002: 84-85 - 2000
- [c1]David Harel, Hillel Kugler:
Synthesizing State-Based Object Systems from LSC Specifications. CIAA 2000: 1-33
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint