DOI,IST REx ID,Research Group,Title of publication
10.1145/3737447,21012,ToHe,Certificates in AI: Learn but verify
10.15479/AT-ISTA-21401,21401,"GradSch,ToHe",Privacy-preserving runtime verification
10.1016/j.scico.2024.103212,18169,ToHe,VAMOS: Middleware for best-effort third-party monitoring
10.1109/ICSE55347.2025.00092,20024,ToHe,Cooperative software verification via dynamic program splitting
10.1007/978-3-031-98668-0_14,20189,ToHe,"Introducing certificates to the hardware model checking competition"
10.1007/978-3-031-98679-6_2,20225,ToHe,"Supermartingale certificates for quantitative omega-regular verification and control"
10.4230/LIPIcs.CONCUR.2025.21,20253,ToHe,Quantitative language automata
null,20256,"ToHe,ChLa",Predictive monitoring of black-box dynamical systems
10.4230/LIPIcs.MFCS.2025.30,20290,ToHe,"Finding equilibria: Simpler for pessimists, simplest for optimists"
10.4230/LIPIcs.MFCS.2025.57,20291,ToHe,Resolving nondeterminism with randomness
10.1145/3711896.3737054,20292,ToHe,Monitoring robustness and individual fairness
null,20296,"ChLa,ToHe",Logic gate neural networks are good for verification
10.1007/978-3-031-97537-0_15,20723,ToHe,"Information-Flow Interfaces and Security Lattices"
10.1609/aaai.v39i15.33719,19665,ToHe,Fairness shields: Safeguarding against biased decision makers
10.1609/aaai.v39i25.34840,19668,ToHe,Neural control and certificate repair via runtime monitoring
10.1007/978-3-031-90660-2_14,19739,ToHe,BUBAAK: Dynamic cooperative verification
10.1007/s00236-025-00509-8,20866,ToHe,Hypernode automata
10.4230/LIPICS.FSTTCS.2025.20,21089,ToHe,Flavors of quantifiers in hyperlogics
10.1007/978-3-032-05435-7_1,21090,ToHe,Algorithmic fairness: A runtime perspective
10.1007/978-3-032-05435-7_4,21091,ToHe,Formal verification of neural certificates done dynamically