DOI,IST REx ID,Research Group,Title of publication
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.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.1016/j.scico.2024.103212,18169,ToHe,VAMOS: Middleware for best-effort third-party monitoring
10.46298/lmcs-21(2:2)2025,20342,"GradSch,ToHe", Safety and liveness of quantitative properties and automata
10.15479/AT-ISTA-20147,20147,"GradSch,ToHe",A monitoring-oriented theory and classification of quantitative specifications
10.1007/978-3-031-90643-5_16,19741,ToHe,Automating the analysis of quantitative automata with QuAK
10.1016/j.nahs.2023.101430,14400,ToHe,Symbolic control for stochastic systems via finite parity games