Daniel J. Fremont
Scholar

Daniel J. Fremont

Google Scholar ID: ceJJNbMAAAAJ
Assistant Professor, University of California, Santa Cruz
Formal VerificationLogic
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,164
 
H-index
17
 
i10-index
20
 
Publications
20
 
Co-authors
13
list available
Contact
No contact links provided.
Publications
4 items
Stable GFlowNets with Probabilistic Guarantees
2026
Cited
0
Querying Labeled Time Series Data with Scenario Programs
NASA Formal Methods · 2025
Cited
0
ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
2025
Cited
0
LeanLTL: A unifying framework for linear temporal logics in Lean
2025
Cited
0
Resume (English only)
Co-authors
13 total
Sanjit A. Seshia
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Tommaso Dreossi
Tommaso Dreossi
Staff ML Scientist, Arena AI
Alberto Sangiovanni Vincentelli
Alberto Sangiovanni Vincentelli
Professor of EECS, University of California, Berkeley
Xiangyu Yue
Xiangyu Yue
The Chinese University of Hong Kong / UC Berkeley / Stanford University / NJU
Moshe Y. Vardi
Moshe Y. Vardi
Rice University
Kuldeep S. Meel
Kuldeep S. Meel
Associate Professor, University of Toronto
Supratik Chakraborty
Supratik Chakraborty
Dept. of Computer Science and Engineering, IIT Bombay
Marcell Vazquez-Chanlatte
Marcell Vazquez-Chanlatte
Research Scientist at Nissan