Dror Fried
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
9
Active years
2011–2026
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | KR | On-the-fly LTLf Synthesis under Partial Observability. | Nadav Alon, Supratik Chakraborty, Alexandre Duret-Lutz, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu |
| 2026 | KR | Efficient Incremental #SAT via Cross-Instance Knowledge Reuse. | Uriya Bartal, Dror Fried, Jean-Marie Lagniez |
| 2024 | AAAI | Mimicking Behaviors in Separated Domains (Abstract Reprint). | Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu |
| 2024 | SAT | Entailing Generalization Boosts Enumeration. | Dror Fried, Alexander Nadel, Roberto Sebastiani, Yogev Shalmon |
| 2024 | TACAS | On Dependent Variables in Reactive Synthesis. | S. Akshay, Eliyahu Basa, Supratik Chakraborty, Dror Fried |
| 2023 | SAT | AllSAT for Combinational Circuits. | Dror Fried, Alexander Nadel, Yogev Shalmon |
| 2021 | CAV | Adapting Behaviors via Reactive Synthesis. | Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss |
| 2018 | FMCAD | Functional Synthesis via Input-Output Separation. | Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi |
| 2018 | LICS | Sequential Relational Decomposition. | Dror Fried, Axel Legay, Jol Ouaknine, Moshe Y. Vardi |
| 2016 | AAAI | Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. | Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik |
| 2016 | CAV | BDD-Based Boolean Functional Synthesis. | Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi |
| 2015 | AAAI | This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction. | Morteza Lahijanian, Shaull Almagor, Dror Fried, Lydia E. Kavraki, Moshe Y. Vardi |
| 2015 | IJCAI | From Weighted to Unweighted Model Counting. | Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi |
| 2011 | SoCS | Repeated-Task Canadian Traveler Problem. | Zahy Bnaya, Ariel Felner, Dror Fried, Olga Maksin, Solomon Eyal Shimony |