Travelled to:1 × Austria
1 × United Kingdom
Collaborated with:S.A.Seshia T.Dreossi S.Ghosh S.Chakraborty K.S.Meel M.Y.Vardi Xiangyu Yue A.L.Sangiovanni-Vincentelli E.Kim H.Ravanbakhsh M.Vazquez-Chanlatte
Talks about:generat (2) analysi (2) base (2) scenario (1) parallel (1) intellig (1) improvis (1) artifici (1) uniform (1) toolkit (1)
Person: Daniel J. Fremont
DBLP: Fremont:Daniel_J=
Contributed to:
2015
2014
20182019
2019Wrote 5 papers:
- TACAS-2015-ChakrabortyFMSV #generative #on the #parallel #satisfiability #scalability
- On Parallel Scalable Uniform SAT Witness Generation (SC, DJF, KSM, SAS, MYV), pp. 304–319.
- SMT-2014-FremontS #program analysis #smt
- Speeding Up SMT-Based Quantitative Program Analysis (DJF, SAS), pp. 3–13.
- CAV-2018-FremontS
- Reactive Control Improvisation (DJF, SAS), pp. 307–326.
- CAV-2019-DreossiFGKRVS #analysis #design #named #tool support
- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems (TD, DJF, SG, EK, HR, MVC, SAS), pp. 432–442.
- PLDI-2019-FremontDGYSS #generative #named #specification
- Scenic: a language for scenario specification and scene generation (DJF, TD, SG, XY, ALSV, SAS), pp. 63–78.