Articles with public access mandates - Roland MeyerLearn more
Not available anywhere: 1
A theory of structural stationarity in the π-calculus
R Meyer
Acta Informatica 46 (2), 87-137, 2009
Mandates: German Research Foundation
Available somewhere: 25
Checking and enforcing robustness against TSO
A Bouajjani, E Derevenetc, R Meyer
Programming Languages and Systems: 22nd European Symposium on Programming …, 2013
Mandates: Fraunhofer-Gesellschaft
Model checking duration calculus: A practical approach
R Meyer, J Faber, J Hoenicke, A Rybalchenko
Formal Aspects of Computing 20 (4), 481-505, 2008
Mandates: German Research Foundation
On boundedness in depth in the π-calculus
R Meyer
Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008
Mandates: German Research Foundation
Model checking data-dependent real-time properties of the European Train Control System
J Faber, R Meyer
2006 Formal Methods in Computer Aided Design, 76-77, 2006
Mandates: German Research Foundation
Robustness against Power is PSpace-complete
E Derevenetc, R Meyer
Automata, Languages, and Programming: 41st International Colloquium, ICALP …, 2014
Mandates: German Research Foundation, Fraunhofer-Gesellschaft
Memory-model-aware testing: A unified complexity analysis
F Furbach, R Meyer, K Schneider, M Senftleben
ACM Transactions on Embedded Computing Systems (TECS) 14 (4), 1-25, 2015
Mandates: German Research Foundation
Lazy TSO reachability
A Bouajjani, G Calin, E Derevenetc, R Meyer
Fundamental Approaches to Software Engineering: 18th International …, 2015
Mandates: German Research Foundation, Fraunhofer-Gesellschaft
A theory of partitioned global address spaces
G Calin, E Derevenetc, R Majumdar, R Meyer
arXiv preprint arXiv:1307.6590, 2013
Mandates: Fraunhofer-Gesellschaft
Portability Analysis for Weak Memory Models porthos: One Tool for all Models
H Ponce-de-León, F Furbach, K Heljanko, R Meyer
Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA …, 2017
Mandates: German Research Foundation, Academy of Finland
Checking pi-calculus structural congruence is graph isomorphism complete
V Khomenko, R Meyer
2009 Ninth International Conference on Application of Concurrency to System …, 2009
Mandates: German Research Foundation
Kleene, Rabin, and Scott are available
J Hoenicke, R Meyer, ER Olderog
CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010
Mandates: German Research Foundation
A practical approach to verification of mobile systems using net unfoldings
R Meyer, V Khomenko, T Strazny
Fundamenta Informaticae 94 (3-4), 439-471, 2009
Mandates: German Research Foundation
A concurrent program logic with a future and history
R Meyer, T Wies, S Wolff
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1378-1407, 2022
Mandates: US National Science Foundation
Pointer race freedom
F Haziza, L Holík, R Meyer, S Wolff
International Conference on Verification, Model Checking, and Abstract …, 2015
Mandates: German Research Foundation
A practical approach to verification of mobile systems using net unfoldings
R Meyer, V Khomenko, T Strazny
Applications and Theory of Petri Nets: 29th International Conference, PETRI …, 2008
Mandates: German Research Foundation
Effect Summaries for Thread-Modular Analysis: Sound Analysis Despite an Unsound Heuristic
L Holík, R Meyer, T Vojnar, S Wolff
Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA …, 2017
Mandates: German Research Foundation
Make flows small again: revisiting the flow framework
R Meyer, T Wies, S Wolff
International Conference on Tools and Algorithms for the Construction and …, 2023
Mandates: US National Science Foundation, German Research Foundation
Embedding hindsight reasoning in separation logic
R Meyer, T Wies, S Wolff
Proceedings of the ACM on Programming Languages 7 (PLDI), 1848-1871, 2023
Mandates: US National Science Foundation
Parameterized verification under release acquire is PSPACE-complete
S Krishna, A Godbole, R Meyer, S Chakraborty
Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing …, 2022
Mandates: Department of Science & Technology, India
Publication and funding information is determined automatically by a computer program