Zobrazeno 1 - 10
of 15
pro vyhledávání: '"van der Wall, Sören"'
Autor:
van der Wall, Sören, Meyer, Roland
We address the problem of preserving non-interference across compiler transformations under speculative semantics. We develop a proof method that ensures the preservation uniformly across all source programs. The basis of our proof method is a new fo
Externí odkaz:
http://arxiv.org/abs/2407.15080
We propose urgency programs, a new programming model with support for alternation, imperfect information, and recursion. The novelty are urgency annotations that decorate the (angelic and demonic) choice operators and control the order in which alter
Externí odkaz:
http://arxiv.org/abs/2305.02967
Autor:
Becker, Mike, Meyer, Roland, Runge, Tobias, Schaefer, Ina, van der Wall, Sören, Wolff, Sebastian
Intensive testing using model-based approaches is the standard way of demonstrating the correctness of automotive software. Unfortunately, state-of-the-art techniques leave a crucial and labor intensive task to the test engineer: identifying bugs in
Externí odkaz:
http://arxiv.org/abs/2208.14290
We propose a new programming model with support for alternation, imperfect information, and recursion. We model imperfect information with the novel programming construct of urgency annotations that decorate the (angelic and~demonic) choice operators
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5b9eeda035b9422da309f95d9bd2522d
Autor:
Meyer, Roland, van der Wall, Sören
We study the influence of parameters like the number of contexts, phases, and stacks on the complexity of solving parity games over concurrent recursive programs. Our first result shows that k-context games are b-EXPTIME-complete, where b = max{k-2,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3c4e91df2ddd7bc5ccf02fb8037bcf50
Autor:
Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctor
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. The 30 f
Autor:
Bernd Finkbeiner, Thomas Wies
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume wer
Autor:
Ilya Sergey
This book constitutes the proceedings of the 20th Asian Symposium on Programming Languages and Systems, APLAS 2022, held in Auckland, New Zealand, in December 2022.The 10 papers presented in this volume were carefully reviewed and selected from 22 su
Autor:
Didier Buchs, Josep Carmona
This book constitutes the proceedings of the 42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, which was held virtually in June 2021.The 22 full papers presented together with 2 keynote papers in