Daniel J. Fremont
Daniel J. Fremont
Verified email at ucsc.edu - Homepage
Title
Cited by
Cited by
Year
Distribution-Aware Sampling and Weighted Model Counting for SAT.
S Chakraborty, DJ Fremont, KS Meel, SA Seshia, MY Vardi
AAAI 14, 1722-1730, 2014
1082014
On Parallel Scalable Uniform SAT Witness Generation
S Chakraborty, DJ Fremont, KS Meel, SA Seshia, MY Vardi
Tools and Algorithms for the Construction and Analysis of Systems, 304-319, 2015
582015
Constrained sampling and counting: Universal hashing meets SAT solving
KS Meel, MY Vardi, S Chakraborty, DJ Fremont, SA Seshia, D Fried, A Ivrii, ...
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence, 2016
492016
Scenic: A Language for Scenario Specification and Scene Generation
DJ Fremont, T Dreossi, S Ghosh, X Yue, AL Sangiovanni-Vincentelli, ...
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
34*2019
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems
T Dreossi, DJ Fremont, S Ghosh, E Kim, H Ravanbakhsh, ...
International Conference on Computer Aided Verification, 432-442, 2019
29*2019
Formal specification for deep neural networks
SA Seshia, A Desai, T Dreossi, DJ Fremont, S Ghosh, E Kim, ...
International Symposium on Automated Technology for Verification and …, 2018
292018
Control Improvisation
DJ Fremont, A Donzé, SA Seshia, D Wessel
arXiv preprint arXiv:1411.0698, 2014
202014
Maximum Model Counting
DJ Fremont, MN Rabe, SA Seshia
AAAI, 3885-3892, 2017
192017
Control Improvisation with Probabilistic Temporal Specifications
I Akkaya, DJ Fremont, R Valle, A Donzé, EA Lee, SA Seshia
arXiv preprint arXiv:1511.02279, 2015
162015
On the Hardness of SAT with Community Structure
N Mull, DJ Fremont, SA Seshia
International Conference on Theory and Applications of Satisfiability …, 2016
112016
Specification Mining for Machine Improvisation with Formal Specifications
R Valle, A Donzé, DJ Fremont, I Akkaya, SA Seshia, A Freed, D Wessel
Computers in Entertainment (CIE) 14 (3), 6, 2016
62016
Reactive Control Improvisation
DJ Fremont, SA Seshia
International Conference on Computer Aided Verification, 307-326, 2018
52018
Speeding Up SMT-Based Quantitative Program Analysis
DJ Fremont, SA Seshia
arXiv preprint arXiv:1405.7320, 2014
42014
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World
DJ Fremont, E Kim, YV Pant, SA Seshia, A Acharya, X Bruso, P Wells, ...
arXiv preprint arXiv:2003.07739, 2020
22020
The reachability problem for affine functions on the integers
D Fremont
arXiv preprint arXiv:1304.2639, 2013
22013
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI
DJ Fremont, J Chiu, DD Margineantu, D Osipychev, SA Seshia
arXiv preprint arXiv:2005.07173, 2020
12020
Learning and Visualizing Music Specifications Using Pattern Graphs.
R Valle, DJ Fremont, I Akkaya, A Donzé, A Freed, SA Seshia
ISMIR, 192-198, 2016
12016
Algorithmic Improvisation
DJ Fremont
UC Berkeley, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–18