Carina da Silva

According to our database, Carina da Silva authored at least 15 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

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., October, 2023

2021

SMC und zeitlich begrenzte Erreichbarkeitsanalyse für HPnGs.

Carina da Silva

Proceedings of the Ausgezeichnete Informatikdissertationen 2021., 2021

Statistical model checking and time-bounded reachability analysis for hybrid petri nets with multiple stochastic variables.

Carina Pilch

PhD thesis, 2021

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

2020

Simulating Hybrid Petri nets with general transitions and non-linear differential equations.

Mathis Niehage, Carina Pilch, Anne Remke

Proceedings of the VALUETOOLS 2020: 13th EAI International Conference on Performance Evaluation Methodologies and Tools, 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

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings.

Carina Pilch, Arnd Hartmanns, Anne Remke

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

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, Abraham P. Vinod, Ben Wooding, Majid Zamani, Paolo Zuliani

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.

Jannik Hüls, Carina Pilch, Patricia Schinke, Joanna Delicaris, Anne Remke

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

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, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems.

Carina Pilch, Mathis Niehage, Anne Remke

Proceedings of the 26th IEEE International Symposium on Modeling, 2018

2017

HYPEG: Statistical Model Checking for hybrid Petri nets: Tool Paper.

Carina Pilch, Fabian Edenfeld, Anne Remke

Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 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

Proceedings of the 2017 IEEE International Conference on Smart Grid Communications, 2017

Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions.

Carina Pilch, Anne Remke

Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017

Student Research Paper: Evaluation of the Dependability of Critical Infrastructures Using Hybrid Petri Nets with Random Variables and Stochastic Simulation.

Carina Pilch

Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2017