Concepedia

Roland Meyer

RM

Statistics

Publications

11

Citations

242

H-Index

11

Active since

2004

Affiliations

Carl von Ossietzky Universität Oldenburg(Current)

Technische Universität Braunschweig

University of Kaiserslautern

Roland Meyer is an author at Carl von Ossietzky Universität Oldenburg specializing in computer science, computing, and formal methods.

Publications per year

2004–2022

11

Publications

11

Trustworthy software systems

Steffen Becker, Wilhelm Hasselbring, Alexandra Gudrun Paul et al. · ACM SIGSOFT Software Engineering Notes · 2006 · 57 citations

Computing, Systems Engineering, Fault Tolerance +16

Model Checking Data-Dependent Real-Time Properties of the European Train Control System

Johannes Faber, Roland Meyer · 2006 · 31 citations

Engineering, Computer Science, Systems Engineering +17

A theory of structural stationarity in the π-Calculus

Roland Meyer · Acta Informatica · 2009 · 30 citations

Engineering, Economics, Mathematics +9

A Practical Approach to Verification of Mobile Systems Using Net Unfoldings

Roland Meyer, Victor Khomenko, Tim Strazny · Fundamenta Informaticae · 2009 · 22 citations

Computing, Computer Science, Formal Methods +9

Superiority Effects in Russian, Polish, and Czech: Judgments and Grammar"

Roland Meyer · 2004 · 19 citations

Language Studies, Linguistics, Pragmatics +16

1–5 of 11