Anne Remke

Available identifiers

zbMath Open remke.anneMaRDI QIDQ832096

List of research outcomes

Publication	Date of Publication	Type
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Anne Remke