Skip to main content
Publications
Year:
All years
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2009
2007
2006
Type:
All types
Article
Journal Article
Magazine Article
Invited Talk
Journal Article
Conference Paper
Patent
Topic:
All topics
[TODO] Add research topics
Automata Learning
Autonomous Driving
Black-box Verification
Concurrency
Cyber-Physical Systems
Cybersecurity
Deep Learning
Formal Verification
Hardware
Homomorphic Encryption
Hybrid Systems
Logic
Machine Learning
Memory Management
ML Interpretability
Model Checking
Natural Language Processing
Nonstandard Analysis
Ownership Types
Probabilistic Programming
Program Logic
Program Synthesis
Program Transformation
Program Verification
Proof Synthesis
Runtime Verification
Smart Contracts
Statistical Program Verification
Stream Processing
Testing
Type Systems
Clear filters
Showing
all
publications
Loading publications...