Carina Pilch

15 papers A 1B 1Journal 2Unranked 10
YearRankTypeTitle / Venue / Authors
2021 — conf
Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction.
QEST
Carina Pilch, Stefan Schupp, Anne Remke
2021 J jnl
State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.
ACM Trans. Model. Comput. Simul.
Jannik Hüls, Carina Pilch, Patricia Schinke, Henner Niehaus, Joanna Delicaris, Anne Remke
2021 — —
Statistical model checking and time-bounded reachability analysis for hybrid petri nets with multiple stochastic variables.
Carina Pilch
2020 — conf
A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata.
NFM
Carina Pilch, Maurice Krause, Anne Remke, Erika Ábrahám
2020 — conf
ARCH-COMP20 Category Report: Stochastic Models.
ARCH
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, Abraham P. Vinod, Ben Wooding, Majid Zamani, Paolo Zuliani
2020 — conf
Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings.
HSCC
Carina Pilch, Arnd Hartmanns, Anne Remke
2020 — conf
Simulating Hybrid Petri nets with general transitions and non-linear differential equations.
VALUETOOLS
Mathis Niehage, Carina Pilch, Anne Remke
2020 J jnl
State-space construction of Hybrid Petri nets with multiple stochastic firings.
CoRR
Jannik Hüls, Carina Pilch, Patricia Schinke, Henner Niehaus, Joanna Delicaris, Anne Remke
2019 — conf
ARCH-COMP19 Category Report: Stochastic Modelling.
ARCH@CPSIoTWeek
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, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod
2019 — conf
State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.
QEST
Jannik Hüls, Carina Pilch, Patricia Schinke, Joanna Delicaris, Anne Remke
2018 B conf
HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems.
MASCOTS
Carina Pilch, Mathis Niehage, Anne Remke
2017 — conf
Context-aware local Intrusion Detection in SCADA systems: A testbed and two showcases.
SmartGridComm
Justyna J. Chromik, Carina Pilch, Pascal Brackmann, Christof Duhme, Franziska Everinghoff, Artur Giberlein, Thomas Teodorowicz, Julian Wieland, Boudewijn R. Haverkort, Anne Remke
2017 — conf
HYPEG: Statistical Model Checking for hybrid Petri nets: Tool Paper.
VALUETOOLS
Carina Pilch, Fabian Edenfeld, Anne Remke
2017 A conf
Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions.
DSN
Carina Pilch, Anne Remke
2017 — conf
Student Research Paper: Evaluation of the Dependability of Critical Infrastructures Using Hybrid Petri Nets with Random Variables and Stochastic Simulation.
DSN Workshops
Carina Pilch