Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Roland Meyer"
download as .bib file
@inproceedings{DBLP:conf/icalp/0001K0Z24,
author = {Pascal Baumann and
Eren Keskin and
Roland Meyer and
Georg Zetzsche},
editor = {Karl Bringmann and
Martin Grohe and
Gabriele Puppis and
Ola Svensson},
title = {Separability in B{\"{u}}chi {VASS} and Singly Non-Linear Systems
of Inequalities},
booktitle = {51st International Colloquium on Automata, Languages, and Programming,
{ICALP} 2024, July 8-12, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {297},
pages = {126:1--126:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2024.126},
doi = {10.4230/LIPICS.ICALP.2024.126},
timestamp = {Tue, 02 Jul 2024 14:17:02 +0200},
biburl = {https://dblp.org/rec/conf/icalp/0001K0Z24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Keskin024,
author = {Eren Keskin and
Roland Meyer},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {On the Separability Problem of {VASS} Reachability Languages},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {49:1--49:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662116},
doi = {10.1145/3661814.3662116},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Keskin024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-16095,
author = {Eren Keskin and
Roland Meyer},
title = {On the Separability Problem of {VASS} Reachability Languages},
journal = {CoRR},
volume = {abs/2401.16095},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.16095},
doi = {10.48550/ARXIV.2401.16095},
eprinttype = {arXiv},
eprint = {2401.16095},
timestamp = {Tue, 06 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-16095.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-05607,
author = {Roland Meyer and
Jakob Tepe and
Sebastian Wolff},
title = {Realizability in Semantics-Guided Synthesis Done Eagerly},
journal = {CoRR},
volume = {abs/2403.05607},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.05607},
doi = {10.48550/ARXIV.2403.05607},
eprinttype = {arXiv},
eprint = {2403.05607},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-05607.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-01008,
author = {Pascal Baumann and
Eren Keskin and
Roland Meyer and
Georg Zetzsche},
title = {Separability in B{\"{u}}chi Vass and Singly Non-Linear Systems
of Inequalities},
journal = {CoRR},
volume = {abs/2406.01008},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.01008},
doi = {10.48550/ARXIV.2406.01008},
eprinttype = {arXiv},
eprint = {2406.01008},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-01008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/0001W023,
author = {Roland Meyer and
Thomas Wies and
Sebastian Wolff},
title = {Embedding Hindsight Reasoning in Separation Logic},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {1848--1871},
year = {2023},
url = {https://doi.org/10.1145/3591296},
doi = {10.1145/3591296},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/0001W023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/HaasMML23,
author = {Thomas Haas and
Ren{\'{e}} Pascasl Maseli and
Roland Meyer and
Hern{\'{a}}n Ponce de Le{\'{o}}n},
title = {Static Analysis of Memory Models for {SMT} Encodings},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {1618--1647},
year = {2023},
url = {https://doi.org/10.1145/3622855},
doi = {10.1145/3622855},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/HaasMML23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MeyerOWW23,
author = {Roland Meyer and
Anton Opaterny and
Thomas Wies and
Sebastian Wolff},
editor = {Constantin Enea and
Akash Lal},
title = {nekton: {A} Linearizability Proof Checker},
booktitle = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13964},
pages = {170--183},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37706-8\_9},
doi = {10.1007/978-3-031-37706-8\_9},
timestamp = {Tue, 12 Sep 2023 07:57:21 +0200},
biburl = {https://dblp.org/rec/conf/cav/MeyerOWW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Keskin023,
author = {Eren Keskin and
Roland Meyer},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Separability and Non-Determinizability of {WSTS}},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {8:1--8:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.8},
doi = {10.4230/LIPICS.CONCUR.2023.8},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Keskin023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieem/CaglarPAMJ23,
author = {Turgut Refik Caglar and
Hartmut Pohlheim and
Elena Andrushchenko and
Maurice Meyer and
Roland Jochem},
title = {A Smart Project Management System for Task Assignment Using Multi-Objective
Optimization Algorithms},
booktitle = {{IEEE} International Conference on Industrial Engineering and Engineering
Management, {IEEM} 2023, Singapore, December 18-21, 2023},
pages = {1728--1732},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/IEEM58616.2023.10406719},
doi = {10.1109/IEEM58616.2023.10406719},
timestamp = {Mon, 29 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ieem/CaglarPAMJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mie/ErdfelderBMQSBI23,
author = {Felix Erdfelder and
Henning Begerau and
David Meyers and
Klaus{-}J{\"{u}}rgen Quast and
Daniel Schumacher and
Tobias Brieden and
Roland Ihle and
Danny Ammon and
Henner M. Kruse and
Sven Zenker},
editor = {Maria H{\"{a}}gglund and
Madeleine Blusi and
Stefano Bonacina and
Lina Nilsson and
Inge Cort Madsen and
Sylvia Pelayo and
Anne Moen and
Arriel Benis and
Lars Lindsk{\"{o}}ld and
Parisis Gallos},
title = {Enhancing Data Protection via Auditable Informational Separation of
Powers Between Workflow Engine Based Agents: Conceptualization, Implementation,
and First Cross-Institutional Experiences},
booktitle = {Caring is Sharing - Exploiting the Value in Data for Health and Innovation
- Proceedings of {MIE} 2023, Gothenburg, Sweden, 22 - 25 May 2023},
series = {Studies in Health Technology and Informatics},
volume = {302},
pages = {317--321},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/SHTI230126},
doi = {10.3233/SHTI230126},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mie/ErdfelderBMQSBI23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/00010Z23,
author = {Pascal Baumann and
Roland Meyer and
Georg Zetzsche},
editor = {Petra Berenbrink and
Patricia Bouyer and
Anuj Dawar and
Mamadou Moustapha Kant{\'{e}}},
title = {Regular Separability in B{\"{u}}chi {VASS}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2023, March 7-9, 2023, Hamburg, Germany},
series = {LIPIcs},
volume = {254},
pages = {9:1--9:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.STACS.2023.9},
doi = {10.4230/LIPICS.STACS.2023.9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/00010Z23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MeyerWW23,
author = {Roland Meyer and
Thomas Wies and
Sebastian Wolff},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Make Flows Small Again: Revisiting the Flow Framework},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {628--646},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_32},
doi = {10.1007/978-3-031-30823-9\_32},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MeyerWW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-11242,
author = {Pascal Baumann and
Roland Meyer and
Georg Zetzsche},
title = {Regular Separability in B{\"{u}}chi {VASS}},
journal = {CoRR},
volume = {abs/2301.11242},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.11242},
doi = {10.48550/ARXIV.2301.11242},
eprinttype = {arXiv},
eprint = {2301.11242},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-11242.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-04886,
author = {Roland Meyer and
Thomas Wies and
Sebastian Wolff},
title = {Make flows small again: revisiting the flow framework},
journal = {CoRR},
volume = {abs/2304.04886},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.04886},
doi = {10.48550/ARXIV.2304.04886},
eprinttype = {arXiv},
eprint = {2304.04886},
timestamp = {Tue, 18 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-04886.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-02736,
author = {Eren Keskin and
Roland Meyer},
title = {Separability and Non-Determinizability of {WSTS}},
journal = {CoRR},
volume = {abs/2305.02736},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.02736},
doi = {10.48550/ARXIV.2305.02736},
eprinttype = {arXiv},
eprint = {2305.02736},
timestamp = {Wed, 10 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-02736.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-02967,
author = {Eren Keskin and
Roland Meyer and
S{\"{o}}ren van der Wall},
title = {Contextual Equivalence for Alternation and Urgency},
journal = {CoRR},
volume = {abs/2305.02967},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.02967},
doi = {10.48550/ARXIV.2305.02967},
eprinttype = {arXiv},
eprint = {2305.02967},
timestamp = {Wed, 10 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-02967.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-08992,
author = {Florian Kofler and
Felix Meissen and
Felix Steinbauer and
Robert Graf and
Eva Oswald and
Ezequiel de la Rosa and
Hongwei Bran Li and
Ujjwal Baid and
Florian A. H{\"{o}}lzl and
{\"{O}}zg{\"{u}}n Turgut and
Izabela Horvath and
Diana Waldmannstetter and
Christina Bukas and
Maruf Adewole and
Syed Muhammad Anwar and
Anastasia Janas and
Anahita Fathi Kazerooni and
Dominic LaBella and
Ahmed W. Moawad and
Keyvan Farahani and
James A. Eddy and
Timothy Bergquist and
Verena Chung and
Russell Takeshi Shinohara and
Farouk Dako and
Walter I. Wiggins and
Zachary Reitman and
Chunhao Wang and
Xinyang Liu and
Zhifan Jiang and
Ariana Familiar and
Gian Marco Conte and
Elaine Johanson and
Zeke Meier and
Christos Davatzikos and
John B. Freymann and
Justin S. Kirby and
Michel Bilello and
Hassan M. Fathallah{-}Shaykh and
Roland Wiest and
Jan Kirschke and
Rivka R. Colen and
Aikaterini Kotrotsou and
Pamela LaMontagne and
Daniel S. Marcus and
Mikhail Milchenko and
Arash Nazeri and
Marc{-}Andr{\'{e}} Weber and
Abhishek Mahajan and
Suyash Mohan and
John Mongan and
Christopher Hess and
Soonmee Cha and
Javier E. Villanueva{-}Meyer and
Errol Colak and
Priscila Crivellaro and
Andr{\'{a}}s Jakab and
Jake Albrecht and
Udunna Anazodo and
Mariam Aboian and
Juan Eugenio Iglesias and
Koen Van Leemput and
Spyridon Bakas and
Daniel Rueckert and
Benedikt Wiestler and
Ivan Ezhov and
Marie Piraud and
Bjoern H. Menze},
title = {The Brain Tumor Segmentation (BraTS) Challenge 2023: Local Synthesis
of Healthy Brain Tissue via Inpainting},
journal = {CoRR},
volume = {abs/2305.08992},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.08992},
doi = {10.48550/ARXIV.2305.08992},
eprinttype = {arXiv},
eprint = {2305.08992},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-08992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-09011,
author = {Hongwei Bran Li and
Gian Marco Conte and
Syed Muhammad Anwar and
Florian Kofler and
Koen Van Leemput and
Marie Piraud and
Ivan Ezhov and
Felix Meissen and
Maruf Adewole and
Anastasia Janas and
Anahita Fathi Kazerooni and
Dominic LaBella and
Ahmed W. Moawad and
Keyvan Farahani and
James A. Eddy and
Timothy Bergquist and
Verena Chung and
Russell Takeshi Shinohara and
Farouk Dako and
Walter I. Wiggins and
Zachary Reitman and
Chunhao Wang and
Xinyang Liu and
Zhifan Jiang and
Ariana Familiar and
Elaine Johanson and
Zeke Meier and
Christos Davatzikos and
John B. Freymann and
Justin S. Kirby and
Michel Bilello and
Hassan M. Fathallah{-}Shaykh and
Roland Wiest and
Jan Kirschke and
Rivka R. Colen and
Aikaterini Kotrotsou and
Pamela LaMontagne and
Daniel S. Marcus and
Mikhail Milchenko and
Arash Nazeri and
Marc{-}Andr{\'{e}} Weber and
Abhishek Mahajan and
Suyash Mohan and
John Mongan and
Christopher Hess and
Soonmee Cha and
Javier E. Villanueva{-}Meyer and
Errol Colak and
Priscila Crivellaro and
Andr{\'{a}}s Jakab and
Jake Albrecht and
Udunna Anazodo and
Mariam Aboian and
Thomas Yu and
Ujjwal Baid and
Spyridon Bakas and
Marius George Linguraru and
Bjoern H. Menze and
Juan Eugenio Iglesias and
Benedikt Wiestler},
title = {The Brain Tumor Segmentation (BraTS) Challenge 2023: Brain {MR} Image
Synthesis for Tumor Segmentation (BraSyn)},
journal = {CoRR},
volume = {abs/2305.09011},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.09011},
doi = {10.48550/ARXIV.2305.09011},
eprinttype = {arXiv},
eprint = {2305.09011},
timestamp = {Tue, 06 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-09011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-15549,
author = {Roland Meyer and
Thomas Wies and
Sebastian Wolff},
title = {Context-Aware Separation Logic},
journal = {CoRR},
volume = {abs/2307.15549},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.15549},
doi = {10.48550/ARXIV.2307.15549},
eprinttype = {arXiv},
eprint = {2307.15549},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-15549.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/ChiniMS22,
author = {Peter Chini and
Roland Meyer and
Prakash Saivasan},
title = {Liveness in broadcast networks},
journal = {Computing},
volume = {104},
number = {10},
pages = {2203--2223},
year = {2022},
url = {https://doi.org/10.1007/s00607-021-00986-y},
doi = {10.1007/S00607-021-00986-Y},
timestamp = {Mon, 24 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/ChiniMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fr/TranzattoMBGCKDRLWZNFSBBKVJDHPWKMHMP22,
author = {Marco Tranzatto and
Frank Mascarich and
Lukas Bernreiter and
Carolina Godinho and
Marco Camurri and
Shehryar Khattak and
Tung Dang and
Victor Reijgwart and
Johannes Loeje and
David Wisth and
Samuel Zimmermann and
Huan Nguyen and
Marius Fehr and
Lukas Solanka and
Russell Buchanan and
Marko Bjelonic and
Nikhil Khedekar and
Mathieu Valceschini and
Fabian Jenelten and
Mihir Dharmadhikari and
Timon Homberger and
Paolo De Petris and
Lorenz Wellhausen and
Mihir Kulkarni and
Takahiro Miki and
Satchel Hirsch and
Markus Montenegro and
Christos Papachristos and
Fabian Tresoldi and
Jan Carius and
Giorgio Valsecchi and
Joonho Lee and
Konrad Meyer and
Xiangyu Wu and
Juan I. Nieto and
Andy Smith and
Marco Hutter and
Roland Siegwart and
Mark W. Mueller and
Maurice F. Fallon and
Kostas Alexis},
title = {{CERBERUS:} Autonomous Legged and Aerial Robotic Exploration in the
Tunnel and Urban Circuits of the {DARPA} Subterranean Challenge},
journal = {Field Robotics},
volume = {2},
number = {1},
pages = {274--324},
year = {2022},
url = {https://doi.org/10.55417/fr.2022011},
doi = {10.55417/FR.2022011},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fr/TranzattoMBGCKDRLWZNFSBBKVJDHPWKMHMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/HaasML22,
author = {Thomas Haas and
Roland Meyer and
Hern{\'{a}}n Ponce de Le{\'{o}}n},
title = {{CAAT:} consistency as a theory},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {114--144},
year = {2022},
url = {https://doi.org/10.1145/3563292},
doi = {10.1145/3563292},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/HaasML22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MeyerWW22,
author = {Roland Meyer and
Thomas Wies and
Sebastian Wolff},
title = {A concurrent program logic with a future and history},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {1378--1407},
year = {2022},
url = {https://doi.org/10.1145/3563337},
doi = {10.1145/3563337},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MeyerWW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/ZieglerMOPABBCD22,
author = {Alice Ziegler and
Hanna Meyer and
Insa Otte and
Marcell K. Peters and
Tim Appelhans and
Christina Behler and
Katrin B{\"{o}}hning{-}Gaese and
Alice Classen and
Florian Detsch and
J{\"{u}}rgen Deckert and
Connal Eardley and
Stefan W. Ferger and
Markus Fischer and
Friederike Gebert and
Michael Haas and
Maria Helbig{-}Bonitz and
Andreas Hemp and
Claudia Hemp and
Victor Kakengi and
Antonia V. Mayr and
Christine Ngereza and
Christoph Reudenbach and
Juliane R{\"{o}}der and
Gemma Rutten and
David Schellenberger Costa and
Matthias Schleuning and
Axel Ssymank and
Ingolf Steffan{-}Dewenter and
Joseph Tardanico and
Marco Tschapka and
Maximilian G. R. Vollst{\"{a}}dt and
Stephan W{\"{o}}llauer and
Jie Zhang and
Roland Brandl and
Thomas Nauss},
title = {Potential of Airborne LiDAR Derived Vegetation Structure for the Prediction
of Animal Species Richness at Mount Kilimanjaro},
journal = {Remote. Sens.},
volume = {14},
number = {3},
pages = {786},
year = {2022},
url = {https://doi.org/10.3390/rs14030786},
doi = {10.3390/RS14030786},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/ZieglerMOPABBCD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/BeckerMRSWW22,
author = {Mike Becker and
Roland Meyer and
Tobias Runge and
Ina Schaefer and
S{\"{o}}ren van der Wall and
Sebastian Wolff},
editor = {Ilya Sergey},
title = {Model-Based Fault Classification for Automotive Software},
booktitle = {Programming Languages and Systems - 20th Asian Symposium, {APLAS}
2022, Auckland, New Zealand, December 5, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13658},
pages = {110--131},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21037-2\_6},
doi = {10.1007/978-3-031-21037-2\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/BeckerMRSWW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icorr/GantenbeinMJSGL22,
author = {Jessica Gantenbein and
Jan T. Meyer and
Lukas J{\"{a}}ger and
Roland Sigrist and
Roger Gassert and
Olivier Lambercy},
title = {An Analysis of Intention Detection Strategies to Control Advanced
Assistive Technologies at the {CYBATHLON}},
booktitle = {International Conference on Rehabilitation Robotics, {ICORR} 2022,
Rotterdam, Netherlands, July 25-29, 2022},
pages = {1--6},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICORR55369.2022.9896539},
doi = {10.1109/ICORR55369.2022.9896539},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icorr/GantenbeinMJSGL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/KrishnaG0C22,
author = {Shankaranarayanan Krishna and
Adwait Godbole and
Roland Meyer and
Soham Chakraborty},
editor = {Alessia Milani and
Philipp Woelfel},
title = {Parameterized Verification under Release Acquire is PSPACE-complete},
booktitle = {{PODC} '22: {ACM} Symposium on Principles of Distributed Computing,
Salerno, Italy, July 25 - 29, 2022},
pages = {482--492},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3519270.3538445},
doi = {10.1145/3519270.3538445},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/KrishnaG0C22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LeonHM22,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
Thomas Haas and
Roland Meyer},
editor = {Dana Fisman and
Grigore Rosu},
title = {Dartagnan: SMT-based Violation Witness Validation (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13244},
pages = {418--423},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99527-0\_24},
doi = {10.1007/978-3-030-99527-0\_24},
timestamp = {Fri, 29 Apr 2022 14:50:32 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LeonHM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-07067,
author = {Marco Tranzatto and
Frank Mascarich and
Lukas Bernreiter and
Carolina Godinho and
Marco Camurri and
Shehryar Khattak and
Tung Dang and
Victor Reijgwart and
Johannes Loeje and
David Wisth and
Samuel Zimmermann and
Huan Nguyen and
Marius Fehr and
Lukas Solanka and
Russell Buchanan and
Marko Bjelonic and
Nikhil Khedekar and
Mathieu Valceschini and
Fabian Jenelten and
Mihir Dharmadhikari and
Timon Homberger and
Paolo De Petris and
Lorenz Wellhausen and
Mihir Kulkarni and
Takahiro Miki and
Satchel Hirsch and
Markus Montenegro and
Christos Papachristos and
Fabian Tresoldi and
Jan Carius and
Giorgio Valsecchi and
Joonho Lee and
Konrad Meyer and
Xiangyu Wu and
Juan I. Nieto and
Andy Smith and
Marco Hutter and
Roland Siegwart and
Mark W. Mueller and
Maurice F. Fallon and
Kostas Alexis},
title = {{CERBERUS:} Autonomous Legged and Aerial Robotic Exploration in the
Tunnel and Urban Circuits of the {DARPA} Subterranean Challenge},
journal = {CoRR},
volume = {abs/2201.07067},
year = {2022},
url = {https://arxiv.org/abs/2201.07067},
eprinttype = {arXiv},
eprint = {2201.07067},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-07067.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-06694,
author = {Moritz Roman Hernandez Petzsche and
Ezequiel de la Rosa and
Uta Hanning and
Roland Wiest and
Waldo Enrique Valenzuela Pinilla and
Mauricio Reyes and
Maria In{\^{e}}s Meyer and
Sook{-}Lei Liew and
Florian Kofler and
Ivan Ezhov and
David Robben and
Alexandre Hutton and
Tassilo Friedrich and
Teresa Zarth and
Johannes B{\"{u}}rkle and
The Anh Baran and
Bjoern H. Menze and
Gabriel Broocks and
Lukas Meyer and
Claus Zimmer and
Tobias Boeckh{-}Behrens and
Maria Berndt and
Benno Ikenberg and
Benedikt Wiestler and
Jan S. Kirschke},
title = {{ISLES} 2022: {A} multi-center magnetic resonance imaging stroke lesion
segmentation dataset},
journal = {CoRR},
volume = {abs/2206.06694},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.06694},
doi = {10.48550/ARXIV.2206.06694},
eprinttype = {arXiv},
eprint = {2206.06694},
timestamp = {Thu, 11 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-06694.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-02355,
author = {Roland Meyer and
Thomas Wies and
Sebastian Wolff},
title = {A Concurrent Program Logic with a Future and History},
journal = {CoRR},
volume = {abs/2207.02355},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.02355},
doi = {10.48550/ARXIV.2207.02355},
eprinttype = {arXiv},
eprint = {2207.02355},
timestamp = {Wed, 13 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-02355.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-04914,
author = {Marco Tranzatto and
Mihir Dharmadhikari and
Lukas Bernreiter and
Marco Camurri and
Shehryar Khattak and
Frank Mascarich and
Patrick Pfreundschuh and
David Wisth and
Samuel Zimmermann and
Mihir Kulkarni and
Victor Reijgwart and
Benoit Casseau and
Timon Homberger and
Paolo De Petris and
Lionel Ott and
Wayne Tubby and
Gabriel Waibel and
Huan Nguyen and
Cesar Cadena and
Russell Buchanan and
Lorenz Wellhausen and
Nikhil Khedekar and
Olov Andersson and
Lintong Zhang and
Takahiro Miki and
Tung Dang and
Mat{\'{\i}}as Mattamala and
Markus Montenegro and
Konrad Meyer and
Xiangyu Wu and
Adrien Briod and
Mark W. Mueller and
Maurice F. Fallon and
Roland Siegwart and
Marco Hutter and
Kostas Alexis},
title = {Team {CERBERUS} Wins the {DARPA} Subterranean Challenge: Technical
Overview and Lessons Learned},
journal = {CoRR},
volume = {abs/2207.04914},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.04914},
doi = {10.48550/ARXIV.2207.04914},
eprinttype = {arXiv},
eprint = {2207.04914},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-04914.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-12553,
author = {Micha Horlboge and
Erwin Quiring and
Roland Meyer and
Konrad Rieck},
title = {I still know it's you! On Challenges in Anonymizing Source Code},
journal = {CoRR},
volume = {abs/2208.12553},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.12553},
doi = {10.48550/ARXIV.2208.12553},
eprinttype = {arXiv},
eprint = {2208.12553},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-12553.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-14290,
author = {Mike Becker and
Roland Meyer and
Tobias Runge and
Ina Schaefer and
S{\"{o}}ren van der Wall and
Sebastian Wolff},
title = {Model-based Fault Classification for Automotive Software},
journal = {CoRR},
volume = {abs/2208.14290},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.14290},
doi = {10.48550/ARXIV.2208.14290},
eprinttype = {arXiv},
eprint = {2208.14290},
timestamp = {Thu, 01 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-14290.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-13692,
author = {Roland Meyer and
Thomas Wies and
Sebastian Wolff},
title = {Embedding Hindsight Reasoning in Separation Logic},
journal = {CoRR},
volume = {abs/2209.13692},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.13692},
doi = {10.48550/ARXIV.2209.13692},
eprinttype = {arXiv},
eprint = {2209.13692},
timestamp = {Thu, 06 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-13692.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LeonH021,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
Thomas Haas and
Roland Meyer},
editor = {Jan Friso Groote and
Kim Guldstrand Larsen},
title = {Dartagnan: Leveraging Compiler Optimizations and the Price of Precision
(Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 27th International Conference, {TACAS} 2021, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12652},
pages = {428--432},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72013-1\_26},
doi = {10.1007/978-3-030-72013-1\_26},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LeonH021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/netys/2021,
editor = {Karima Echihabi and
Roland Meyer},
title = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3},
doi = {10.1007/978-3-030-91014-3},
isbn = {978-3-030-91013-6},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-12123,
author = {Adwait Godbole and
Shankara Narayanan Krishna and
Roland Meyer},
title = {Safety Verification of Parameterized Systems under Release-Acquire},
journal = {CoRR},
volume = {abs/2101.12123},
year = {2021},
url = {https://arxiv.org/abs/2101.12123},
eprinttype = {arXiv},
eprint = {2101.12123},
timestamp = {Sun, 31 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-12123.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-02314,
author = {Ujjwal Baid and
Satyam Ghodasara and
Michel Bilello and
Suyash Mohan and
Evan Calabrese and
Errol Colak and
Keyvan Farahani and
Jayashree Kalpathy{-}Cramer and
Felipe C. Kitamura and
Sarthak Pati and
Luciano M. Prevedello and
Jeffrey D. Rudie and
Chiharu Sako and
Russell T. Shinohara and
Timothy Bergquist and
Rong Chai and
James A. Eddy and
Julia Elliott and
Walter Reade and
Thomas Schaffter and
Thomas Yu and
Jiaxin Zheng and
BraTS Annotators and
Christos Davatzikos and
John Mongan and
Christopher Hess and
Soonmee Cha and
Javier E. Villanueva{-}Meyer and
John B. Freymann and
Justin S. Kirby and
Benedikt Wiestler and
Priscila Crivellaro and
Rivka R. Colen and
Aikaterini Kotrotsou and
Daniel S. Marcus and
Mikhail Milchenko and
Arash Nazeri and
Hassan M. Fathallah{-}Shaykh and
Roland Wiest and
Andr{\'{a}}s Jakab and
Marc{-}Andr{\'{e}} Weber and
Abhishek Mahajan and
Bjoern H. Menze and
Adam E. Flanders and
Spyridon Bakas},
title = {The {RSNA-ASNR-MICCAI} BraTS 2021 Benchmark on Brain Tumor Segmentation
and Radiogenomic Classification},
journal = {CoRR},
volume = {abs/2107.02314},
year = {2021},
url = {https://arxiv.org/abs/2107.02314},
eprinttype = {arXiv},
eprint = {2107.02314},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-02314.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-15240,
author = {Antonio Paolillo and
Hern{\'{a}}n Ponce de Le{\'{o}}n and
Thomas Haas and
Diogo Behrens and
Rafael Lourenco de Lima Chehab and
Ming Fu and
Roland Meyer},
title = {Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models},
journal = {CoRR},
volume = {abs/2111.15240},
year = {2021},
url = {https://arxiv.org/abs/2111.15240},
eprinttype = {arXiv},
eprint = {2111.15240},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-15240.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-10074,
author = {Raghav Mehta and
Angelos Filos and
Ujjwal Baid and
Chiharu Sako and
Richard McKinley and
Michael Rebsamen and
Katrin D{\"{a}}twyler and
Raphael Meier and
Piotr Radojewski and
Gowtham Krishnan Murugesan and
Sahil S. Nalawade and
Chandan Ganesh and
Benjamin C. Wagner and
Fang F. Yu and
Baowei Fei and
Ananth J. Madhuranthakam and
Joseph A. Maldjian and
Laura Alexandra Daza and
Catalina G{\'{o}}mez Caballero and
Pablo Arbel{\'{a}}ez and
Chengliang Dai and
Shuo Wang and
Hadrien Raynaud and
Yuanhan Mo and
Elsa D. Angelini and
Yike Guo and
Wenjia Bai and
Subhashis Banerjee and
Linmin Pei and
Murat Ak and
Sarahi Rosas{-}Gonz{\'{a}}lez and
Ilyess Zemmoura and
Clovis Tauber and
Minh H. Vu and
Tufve Nyholm and
Tommy L{\"{o}}fstedt and
Laura Mora Ballestar and
Ver{\'{o}}nica Vilaplana and
Hugh McHugh and
Gonzalo D. Maso Talou and
Alan Wang and
Jay B. Patel and
Ken Chang and
Katharina Hoebel and
Mishka Gidwani and
Nishanth Thumbavanam Arun and
Sharut Gupta and
Mehak Aggarwal and
Praveer Singh and
Elizabeth R. Gerstner and
Jayashree Kalpathy{-}Cramer and
Nicolas Boutry and
Alexis Huard and
Lasitha Vidyaratne and
Md Monibor Rahman and
Khan M. Iftekharuddin and
Joseph Chazalon and
{\'{E}}lodie Puybareau and
Guillaume Tochon and
Jun Ma and
Mariano Cabezas and
Xavier Llad{\'{o}} and
Arnau Oliver and
Liliana Valencia and
Sergi Valverde and
Mehdi Amian and
Mohammadreza Soltaninejad and
Andriy Myronenko and
Ali Hatamizadeh and
Xue Feng and
Quan Dou and
Nicholas J. Tustison and
Craig H. Meyer and
Nisarg A. Shah and
Sanjay N. Talbar and
Marc{-}Andr{\'{e}} Weber and
Abhishek Mahajan and
Andr{\'{a}}s Jakab and
Roland Wiest and
Hassan M. Fathallah{-}Shaykh and
Arash Nazeri and
Mikhail Milchenko and
Daniel S. Marcus and
Aikaterini Kotrotsou and
Rivka Colen and
John B. Freymann and
Justin S. Kirby and
Christos Davatzikos and
Bjoern H. Menze and
Spyridon Bakas and
Yarin Gal and
Tal Arbel},
title = {QU-BraTS: {MICCAI} BraTS 2020 Challenge on Quantifying Uncertainty
in Brain Tumor Segmentation - Analysis of Ranking Metrics and Benchmarking
Results},
journal = {CoRR},
volume = {abs/2112.10074},
year = {2021},
url = {https://arxiv.org/abs/2112.10074},
eprinttype = {arXiv},
eprint = {2112.10074},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-10074.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ChiniMS20,
author = {Peter Chini and
Roland Meyer and
Prakash Saivasan},
title = {Fine-Grained Complexity of Safety Verification},
journal = {J. Autom. Reason.},
volume = {64},
number = {7},
pages = {1419--1444},
year = {2020},
url = {https://doi.org/10.1007/s10817-020-09572-x},
doi = {10.1007/S10817-020-09572-X},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ChiniMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nature/CalabreseDDFHKL20,
author = {Claudia Calabrese and
Natalie R. Davidson and
Deniz Demircioglu and
Nuno A. Fonseca and
Yao He and
Andr{\'{e}} Kahles and
Kjong{-}Van Lehmann and
Fenglin Liu and
Yuichi Shiraishi and
Cameron M. Soulette and
Lara Urban and
Liliana Greger and
Siliang Li and
Dongbing Liu and
Marc D. Perry and
Qian Xiang and
Fan Zhang and
Junjun Zhang and
Peter Bailey and
Serap Erkek and
Katherine A. Hoadley and
Yong Hou and
Matthew R. Huska and
Helena Kilpinen and
Jan O. Korbel and
Maximillian G. Marin and
Julia Markowski and
Tannistha Nandi and
Qiang Pan{-}Hammarstr{\"{o}}m and
Chandra Sekhar Pedamallu and
Reiner Siebert and
Stefan G. Stark and
Hong Su and
Patrick Tan and
Sebastian M. Waszak and
Christina K. Yung and
Shida Zhu and
Philip Awadalla and
Matthew Meyerson and
B. F. Francis Ouellette and
Kui Wu and
Huanming Yang and
Samirkumar B. Amin and
Aur{\'{e}}lien Chateigner and
Isidro Cort{\'{e}}s{-}Ciriano and
Brian Craft and
Milana Frenkel{-}Morgenstern and
Mary Goldman and
Ekta Khurana and
Fabien C. Lamaze and
Chang Li and
Xiaobo Li and
Xinyue Li and
Xingmin Liu and
Morten Muhlig Nielsen and
Akinyemi I. Ojesina and
Peter J. Park and
Jakob Skou Pedersen and
Bin Tean Teh and
Jian Wang and
Heng Xiong and
Sergei Yakneen and
Chen Ye and
Xiuqing Zhang and
Liangtao Zheng and
Jingchun Zhu and
Chad Creighton and
Jonathan G{\"{o}}ke and
Roland F. Schwarz and
Oliver Stegle and
Zemin Zhang and
Alvis Brazma and
Gunnar R{\"{a}}tsch and
Angela N. Brooks},
title = {Genomic basis for {RNA} alterations in cancer},
journal = {Nat.},
volume = {578},
number = {7793},
pages = {129--136},
year = {2020},
url = {https://doi.org/10.1038/s41586-020-1970-0},
doi = {10.1038/S41586-020-1970-0},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nature/CalabreseDDFHKL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MeyerW20,
author = {Roland Meyer and
Sebastian Wolff},
title = {Pointer life cycle types for lock-free data structures with memory
reclamation},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {68:1--68:36},
year = {2020},
url = {https://doi.org/10.1145/3371136},
doi = {10.1145/3371136},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/MeyerW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/0004MKYWKRAMKBB20,
author = {Rui Song and
Jan{-}Peter Muller and
Sa{\"{\i}}d Kharbouche and
Feng Yin and
William Woodgate and
Mark Kitchen and
Marilyn Roland and
Nicola Arriga and
Wayne Meyer and
Georgia Koerber and
Damien Bonal and
Benoit Burban and
Alexander Knohl and
Lukas Siebicke and
Pauline Buysse and
Benjamin Loubet and
Leonardo Montagnani and
Christophe Lerebourg and
Nadine Gobron},
title = {Validation of Space-Based Albedo Products from Upscaled Tower-Based
Measurements Over Heterogeneous and Homogeneous Landscapes},
journal = {Remote. Sens.},
volume = {12},
number = {5},
pages = {833},
year = {2020},
url = {https://doi.org/10.3390/rs12050833},
doi = {10.3390/RS12050833},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/0004MKYWKRAMKBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/0001W20,
author = {Roland Meyer and
S{\"{o}}ren van der Wall},
editor = {Nitin Saxena and
Sunil Simon},
title = {On the Complexity of Multi-Pushdown Games},
booktitle = {40th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2020, December 14-18, 2020,
{BITS} Pilani, {K} {K} Birla Goa Campus, Goa, India (Virtual Conference)},
series = {LIPIcs},
volume = {182},
pages = {52:1--52:35},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2020.52},
doi = {10.4230/LIPICS.FSTTCS.2020.52},
timestamp = {Mon, 21 Dec 2020 13:23:22 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/0001W20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lrec/MullerTM20,
author = {Klaus M{\"{u}}ller and
Aleksej Tikhonov and
Roland Meyer},
editor = {Nicoletta Calzolari and
Fr{\'{e}}d{\'{e}}ric B{\'{e}}chet and
Philippe Blache and
Khalid Choukri and
Christopher Cieri and
Thierry Declerck and
Sara Goggi and
Hitoshi Isahara and
Bente Maegaard and
Joseph Mariani and
H{\'{e}}l{\`{e}}ne Mazo and
Asunci{\'{o}}n Moreno and
Jan Odijk and
Stelios Piperidis},
title = {LiViTo: Linguistic and Visual Features Tool for Assisted Analysis
of Historic Manuscripts},
booktitle = {Proceedings of The 12th Language Resources and Evaluation Conference,
{LREC} 2020, Marseille, France, May 11-16, 2020},
pages = {885--890},
publisher = {European Language Resources Association},
year = {2020},
url = {https://aclanthology.org/2020.lrec-1.111/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lrec/MullerTM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AbdullaABDLM20,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Ahmed Bouajjani and
Egor Derevenetc and
Carl Leonardsson and
Roland Meyer},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {On the State Reachability Problem for Concurrent Programs Under Power},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {47--59},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_4},
doi = {10.1007/978-3-030-67087-0\_4},
timestamp = {Fri, 15 Jan 2021 14:54:16 +0100},
biburl = {https://dblp.org/rec/conf/netys/AbdullaABDLM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LeonFH020,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
Florian Furbach and
Keijo Heljanko and
Roland Meyer},
editor = {Armin Biere and
David Parker},
title = {Dartagnan: Bounded Model Checking for Weak Memory Models (Competition
Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 26th International Conference, {TACAS} 2020, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12079},
pages = {378--382},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45237-7\_24},
doi = {10.1007/978-3-030-45237-7\_24},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LeonFH020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Meyer19a,
author = {Roland Meyer},
title = {Operative Portr{\"{a}}ts: eine Bildgeschichte der Identifizierbarkeit
von Lavater bis Facebook},
school = {Karlsruhe University of Arts and Design, Germany},
year = {2019},
url = {https://d-nb.info/1172594554},
isbn = {978-3-8353-9113-0},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Meyer19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MeyerW19,
author = {Roland Meyer and
Sebastian Wolff},
title = {Decoupling lock-free data structures from memory reclamation for static
analysis},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {58:1--58:31},
year = {2019},
url = {https://doi.org/10.1145/3290371},
doi = {10.1145/3290371},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/MeyerW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GavrilenkoLFHM19,
author = {Natalia Gavrilenko and
Hern{\'{a}}n Ponce de Le{\'{o}}n and
Florian Furbach and
Keijo Heljanko and
Roland Meyer},
editor = {Isil Dillig and
Serdar Tasiran},
title = {{BMC} for Weak Memory Models: Relation Analysis for Compact {SMT}
Encodings},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11561},
pages = {355--365},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25540-4\_19},
doi = {10.1007/978-3-030-25540-4\_19},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/GavrilenkoLFHM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MassoudLCSMD19,
author = {Rehab Massoud and
Hoang M. Le and
Peter Chini and
Prakash Saivasan and
Roland Meyer and
Rolf Drechsler},
title = {Temporal Tracing of On-Chip Signals using Timeprints},
booktitle = {Proceedings of the 56th Annual Design Automation Conference 2019,
{DAC} 2019, Las Vegas, NV, USA, June 02-06, 2019},
pages = {186},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3316781.3317920},
doi = {10.1145/3316781.3317920},
timestamp = {Sun, 08 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/MassoudLCSMD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Chini0S19,
author = {Peter Chini and
Roland Meyer and
Prakash Saivasan},
editor = {Arkadev Chattopadhyay and
Paul Gastin},
title = {Complexity of Liveness in Parameterized Systems},
booktitle = {39th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2019, December 11-13, 2019,
Bombay, India},
series = {LIPIcs},
volume = {150},
pages = {37:1--37:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2019.37},
doi = {10.4230/LIPICS.FSTTCS.2019.37},
timestamp = {Thu, 05 Dec 2019 15:12:21 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/Chini0S19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/KramerM19,
author = {Juliane Kr{\"{a}}mer and
Roland Meyer},
editor = {Klaus David and
Kurt Geihs and
Martin Lange and
Gerd Stumme},
title = {Sicherheit, Zuverl{\"{a}}ssigkeit, Korrektheit},
booktitle = {49. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, 50 Jahre
Gesellschaft f{\"{u}}r Informatik - Informatik f{\"{u}}r
Gesellschaft, {INFORMATIK} 2019, Kassel, Germany, September 23-26,
2019},
series = {{LNI}},
volume = {{P-294}},
pages = {455--456},
publisher = {{GI}},
year = {2019},
url = {https://doi.org/10.18420/inf2019\_62},
doi = {10.18420/INF2019\_62},
timestamp = {Tue, 04 Jul 2023 17:43:40 +0200},
biburl = {https://dblp.org/rec/conf/gi/KramerM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Chini0S19,
author = {Peter Chini and
Roland Meyer and
Prakash Saivasan},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {Liveness in Broadcast Networks},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {52--66},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_4},
doi = {10.1007/978-3-030-31277-0\_4},
timestamp = {Mon, 03 Jan 2022 22:16:19 +0100},
biburl = {https://dblp.org/rec/conf/netys/Chini0S19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/ChiniM19,
author = {Peter Chini and
Roland Meyer},
editor = {Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Inductive Counting and the Reachability Problem for Petri Nets},
booktitle = {Carl Adam Petri: Ideas, Personality, Impact},
pages = {161--169},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-96154-5\_21},
doi = {10.1007/978-3-319-96154-5\_21},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/19/ChiniM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-00833,
author = {Peter Chini and
Roland Meyer and
Prakash Saivasan},
title = {Liveness in Broadcast Networks},
journal = {CoRR},
volume = {abs/1904.00833},
year = {2019},
url = {http://arxiv.org/abs/1904.00833},
eprinttype = {arXiv},
eprint = {1904.00833},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-00833.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-12004,
author = {Peter Chini and
Roland Meyer and
Prakash Saivasan},
title = {Complexity of Liveness in Parameterized Systems},
journal = {CoRR},
volume = {abs/1909.12004},
year = {2019},
url = {http://arxiv.org/abs/1909.12004},
eprinttype = {arXiv},
eprint = {1909.12004},
timestamp = {Fri, 27 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-12004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-11714,
author = {Roland Meyer and
Sebastian Wolff},
title = {Pointer Life Cycle Types for Lock-Free Data Structures with Memory
Reclamation},
journal = {CoRR},
volume = {abs/1910.11714},
year = {2019},
url = {http://arxiv.org/abs/1910.11714},
eprinttype = {arXiv},
eprint = {1910.11714},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-11714.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MeyerW18,
author = {Roland Meyer and
Sebastian Wolff},
editor = {Peter M{\"{u}}ller and
Ina Schaefer},
title = {Reasoning About Weak Semantics via Strong Semantics},
booktitle = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
on the Occasion of his 60th Birthday},
pages = {283--303},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98047-8\_18},
doi = {10.1007/978-3-319-98047-8\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MeyerW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CzerwinskiLMMKS18,
author = {Wojciech Czerwinski and
Slawomir Lasota and
Roland Meyer and
Sebastian Muskalla and
K. Narayan Kumar and
Prakash Saivasan},
editor = {Sven Schewe and
Lijun Zhang},
title = {Regular Separability of Well-Structured Transition Systems},
booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
September 4-7, 2018, Beijing, China},
series = {LIPIcs},
volume = {118},
pages = {35:1--35:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.35},
doi = {10.4230/LIPICS.CONCUR.2018.35},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/CzerwinskiLMMKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MeyerMZ18,
author = {Roland Meyer and
Sebastian Muskalla and
Georg Zetzsche},
editor = {Sven Schewe and
Lijun Zhang},
title = {Bounded Context Switching for Valence Systems},
booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
September 4-7, 2018, Beijing, China},
series = {LIPIcs},
volume = {118},
pages = {12:1--12:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.12},
doi = {10.4230/LIPICS.CONCUR.2018.12},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/MeyerMZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/LeonFHM18,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
Florian Furbach and
Keijo Heljanko and
Roland Meyer},
editor = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel},
title = {{BMC} with Memory Models as Modules},
booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
TX, USA, October 30 - November 2, 2018},
pages = {1--9},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/FMCAD.2018.8603021},
doi = {10.23919/FMCAD.2018.8603021},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/LeonFHM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/GlantzPM18,
author = {Roland Glantz and
Maria Predari and
Henning Meyerhenke},
title = {Topology-induced Enhancement of Mappings},
booktitle = {Proceedings of the 47th International Conference on Parallel Processing,
{ICPP} 2018, Eugene, OR, USA, August 13-16, 2018},
pages = {9:1--9:10},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3225058.3225117},
doi = {10.1145/3225058.3225117},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icpp/GlantzPM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HagueMM018,
author = {Matthew Hague and
Roland Meyer and
Sebastian Muskalla and
Martin Zimmermann},
editor = {Igor Potapov and
Paul G. Spirakis and
James Worrell},
title = {Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown
Systems},
booktitle = {43rd International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2018, August 27-31, 2018, Liverpool, {UK}},
series = {LIPIcs},
volume = {117},
pages = {57:1--57:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2018.57},
doi = {10.4230/LIPICS.MFCS.2018.57},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HagueMM018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdm/GlantzM18,
author = {Roland Glantz and
Henning Meyerhenke},
editor = {Martin Ester and
Dino Pedreschi},
title = {Many-to-many Correspondences between Partitions: Introducing a Cut-based
Approach},
booktitle = {Proceedings of the 2018 {SIAM} International Conference on Data Mining,
{SDM} 2018, May 3-5, 2018, San Diego Marriott Mission Valley, San
Diego, CA, {USA}},
pages = {1--9},
publisher = {{SIAM}},
year = {2018},
url = {https://doi.org/10.1137/1.9781611975321.1},
doi = {10.1137/1.9781611975321.1},
timestamp = {Sun, 13 May 2018 11:47:13 +0200},
biburl = {https://dblp.org/rec/conf/sdm/GlantzM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChiniMS18,
author = {Peter Chini and
Roland Meyer and
Prakash Saivasan},
editor = {Dirk Beyer and
Marieke Huisman},
title = {Fine-Grained Complexity of Safety Verification},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 24th International Conference, {TACAS} 2018, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10806},
pages = {20--37},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89963-3\_2},
doi = {10.1007/978-3-319-89963-3\_2},
timestamp = {Fri, 09 Apr 2021 18:45:36 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChiniMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-05559,
author = {Peter Chini and
Roland Meyer and
Prakash Saivasan},
title = {Fine-Grained Complexity of Safety Verification},
journal = {CoRR},
volume = {abs/1802.05559},
year = {2018},
url = {http://arxiv.org/abs/1802.05559},
eprinttype = {arXiv},
eprint = {1802.05559},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-05559.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-09703,
author = {Roland Meyer and
Sebastian Muskalla and
Georg Zetzsche},
title = {Bounded Context Switching for Valence Systems},
journal = {CoRR},
volume = {abs/1803.09703},
year = {2018},
url = {http://arxiv.org/abs/1803.09703},
eprinttype = {arXiv},
eprint = {1803.09703},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-09703.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-07131,
author = {Roland Glantz and
Maria Predari and
Henning Meyerhenke},
title = {Topology-induced Enhancement of Mappings},
journal = {CoRR},
volume = {abs/1804.07131},
year = {2018},
url = {http://arxiv.org/abs/1804.07131},
eprinttype = {arXiv},
eprint = {1804.07131},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-07131.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-02963,
author = {Matthew Hague and
Roland Meyer and
Sebastian Muskalla and
Martin Zimmermann},
title = {Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown
Systems},
journal = {CoRR},
volume = {abs/1805.02963},
year = {2018},
url = {http://arxiv.org/abs/1805.02963},
eprinttype = {arXiv},
eprint = {1805.02963},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-02963.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-05777,
author = {Peter Chini and
Rehab Massoud and
Roland Meyer and
Prakash Saivasan},
title = {Fast Witness Counting},
journal = {CoRR},
volume = {abs/1807.05777},
year = {2018},
url = {http://arxiv.org/abs/1807.05777},
eprinttype = {arXiv},
eprint = {1807.05777},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-05777.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-10807,
author = {Roland Meyer and
Sebastian Wolff},
title = {Decoupling Lock-Free Data Structures from Memory Reclamation for Static
Analysis},
journal = {CoRR},
volume = {abs/1810.10807},
year = {2018},
url = {http://arxiv.org/abs/1810.10807},
eprinttype = {arXiv},
eprint = {1810.10807},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-10807.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GlantzM17,
author = {Roland Glantz and
Henning Meyerhenke},
title = {On finding convex cuts in general, bipartite and plane graphs},
journal = {Theor. Comput. Sci.},
volume = {695},
pages = {54--73},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2017.07.026},
doi = {10.1016/J.TCS.2017.07.026},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/GlantzM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/HaarM17,
author = {Stefan Haar and
Roland Meyer},
title = {Message from the Guest Editors},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {16},
number = {2},
pages = {40:1},
year = {2017},
url = {https://doi.org/10.1145/3037413},
doi = {10.1145/3037413},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/HaarM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esa/ChiniKKMS17,
author = {Peter Chini and
Jonathan Kolberg and
Andreas Krebs and
Roland Meyer and
Prakash Saivasan},
editor = {Kirk Pruhs and
Christian Sohler},
title = {On the Complexity of Bounded Context Switching},
booktitle = {25th Annual European Symposium on Algorithms, {ESA} 2017, September
4-6, 2017, Vienna, Austria},
series = {LIPIcs},
volume = {87},
pages = {27:1--27:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ESA.2017.27},
doi = {10.4230/LIPICS.ESA.2017.27},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/esa/ChiniKKMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AtigMMS17,
author = {Mohamed Faouzi Atig and
Roland Meyer and
Sebastian Muskalla and
Prakash Saivasan},
editor = {Kim G. Larsen and
Hans L. Bodlaender and
Jean{-}Fran{\c{c}}ois Raskin},
title = {On the Upward/Downward Closures of Petri Nets},
booktitle = {42nd International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2017, August 21-25, 2017 - Aalborg, Denmark},
series = {LIPIcs},
volume = {83},
pages = {49:1--49:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2017.49},
doi = {10.4230/LIPICS.MFCS.2017.49},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/AtigMMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HagueMM17,
author = {Matthew Hague and
Roland Meyer and
Sebastian Muskalla},
editor = {Kim G. Larsen and
Hans L. Bodlaender and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Domains for Higher-Order Games},
booktitle = {42nd International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2017, August 21-25, 2017 - Aalborg, Denmark},
series = {LIPIcs},
volume = {83},
pages = {59:1--59:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2017.59},
doi = {10.4230/LIPICS.MFCS.2017.59},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HagueMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/DerevenetcMS17,
author = {Egor Derevenetc and
Roland Meyer and
Sebastian Schweizer},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Locality and Singularity for Store-Atomic Memory Models},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {133--148},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_11},
doi = {10.1007/978-3-319-59647-1\_11},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/DerevenetcMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HolikMVW17,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Roland Meyer and
Tom{\'{a}}s Vojnar and
Sebastian Wolff},
editor = {Francesco Ranzato},
title = {Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite
an Unsound Heuristic},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {169--191},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_9},
doi = {10.1007/978-3-319-66706-5\_9},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/HolikMVW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/LeonFHM17,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
Florian Furbach and
Keijo Heljanko and
Roland Meyer},
editor = {Francesco Ranzato},
title = {Portability Analysis for Weak Memory Models. {PORTHOS:} One Tool for
all Models},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {299--320},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_15},
doi = {10.1007/978-3-319-66706-5\_15},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/LeonFHM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2017,
editor = {Roland Meyer and
Uwe Nestmann},
title = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
September 5-8, 2017, Berlin, Germany},
series = {LIPIcs},
volume = {85},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-048-4},
isbn = {978-3-95977-048-4},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AtigMMS17,
author = {Mohamed Faouzi Atig and
Roland Meyer and
Sebastian Muskalla and
Prakash Saivasan},
title = {On the Upward/Downward Closures of Petri Nets},
journal = {CoRR},
volume = {abs/1701.02927},
year = {2017},
url = {http://arxiv.org/abs/1701.02927},
eprinttype = {arXiv},
eprint = {1701.02927},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AtigMMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DerevenetcMS17,
author = {Egor Derevenetc and
Roland Meyer and
Sebastian Schweizer},
title = {Locality and Singularity for Store-Atomic Memory Models},
journal = {CoRR},
volume = {abs/1703.04603},
year = {2017},
url = {http://arxiv.org/abs/1703.04603},
eprinttype = {arXiv},
eprint = {1703.04603},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DerevenetcMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HagueMM17,
author = {Matthew Hague and
Roland Meyer and
Sebastian Muskalla},
title = {Domains for Higher-Order Games},
journal = {CoRR},
volume = {abs/1705.00355},
year = {2017},
url = {http://arxiv.org/abs/1705.00355},
eprinttype = {arXiv},
eprint = {1705.00355},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HagueMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HolikMVW17,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Roland Meyer and
Tom{\'{a}}s Vojnar and
Sebastian Wolff},
title = {Effect Summaries for Thread-Modular Analysis},
journal = {CoRR},
volume = {abs/1705.03701},
year = {2017},
url = {http://arxiv.org/abs/1705.03701},
eprinttype = {arXiv},
eprint = {1705.03701},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/HolikMVW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LeonFHM17,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
Florian Furbach and
Keijo Heljanko and
Roland Meyer},
title = {Portability Analysis for Axiomatic Memory Models. {PORTHOS:} One Tool
for all Models},
journal = {CoRR},
volume = {abs/1702.06704},
year = {2017},
url = {http://arxiv.org/abs/1702.06704},
eprinttype = {arXiv},
eprint = {1702.06704},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LeonFHM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MeyerMN17,
author = {Roland Meyer and
Sebastian Muskalla and
Elisabeth Neumann},
title = {Liveness Verification and Synthesis: New Algorithms for Recursive
Programs},
journal = {CoRR},
volume = {abs/1701.02947},
year = {2017},
url = {http://arxiv.org/abs/1701.02947},
eprinttype = {arXiv},
eprint = {1701.02947},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MeyerMN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jea/GlantzMS16,
author = {Roland Glantz and
Henning Meyerhenke and
Christian Schulz},
title = {Tree-Based Coarsening and Partitioning of Complex Networks},
journal = {{ACM} J. Exp. Algorithmics},
volume = {21},
number = {1},
pages = {1.6:1--1.6:20},
year = {2016},
url = {https://doi.org/10.1145/2851496},
doi = {10.1145/2851496},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jea/GlantzMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamco/ReyesHM16,
author = {Juan Carlos de los Reyes and
Roland Herzog and
Christian Meyer},
title = {Optimal Control of Static Elastoplasticity in Primal Formulation},
journal = {{SIAM} J. Control. Optim.},
volume = {54},
number = {6},
pages = {3016--3039},
year = {2016},
url = {https://doi.org/10.1137/130920861},
doi = {10.1137/130920861},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamco/ReyesHM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HolikMM16,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Roland Meyer and
Sebastian Muskalla},
editor = {Akash Lal and
S. Akshay and
Saket Saurabh and
Sandeep Sen},
title = {Summaries for Context-Free Games},
booktitle = {36th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2016, December 13-15, 2016,
Chennai, India},
series = {LIPIcs},
volume = {65},
pages = {41:1--41:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2016.41},
doi = {10.4230/LIPICS.FSTTCS.2016.41},
timestamp = {Tue, 30 Nov 2021 13:29:05 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/HolikMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DOsualdoMZ16,
author = {Emanuele D'Osualdo and
Roland Meyer and
Georg Zetzsche},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {First-order logic with reachability for infinite-state systems},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {457--466},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934552},
doi = {10.1145/2933575.2934552},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/DOsualdoMZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HazizaHMW16,
author = {Fr{\'{e}}d{\'{e}}ric Haziza and
Luk{\'{a}}s Hol{\'{\i}}k and
Roland Meyer and
Sebastian Wolff},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Pointer Race Freedom},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {393--412},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_19},
doi = {10.1007/978-3-662-49122-5\_19},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/HazizaHMW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChiniKMS16,
author = {Peter Chini and
Jonathan Kolberg and
Roland Meyer and
Prakash Saivasan},
title = {On the Complexity of Bounded Context Switching},
journal = {CoRR},
volume = {abs/1609.09728},
year = {2016},
url = {http://arxiv.org/abs/1609.09728},
eprinttype = {arXiv},
eprint = {1609.09728},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChiniKMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GlantzSM16,
author = {Roland Glantz and
Christian L. Staudt and
Henning Meyerhenke},
title = {Correspondences between partitions},
journal = {CoRR},
volume = {abs/1603.04788},
year = {2016},
url = {http://arxiv.org/abs/1603.04788},
eprinttype = {arXiv},
eprint = {1603.04788},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GlantzSM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HolikMM16,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Roland Meyer and
Sebastian Muskalla},
title = {Antichains for Inclusion Games},
journal = {CoRR},
volume = {abs/1603.07256},
year = {2016},
url = {http://arxiv.org/abs/1603.07256},
eprinttype = {arXiv},
eprint = {1603.07256},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HolikMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MeyerM16,
author = {Roland Meyer and
Sebastian Muskalla},
title = {Munchausen Iteration},
journal = {CoRR},
volume = {abs/1605.00422},
year = {2016},
url = {http://arxiv.org/abs/1605.00422},
eprinttype = {arXiv},
eprint = {1605.00422},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MeyerM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/FurbachM0S15,
author = {Florian Furbach and
Roland Meyer and
Klaus Schneider and
Maximilian Senftleben},
title = {Memory-Model-Aware Testing: {A} Unified Complexity Analysis},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {14},
number = {4},
pages = {63:1--63:25},
year = {2015},
url = {https://doi.org/10.1145/2753761},
doi = {10.1145/2753761},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/FurbachM0S15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MeyerW15,
author = {Roland Meyer and
Heike Wehrheim},
editor = {Roland Meyer and
Andr{\'{e}} Platzer and
Heike Wehrheim},
title = {From Program Verification to Time and Space: The Scientific Life of
Ernst-R{\"{u}}diger Olderog},
booktitle = {Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger
Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany,
September 8-9, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9360},
pages = {3--4},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23506-6\_1},
doi = {10.1007/978-3-319-23506-6\_1},
timestamp = {Mon, 02 Sep 2019 16:45:58 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MeyerW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BouajjaniCDM15,
author = {Ahmed Bouajjani and
Georgel Calin and
Egor Derevenetc and
Roland Meyer},
editor = {Alexander Egyed and
Ina Schaefer},
title = {Lazy {TSO} Reachability},
booktitle = {Fundamental Approaches to Software Engineering - 18th International
Conference, {FASE} 2015, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2015, London, UK, April
11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9033},
pages = {267--282},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46675-9\_18},
doi = {10.1007/978-3-662-46675-9\_18},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/BouajjaniCDM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AbdullaAMS15,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Roland Meyer and
Mehdi Seyed Salehi},
editor = {Prahladh Harsha and
G. Ramalingam},
title = {What's Decidable about Availability Languages?},
booktitle = {35th {IARCS} Annual Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2015, December 16-18, 2015,
Bangalore, India},
series = {LIPIcs},
volume = {45},
pages = {192--205},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2015.192},
doi = {10.4230/LIPICS.FSTTCS.2015.192},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/AbdullaAMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/HolikM15,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Roland Meyer},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Antichains for the Verification of Recursive Programs},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {322--336},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_22},
doi = {10.1007/978-3-319-26850-7\_22},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/HolikM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/GlantzMN15,
author = {Roland Glantz and
Henning Meyerhenke and
Alexander Noe},
editor = {Masoud Daneshtalab and
Marco Aldinucci and
Ville Lepp{\"{a}}nen and
Johan Lilius and
Mats Brorsson},
title = {Algorithms for Mapping Parallel Processes onto Grid and Torus Architectures},
booktitle = {23rd Euromicro International Conference on Parallel, Distributed,
and Network-Based Processing, {PDP} 2015, Turku, Finland, March 4-6,
2015},
pages = {236--243},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/PDP.2015.21},
doi = {10.1109/PDP.2015.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/GlantzMN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2015olderog,
editor = {Roland Meyer and
Andr{\'{e}} Platzer and
Heike Wehrheim},
title = {Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger
Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany,
September 8-9, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9360},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23506-6},
doi = {10.1007/978-3-319-23506-6},
isbn = {978-3-319-23505-9},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2015olderog.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BouajjaniCDM15,
author = {Ahmed Bouajjani and
Georgel Calin and
Egor Derevenetc and
Roland Meyer},
title = {Lazy {TSO} Reachability},
journal = {CoRR},
volume = {abs/1501.02683},
year = {2015},
url = {http://arxiv.org/abs/1501.02683},
eprinttype = {arXiv},
eprint = {1501.02683},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BouajjaniCDM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HazizaHMW15,
author = {Fr{\'{e}}d{\'{e}}ric Haziza and
Luk{\'{a}}s Hol{\'{\i}}k and
Roland Meyer and
Sebastian Wolff},
title = {Pointer Race Freedom},
journal = {CoRR},
volume = {abs/1511.00184},
year = {2015},
url = {http://arxiv.org/abs/1511.00184},
eprinttype = {arXiv},
eprint = {1511.00184},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/HazizaHMW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/FurbachMSS14,
author = {Florian Furbach and
Roland Meyer and
Klaus Schneider and
Maximilian Senftleben},
title = {Memory Model-Aware Testing - {A} Unified Complexity Analysis},
booktitle = {14th International Conference on Application of Concurrency to System
Design, {ACSD} 2014, Tunis La Marsa, Tunisia, June 23-27, 2014},
pages = {92--101},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ACSD.2014.27},
doi = {10.1109/ACSD.2014.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/FurbachMSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HuchtingMM14,
author = {Reiner H{\"{u}}chting and
Rupak Majumdar and
Roland Meyer},
editor = {Paolo Baldan and
Daniele Gorla},
title = {Bounds on Mobility},
booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
{CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8704},
pages = {357--371},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44584-6\_25},
doi = {10.1007/978-3-662-44584-6\_25},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/HuchtingMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DerevenetcM14,
author = {Egor Derevenetc and
Roland Meyer},
editor = {Javier Esparza and
Pierre Fraigniaud and
Thore Husfeldt and
Elias Koutsoupias},
title = {Robustness against Power is PSpace-complete},
booktitle = {Automata, Languages, and Programming - 41st International Colloquium,
{ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {8573},
pages = {158--170},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43951-7\_14},
doi = {10.1007/978-3-662-43951-7\_14},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DerevenetcM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/BouajjaniDM14,
author = {Ahmed Bouajjani and
Egor Derevenetc and
Roland Meyer},
editor = {Wilhelm Hasselbring and
Nils Christian Ehmke},
title = {Robustness against Relaxed Memory Models},
booktitle = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik,
25. Februar - 28. Februar 2014, Kiel, Germany},
series = {{LNI}},
volume = {{P-227}},
pages = {85--86},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/30973},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/BouajjaniDM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wea/GlantzMS14,
author = {Roland Glantz and
Henning Meyerhenke and
Christian Schulz},
editor = {Joachim Gudmundsson and
Jyrki Katajainen},
title = {Tree-Based Coarsening and Partitioning of Complex Networks},
booktitle = {Experimental Algorithms - 13th International Symposium, {SEA} 2014,
Copenhagen, Denmark, June 29 - July 1, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8504},
pages = {364--375},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07959-2\_31},
doi = {10.1007/978-3-319-07959-2\_31},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wea/GlantzMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DerevenetcM14,
author = {Egor Derevenetc and
Roland Meyer},
title = {Robustness against Power is PSPACE-complete},
journal = {CoRR},
volume = {abs/1404.7092},
year = {2014},
url = {http://arxiv.org/abs/1404.7092},
eprinttype = {arXiv},
eprint = {1404.7092},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DerevenetcM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GlantzMN14,
author = {Roland Glantz and
Henning Meyerhenke and
Alexander Noe},
title = {Algorithms for Mapping Parallel Processes onto Grid and Torus Architectures},
journal = {CoRR},
volume = {abs/1411.0921},
year = {2014},
url = {http://arxiv.org/abs/1411.0921},
eprinttype = {arXiv},
eprint = {1411.0921},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GlantzMN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GlantzMS14,
author = {Roland Glantz and
Henning Meyerhenke and
Christian Schulz},
title = {Tree-based Coarsening and Partitioning of Complex Networks},
journal = {CoRR},
volume = {abs/1402.2782},
year = {2014},
url = {http://arxiv.org/abs/1402.2782},
eprinttype = {arXiv},
eprint = {1402.2782},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GlantzMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KhomenkoMH13,
author = {Victor Khomenko and
Roland Meyer and
Reiner H{\"{u}}chting},
title = {A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:18)2013},
doi = {10.2168/LMCS-9(3:18)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KhomenkoMH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamjo/HerzogMW13,
author = {Roland Herzog and
Christian Meyer and
Gerd Wachsmuth},
title = {{B-} and Strong Stationarity for Optimal Control of Static Plasticity
with Hardening},
journal = {{SIAM} J. Optim.},
volume = {23},
number = {1},
pages = {321--352},
year = {2013},
url = {https://doi.org/10.1137/110821147},
doi = {10.1137/110821147},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamjo/HerzogMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ciac/GlantzM13,
author = {Roland Glantz and
Henning Meyerhenke},
editor = {Paul G. Spirakis and
Maria J. Serna},
title = {Finding All Convex Cuts of a Plane Graph in Cubic Time},
booktitle = {Algorithms and Complexity, 8th International Conference, {CIAC} 2013,
Barcelona, Spain, May 22-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7878},
pages = {246--263},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38233-8\_21},
doi = {10.1007/978-3-642-38233-8\_21},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ciac/GlantzM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HuchtingMM13,
author = {Reiner H{\"{u}}chting and
Rupak Majumdar and
Roland Meyer},
editor = {Pedro R. D'Argenio and
Hern{\'{a}}n C. Melgratti},
title = {A Theory of Name Boundedness},
booktitle = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference,
{CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8052},
pages = {182--196},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40184-8\_14},
doi = {10.1007/978-3-642-40184-8\_14},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/HuchtingMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BouajjaniDM13,
author = {Ahmed Bouajjani and
Egor Derevenetc and
Roland Meyer},
editor = {Matthias Felleisen and
Philippa Gardner},
title = {Checking and Enforcing Robustness against {TSO}},
booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming,
{ESOP} 2013, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7792},
pages = {533--553},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37036-6\_29},
doi = {10.1007/978-3-642-37036-6\_29},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/BouajjaniDM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CalinDMM13,
author = {Georgel Calin and
Egor Derevenetc and
Rupak Majumdar and
Roland Meyer},
editor = {Anil Seth and
Nisheeth K. Vishnoi},
title = {A Theory of Partitioned Global Address Spaces},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2013, December 12-14, 2013,
Guwahati, India},
series = {LIPIcs},
volume = {24},
pages = {127--139},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2013.127},
doi = {10.4230/LIPICS.FSTTCS.2013.127},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/CalinDMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/MajumdarMW13,
author = {Rupak Majumdar and
Roland Meyer and
Zilong Wang},
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {Provenance Verification},
booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {21--22},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9\_3},
doi = {10.1007/978-3-642-41036-9\_3},
timestamp = {Tue, 15 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/MajumdarMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/MajumdarMW13,
author = {Rupak Majumdar and
Roland Meyer and
Zilong Wang},
editor = {Francesco Logozzo and
Manuel F{\"{a}}hndrich},
title = {Static Provenance Verification for Message Passing Programs},
booktitle = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
WA, USA, June 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7935},
pages = {366--387},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38856-9\_20},
doi = {10.1007/978-3-642-38856-9\_20},
timestamp = {Tue, 15 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/MajumdarMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CalinDMM13,
author = {Georgel Calin and
Egor Derevenetc and
Rupak Majumdar and
Roland Meyer},
title = {A Theory of Partitioned Global Address Spaces},
journal = {CoRR},
volume = {abs/1307.6590},
year = {2013},
url = {http://arxiv.org/abs/1307.6590},
eprinttype = {arXiv},
eprint = {1307.6590},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CalinDMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-4349,
author = {Roland Glantz and
Henning Meyerhenke},
title = {Finding all Convex Cuts of a Plane Graph in Cubic Time},
journal = {CoRR},
volume = {abs/1303.4349},
year = {2013},
url = {http://arxiv.org/abs/1303.4349},
eprinttype = {arXiv},
eprint = {1303.4349},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-4349.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-2972,
author = {Philippe Darondeau and
St{\'{e}}phane Demri and
Roland Meyer and
Christophe Morvan},
title = {Petri Net Reachability Graphs: Decidability Status of First Order
Properties},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {4},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(4:9)2012},
doi = {10.2168/LMCS-8(4:9)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2972.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jocn/WuergerPLCRM12,
author = {Sophie M. Wuerger and
Laura M. Parkes and
Penelope A. Lewis and
Alex Crocker{-}Buque and
Roland Marcus Rutschmann and
Georg F. Meyer},
title = {Premotor Cortex Is Sensitive to Auditory-Visual Congruence for Biological
Motion},
journal = {J. Cogn. Neurosci.},
volume = {24},
number = {3},
pages = {575--587},
year = {2012},
url = {https://doi.org/10.1162/jocn\_a\_00173},
doi = {10.1162/JOCN\_A\_00173},
timestamp = {Tue, 05 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jocn/WuergerPLCRM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamco/HerzogMW12,
author = {Roland Herzog and
Christian Meyer and
Gerd Wachsmuth},
title = {C-Stationarity for Optimal Control of Static Plasticity with Linear
Kinematic Hardening},
journal = {{SIAM} J. Control. Optim.},
volume = {50},
number = {5},
pages = {3052--3082},
year = {2012},
url = {https://doi.org/10.1137/100809325},
doi = {10.1137/100809325},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamco/HerzogMW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/StraznyM12,
author = {Tim Strazny and
Roland Meyer},
editor = {Jens Brandt and
Keijo Heljanko},
title = {An Algorithmic Framework for Coverability in Well-Structured Systems},
booktitle = {12th International Conference on Application of Concurrency to System
Design, {ACSD} 2012, Hamburg, Germany, June 27-29, 2012},
pages = {173--182},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ACSD.2012.26},
doi = {10.1109/ACSD.2012.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/StraznyM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MeyerKH12,
author = {Roland Meyer and
Victor Khomenko and
Reiner H{\"{u}}chting},
editor = {Maciej Koutny and
Irek Ulidowski},
title = {A Polynomial Translation of {\(\pi\)}-Calculus {(FCP)} to Safe Petri
Nets},
booktitle = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
{CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7454},
pages = {440--455},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32940-1\_31},
doi = {10.1007/978-3-642-32940-1\_31},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/MeyerKH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LongCMM12,
author = {Zhenyue Long and
Georgel Calin and
Rupak Majumdar and
Roland Meyer},
editor = {Juan de Lara and
Andrea Zisman},
title = {Language-Theoretic Abstraction Refinement},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {362--376},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_25},
doi = {10.1007/978-3-642-28872-2\_25},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/LongCMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miccai/SchaferMBSE12,
author = {Dirk Sch{\"{a}}fer and
Carsten Meyer and
Roland Bullens and
Axel Saalbach and
Peter Eshuis},
editor = {Nicholas Ayache and
Herv{\'{e}} Delingette and
Polina Golland and
Kensaku Mori},
title = {Limited Angle C-Arm Tomography and Segmentation for Guidance of Atrial
Fibrillation Ablation Procedures},
booktitle = {Medical Image Computing and Computer-Assisted Intervention - {MICCAI}
2012 - 15th International Conference, Nice, France, October 1-5, 2012,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7510},
pages = {634--641},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33415-3\_78},
doi = {10.1007/978-3-642-33415-3\_78},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/miccai/SchaferMBSE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-6152,
author = {Ahmed Bouajjani and
Egor Derevenetc and
Roland Meyer},
title = {Robustness Checking against {TSO:} Attacks and Defence},
journal = {CoRR},
volume = {abs/1208.6152},
year = {2012},
url = {http://arxiv.org/abs/1208.6152},
eprinttype = {arXiv},
eprint = {1208.6152},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-6152.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijat/DenkenaKMS11,
author = {Berend Denkena and
Jens K{\"{o}}hler and
Roland Meyer and
Hendrik Stiffel},
title = {Modification of the Tool-Workpiece Contact Conditions to Influence
the Tool Wear and Workpiece Loading During Hard Turning},
journal = {Int. J. Autom. Technol.},
volume = {5},
number = {3},
pages = {353--361},
year = {2011},
url = {https://doi.org/10.20965/ijat.2011.p0353},
doi = {10.20965/IJAT.2011.P0353},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijat/DenkenaKMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/peng/LarekBMPH11,
author = {Roland Larek and
Ekkard Brinksmeier and
Daniel Meyer and
Thorsten Pawletta and
Olaf Hagendorf},
title = {A discrete-event simulation approach to predict power consumption
in machining processes},
journal = {Prod. Eng.},
volume = {5},
number = {5},
pages = {575--579},
year = {2011},
url = {https://doi.org/10.1007/s11740-011-0333-y},
doi = {10.1007/S11740-011-0333-Y},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/peng/LarekBMPH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DarondeauDMM11,
author = {Philippe Darondeau and
St{\'{e}}phane Demri and
Roland Meyer and
Christophe Morvan},
editor = {Supratik Chakraborty and
Amit Kumar},
title = {Petri Net Reachability Graphs: Decidability Status of {FO} Properties},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2011, December 12-14, 2011,
Mumbai, India},
series = {LIPIcs},
volume = {13},
pages = {140--151},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2011.140},
doi = {10.4230/LIPICS.FSTTCS.2011.140},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/DarondeauDMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BouajjaniMM11,
author = {Ahmed Bouajjani and
Roland Meyer and
Eike M{\"{o}}hlmann},
editor = {Luca Aceto and
Monika Henzinger and
Jir{\'{\i}} Sgall},
title = {Deciding Robustness against Total Store Ordering},
booktitle = {Automata, Languages and Programming - 38th International Colloquium,
{ICALP} 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6756},
pages = {428--440},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22012-8\_34},
doi = {10.1007/978-3-642-22012-8\_34},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BouajjaniMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MeyerS10,
author = {Roland Meyer and
Tim Strazny},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Petruchio: From Dynamic Networks to Nets},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {175--179},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_19},
doi = {10.1007/978-3-642-14295-6\_19},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/MeyerS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HoenickeMO10,
author = {Jochen Hoenicke and
Roland Meyer and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Paul Gastin and
Fran{\c{c}}ois Laroussinie},
title = {Kleene, Rabin, and Scott Are Available},
booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
{CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6269},
pages = {462--477},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15375-4\_32},
doi = {10.1007/978-3-642-15375-4\_32},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/HoenickeMO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HabermehlMW10,
author = {Peter Habermehl and
Roland Meyer and
Harro Wimmel},
editor = {Samson Abramsky and
Cyril Gavoille and
Claude Kirchner and
Friedhelm Meyer auf der Heide and
Paul G. Spirakis},
title = {The Downward-Closure of Petri Net Languages},
booktitle = {Automata, Languages and Programming, 37th International Colloquium,
{ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6199},
pages = {466--477},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14162-1\_39},
doi = {10.1007/978-3-642-14162-1\_39},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HabermehlMW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Meyer2009c,
author = {Roland Meyer},
title = {Structural stationarity in the {\(\pi\)}-calculus},
school = {University of Oldenburg, Germany},
year = {2009},
url = {https://d-nb.info/999933256},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Meyer2009c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Meyer09,
author = {Roland Meyer},
title = {A theory of structural stationarity in the \emph{pi} -Calculus},
journal = {Acta Informatica},
volume = {46},
number = {2},
pages = {87--137},
year = {2009},
url = {https://doi.org/10.1007/s00236-009-0091-x},
doi = {10.1007/S00236-009-0091-X},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Meyer09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MeyerKS09,
author = {Roland Meyer and
Victor Khomenko and
Tim Strazny},
title = {A Practical Approach to Verification of Mobile Systems Using Net Unfoldings},
journal = {Fundam. Informaticae},
volume = {94},
number = {3-4},
pages = {439--471},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-138},
doi = {10.3233/FI-2009-138},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MeyerKS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/BandaraSEBM09,
author = {Samuel Bandara and
Johannes P. Schl{\"{o}}der and
Roland Eils and
Hans Georg Bock and
Tobias Meyer},
title = {Optimal Experimental Design for Parameter Estimation of a Cell Signaling
Model},
journal = {PLoS Comput. Biol.},
volume = {5},
number = {11},
year = {2009},
url = {https://doi.org/10.1371/journal.pcbi.1000558},
doi = {10.1371/JOURNAL.PCBI.1000558},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ploscb/BandaraSEBM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/KhomenkoM09,
author = {Victor Khomenko and
Roland Meyer},
title = {Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete},
booktitle = {Ninth International Conference on Application of Concurrency to System
Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
pages = {70--79},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ACSD.2009.8},
doi = {10.1109/ACSD.2009.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/KhomenkoM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MeyerG09,
author = {Roland Meyer and
Roberto Gorrieri},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {On the Relationship between {\(\pi\)}-Calculus and Finite Place/Transition
Petri Nets},
booktitle = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference,
{CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5710},
pages = {463--480},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04081-8\_31},
doi = {10.1007/978-3-642-04081-8\_31},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/MeyerG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/huc/HarmsATAMM09,
author = {Holger Harms and
Oliver Amft and
Gerhard Tr{\"{o}}ster and
Mirjam Appert and
Roland M{\"{u}}ller and
Andreas Meyer{-}Heim},
editor = {Sumi Helal and
Hans Gellersen and
Sunny Consolvo},
title = {Wearable therapist: sensing garments for supporting children improve
posture},
booktitle = {UbiComp 2009: Ubiquitous Computing, 11th International Conference,
UbiComp 2009, Orlando, Florida, USA, September 30 - October 3, 2009,
Proceedings},
series = {{ACM} International Conference Proceeding Series},
pages = {85--88},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1620545.1620558},
doi = {10.1145/1620545.1620558},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/huc/HarmsATAMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/gi/Meyer09,
author = {Roland Meyer},
editor = {Abraham Bernstein and
Steffen H{\"{o}}lldobler and
G{\"{u}}nter Hotz and
Klaus{-}Peter L{\"{o}}hr and
Paul Molitor and
Gustaf Neumann and
R{\"{u}}diger Reischuk and
Dietmar Saupe and
Myra Spiliopoulou and
Harald St{\"{o}}rrle and
Dorothea Wagner},
title = {Strukturelle Stationarit{\"{a}}t},
booktitle = {Ausgezeichnete Informatikdissertationen 2009},
series = {{LNI}},
volume = {{D-10}},
pages = {141--150},
publisher = {{GI}},
year = {2009},
url = {https://dl.gi.de/handle/20.500.12116/33663},
timestamp = {Tue, 04 Jul 2023 17:43:57 +0200},
biburl = {https://dblp.org/rec/conf/gi/Meyer09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MeyerFHR08,
author = {Roland Meyer and
Johannes Faber and
Jochen Hoenicke and
Andrey Rybalchenko},
title = {Model checking Duration Calculus: a practical approach},
journal = {Formal Aspects Comput.},
volume = {20},
number = {4-5},
pages = {481--505},
year = {2008},
url = {https://doi.org/10.1007/s00165-008-0082-7},
doi = {10.1007/S00165-008-0082-7},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MeyerFHR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/JannWHMBMSDK08,
author = {Kay Jann and
Roland Wiest and
Martinus Hauf and
Klaus Meyer and
Chris Boesch and
Johannes Mathis and
Gerhard Schroth and
Thomas Dierks and
Thomas Koenig},
title = {{BOLD} correlates of continuously fluctuating epileptic activity isolated
by independent component analysis},
journal = {NeuroImage},
volume = {42},
number = {2},
pages = {635--648},
year = {2008},
url = {https://doi.org/10.1016/j.neuroimage.2008.05.001},
doi = {10.1016/J.NEUROIMAGE.2008.05.001},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/neuroimage/JannWHMBMSDK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/peng/DenkenaBM08,
author = {Berend Denkena and
David Boehnke and
Roland Meyer},
title = {Reduction of wear induced surface zone effects during hard turning
by means of new tool geometries},
journal = {Prod. Eng.},
volume = {2},
number = {2},
pages = {123--132},
year = {2008},
url = {https://doi.org/10.1007/s11740-008-0089-1},
doi = {10.1007/S11740-008-0089-1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/peng/DenkenaBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MeyerKS08,
author = {Roland Meyer and
Victor Khomenko and
Tim Strazny},
editor = {Kees M. van Hee and
R{\"{u}}diger Valk},
title = {A Practical Approach to Verification of Mobile Systems Using Net Unfoldings},
booktitle = {Applications and Theory of Petri Nets, 29th International Conference,
{PETRI} {NETS} 2008, Xi'an, China, June 23-27, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5062},
pages = {327--347},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68746-7\_22},
doi = {10.1007/978-3-540-68746-7\_22},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/MeyerKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/Meyer08,
author = {Roland Meyer},
editor = {Giorgio Ausiello and
Juhani Karhum{\"{a}}ki and
Giancarlo Mauri and
C.{-}H. Luke Ong},
title = {On Boundedness in Depth in the pi-Calculus},
booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science
- {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations
of Computer Science, September 7-10, 2008, Milano, Italy},
series = {{IFIP}},
volume = {273},
pages = {477--489},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-09680-3\_32},
doi = {10.1007/978-0-387-09680-3\_32},
timestamp = {Fri, 27 Sep 2019 10:35:17 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/Meyer08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mansci/VereeckeDM06,
author = {Ann Vereecke and
Roland Van Dierdonck and
Arnoud De Meyer},
title = {A Typology of Plants in Global Manufacturing Networks},
journal = {Manag. Sci.},
volume = {52},
number = {11},
pages = {1737--1750},
year = {2006},
url = {https://doi.org/10.1287/mnsc.1060.0582},
doi = {10.1287/MNSC.1060.0582},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mansci/VereeckeDM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BeckerHPBKPDLRWGMSHMW06,
author = {Steffen Becker and
Wilhelm Hasselbring and
Alexandra Paul and
Marko Boskovic and
Heiko Koziolek and
Jan Ploski and
Abhishek Dhama and
Henrik Lipskoch and
Matthias Rohr and
Daniel Winteler and
Simon Giesecke and
Roland Meyer and
Mani Swaminathan and
Jens Happe and
Margarete Muhle and
Timo Warns},
title = {Trustworthy software systems: a discussion of basic concepts and terminology},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {31},
number = {6},
pages = {1--18},
year = {2006},
url = {https://doi.org/10.1145/1218776.1218781},
doi = {10.1145/1218776.1218781},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/BeckerHPBKPDLRWGMSHMW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/FaberM06,
author = {Johannes Faber and
Roland Meyer},
title = {Model Checking Data-Dependent Real-Time Properties of the European
Train Control System},
booktitle = {Formal Methods in Computer-Aided Design, 6th International Conference,
{FMCAD} 2006, San Jose, California, USA, November 12-16, 2006, Proceedings},
pages = {76--77},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/FMCAD.2006.21},
doi = {10.1109/FMCAD.2006.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/FaberM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/MeyerFR06,
author = {Roland Meyer and
Johannes Faber and
Andrey Rybalchenko},
editor = {Kamel Barkaoui and
Ana Cavalcanti and
Antonio Cerone},
title = {Model Checking Duration Calculus: {A} Practical Approach},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2006, Third International
Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4281},
pages = {332--346},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11921240\_23},
doi = {10.1007/11921240\_23},
timestamp = {Mon, 21 Feb 2022 14:40:49 +0100},
biburl = {https://dblp.org/rec/conf/ictac/MeyerFR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/EichnerFMSS05,
author = {Christoph Eichner and
Hans Fleischhack and
Roland Meyer and
Ulrik Schrimpf and
Christian Stehno},
editor = {Andreas Prinz and
Rick Reed and
Jeanne Reed},
title = {Compositional Semantics for {UML} 2.0 Sequence Diagrams Using Petri
Nets},
booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad,
Norway, June 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3530},
pages = {133--148},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11506843\_9},
doi = {10.1007/11506843\_9},
timestamp = {Wed, 25 Sep 2019 18:02:25 +0200},
biburl = {https://dblp.org/rec/conf/sdl/EichnerFMSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tip/RajpootWMC03,
author = {Nasir M. Rajpoot and
Roland G. Wilson and
Fran{\c{c}}ois G. Meyer and
Ronald R. Coifman},
title = {Adaptive wavelet packet basis selection for zerotree image coding},
journal = {{IEEE} Trans. Image Process.},
volume = {12},
number = {12},
pages = {1460--1472},
year = {2003},
url = {https://doi.org/10.1109/TIP.2003.818115},
doi = {10.1109/TIP.2003.818115},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tip/RajpootWMC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icip/RajpootMWC01,
author = {Nasir M. Rajpoot and
Fran{\c{c}}ois G. Meyer and
Roland G. Wilson and
Ronald R. Coifman},
title = {A new basis selection paradigm for wavelet packet image coding},
booktitle = {Proceedings of the 2001 International Conference on Image Processing,
{ICIP} 2001, Thessaloniki, Greece, October 7-10, 2001},
pages = {816--819},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/ICIP.2001.958245},
doi = {10.1109/ICIP.2001.958245},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/icip/RajpootMWC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismir/ClausenEMS00,
author = {Michael Clausen and
Roland Engelbrecht and
Dirk Meyer and
J{\"{u}}rgen Schmitz},
title = {{PROMS:} {A} Web-based Tool for Searching in Polyphonic Music},
booktitle = {{ISMIR} 2000, 1st International Symposium on Music Information Retrieval,
Plymouth, Massachusetts, USA, October 23-25, 2000, Proceedings},
year = {2000},
url = {http://ismir2000.ismir.net/papers/clausen\_abs.pdf},
timestamp = {Tue, 09 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismir/ClausenEMS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icip/RajpootMWC99,
author = {Nasir M. Rajpoot and
Fran{\c{c}}ois G. Meyer and
Roland G. Wilson and
Ronald R. Coifman},
title = {On Zerotree Quantization for Embedded Wavelet Packet Image Coding},
booktitle = {Proceedings of the 1999 International Conference on Image Processing,
{ICIP} '99, Kobe, Japan, October 24-28, 1999},
pages = {283--287},
publisher = {{IEEE}},
year = {1999},
url = {https://doi.org/10.1109/ICIP.1999.822901},
doi = {10.1109/ICIP.1999.822901},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/icip/RajpootMWC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-07-17 16:38 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
