Carina Pilch

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 14

Top Topics

Stochastic Models

Discrete Event Systems

Top Venues

Publications

Carina Pilch, Stefan Schupp, Anne Remke
Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction. QEST (2021)
Jannik Hüls, Carina Pilch, Patricia Schinke, Henner Niehaus, Joanna Delicaris, Anne Remke
State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. ACM Trans. Model. Comput. Simul. 31 (3) (2021)
Mathis Niehage, Carina Pilch, Anne Remke
Simulating Hybrid Petri nets with general transitions and non-linear differential equations. VALUETOOLS (2020)
Carina Pilch, Maurice Krause, Anne Remke, Erika Ábrahám
A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata. NFM (2020)
Alessandro Abate, Henk 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
ARCH-COMP20 Category Report: Stochastic Models. ARCH (2020)
Carina Pilch, Arnd Hartmanns, Anne Remke
Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings. HSCC (2020)
Jannik Hüls, Carina Pilch, Patricia Schinke, Henner Niehaus, Joanna Delicaris, Anne Remke
State-space construction of Hybrid Petri nets with multiple stochastic firings. CoRR (2020)
Jannik Hüls, Carina Pilch, Patricia Schinke, Joanna Delicaris, Anne Remke
State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. QEST (2019)
Alessandro Abate, Henk 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
ARCH-COMP19 Category Report: Stochastic Modelling. ARCH@CPSIoTWeek (2019)
Carina Pilch, Mathis Niehage, Anne Remke
HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems. MASCOTS (2018)
Carina Pilch
Student Research Paper: Evaluation of the Dependability of Critical Infrastructures Using Hybrid Petri Nets with Random Variables and Stochastic Simulation. DSN Workshops (2017)
Justyna J. Chromik, Carina Pilch, Pascal Brackmann, Christof Duhme, Franziska Everinghoff, Artur Giberlein, Thomas Teodorowicz, Julian Wieland, Boudewijn R. Haverkort, Anne Remke
Context-aware local Intrusion Detection in SCADA systems: A testbed and two showcases. SmartGridComm (2017)
Carina Pilch, Anne Remke
Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions. DSN (2017)
Carina Pilch, Fabian Edenfeld, Anne Remke
HYPEG: Statistical Model Checking for hybrid Petri nets: Tool Paper. VALUETOOLS (2017)