Get started
Author

Roland Meyer

Checking and Enforcing Robustness against TSO
2013 · Ahmed Bouajjani, Egor Derevenetc, et al. · Lecture notes in computer science · 123
Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets
2005 · Christoph Eichner, Hans Fleischhack, et al. · Lecture notes in computer science · 72
Deciding Robustness against Total Store Ordering
2011 · Ahmed Bouajjani, Roland Meyer, et al. · Lecture notes in computer science · 59
Trustworthy software systems
2006 · Steffen Becker, Wilhelm Hasselbring, et al. · ACM SIGSOFT Software Engineering Notes · 59
Model Checking Duration Calculus: A Practical Approach
2006 · Roland Meyer, Johannes Faber, et al. · Lecture notes in computer science · 56
PDF
BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings
2019 · Natalia Gavrilenko, Hernán Ponce-de-León, et al. · Lecture notes in computer science · 54
PDF
On Boundedness in Depth in the π-Calculus
2008 · Roland Meyer · IFIP International Federation for Information Processing/IFIP · 49
Robustness against Power is PSpace-complete
2014 · Egor Derevenetc, Roland Meyer · Lecture notes in computer science · 32
A theory of structural stationarity in the π-Calculus
2009 · Roland Meyer · Acta Informatica · 32
Model Checking Data-Dependent Real-Time Properties of the European Train Control System
2006 · Johannes Faber, Roland Meyer · Formal Methods in Computer-Aided Design · 30
The Downward-Closure of Petri Net Languages
2010 · Peter Habermehl, Roland Meyer, et al. · Lecture notes in computer science · 29
On the Relationship between π-Calculus and Finite Place/Transition Petri Nets
2009 · Roland Meyer, Roberto Gorrieri · Lecture notes in computer science · 23
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
2009 · Roland Meyer, Victor Khomenko, et al. · Fundamenta Informaticae · 21
Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution)
2020 · Hernán Ponce-de-León, Florian Furbach, et al. · Lecture notes in computer science · 18
PDF
BMC with Memory Models as Modules
2018 · Hernan Ponce-de-Leon, Florian Furbach, et al. · Formal Methods in Computer-Aided Design · 18
Portability Analysis for Weak Memory Models porthos: One Tool for all Models
2017 · Hernán Ponce-de-León, Florian Furbach, et al. · Lecture notes in computer science · 17
Memory-Model-Aware Testing
2015 · Florian Furbach, Roland Meyer, et al. · ACM Transactions on Embedded Computing Systems · 17
Language-Theoretic Abstraction Refinement
2012 · Zhenyue Long, Georgel Calin, et al. · Lecture notes in computer science · 17
Petruchio: From Dynamic Networks to Nets
2010 · Roland Meyer, Tim Strazny · Lecture notes in computer science · 16
PDF
Petri Net Reachability Graphs: Decidability Status of First Order Properties
2012 · Philippe Darondeau, Stephane Demri, et al. · Logical Methods in Computer Science · 14
PDF
Effect Summaries for Thread-Modular Analysis
2017 · Lukáš Holík, Roland Meyer, et al. · Lecture notes in computer science · 13
PDF
Lazy TSO Reachability
2015 · Ahmed Bouajjani, Georgel Calin, et al. · Lecture notes in computer science · 13
Correct System Design
2015 · Roland Meyer, André Platzer, et al. · Lecture notes in computer science · 13
Decoupling lock-free data structures from memory reclamation for static analysis
2019 · Roland Meyer, Sebastian Wolff · Proceedings of the ACM on Programming Languages · 12
PDF
CAAT: consistency as a theory
2022 · Thomas Haas, Roland Meyer, et al. · Proceedings of the ACM on Programming Languages · 11
PDF
Works count: 136
Citation count: 1,104
H-index: 17
I10-index: 31
Year
Topic
Type