Daniel Kroening
Scholar

Daniel Kroening

Google Scholar ID: DHddutUAAAAJ
Amazon
Automated verificationtestingmodel checking
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
7,459
 
H-index
39
 
i10-index
129
 
Publications
20
 
Co-authors
69
list available
Contact
No contact links provided.
Publications
13 items
Agentic Model Checking
2026
Cited
0
EventADL: Open-Box Anomaly Detection and Localization Framework for Events in Cloud-Based Service Systems
2026
Cited
0
ReCodeAgent: A Multi-Agent Workflow for Language-agnostic Translation and Validation of Large-scale Repositories
2026
Cited
0
Validated Code Translation for Projects with External Libraries
2026
Cited
0
Large Lemma Miners: Can LLMs do Induction Proofs for Hardware?
2025
Cited
0
Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents
2025
Cited
0
MatchFixAgent: Language-Agnostic Autonomous Repository-Level Code Translation Validation and Repair
2025
Cited
0
Hypergraph-Guided Regex Filter Synthesis for Event-Based Anomaly Detection
2025
Cited
0
Resume (English only)
Co-authors
69 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Natasha Sharygina
Natasha Sharygina
Professor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerland
Co-author 4
Co-author 4
Alessandro Abate
Alessandro Abate
Professor of Verification and Control, University of Oxford, UK
Michael Tautschnig
Michael Tautschnig
Queen Mary University of London
Tom Melham
Tom Melham
Professor of Computer Science, University of Oxford
Peter Schrammel
Peter Schrammel
Diffblue Ltd & Lecturer in Computer Science, University of Sussex