Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Uli Schlachter |
Bounded Petri Net Synthesis from Modal Transition Systems is Undecidable. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Ohad Kammar |
Bayesian Inversion by ω-Complete Cone Duality. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Bernardi 0001, Alexey Gotsman |
Robustness against Consistency Models with Atomic Visibility. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Radu Mardare |
Complete Axiomatization for the Bisimilarity Distance on Markov Chains. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David A. Rosenblueth, Corentin Travers |
Decentralized Asynchronous Crash-Resilient Runtime Verification. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo |
The Benefits of Duality in Verifying Concurrent Programs under TSO. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith |
Local Linearizability for Concurrent Container-Type Data Structures. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Hausmann 0001, Lutz Schröder, Christoph Egger 0001 |
Global Caching for the Alternation-free μ-Calculus. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marvin Triebel, Jan Sürmeli |
Homogeneous Equations of Algebraic Petri Nets. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Bertrand 0001, Serge Haddad, Engel Lefaucheux |
Diagnosis in Infinite-State Probabilistic Systems. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq |
Bisimulations and Unfolding in P-Accessible Categorical Models. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Brázdil, Vojtech Forejt, Antonín Kucera 0001, Petr Novotný 0001 |
Stability in Graphs and Games. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tomasz Brengos, Marco Peressotti |
A Uniform Framework for Timed Automata. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi, Valeria Vignudelli |
Up-To Techniques for Generalized Bisimulation Metrics. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christina Rickmann, Christoph Wagner, Uwe Nestmann, Stefan Schmid 0001 |
Topological Self-Stabilization with Name-Passing Process Calculi. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann 0001, Philip Wadler |
Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Igor V. Konnov 0001, Tomer Kotek, Qiang Wang 0020, Helmut Veith, Simon Bliudze, Joseph Sifakis |
Parameterized Systems in BIP: Design and Model Checking. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fredrik Dahlqvist, Vincent Danos, Ilias Garnier |
Robustly Parameterised Higher-Order Probabilistic Models. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Loïg Jezequel, Didier Lime |
Lazy Reachability Analysis in Distributed Systems. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Qiyi Tang 0001, Franck van Breugel |
Computing Probabilistic Bisimilarity Distances via Policy Iteration. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Romain Brenguier |
Optimal Assumptions for Synthesis. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Shaull Almagor, Orna Kupferman, Yaron Velner |
Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marc Shapiro 0001, Masoud Saeida Ardekani, Gustavo Petri |
Consistency in 3D. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization . |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Francesca Rossi 0001 |
Ethical Preference-Based Decision Support Systems. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Amélie David 0001, François Laroussinie, Nicolas Markey |
On the Expressiveness of QCTL. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu |
Private Names in Non-Commutative Logic. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov |
Linear Distances between Markov Chains. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Christopher Hahn |
Deciding Hyperproperties. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Bruyère, Quentin Hautem, Jean-François Raskin |
On the Complexity of Heterogeneous Multidimensional Games. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell 0001 |
Model Checking Flat Freeze LTL on One-Counter Automata. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Junxing Yang, Radu Grosu, Scott A. Smolka, Ashish Tiwari 0001 |
Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | S. Akshay 0001, Paul Gastin, Shankara Narayanan Krishna |
Analyzing Timed Systems Using Tree Automata. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Simon Castellan, Pierre Clairambault |
Causality vs. Interleavings in Concurrent Game Semantics. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo |
Coalgebraic Trace Semantics for Buechi and Parity Automata. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Roly Perera, Deepak Garg 0001, James Cheney |
Causally Consistent Dynamic Slicing. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Valentina Castiglioni, Daniel Gebler, Simone Tini |
Modal Decomposition on Nondeterministic Probabilistic Processes. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Josée Desharnais, Radha Jagadeesan (eds.) |
27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada |
CONCUR |
2016 |
DBLP BibTeX RDF |
|
1 | Alexandra Silva 0001 |
Applications of Automata and Concurrency Theory in Networks (Invited Paper). |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marco Carbone, Fabrizio Montesi, Carsten Schürmann 0001, Nobuko Yoshida |
Multiparty Session Types as Coherence Proofs. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jan Kretínský, Kim Guldstrand Larsen, Simon Laursen, Jirí Srba |
Polynomial Time Decidability of Weighted Synchronization under Partial Observability. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Committees, External Reviewers. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Eike Best, Raymond R. Devillers |
Synthesis of Bounded Choice-Free Petri Nets. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | C. Aiswarya, Benedikt Bollig, Paul Gastin |
An Automata-Theoretic Approach to the Verification of Distributed Algorithms. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss |
On the Succinctness of Idioms for Concurrent Programming. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
Forward and Backward Bisimulations for Chemical Reaction Networks. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar |
Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Cerone, Giovanni Bernardi 0001, Alexey Gotsman |
A Framework for Transactional Consistency Models with Atomic Visibility. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot |
Lax Bialgebras and Up-To Techniques for Weak Bisimulations. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sergueï Lenglet, Alan Schmitt |
Howe's Method for Contextual Semantics. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang 0001 |
Lazy Probabilistic Model Checking without Determinisation. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | James Worrell 0001 |
Reachability Problems for Continuous Linear Dynamical Systems (Invited Paper). |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Samy Jaziri, Nicolas Markey |
On the Value Problem in Weighted Timed Games. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Narges Khakpour, Mohammad Reza Mousavi 0001 |
Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper). |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios Kouzapas, Jorge A. Pérez 0001, Nobuko Yoshida |
Characteristic Bisimulation for Higher-Order Session Processes. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shaull Almagor, Guy Avni, Orna Kupferman |
Repairing Multi-Player Games. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Hennessy |
Behavioural Equivalences for Co-operating Transactions (Invited Paper). |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar |
Verification of Population Protocols. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Fu Song, Weikai Miao, Geguang Pu, Min Zhang |
On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Romain Brenguier, Jean-François Raskin, Ocan Sankur |
Assume-Admissible Synthesis. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David Baelde, Stéphanie Delaune, Lucca Hirschi |
Partial Order Reduction for Security Protocols. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski |
Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper). |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, David de Frutos-Escrig (eds.) |
26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015 |
CONCUR |
2015 |
DBLP BibTeX RDF |
|
1 | César Rodríguez, Marcelo Sousa, Subodh Sharma 0001, Daniel Kroening |
Unfolding-based Partial Order Reduction. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vojtech Forejt, Jan Krcál |
On Frequency LTL in Probabilistic Systems. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yuxin Deng, Yuan Feng 0001, Ugo Dal Lago |
On Coinduction and Quantum Lambda Calculi. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yuan Feng 0001, Mingsheng Ying |
Toward Automatic Verification of Quantum Cryptographic Protocols. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paul Hunter, Guillermo A. Pérez 0001, Jean-François Raskin |
Reactive Synthesis Without Regret. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dana Fisman, Yoad Lustig |
A Modular Approach for Büchi Determinization. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bocchi, Julien Lange, Nobuko Yoshida |
Meeting Deadlines Together. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber |
Modal Logics for Nominal Transition Systems. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Julian Gutierrez 0001, Paul Harrenstein, Michael J. Wooldridge |
Expresiveness and Complexity Results for Strategic Reasoning. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege |
To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Bertrand 0001, Paulin Fournier, Arnaud Sangnier |
Distributed Local Strategies in Broadcast Networks. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Gebler, Simone Tini |
SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Fu Song, Zhilin Wu |
On the Satisfiability of Indexed Linear Temporal Logics. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Salvatore La Torre, Anca Muscholl, Igor Walukiewicz |
Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, Viktor Vafeiadis |
Rely/Guarantee Reasoning for Asynchronous Programs. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Karin Quaas |
Verification for Timed Automata Extended with Unbounded Discrete Data Structures. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Natsuki Urabe, Ichiro Hasuo |
Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Bernardi 0001, Matthew Hennessy |
Using Higher-Order Contracts to Model Session Types (Extended Abstract). |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rémy Chrétien, Véronique Cortier, Stéphanie Delaune |
Typing Messages for Free in Security Protocols: The Case of Equivalence Properties. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Davide Sangiorgi, Xian Xu 0001 |
Trees from Functions as Processes. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee |
Qualitative Concurrent Parity Games: Bounded Rationality. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche |
Compositional Controller Synthesis for Stochastic Games. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yuan Feng 0001, Lijun Zhang 0001 |
A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman's Algorithm. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Bartoletti, Alceste Scalas, Roberto Zunino |
A Semantic Deconstruction of Session Types. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Doyen 0001, Thierry Massart, Mahsa Shirmohammadi |
Robust Synchronization in Markov Decision Processes. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, Ashutosh Trivedi 0001 |
Adding Negative Prices to Priced Timed Games. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tony Hoare |
Laws of Programming: The Algebraic Unification of Theories of Concurrency. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Kaiser 0001, Daniel Kroening, Thomas Wahl |
Lost in Abstraction: Monotonicity in Multi-threaded Programs. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith |
Parameterized Model Checking of Rendezvous Systems. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Youssouf Oualhadj, Pierre-Alain Reynier, Ocan Sankur |
Probabilistic Robust Timed Games. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Yuan Feng 0001, David S. Rosenblum, Guoxin Su |
Perturbation Analysis in Verification of Discrete-Time Markov Chains. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma |
Ordered Navigation on Multi-attributed Data Words. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Falak Sher Vira, Joost-Pieter Katoen |
Tight Game Abstractions of Probabilistic Automata. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza |
Deterministic Negotiations: Concurrency for Free. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Reiner Hüchting, Rupak Majumdar, Roland Meyer 0001 |
Bounds on Mobility. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Barbara König 0001, Jan Stückrath |
A General Framework for Well-Structured Graph Transformation Systems. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Widjaja Lin, Sanming Zhou |
A Linear-Time Algorithm for the Orbit Problem over Cyclic Groups. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|