| Learning Optimal Decisions for Stochastic Hybrid Systems | 0 | 0.34 | 2021 |
| State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings | 0 | 0.34 | 2021 |
| Simulating Hybrid Petri nets with general transitions and non-linear differential equations | 1 | 0.35 | 2020 |
| A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata. | 1 | 0.35 | 2020 |
| Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings | 1 | 0.35 | 2020 |
| hpnmg - A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions. | 0 | 0.34 | 2020 |
| State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. | 0 | 0.34 | 2019 |
| ARCH-COMP19 Category Report - Stochastic Modelling. | 0 | 0.34 | 2019 |
| Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes. | 0 | 0.34 | 2019 |
| A Parser for Deep Packet Inspection of IEC-104: A Practical Solution for Industrial Applications | 0 | 0.34 | 2019 |
| Architecture and Prototype Implementation for Process-Aware Intrusion Detection in Electrical Grids | 0 | 0.34 | 2019 |
| An integrated testbed for locally monitoring SCADA systems in smart grids | 1 | 0.37 | 2018 |
| A Modular Environment to Test SCADA Solutions for Wind Parks. | 0 | 0.34 | 2018 |
| Intrusion Detection for Sequence-Based Attacks with Reduced Traffic Models. | 1 | 0.40 | 2018 |
| A Tool for Generating Automata of IEC60870-5-104 Implementations. | 0 | 0.34 | 2018 |
| HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems | 1 | 0.35 | 2018 |
| Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions | 4 | 0.41 | 2017 |
| HYPEG: Statistical Model Checking for hybrid Petri nets: Tool Paper. | 1 | 0.35 | 2017 |
| Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro. | 0 | 0.34 | 2017 |
| Coordinated charging strategies for plug-in electric vehicles to ensure a robust charging process | 3 | 0.38 | 2017 |
| Model Checking the STL Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra. | 0 | 0.34 | 2017 |
| Improving SCADA security of a local process with a power grid model. | 2 | 0.40 | 2016 |
| Fitting a code-red virus spread model: An account of putting theory into practice | 0 | 0.34 | 2016 |
| Survivability analysis of a sewage treatment facility using hybrid Petri nets. | 2 | 0.38 | 2016 |
| Hybrid Petri nets with general one-shot transitions. | 6 | 0.45 | 2016 |
| A Smart Neighbourhood Simulation Tool for Shared Energy Storage and Exchange. | 0 | 0.34 | 2016 |
| Energy Resilience Modelling for Smart Houses | 7 | 0.61 | 2015 |
| Computing Response Time Distributions Using Iterative Probabilistic Model Checking | 4 | 0.46 | 2015 |
| Approximate Analysis of Hybrid Petri Nets with Probabilistic Timed Transitions | 0 | 0.34 | 2015 |
| Idsl: Automated Performance Prediction And Analysis Of Medical Imaging Systems | 5 | 0.54 | 2015 |
| Survivability Evaluation of Gas, Water and Electricity Infrastructures. | 6 | 0.79 | 2015 |
| A Domain Specific Language for Performance Evaluation of Medical Imaging Systems. | 1 | 0.39 | 2014 |
| Hybrid Petri nets with multiple stochastic transition firings. | 0 | 0.34 | 2014 |
| Fluid Survival Tool: A Model Checker for Hybrid Petri Nets | 3 | 0.41 | 2014 |
| Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031). | 0 | 0.34 | 2014 |
| Performance Comparison Of Ieee 802.11 Dcf And Edca For Beaconing In Vehicular Networks | 0 | 0.34 | 2014 |
| Analysis of a sewage treatment facility using hybrid Petri nets. | 8 | 0.59 | 2013 |
| Performance Evaluation for Collision Prevention Based on a Domain Specific Language. | 8 | 0.55 | 2013 |
| A logic for model-checking mean-field models | 12 | 0.53 | 2013 |
| Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets | 11 | 0.79 | 2013 |
| An analytical model for beaconing in VANETs. | 7 | 0.50 | 2012 |
| Applying Mean-Field Approximation to Continuous Time Markov Chains. | 0 | 0.34 | 2012 |
| Simulative and analytical evaluation for ASD-Based embedded software | 1 | 0.36 | 2012 |
| Region-Based analysis of hybrid petri nets with a single general one-shot transition | 11 | 0.72 | 2012 |
| Time-Bounded Reachability in Tree-Structured QBDs by Abstraction | 2 | 0.40 | 2011 |
| Comparison of the mean-field approach and simulation in a peer-to-peer botnet case study | 7 | 0.48 | 2011 |
| Setting the parameters right for two-hop IEEE 802.11e ad hoc networks | 1 | 0.36 | 2010 |
| Hybrid Petri Nets with General One-Shot Transitions for Dependability Evaluation of Fluid Critical Infrastructures | 13 | 0.82 | 2010 |
| A Massively Scalable Architecture For Instant Messaging & Presence | 0 | 0.34 | 2010 |
| Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks | 4 | 0.54 | 2008 |
