Taming the Infinities of Concurrency

Keyphrases

Publications

2024

Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
Memoryless Strategies in Stochastic Reachability Games. Taming the Infinities of Concurrency (2024)
Simon Beier, Markus Holzer
. Taming the Infinities of Concurrency (2024)
Rebecca Bernemann, Barbara König, Matthias Schaffeld, Torben Weis
Hidden Markov Models with Unobservable Transitions. Taming the Infinities of Concurrency (2024)
Kyveli Doveri, Pierre Ganty, Chana Weil-Kennedy
A Uniform Framework for Language Inclusion Problems. Taming the Infinities of Concurrency (2024)
Ahmed Bouajjani
On Verifying Concurrent Programs Under Weak Consistency Models: Decidability and Complexity. Taming the Infinities of Concurrency (2024)
Ravid Alon, Orna Kupferman
Restricted Flow Games. Taming the Infinities of Concurrency (2024)
Tobias Nipkow
Region Quadtrees Verified. Taming the Infinities of Concurrency (2024)
Michael Luttenberger, Maximilian Schlund
Newton's Method - There and Back Again. Taming the Infinities of Concurrency (2024)
Petr Jancar, Jérôme Leroux
On the Home-Space Problem for Petri Nets. Taming the Infinities of Concurrency (2024)
Viktor Malík, Peter Schrammel, Tomás Vojnar
Template-Based Verification of Array-Manipulating Programs. Taming the Infinities of Concurrency (2024)
Tomás Brázdil
A Summary and Personal Perspective on Recent Advances in Privacy Risk Assessment in Digital Pathology Through Formal Methods. Taming the Infinities of Concurrency (2024)
Mrudula Balachander, Emmanuel Filiot, Jean-François Raskin
SynthLearn: A Tool for Guided Reactive Synthesis. Taming the Infinities of Concurrency (2024)
Eike Best, Raymond R. Devillers
Coverability in Well-Formed Free-Choice Petri Nets. Taming the Infinities of Concurrency (2024)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankara Narayanan Krishna, Mihir Vahanwala
Fairness and Liveness Under Weak Consistency. Taming the Infinities of Concurrency (2024)
Helmut Seidl, Julian Erhard, Michael Schwarz, Sarah Tilscher
2-Pointer Logic. Taming the Infinities of Concurrency (2024)
Peter Rossmanith
for General Context Free Grammars. Taming the Infinities of Concurrency (2024)

volume 14660, 2024

Taming the Infinities of Concurrency - Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday Taming the Infinities of Concurrency 14660 (2024)