Skip to main content
Publications
Year:
All years
2026
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2009
2008
2007
2006
2004
2003
Type:
All types
Article
Journal Article
Magazine Article
Invited Talk
Journal Article
Conference Paper
Patent
Topic:
All topics
Automata Learning
Autonomous Driving
Black-box Verification
Concurrency
Cyber-Physical Systems
Cybersecurity
Deep Learning
Formal Methods
Formal Verification
Fractional Ownership
Hardware
Homomorphic Encryption
Hybrid Systems
Invariant Synthesis
Legal Tech
Machine Learning
Memory Management
ML Interpretability
Model Checking
Natural Language Processing
Nonstandard Analysis
Patents
Probabilistic Programming
Program Logic
Program Synthesis
Program Transformation
Program Verification
Proof Assistants
Proof Synthesis
Runtime Verification
Smart Contracts
Statistical Program Verification
Stream Processing
Testing
Type Systems
Project:
All projects
Concurrent Program Verification
Consort
FHE for Formal Methods
FM4Stats
Hybrid System Verification
Interpretability
Nonstandard Analysis and Programming Languages
SoftMatcha
Streamizing Tree-Structured Data Processing
Verification of Black Boxes
Verification of Smart Contracts
Clear filters
Showing
all
publications
Loading publications...