( en | de | ru )

 

Disambiguation of "Pilch, Carina"

Author of the publication

copydeleteadd this publication to your clipboard
ARCH-COMP20 Category Report: Stochastic Models.

, , , , , , , , , , , , , , , and . ARCH, volume 74 of EPiC Series in Computing, page 76-106. EasyChair, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Iris Pilch

Matthäus Pilch

Jan Pilch

Helmut Pilch

Herbert Pilch

 

Other publications of authors with the same name

HYPEG: Statistical Model Checking for hybrid Petri nets: Tool Paper., , and . VALUETOOLS, page 186-191. ACM, (2017)Context-aware local Intrusion Detection in SCADA systems: A testbed and two showcases., , , , , , , , , and . SmartGridComm, page 467-472. IEEE, (2017)HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems., , and . MASCOTS, page 157-169. IEEE Computer Society, (2018)Simulating Hybrid Petri nets with general transitions and non-linear differential equations., , and . VALUETOOLS, page 88-95. ACM, (2020)Student Research Paper: Evaluation of the Dependability of Critical Infrastructures Using Hybrid Petri Nets with Random Variables and Stochastic Simulation.. DSN Workshops, page 160-163. IEEE Computer Society, (2017)Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings., , and . HSCC, page 10:1-10:11. ACM, (2020)A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata., , , and . NFM, volume 12229 of Lecture Notes in Computer Science, page 381-400. Springer, (2020)ARCH-COMP19 Category Report: Stochastic Modelling., , , , , , , , , and 5 other author(s). ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 62-102. EasyChair, (2019)Statistical model checking and time-bounded reachability analysis for hybrid petri nets with multiple stochastic variables.. University of Münster, Germany, (2021)Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction., , and . QEST, volume 12846 of Lecture Notes in Computer Science, page 435-456. Springer, (2021)