Hillel Kugler - RankMe

60 papers A* 2A 4B 11C 2Misc 1Journal 12Unranked 28

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