| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa |
Hypernode Automata.  |
CONCUR  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Avni, Pranav Ghorpade, Shibashis Guha |
A Game of Pawns. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Finkel, Serge Haddad, Lina Ye |
About Decisiveness of Dynamic Probabilistic Models. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson 0001, Marta Kwiatkowska, Igor Walukiewicz |
CONCUR Test-Of-Time Award 2023 (Invited Paper). |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | P. H. M. van Spaendonck, Tim A. C. Willemse |
The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Schewe, Qiyi Tang 0001, Tansholpan Zhanabekova |
Deciding What Is Good-For-MDPs. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sougata Bose, David Purser, Patrick Totzke |
History-Deterministic Vector Addition Systems. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Guttenberg, Mikhail A. Raskin, Javier Esparza |
Geometry of Reachability Sets of Vector Addition Systems. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy |
Quantitative Verification with Neural Networks. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Corto Mascle, Anca Muscholl, Igor Walukiewicz |
Model-Checking Parametric Lock-Sharing Systems Against Regular Constraints. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Baumann 0001, Khushraj Madnani, Filip Mazowiecki, Georg Zetzsche |
Monus Semantics in Vector Addition Systems with States. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Clément Bertrand, Cinzia Di Giusto, Hanna Klaudel, Damien Regnault |
Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashwani Anand, Georg Zetzsche |
Priority Downward Closures. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Noam Shenwald |
Games with Trading of Control. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Gil Silva 0002, Andreia Mordido, Vasco T. Vasconcelos |
Subtyping Context-Free Session Types. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Li 0031, Sven Schewe, Moshe Y. Vardi |
Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Eren Keskin, Roland Meyer 0001 |
Separability and Non-Determinizability of WSTS. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Domínguez, Aleksandar Nanevski |
Visibility and Separability for a Declarative Linearizability Proof of the Timestamped Stack. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder |
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Schmitt 0002, Kirstin Peters |
Probabilistic Operational Correspondence. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Constantin Enea, Shafik Nassar |
Faithful Simulation of Randomized BFT Protocols on Block DAGs. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Haase, Radoslaw Piórkowski |
Universal Quantification Makes Automatic Structures Hard to Decide. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Azalea Raad, Julien Vanegue, Josh Berdine, Peter W. O'Hearn |
A General Approach to Under-Approximate Reasoning About Concurrent Programs. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Enzo Erlich, Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann 0002 |
History-Deterministic Parikh Automata. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Demri, Karin Quaas |
Constraint Automata on Infinite Data Trees: from CTL(ℤ)/ CTL^*}(ℤ) to Decision Procedures. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Myrthe S. C. Spronck, Bas Luttik |
Process-Algebraic Models of Multi-Writer Multi-Reader Non-Atomic Registers. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillermo A. Pérez 0001, Jean-François Raskin (eds.) |
34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium |
CONCUR |
2023 |
DBLP BibTeX RDF |
|
| 1 | Michal Ajdarów, Antonín Kucera 0001 |
Asymptotic Complexity Estimates for Probabilistic Programs and Their VASS Abstractions. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Iosif, Florian Zuleger |
Expressiveness Results for an Inductive Logic of Separated Relations. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiange Liu, Alwen Tiu, Jim de Groot |
Modal Logics for Mobile Processes Revisited. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Omri Isac, Yoni Zohar, Clark W. Barrett, Guy Katz |
DNN Verification, Reachability, and the Exponential Function Problem. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakub Michaliszyn, Jan Otop, Piotr Wieczorek |
Reachability and Bounded Emptiness Problems of Constraint Automata with Prefix, Suffix and Infix. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Åsmund Aqissiaq Arild Kløvstad, Eduard Kamburjan, Einar Broch Johnsen |
Compositional Correctness and Completeness for Symbolic Partial Order Reduction. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç |
Safety and Liveness of Quantitative Automata. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Jancar, Jérôme Leroux |
The Semilinear Home-Space Problem Is Ackermann-Complete for Petri Nets. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani |
On Verifying Concurrent Programs Under Weakly Consistent Models (Invited Talk). |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Tim A. C. Willemse |
Real Equation Systems with Alternating Fixed-Points. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Maurizio Murgia 0001 |
Contextual Behavioural Metrics. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Martens 0001, Jan Friso Groote |
Computing Minimal Distinguishing Hennessy-Milner Formulas is NP-Hard, but Variants are Tractable. |
CONCUR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Florian Funke 0002, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell 0001 |
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove |
Half-Positional Objectives Recognized by Deterministic Büchi Automata. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiarui Gan, Rupak Majumdar, Goran Radanovic, Adish Singla |
Sequential Decision Making With Information Asymmetry (Invited Talk). |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Czerwinski, Piotr Hofman |
Language Inclusion for Boundedly-Ambiguous Vector Addition Systems Is Decidable. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Mikhail A. Raskin, Christoph Welzel |
Regular Model Checking Upside-Down: An Invariant-Based Approach. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Bozga, Lucas Bueri, Radu Iosif |
On an Invariance Problem for Parameterized Concurrent Systems. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Giulia Giusti |
On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger |
Anytime Guarantees for Reachability in Uncountable Markov Decision Processes. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Bruyère, Jean-François Raskin, Clément Tamines |
Pareto-Rational Verification. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Rajsbaum |
Distributed Decision Problems: Concurrent Specifications Beyond Binary Relations (Invited Talk). |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilaria Castellani, Paul Gastin, Orna Kupferman, Mickael Randour, Davide Sangiorgi |
CONCUR Test-Of-Time Award 2022 (Invited Paper). |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Damien Pous, Jana Wagemaker |
Completeness Theorems for Kleene Algebra with Top. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik |
On the Axiomatisation of Branching Bisimulation Congruence over CCS. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar Darwin, Stefan Kiefer |
On the Sequential Probability Ratio Test in Hidden Markov Models. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ira Fesefeldt, Joost-Pieter Katoen, Thomas Noll 0001 |
Towards Concurrent Quantitative Separation Logic. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim |
Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Khomenko, Maciej Koutny, Alex Yakovlev |
Slimming down Petri Boxes: Compact Petri Net Models of Control Flows. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier |
Decidability of One-Clock Weighted Timed Games with Arbitrary Weights. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Edwin Hamel-De le Court |
Two-Player Boundedness Counter Games. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippa Gardner |
Concurrent Separation Logics: Logical Abstraction, Logical Atomicity and Environment Liveness Conditions (Invited Talk). |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Czerwinski |
Involved VASS Zoo (Invited Talk). |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Karoliina Lehtinen, Patrick Totzke |
History-Deterministic Timed Automata. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bharat Adsul, Paul Gastin, Saptarshi Sarkar 0001, Pascal Weil |
Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Naama Shamash Halevy |
Energy Games with Resource-Bounded Environments. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Akshay 0001, Paul Gastin, R. Govind 0001, B. Srivathsan |
Simulations for Event-Clock Automata. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaull Almagor, Shai Guendelman |
Concurrent Games with Multiple Topologies. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kiefer, Qiyi Tang 0001 |
Strategies for MDP Bisimilarity Equivalence and Inequivalence. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Clément Aubert, Ross Horne, Christian Johansen |
Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz |
Checking Timed Büchi Automata Emptiness Using the Local-Time Semantics. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bozzelli, Adriano Peron, César Sánchez 0001 |
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | A. R. Balasubramanian |
Complexity of Coverability in Depth-Bounded Processes. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski |
A Kleene Theorem for Higher-Dimensional Automata. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartek Klin, Slawomir Lasota 0001, Anca Muscholl (eds.) |
33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland. |
CONCUR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Alan Schmitt |
Non-Deterministic Abstract Machines. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaull Almagor, Asaf Yeshurun |
Determinization of One-Counter Nets. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou 0002 |
Generalised Multiparty Session Types with Crash-Stop Failures. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | James C. A. Main, Mickael Randour |
Different Strokes in Randomised Strategies: Revisiting Kuhn's Theorem Under Finite-Memory Assumptions. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Ciccone, Luca Padovani |
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti |
SMT-Based Model Checking of Max-Plus Linear Systems. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Raven Beutner, Bernd Finkbeiner |
A Temporal Logic for Strategic Hyperproperties. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kiefer, Pavel Semukhin, Cas Widdershoven |
Linear-Time Model Checking Branching Processes. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathalie Bertrand 0001, Luca de Alfaro, Rob van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida |
CONCUR Test-Of-Time Award 2021 (Invited Paper). |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakob Piribauer, Christel Baier, Nathalie Bertrand 0001, Ocan Sankur |
Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Mayr, Eric Munday |
Strategy Complexity of Mean Payoff, Total Payoff and Point Payoff Objectives in Countable MDPs. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Léonard Brice, Jean-François Raskin, Marie van den Bogaard |
Subgame-Perfect Equilibria in Mean-Payoff Games. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | James C. A. Main, Mickael Randour, Jeremy Sproston |
Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismaël Jecker, Nicolas Mazzocchi, Petra Wolf 0002 |
Decomposing Permutation Automata. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Vojtech Havlena, Ondrej Lengál |
Reducing (To) the Ranks: Efficient Rank-Based Büchi Automata Complementation. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Bruse, Martin Lange |
A Decidable Non-Regular Modal Fixpoint Logic. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata |
Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mrudula Balachander, Shibashis Guha, Jean-François Raskin |
Fragility and Robustness in Mean-Payoff Adversarial Stackelberg Games. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Bollig, Cinzia Di Giusto, Alain Finkel, Laetitia Laversa, Étienne Lozes, Amrita Suresh 0001 |
A Unifying Framework for Deciding Synchronizability. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | A. R. Balasubramanian, K. S. Thejaswini |
Adaptive Synchronisation of Pushdown Automata. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Thorsten Wißmann, Stefan Milius, Lutz Schröder |
Explaining Behavioural Inequivalence Generically in Quasilinear Time. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Baillot, Alexis Ghyselen, Naoki Kobayashi 0001 |
Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Jan Kretínský, Maximilian Weininger |
Enforcing ω-Regular Properties in Markov Chains by Restarting. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Bruyère, Jean-François Raskin, Clément Tamines |
Stackelberg-Pareto Synthesis. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license