Anne Remke

Available identifiers

Publication	Date of Publication	Type
Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction	2024-09-06	Paper
State-space construction of hybrid Petri nets with multiple stochastic firings	2024-08-08	Paper
Comparing two approaches to include stochasticity in hybrid automata	2024-05-29	Paper
State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings	2024-03-14	Paper
Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes	2024-02-06	Paper
Learning that grid-convenience does not hurt resilience in the presence of uncertainty	2023-01-18	Paper
Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction	2022-03-24	Paper
Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings	2021-01-25	Paper
Applying Mean-Field Approximation to Continuous Time Markov Chains	2015-01-12	Paper
Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition	2012-11-21	Paper
A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks	2008-12-02	Paper
CSL Model Checking Algorithms for Infinite-State Structured Markov Chains	2008-07-03	Paper
CSL model checking algorithms for QBDs	2007-09-03	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper

This page was built for person: Anne Remke