Forschung

Meine Forschungsinteressen liegen im Bereich Monte Carlo Simulation und statistisches Model Checking zur Evaluation stochastischer hybrider Systeme.

Google Scholar Profil

dblp Bibliothek

  • Publikationen

    • , , , und . . „Rare Event Simulation for Stochastic Hybrid Systems Using Symbolic Importance Functions.“ In NASA Formal Methods, Bd. 15682 aus Lecture Notes in Computer Science (LNCS), herausgegeben von Aaron Dutle, Laura Humphrey und Laura Titolo. Heidelberg: Springer. doi: 10.1007/978-3-031-93706-4_15.

    • , , und . . „Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction.“ ACM Transactions on Modeling and Computer Simulation, Nr. 33 (4): 1–27. doi: 10.1145/3607197.

    • . . „SMC und zeitlich begrenzte Erreichbarkeitsanalyse für HPnGs.“ In Ausgezeichnete Informatikdissertationen 2021, Bd. D-22 aus Lecture Notes on Informatics, herausgegeben von Steffen Steffen Hölldobler, Rüdiger Reischuk, Sven Apel, Abraham Bernstein, Felix C. Freiling, Hans-Peter Lenhof, Gustaf Neumann, Kay Uwe Römer, Björn Scheuermann, Nicole Schweikardt und Klaus Wehrle. Bonn: Köllen.

    • . . „Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables.“ Dissertationsschrift, Westfälische Wilhelms-Universität Münster.
    • , , und . . „Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction.“ In Quantitative Evaluation of Systems. QEST 2021, herausgegeben von Alessandro Abate und Andrea Marin. Heidelberg: Springer. doi: 10.1007/978-3-030-85172-9_23.
    • , , , , , und . . „State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.“ ACM Transactions on Modeling and Computer Simulation, Nr. 31 (3): 1–37. doi: 10.1145/3449353.

    • , , und . . „Simulating Hybrid Petri nets with general transitions and non-linear differential equations.“ In Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools, herausgegeben von ACM. New York, NY: ACM Press. doi: 10.1145/3388831.3388842.
    • , , , und . . „A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata.“ In NASA Formal Methods, Bd. 12229 aus Lecture Notes in Computer Science (LNCS), herausgegeben von Ritchie Lee, Susmit Jha und Anastasia Mavridou. Heidelberg: Springer. doi: 10.1007/978-3-030-55754-6_23.
    • , , und . . „Classic and Non-Prophetic Model Checking for Hybrid Petri Nets with Stochastic Firings.“ In Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, HSCC '20, herausgegeben von ACM. New York, NY: ACM Press. doi: 10.1145/3365365.3382198.
    • , , , , , , , , , , , , , , , und . . „ARCH-COMP20 Category Report: Stochastic Models.“ In ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Bd. 74 aus EPiC Series in Computing, herausgegeben von Goran Frehse und Matthias Althoff. Bramhall: EasyChair. doi: 10.29007/mqzc.

    • , , , , , , , , , , , , , , und . . „ARCH-COMP19 Category Report: Stochastic Modelling.“ In ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Bd. 61 aus EPiC Series in Computing, herausgegeben von Goran Frehse und Matthias Althoff. Bramhall: EasyChair. doi: 10.29007/f2vb.
    • , , , , und . . „State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.“ In Quantitative Evaluation of Systems, Bd. 11785 aus LNCS, herausgegeben von David Parker und Verena Wolf. Heidelberg: Springer. doi: 10.1007/978-3-030-30281-8_11.

    • , , und . . „HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems.“ In 2018 IEEE 26th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), herausgegeben von IEEE. New York City: Wiley-IEEE Press. doi: 10.1109/MASCOTS.2018.00024.

    • . . „Student research paper: Evaluation of the dependability of critical infrastructures using hybrid Petri nets with random variables and stochastic simulation.“ In 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), herausgegeben von IEEE. New York City: Wiley-IEEE Press. doi: 10.1109/DSN-W.2017.21.
    • , und . . „Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions.“ In 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), herausgegeben von IEEE. New York City: Wiley-IEEE Press. doi: 10.1109/DSN.2017.41.
    • , , , , , , , , , und . . „Context-aware local Intrusion Detection in SCADA systems: A testbed and two showcases.“ In IEEE International Conference on Smart Grid Communications (SmartGridComm), herausgegeben von IEEE. New York City: Wiley-IEEE Press. doi: 10.1109/SmartGridComm.2017.8340672.
    • , , und . . „HYPEG: Statistical Model Checking for hybrid Petri nets: Tool Paper.“ In Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, herausgegeben von ACM. New York, NY: ACM Press. doi: 10.1145/3150928.3150956.

    • . . Development of an event-based simulator for model checking hybrid Petri nets with random variables

    • . . Entwicklung eines Software-Prototypen zur Zusammenführung von 3D CAD Strukturen mit Stücklistenelementen der GE Wind Energy GmbH Osnabrück: Hochschule Osnabrück.