Roland Meyer

Available identifiers

zbMath Open meyer.rolandMaRDI QIDQ939168

List of research outcomes

Publication	Date of Publication	Type
Parameterized Verification under Release Acquire is PSPACE-complete	2024-03-26	Paper
Complexity of Liveness in Parameterized Systems	2023-02-03	Paper
Liveness in broadcast networks	2022-09-27	Paper
Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems	2021-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q5009453	2021-08-04	Paper
Fine-grained complexity of safety verification	2020-11-02	Paper
On the Complexity of Bounded Context Switching.	2020-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q5111264	2020-05-26	Paper
Domains for Higher-Order Games	2020-05-26	Paper
Fine-grained complexity of safety verification	2019-09-16	Paper
First-order logic with reachability for infinite-state systems	2018-04-23	Paper
Summaries for Context-Free Games	2018-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q5275367	2017-07-13	Paper
A Theory of Partitioned Global Address Spaces	2017-02-21	Paper
Pointer Race Freedom	2016-03-23	Paper
From Program Verification to Time and Space: The Scientific Life of Ernst-Rüdiger Olderog	2015-11-04	Paper
Bounds on Mobility	2014-09-15	Paper
Robustness against Power is PSpace-complete	2014-07-01	Paper
A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets	2013-09-26	Paper
A Theory of Name Boundedness	2013-08-12	Paper
Checking and Enforcing Robustness against TSO	2013-08-05	Paper
Petri Net Reachability Graphs: Decidability Status of First Order Properties	2012-10-22	Paper
A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets	2012-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2911619	2012-08-31	Paper
Deciding Robustness against Total Store Ordering	2011-07-07	Paper
The Downward-Closure of Petri Net Languages	2010-09-07	Paper
Kleene, Rabin, and Scott Are Available	2010-08-31	Paper
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings	2009-11-30	Paper
On the Relationship between π-Calculus and Finite Place/Transition Petri Nets	2009-10-22	Paper
A theory of structural stationarity in the \(\pi\)-calculus	2009-04-27	Paper
Model Checking Duration Calculus: A Practical Approach	2008-09-11	Paper
Model checking duration calculus: a practical approach	2008-08-21	Paper
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings	2008-07-03	Paper
An affective mobile robot educator with a full-time job	2000-06-04	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: Roland Meyer