ARCH-COMP22 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Joanna Delicaris; Sofie Haesaert; Arnd Hartmanns; Birgit van Huijgevoort; Abolfazl Lavaei; Hao Ma; Mathis Niehage; Anne Remke; Oliver Schön; Stefan Schupp; et al. (ARCH@SAFECOMP, 2022)

ARCH-COMP23 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Joanna Delicaris; Sofie Haesaert; Birgit van Huijgevoort; Abolfazl Lavaei; Anne Remke; Oliver Schön; Stefan Schupp; Fedor Shmarov; Sadegh Soudjani; et al. (ARCH, 2023)

Comparing Two Approaches to Include Stochasticity in Hybrid Automata. - Lisa Willemsen; Anne Remke; Erika Ábrahám (QEST, 2023)

(de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems. - Lisa Willemsen; Anne Remke; Erika Ábrahám (Principles of Verification (3), 2024)

Towards Accurately Explaining Battery Behavior: Learning the Parameters of Analytical Battery Models. - Lisa Willemsen; Anne Remke; Johann L. Hurink (e-Energy, 2025)

Putting computational models of immunity to the test - An invited challenge to predict B.pertussis vaccination responses. - Pramod Shinde; Lisa Willemsen; Michael Anderson; Minori Aoki; Saonli Basu; Julie G. Burel; Peng Cheng; Souradipto Ghosh Dastidar; Aidan Dunleavy; Tal Einav; Jamie Forschmiedt; Slim Fourati; et al. (PLoS Comput. Biol., 2025)

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata. - Pauline Blohm; Felix Schulz; Lisa Willemsen; Anne Remke; Paula Herber (CoRR, 2025)