Daniel J. Fremont

59 papers A* 4A 2B 5Journal 28Unranked 19

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	LeanLTL: A Unifying Framework for Linear Temporal Logics in Lean (Short Paper). ITP Eric Vin, Kyle A. Miller, Daniel J. Fremont
2025	J	`jnl`	LeanLTL: A unifying framework for linear temporal logics in Lean. CoRR Eric Vin, Kyle A. Miller, Daniel J. Fremont
2025	—	`conf`	Querying Labeled Time Series Data with Scenario Programs. NFM Edward Kim, Devan Shanker, Varun Bharadwaj, Hongbeen Park, Jinkyu Kim, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia
2025	J	`jnl`	Querying Labeled Time Series Data with Scenario Programs. CoRR Edward Kim, Devan Shanker, Varun Bharadwaj, Hongbeen Park, Jinkyu Kim, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia
2025	J	`jnl`	ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems. CoRR Eric Vin, Kyle A. Miller, Inigo Incer, Sanjit A. Seshia, Daniel J. Fremont
2023	—	`conf`	3D Environment Modeling for Falsification and Beyond with Scenic 3.0. CAV (1) 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	J	`jnl`	3D Environment Modeling for Falsification and Beyond with Scenic 3.0. CoRR 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	B	`conf`	Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications. RV Beyazit Yalcinkaya, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia
2023	J	`jnl`	Guest Editorial: Special issue on robust machine learning. Mach. Learn. Ransalu Senanayake, Daniel J. Fremont, Mykel J. Kochenderfer, Alessio R. Lomuscio, Dragos D. Margineantu, Cheng Soon Ong
2023	J	`jnl`	Scenic: a language for scenario specification and data generation. Mach. Learn. Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2023	—	`conf`	Symbiotic CPS Design-Space Exploration through Iterated Optimization. CPS-IoT Week Workshops Sheng-Jung Yu, Inigo Incer, Valmik Prabhu, Anwesha Chattoraj, Eric Vin, Daniel J. Fremont, Ankur Mehta, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry, Sanjit A. Seshia
2023	—	`conf`	Tackling simulation inconsistencies in the robot design process by selective empirical evaluation. CPS-IoT Week Workshops Anwesha Chattoraj, Eric Vin, Yusuke Tanaka, Jillian Naldrien Pantig, Daniel J. Fremont, Ankur Mehta
2022	—	`conf`	Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. ICCPS Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2022	—	`conf`	Fuzzing Malicious Driving Behavior to find Vulnerabilities in Collision Avoidance Systems. EuroS&P Workshops Ivan F. Salgado, Nicanor Quijano, Daniel J. Fremont, Alvaro A. Cárdenas
2022	—	`conf`	Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. ICCPS Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2022	—	`conf`	Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation. CAV (2) Andreas Gittis, Eric Vin, Daniel J. Fremont
2022	J	`jnl`	Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation. CoRR Andreas Gittis, Eric Vin, Daniel J. Fremont
2021	J	`jnl`	A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation. CoRR Francis Indaheng, Edward Kim, Kesav Viswanadha, Jay Shenoy, Jinkyu Kim, Daniel J. Fremont, Sanjit A. Seshia
2021	—	`conf`	Addressing the IEEE AV Test Challenge with Scenic and VerifAI. AITest Kesav Viswanadha, Francis Indaheng, Justin Wong, Edward Kim, Ellen Kalvan, Yash Pant, Daniel J. Fremont, Sanjit A. Seshia
2021	J	`jnl`	Addressing the IEEE AV Test Challenge with Scenic and VerifAI. CoRR Kesav Viswanadha, Francis Indaheng, Justin Wong, Edward Kim, Ellen Kalvan, Yash Pant, Daniel J. Fremont, Sanjit A. Seshia
2021	—	`conf`	Entropy-Guided Control Improvisation. Robotics: Science and Systems Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia
2021	J	`jnl`	Entropy-Guided Control Improvisation. CoRR Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia
2021	B	`conf`	Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance. RV Hazem Torfah, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia
2021	J	`jnl`	Parallel and Multi-Objective Falsification with Scenic and VerifAI. CoRR Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia
2021	B	`conf`	Parallel and Multi-objective Falsification with Scenic and VerifAI. RV Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia
2021	J	`jnl`	Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. CoRR Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2021	A*	`conf`	Safety in Autonomous Driving: Can Tools Offer Guarantees? DAC Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2020	J	`jnl`	A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving. CoRR Jay Shenoy, Edward Kim, Xiangyu Yue, Taesung Park, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2020	—	`conf`	Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI. CAV (1) Daniel J. Fremont, Johnathan Chiu, Dragos D. Margineantu, Denis Osipychev, Sanjit A. Seshia
2020	J	`jnl`	Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI. CoRR Daniel J. Fremont, Johnathan Chiu, Dragos D. Margineantu, Denis Osipychev, Sanjit A. Seshia
2020	—	`conf`	Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World. ITSC Daniel J. Fremont, Edward Kim, Yash Vardhan Pant, Sanjit A. Seshia, Atul Acharya, Xantha Bruso, Paul Wells, Steve Lemke, Qiang Lu, Shalin Mehta
2020	J	`jnl`	Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World. CoRR Daniel J. Fremont, Edward Kim, Yash Vardhan Pant, Sanjit A. Seshia, Atul Acharya, Xantha Bruso, Paul Wells, Steve Lemke, Qiang Lu, Shalin Mehta
2020	J	`jnl`	Scenic: A Language for Scenario Specification and Data Generation. CoRR Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2019	—	`—`	Algorithmic Improvisation. Daniel J. Fremont
2019	A*	`conf`	Scenic: a language for scenario specification and scene generation. PLDI Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2019	J	`jnl`	VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems. CoRR Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
2019	—	`conf`	VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. CAV (1) Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
2018	B	`conf`	Formal Specification for Deep Neural Networks. ATVA Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue
2018	—	`conf`	Reactive Control Improvisation. CAV (1) Daniel J. Fremont, Sanjit A. Seshia
2018	J	`jnl`	Reactive Control Improvisation. CoRR Daniel J. Fremont, Sanjit A. Seshia
2018	J	`jnl`	Scenic: Language-Based Scene Generation. CoRR Daniel J. Fremont, Xiangyu Yue, Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2017	J	`jnl`	Control Improvisation. CoRR Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia
2017	A*	`conf`	Maximum Model Counting. AAAI Daniel J. Fremont, Markus N. Rabe, Sanjit A. Seshia
2016	—	`conf`	Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. AAAI Workshop: Beyond NP Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik
2016	—	`conf`	Control Improvisation with Probabilistic Temporal Specifications. IoTDI Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donzé, Edward A. Lee, Sanjit A. Seshia
2016	—	`conf`	Learning and Visualizing Music Specifications Using Pattern Graphs. ISMIR Rafael Valle, Daniel J. Fremont, Ilge Akkaya, Alexandre Donzé, Adrian Freed, Sanjit A. Seshia
2016	A	`conf`	On the Hardness of SAT with Community Structure. SAT Nathan Mull, Daniel J. Fremont, Sanjit A. Seshia
2016	J	`jnl`	On the Hardness of SAT with Community Structure. CoRR Nathan Mull, Daniel J. Fremont, Sanjit A. Seshia
2016	J	`jnl`	Specification Mining for Machine Improvisation with Formal Specifications. Comput. Entertain. Rafael Valle, Alexandre Donzé, Daniel J. Fremont, Ilge Akkaya, Sanjit A. Seshia, Adrian Freed, David Wessel
2015	J	`jnl`	Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. CoRR Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik
2015	J	`jnl`	Control Improvisation with Probabilistic Temporal Specifications. CoRR Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donzé, Edward A. Lee, Sanjit A. Seshia
2015	—	`conf`	Control Improvisation. FSTTCS Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia, David Wessel
2015	A	`conf`	On Parallel Scalable Uniform SAT Witness Generation. TACAS Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi
2014	J	`jnl`	Control Improvisation. CoRR Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia, David Wessel
2014	A*	`conf`	Distribution-Aware Sampling and Weighted Model Counting for SAT. AAAI Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi
2014	J	`jnl`	Distribution-Aware Sampling and Weighted Model Counting for SAT. CoRR Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi
2014	—	`conf`	Speeding Up SMT-Based Quantitative Program Analysis. SMT Daniel J. Fremont, Sanjit A. Seshia
2014	J	`jnl`	Speeding Up SMT-Based Quantitative Program Analysis. CoRR Daniel J. Fremont, Sanjit A. Seshia
2013	J	`jnl`	The Reachability Problem for Affine Functions on the Integers CoRR Daniel J. Fremont