Roland Meyer - RankMe

127 papers A* 6A 3B 22C 2Journal 59Unranked 30

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Oriented Metrics for Bottom-Up Enumerative Synthesis. Proc. ACM Program. Lang. Roland Meyer, Jakob Tepe
2026	J	`jnl`	Recurrence Sets for Proving Fair Non-termination under Axiomatic Memory Consistency Models. Proc. ACM Program. Lang. Thomas Haas, Roland Meyer, Hernán Ponce de León, Andrés Lomelí Garduño
2025	J	`jnl`	Oriented Metrics for Bottom-Up Enumerative Synthesis. CoRR Roland Meyer, Jakob Tepe
2025	J	`jnl`	PVASS Reachability is Decidable. CoRR Roland Guttenberg, Eren Keskin, Roland Meyer
2025	J	`jnl`	SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations. Proc. ACM Program. Lang. Sören van der Wall, Roland Meyer
2024	J	`jnl`	I still know it's you! On Challenges in Anonymizing Source Code. Proc. Priv. Enhancing Technol. Micha Horlboge, Erwin Quiring, Roland Meyer, Konrad Rieck
2024	A*	`conf`	On the Separability Problem of VASS Reachability Languages. LICS Eren Keskin, Roland Meyer
2024	J	`jnl`	On the Separability Problem of VASS Reachability Languages. CoRR Eren Keskin, Roland Meyer
2024	J	`jnl`	Realizability in Semantics-Guided Synthesis Done Eagerly. CoRR Roland Meyer, Jakob Tepe, Sebastian Wolff
2024	J	`jnl`	SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations. CoRR Sören van der Wall, Roland Meyer
2024	A*	`conf`	Separability in Büchi VASS and Singly Non-Linear Systems of Inequalities. ICALP Pascal Baumann, Eren Keskin, Roland Meyer, Georg Zetzsche
2024	J	`jnl`	Separability in Büchi Vass and Singly Non-Linear Systems of Inequalities. CoRR Pascal Baumann, Eren Keskin, Roland Meyer, Georg Zetzsche
2024	—	`conf`	Urgency Annotations for Alternating Choices. Principles of Verification (3) Eren Keskin, Roland Meyer, Sören van der Wall
2023	J	`jnl`	Context-Aware Separation Logic. CoRR Roland Meyer, Thomas Wies, Sebastian Wolff
2023	J	`jnl`	Contextual Equivalence for Alternation and Urgency. CoRR Eren Keskin, Roland Meyer, Sören van der Wall
2023	J	`jnl`	Embedding Hindsight Reasoning in Separation Logic. Proc. ACM Program. Lang. Roland Meyer, Thomas Wies, Sebastian Wolff
2023	—	`conf`	Make Flows Small Again: Revisiting the Flow Framework. TACAS (1) Roland Meyer, Thomas Wies, Sebastian Wolff
2023	J	`jnl`	Make flows small again: revisiting the flow framework. CoRR Roland Meyer, Thomas Wies, Sebastian Wolff
2023	A	`conf`	Regular Separability in Büchi VASS. STACS Pascal Baumann, Roland Meyer, Georg Zetzsche
2023	J	`jnl`	Regular Separability in Büchi VASS. CoRR Pascal Baumann, Roland Meyer, Georg Zetzsche
2023	B	`conf`	Separability and Non-Determinizability of WSTS. CONCUR Eren Keskin, Roland Meyer
2023	J	`jnl`	Separability and Non-Determinizability of WSTS. CoRR Eren Keskin, Roland Meyer
2023	J	`jnl`	Static Analysis of Memory Models for SMT Encodings. Proc. ACM Program. Lang. Thomas Haas, René Pascasl Maseli, Roland Meyer, Hernán Ponce de León
2023	—	`conf`	nekton: A Linearizability Proof Checker. CAV (1) Roland Meyer, Anton Opaterny, Thomas Wies, Sebastian Wolff
2022	J	`jnl`	A Concurrent Program Logic with a Future and History. CoRR Roland Meyer, Thomas Wies, Sebastian Wolff
2022	J	`jnl`	A concurrent program logic with a future and history. Proc. ACM Program. Lang. Roland Meyer, Thomas Wies, Sebastian Wolff
2022	J	`jnl`	CAAT: consistency as a theory. Proc. ACM Program. Lang. Thomas Haas, Roland Meyer, Hernán Ponce de León
2022	—	`conf`	Dartagnan: SMT-based Violation Witness Validation (Competition Contribution). TACAS (2) Hernán Ponce de León, Thomas Haas, Roland Meyer
2022	J	`jnl`	Embedding Hindsight Reasoning in Separation Logic. CoRR Roland Meyer, Thomas Wies, Sebastian Wolff
2022	J	`jnl`	I still know it's you! On Challenges in Anonymizing Source Code. CoRR Micha Horlboge, Erwin Quiring, Roland Meyer, Konrad Rieck
2022	J	`jnl`	Liveness in broadcast networks. Computing Peter Chini, Roland Meyer, Prakash Saivasan
2022	B	`conf`	Model-Based Fault Classification for Automotive Software. APLAS Mike Becker, Roland Meyer, Tobias Runge, Ina Schaefer, Sören van der Wall, Sebastian Wolff
2022	J	`jnl`	Model-based Fault Classification for Automotive Software. CoRR Mike Becker, Roland Meyer, Tobias Runge, Ina Schaefer, Sören van der Wall, Sebastian Wolff
2022	A*	`conf`	Parameterized Verification under Release Acquire is PSPACE-complete. PODC Shankaranarayanan Krishna, Adwait Godbole, Roland Meyer, Soham Chakraborty
2021	—	`conf`	Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution). TACAS (2) Hernán Ponce de León, Thomas Haas, Roland Meyer
2021	—	`ed.`	Networked Systems - 9th International Conference, NETYS 2021, Virtual Event, May 19-21, 2021, Proceedings NETYS Karima Echihabi, Roland Meyer
2021	J	`jnl`	Safety Verification of Parameterized Systems under Release-Acquire. CoRR Adwait Godbole, Shankara Narayanan Krishna, Roland Meyer
2021	J	`jnl`	Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models. CoRR Antonio Paolillo, Hernán Ponce de León, Thomas Haas, Diogo Behrens, Rafael Lourenco de Lima Chehab, Ming Fu, Roland Meyer
2020	—	`conf`	Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution). TACAS (2) Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
2020	J	`jnl`	Fine-Grained Complexity of Safety Verification. J. Autom. Reason. Peter Chini, Roland Meyer, Prakash Saivasan
2020	—	`conf`	On the Complexity of Multi-Pushdown Games. FSTTCS Roland Meyer, Sören van der Wall
2020	—	`conf`	On the State Reachability Problem for Concurrent Programs Under Power. NETYS Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Egor Derevenetc, Carl Leonardsson, Roland Meyer
2020	J	`jnl`	Pointer life cycle types for lock-free data structures with memory reclamation. Proc. ACM Program. Lang. Roland Meyer, Sebastian Wolff
2019	—	`conf`	BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings. CAV (1) Natalia Gavrilenko, Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
2019	—	`conf`	Complexity of Liveness in Parameterized Systems. FSTTCS Peter Chini, Roland Meyer, Prakash Saivasan
2019	J	`jnl`	Complexity of Liveness in Parameterized Systems. CoRR Peter Chini, Roland Meyer, Prakash Saivasan
2019	J	`jnl`	Decoupling lock-free data structures from memory reclamation for static analysis. Proc. ACM Program. Lang. Roland Meyer, Sebastian Wolff
2019	—	`ch.`	Inductive Counting and the Reachability Problem for Petri Nets. Carl Adam Petri: Ideas, Personality, Impact Peter Chini, Roland Meyer
2019	—	`conf`	Liveness in Broadcast Networks. NETYS Peter Chini, Roland Meyer, Prakash Saivasan
2019	J	`jnl`	Liveness in Broadcast Networks. CoRR Peter Chini, Roland Meyer, Prakash Saivasan
2019	J	`jnl`	Pointer Life Cycle Types for Lock-Free Data Structures with Memory Reclamation. CoRR Roland Meyer, Sebastian Wolff
2019	—	`conf`	Sicherheit, Zuverlässigkeit, Korrektheit. GI-Jahrestagung Juliane Krämer, Roland Meyer
2019	A*	`conf`	Temporal Tracing of On-Chip Signals using Timeprints. DAC Rehab Massoud, Hoang M. Le, Peter Chini, Prakash Saivasan, Roland Meyer, Rolf Drechsler
2018	B	`conf`	BMC with Memory Models as Modules. FMCAD Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
2018	B	`conf`	Bounded Context Switching for Valence Systems. CONCUR Roland Meyer, Sebastian Muskalla, Georg Zetzsche
2018	J	`jnl`	Bounded Context Switching for Valence Systems. CoRR Roland Meyer, Sebastian Muskalla, Georg Zetzsche
2018	J	`jnl`	Decoupling Lock-Free Data Structures from Memory Reclamation for Static Analysis. CoRR Roland Meyer, Sebastian Wolff
2018	J	`jnl`	Fast Witness Counting. CoRR Peter Chini, Rehab Massoud, Roland Meyer, Prakash Saivasan
2018	—	`conf`	Fine-Grained Complexity of Safety Verification. TACAS (2) Peter Chini, Roland Meyer, Prakash Saivasan
2018	J	`jnl`	Fine-Grained Complexity of Safety Verification. CoRR Peter Chini, Roland Meyer, Prakash Saivasan
2018	B	`conf`	Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems. MFCS Matthew Hague, Roland Meyer, Sebastian Muskalla, Martin Zimmermann
2018	J	`jnl`	Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems. CoRR Matthew Hague, Roland Meyer, Sebastian Muskalla, Martin Zimmermann
2018	—	`conf`	Reasoning About Weak Semantics via Strong Semantics. Principled Software Development Roland Meyer, Sebastian Wolff
2018	B	`conf`	Regular Separability of Well-Structured Transition Systems. CONCUR Wojciech Czerwinski, Slawomir Lasota, Roland Meyer, Sebastian Muskalla, K. Narayan Kumar, Prakash Saivasan
2017	B	`ed.`	28th International Conference on Concurrency Theory, CONCUR 2017, Berlin, Germany, September 5-8, 2017 CONCUR Roland Meyer, Uwe Nestmann
2017	B	`conf`	Domains for Higher-Order Games. MFCS Matthew Hague, Roland Meyer, Sebastian Muskalla
2017	J	`jnl`	Domains for Higher-Order Games. CoRR Matthew Hague, Roland Meyer, Sebastian Muskalla
2017	B	`conf`	Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic. SAS Lukás Holík, Roland Meyer, Tomás Vojnar, Sebastian Wolff
2017	J	`jnl`	Effect Summaries for Thread-Modular Analysis. CoRR Lukás Holík, Roland Meyer, Tomás Vojnar, Sebastian Wolff
2017	J	`jnl`	Liveness Verification and Synthesis: New Algorithms for Recursive Programs. CoRR Roland Meyer, Sebastian Muskalla, Elisabeth Neumann
2017	—	`conf`	Locality and Singularity for Store-Atomic Memory Models. NETYS Egor Derevenetc, Roland Meyer, Sebastian Schweizer
2017	J	`jnl`	Locality and Singularity for Store-Atomic Memory Models. CoRR Egor Derevenetc, Roland Meyer, Sebastian Schweizer
2017	J	`jnl`	Message from the Guest Editors. ACM Trans. Embed. Comput. Syst. Stefan Haar, Roland Meyer
2017	A	`conf`	On the Complexity of Bounded Context Switching. ESA Peter Chini, Jonathan Kolberg, Andreas Krebs, Roland Meyer, Prakash Saivasan
2017	B	`conf`	On the Upward/Downward Closures of Petri Nets. MFCS Mohamed Faouzi Atig, Roland Meyer, Sebastian Muskalla, Prakash Saivasan
2017	J	`jnl`	On the Upward/Downward Closures of Petri Nets. CoRR Mohamed Faouzi Atig, Roland Meyer, Sebastian Muskalla, Prakash Saivasan
2017	J	`jnl`	Portability Analysis for Axiomatic Memory Models. PORTHOS: One Tool for all Models. CoRR Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
2017	B	`conf`	Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models. SAS Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
2016	J	`jnl`	Antichains for Inclusion Games. CoRR Lukás Holík, Roland Meyer, Sebastian Muskalla
2016	A*	`conf`	First-order logic with reachability for infinite-state systems. LICS Emanuele D'Osualdo, Roland Meyer, Georg Zetzsche
2016	J	`jnl`	Munchausen Iteration. CoRR Roland Meyer, Sebastian Muskalla
2016	J	`jnl`	On the Complexity of Bounded Context Switching. CoRR Peter Chini, Jonathan Kolberg, Roland Meyer, Prakash Saivasan
2016	B	`conf`	Pointer Race Freedom. VMCAI Frédéric Haziza, Lukás Holík, Roland Meyer, Sebastian Wolff
2016	—	`conf`	Summaries for Context-Free Games. FSTTCS Lukás Holík, Roland Meyer, Sebastian Muskalla
2015	—	`conf`	Antichains for the Verification of Recursive Programs. NETYS Lukás Holík, Roland Meyer
2015	—	`ed.`	Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings Correct System Design Roland Meyer, André Platzer, Heike Wehrheim
2015	—	`conf`	From Program Verification to Time and Space: The Scientific Life of Ernst-Rüdiger Olderog. Correct System Design Roland Meyer, Heike Wehrheim
2015	B	`conf`	Lazy TSO Reachability. FASE Ahmed Bouajjani, Georgel Calin, Egor Derevenetc, Roland Meyer
2015	J	`jnl`	Lazy TSO Reachability. CoRR Ahmed Bouajjani, Georgel Calin, Egor Derevenetc, Roland Meyer
2015	J	`jnl`	Memory-Model-Aware Testing: A Unified Complexity Analysis. ACM Trans. Embed. Comput. Syst. Florian Furbach, Roland Meyer, Klaus Schneider, Maximilian Senftleben
2015	J	`jnl`	Pointer Race Freedom. CoRR Frédéric Haziza, Lukás Holík, Roland Meyer, Sebastian Wolff
2015	—	`conf`	What's Decidable about Availability Languages?. FSTTCS Parosh Aziz Abdulla, Mohamed Faouzi Atig, Roland Meyer, Mehdi Seyed Salehi
2014	B	`conf`	Bounds on Mobility. CONCUR Reiner Hüchting, Rupak Majumdar, Roland Meyer
2014	—	`conf`	Memory Model-Aware Testing - A Unified Complexity Analysis. ACSD Florian Furbach, Roland Meyer, Klaus Schneider, Maximilian Senftleben
2014	J	`jnl`	Robustness against Power is PSPACE-complete. CoRR Egor Derevenetc, Roland Meyer
2014	—	`conf`	Robustness against Power is PSpace-complete. ICALP (2) Egor Derevenetc, Roland Meyer
2014	C	`conf`	Robustness against Relaxed Memory Models. Software Engineering Ahmed Bouajjani, Egor Derevenetc, Roland Meyer
2013	J	`jnl`	A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets. Log. Methods Comput. Sci. Victor Khomenko, Roland Meyer, Reiner Hüchting
2013	B	`conf`	A Theory of Name Boundedness. CONCUR Reiner Hüchting, Rupak Majumdar, Roland Meyer
2013	—	`conf`	A Theory of Partitioned Global Address Spaces. FSTTCS Georgel Calin, Egor Derevenetc, Rupak Majumdar, Roland Meyer
2013	J	`jnl`	A Theory of Partitioned Global Address Spaces. CoRR Georgel Calin, Egor Derevenetc, Rupak Majumdar, Roland Meyer
2013	A	`conf`	Checking and Enforcing Robustness against TSO. ESOP Ahmed Bouajjani, Egor Derevenetc, Roland Meyer
2013	—	`conf`	Provenance Verification. RP Rupak Majumdar, Roland Meyer, Zilong Wang
2013	B	`conf`	Static Provenance Verification for Message Passing Programs. SAS Rupak Majumdar, Roland Meyer, Zilong Wang
2012	B	`conf`	A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets. CONCUR Roland Meyer, Victor Khomenko, Reiner Hüchting
2012	—	`conf`	An Algorithmic Framework for Coverability in Well-Structured Systems. ACSD Tim Strazny, Roland Meyer
2012	B	`conf`	Language-Theoretic Abstraction Refinement. FASE Zhenyue Long, Georgel Calin, Rupak Majumdar, Roland Meyer
2012	J	`jnl`	Petri Net Reachability Graphs: Decidability Status of First Order Properties Log. Methods Comput. Sci. Philippe Darondeau, Stéphane Demri, Roland Meyer, Christophe Morvan
2012	J	`jnl`	Robustness Checking against TSO: Attacks and Defence CoRR Ahmed Bouajjani, Egor Derevenetc, Roland Meyer
2011	—	`conf`	Deciding Robustness against Total Store Ordering. ICALP (2) Ahmed Bouajjani, Roland Meyer, Eike Möhlmann
2011	—	`conf`	Petri Net Reachability Graphs: Decidability Status of FO Properties. FSTTCS Philippe Darondeau, Stéphane Demri, Roland Meyer, Christophe Morvan
2010	B	`conf`	Kleene, Rabin, and Scott Are Available. CONCUR Jochen Hoenicke, Roland Meyer, Ernst-Rüdiger Olderog
2010	A*	`conf`	Petruchio: From Dynamic Networks to Nets. CAV Roland Meyer, Tim Strazny
2010	—	`conf`	The Downward-Closure of Petri Net Languages. ICALP (2) Peter Habermehl, Roland Meyer, Harro Wimmel
2009	J	`jnl`	A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. Fundam. Informaticae Roland Meyer, Victor Khomenko, Tim Strazny
2009	J	`jnl`	A theory of structural stationarity in the Acta Informatica Roland Meyer
2009	—	`conf`	Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete. ACSD Victor Khomenko, Roland Meyer
2009	B	`conf`	On the Relationship between π-Calculus and Finite Place/Transition Petri Nets. CONCUR Roland Meyer, Roberto Gorrieri
2009	—	`—`	Structural stationarity in the π-calculus. Roland Meyer
2009	—	`ch.`	Strukturelle Stationarität. Ausgezeichnete Informatikdissertationen Roland Meyer
2008	B	`conf`	A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. Petri Nets Roland Meyer, Victor Khomenko, Tim Strazny
2008	J	`jnl`	Model checking Duration Calculus: a practical approach. Formal Aspects Comput. Roland Meyer, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko
2008	—	`conf`	On Boundedness in Depth in the pi-Calculus. IFIP TCS Roland Meyer
2006	B	`conf`	Model Checking Data-Dependent Real-Time Properties of the European Train Control System. FMCAD Johannes Faber, Roland Meyer
2006	C	`conf`	Model Checking Duration Calculus: A Practical Approach. ICTAC Roland Meyer, Johannes Faber, Andrey Rybalchenko
2006	J	`jnl`	Trustworthy software systems: a discussion of basic concepts and terminology. ACM SIGSOFT Softw. Eng. Notes Steffen Becker, Wilhelm Hasselbring, Alexandra Paul, Marko Boskovic, Heiko Koziolek, Jan Ploski, Abhishek Dhama, Henrik Lipskoch, Matthias Rohr, Daniel Winteler, Simon Giesecke, Roland Meyer, Mani Swaminathan, Jens Happe, Margarete Muhle, Timo Warns
2005	—	`conf`	Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets. SDL Forum Christoph Eichner, Hans Fleischhack, Roland Meyer, Ulrik Schrimpf, Christian Stehno