Carina Pilch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2017–2018
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | MASCOTS | HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems. | Carina Pilch, Mathis Niehage, Anne Remke |
| 2017 | DSN | Student Research Paper: Evaluation of the Dependability of Critical Infrastructures Using Hybrid Petri Nets with Random Variables and Stochastic Simulation. | Carina Pilch |
| 2017 | DSN | Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions. | Carina Pilch, Anne Remke |