Daniel J. Fremont
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
9
Active years
2014–2025
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ITP | LeanLTL: A Unifying Framework for Linear Temporal Logics in Lean (Short Paper). | Eric Vin, Kyle A. Miller, Daniel J. Fremont |
| 2023 | CAV | 3D Environment Modeling for Falsification and Beyond with Scenic 3.0. | Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2023 | RV | Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications. | Beyazit Yalcinkaya, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia |
| 2022 | CAV | Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation. | Andreas Gittis, Eric Vin, Daniel J. Fremont |
| 2021 | DAC | Safety in Autonomous Driving: Can Tools Offer Guarantees? | Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2021 | RV | Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance. | Hazem Torfah, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia |
| 2021 | RV | Parallel and Multi-objective Falsification with Scenic and VerifAI. | Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia |
| 2020 | CAV | Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI. | Daniel J. Fremont, Johnathan Chiu, Dragos D. Margineantu, Denis Osipychev, Sanjit A. Seshia |
| 2019 | CAV | VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. | Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia |
| 2019 | PLDI | Scenic: a language for scenario specification and scene generation. | Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2018 | ATVA | Formal Specification for Deep Neural Networks. | Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue |
| 2018 | CAV | Reactive Control Improvisation. | Daniel J. Fremont, Sanjit A. Seshia |
| 2017 | AAAI | Maximum Model Counting. | Daniel J. Fremont, Markus N. Rabe, Sanjit A. Seshia |
| 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 | SAT | On the Hardness of SAT with Community Structure. | Nathan Mull, Daniel J. Fremont, Sanjit A. Seshia |
| 2015 | TACAS | On Parallel Scalable Uniform SAT Witness Generation. | Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi |
| 2014 | AAAI | Distribution-Aware Sampling and Weighted Model Counting for SAT. | Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi |