Student Research Paper: Evaluation of the Dependability of Critical Infrastructures Using Hybrid Petri Nets with Random Variables and Stochastic Simulation. - Carina Pilch (DSN Workshops, 2017)

Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions. - Carina Pilch; Anne Remke (DSN, 2017)

Context-aware local Intrusion Detection in SCADA systems: A testbed and two showcases. - Justyna J. Chromik; Carina Pilch; Pascal Brackmann; Christof Duhme; Franziska Everinghoff; Artur Giberlein; Thomas Teodorowicz; Julian Wieland; Boudewijn R. Haverkort; Anne Remke (SmartGridComm, 2017)

HYPEG: Statistical Model Checking for hybrid Petri nets: Tool Paper. - Carina Pilch; Fabian Edenfeld; Anne Remke (VALUETOOLS, 2017)

HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems. - Carina Pilch; Mathis Niehage; Anne Remke (MASCOTS, 2018)

ARCH-COMP19 Category Report: Stochastic Modelling. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Kurt Degiorgio; Martin Fränzle; Ernst Moritz Hahn; Sofie Haesaert; Hao Ma; Meeko Oishi; Carina Pilch; Anne Remke; Mahmoud Salamati; et al. (ARCH@CPSIoTWeek, 2019)

State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. - Jannik Hüls; Carina Pilch; Patricia Schinke; Joanna Delicaris; Anne Remke (QEST, 2019)

ARCH-COMP20 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Joanna Delicaris; Arnd Hartmanns; Mahmoud Khaled; Abolfazl Lavaei; Carina Pilch; Anne Remke; Stefan Schupp; Fedor Shmarov; Sadegh Soudjani; et al. (ARCH, 2020)

Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings. - Carina Pilch; Arnd Hartmanns; Anne Remke (HSCC, 2020)

A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata. - Carina Pilch; Maurice Krause; Anne Remke; Erika Ábrahám (NFM, 2020)

Simulating Hybrid Petri nets with general transitions and non-linear differential equations. - Mathis Niehage; Carina Pilch; Anne Remke (VALUETOOLS, 2020)

State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. - Jannik Hüls; Carina Pilch; Patricia Schinke; Henner Niehaus; Joanna Delicaris; Anne Remke (ACM Trans. Model. Comput. Simul., 2021)

Statistical model checking and time-bounded reachability analysis for hybrid petri nets with multiple stochastic variables. - Carina Pilch (2021)

SMC und zeitlich begrenzte Erreichbarkeitsanalyse für HPnGs. - Carina da Silva (Ausgezeichnete Informatikdissertationen, 2021)

Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe Construction. - Carina da Silva; Stefan Schupp; Anne Remke (ACM Trans. Model. Comput. Simul., 2023)

Rare Event Simulation for Stochastic Hybrid Systems Using Symbolic Importance Functions. - Mathis Niehage; Carina da Silva; Anne Remke; Arnd Hartmanns (NFM, 2025)