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.1093/bioinformatics/btaf280,19796,ToHe,Mapping the attractor landscape of Boolean networks with biobalm
10.1007/s00285-025-02235-8,19854,ToHe,An open problem: Why are motif-avoidant attractors so rare in asynchronous Boolean networks?
10.1109/ICSE55347.2025.00092,20024,ToHe,Cooperative software verification via dynamic program splitting
10.1007/s00236-025-00502-1,20186,ToHe,Gray-box runtime enforcement of hyperproperties
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