R
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
CONCUR
1990
2001
2012
2023
1990
2023
Keyphrases
Publications
2023
Michal Ajdarów
,
Antonín Kucera
Asymptotic Complexity Estimates for Probabilistic Programs and Their VASS Abstractions.
CONCUR
(2023)
Shankara Narayanan Krishna
,
Khushraj Nanik Madnani
,
Rupak Majumdar
,
Paritosh K. Pandya
Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete.
CONCUR
(2023)
Sougata Bose
,
David Purser
,
Patrick Totzke
History-Deterministic Vector Addition Systems.
CONCUR
(2023)
Bengt Jonsson
,
Marta Kwiatkowska
,
Igor Walukiewicz
CONCUR Test-Of-Time Award 2023 (Invited Paper).
CONCUR
(2023)
Sven Schewe
,
Qiyi Tang
,
Tansholpan Zhanabekova
Deciding What Is Good-For-MDPs.
CONCUR
(2023)
Ezio Bartocci
,
Thomas A. Henzinger
,
Dejan Nickovic
,
Ana Oliveira da Costa
Hypernode Automata.
CONCUR
(2023)
Myrthe S. C. Spronck
,
Bas Luttik
Process-Algebraic Models of Multi-Writer Multi-Reader Non-Atomic Registers.
CONCUR
(2023)
Eren Keskin
,
Roland Meyer
Separability and Non-Determinizability of WSTS.
CONCUR
(2023)
Jesús Domínguez
,
Aleksandar Nanevski
Visibility and Separability for a Declarative Linearizability Proof of the Timestamped Stack.
CONCUR
(2023)
Gil Silva
,
Andreia Mordido
,
Vasco T. Vasconcelos
Subtyping Context-Free Session Types.
CONCUR
(2023)
Front Matter, Table of Contents, Preface, Conference Organization.
CONCUR
(2023)
Hagit Attiya
,
Constantin Enea
,
Shafik Nassar
Faithful Simulation of Randomized BFT Protocols on Block DAGs.
CONCUR
(2023)
Ahmed Bouajjani
On Verifying Concurrent Programs Under Weakly Consistent Models (Invited Talk).
CONCUR
(2023)
Jan Martens
,
Jan Friso Groote
Computing Minimal Distinguishing Hennessy-Milner Formulas is NP-Hard, but Variants are Tractable.
CONCUR
(2023)
Omri Isac
,
Yoni Zohar
,
Clark W. Barrett
,
Guy Katz
DNN Verification, Reachability, and the Exponential Function Problem.
CONCUR
(2023)
Tiange Liu
,
Alwen Tiu
,
Jim de Groot
Modal Logics for Mobile Processes Revisited.
CONCUR
(2023)
Stéphane Demri
,
Karin Quaas
Constraint Automata on Infinite Data Trees: from CTL(ℤ)/ CTL^*}(ℤ) to Decision Procedures.
CONCUR
(2023)
Udi Boker
,
Thomas A. Henzinger
,
Nicolas Mazzocchi
,
N. Ege Saraç
Safety and Liveness of Quantitative Automata.
CONCUR
(2023)
Lucie Guillou
,
Arnaud Sangnier
,
Nathalie Sznajder
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous.
CONCUR
(2023)
Christoph Haase
,
Radoslaw Piórkowski
Universal Quantification Makes Automatic Structures Hard to Decide.
CONCUR
(2023)
Yong Li
,
Sven Schewe
,
Moshe Y. Vardi
Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata.
CONCUR
(2023)
Azalea Raad
,
Julien Vanegue
,
Josh Berdine
,
Peter W. O'Hearn
A General Approach to Under-Approximate Reasoning About Concurrent Programs.
CONCUR
(2023)
Ashwani Anand
,
Georg Zetzsche
Priority Downward Closures.
CONCUR
(2023)
Clément Bertrand
,
Cinzia Di Giusto
,
Hanna Klaudel
,
Damien Regnault
Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata.
CONCUR
(2023)
Pascal Baumann
,
Khushraj Madnani
,
Filip Mazowiecki
,
Georg Zetzsche
Monus Semantics in Vector Addition Systems with States.
CONCUR
(2023)
Anna Schmitt
,
Kirstin Peters
Probabilistic Operational Correspondence.
CONCUR
(2023)
Petr Jancar
,
Jérôme Leroux
The Semilinear Home-Space Problem Is Ackermann-Complete for Petri Nets.
CONCUR
(2023)
P. H. M. van Spaendonck
,
Tim A. C. Willemse
The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing.
CONCUR
(2023)
Guy Avni
,
Pranav Ghorpade
,
Shibashis Guha
A Game of Pawns.
CONCUR
(2023)
Jan Friso Groote
,
Tim A. C. Willemse
Real Equation Systems with Alternating Fixed-Points.
CONCUR
(2023)
Ugo Dal Lago
,
Maurizio Murgia
Contextual Behavioural Metrics.
CONCUR
(2023)
Alain Finkel
,
Serge Haddad
,
Lina Ye
About Decisiveness of Dynamic Probabilistic Models.
CONCUR
(2023)
Alessandro Abate
,
Alec Edwards
,
Mirco Giacobbe
,
Hashan Punchihewa
,
Diptarko Roy
Quantitative Verification with Neural Networks.
CONCUR
(2023)
Jakub Michaliszyn
,
Jan Otop
,
Piotr Wieczorek
Reachability and Bounded Emptiness Problems of Constraint Automata with Prefix, Suffix and Infix.
CONCUR
(2023)
Åsmund Aqissiaq Arild Kløvstad
,
Eduard Kamburjan
,
Einar Broch Johnsen
Compositional Correctness and Completeness for Symbolic Partial Order Reduction.
CONCUR
(2023)
Radu Iosif
,
Florian Zuleger
Expressiveness Results for an Inductive Logic of Separated Relations.
CONCUR
(2023)
Enzo Erlich
,
Shibashis Guha
,
Ismaël Jecker
,
Karoliina Lehtinen
,
Martin Zimmermann
History-Deterministic Parikh Automata.
CONCUR
(2023)
Orna Kupferman
,
Noam Shenwald
Games with Trading of Control.
CONCUR
(2023)
Corto Mascle
,
Anca Muscholl
,
Igor Walukiewicz
Model-Checking Parametric Lock-Sharing Systems Against Regular Constraints.
CONCUR
(2023)
Roland Guttenberg
,
Mikhail A. Raskin
,
Javier Esparza
Geometry of Reachability Sets of Vector Addition Systems.
CONCUR
(2023)
volume 279, 2023
34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium
CONCUR
279 (2023)
2022
Ugo Dal Lago
,
Giulia Giusti
On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments.
CONCUR
(2022)
Marius Bozga
,
Lucas Bueri
,
Radu Iosif
On an Invariance Problem for Parameterized Concurrent Systems.
CONCUR
(2022)
Javier Esparza
,
Mikhail A. Raskin
,
Christoph Welzel
Regular Model Checking Upside-Down: An Invariant-Based Approach.
CONCUR
(2022)
Kush Grover
,
Jan Kretínský
,
Tobias Meggendorfer
,
Maximilian Weininger
Anytime Guarantees for Reachability in Uncountable Markov Decision Processes.
CONCUR
(2022)
Patricia Bouyer
,
Antonio Casares
,
Mickael Randour
,
Pierre Vandenhove
Half-Positional Objectives Recognized by Deterministic Büchi Automata.
CONCUR
(2022)
Jiarui Gan
,
Rupak Majumdar
,
Goran Radanovic
,
Adish Singla
Sequential Decision Making With Information Asymmetry (Invited Talk).
CONCUR
(2022)
Christel Baier
,
Florian Funke
,
Simon Jantsch
,
Toghrul Karimov
,
Engel Lefaucheux
,
Joël Ouaknine
,
David Purser
,
Markus A. Whiteland
,
James Worrell
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications.
CONCUR
(2022)
Véronique Bruyère
,
Jean-François Raskin
,
Clément Tamines
Pareto-Rational Verification.
CONCUR
(2022)
volume 243, 2022
33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland.
CONCUR
243 (2022)