Anne Remke

MaRDI QIDQ832096zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction ACM Transactions on Modeling and Computer Simulation	2024-09-06	Paper
State-space construction of hybrid Petri nets with multiple stochastic firings ACM Transactions on Modeling and Computer Simulation	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 Formal Techniques for Distributed Objects, Components, and Systems	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 Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control	2021-01-25	Paper
Applying mean-field approximation to continuous time Markov chains Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems	2015-01-12	Paper
Region-based analysis of hybrid Petri nets with a single general one-shot transition Lecture Notes in Computer Science	2012-11-21	Paper
A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks Lecture Notes in Computer Science	2008-12-02	Paper
CSL Model Checking Algorithms for Infinite-State Structured Markov Chains Lecture Notes in Computer Science	2008-07-03	Paper
CSL model checking algorithms for QBDs Theoretical Computer Science	2007-09-03	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2005-11-10	Paper

Research outcomes over time

This page was built for person: Anne Remke