No. Title Author Year
1 Checking Timed Büchi Automata Emptiness Using the Local-Time Semantics Herbreteau, Frédéric et al. 2022
2 Distributed Controller Synthesis for Deadlock Avoidance Gimbert, Hugo et al. 2022
3 Characterizing Consensus in the Heard-Of Model Balasubramanian, A. R. et al. 2020
4 Revisiting Local Time Semantics for Networks of Timed Automata Govind, R. et al. 2019
5 Deciding the Topological Complexity of Büchi Languages Skrzypczak, Michal et al. 2016
6 Soundness in Negotiations Esparza, Javier et al. 2016
7 Why Liveness for Timed Automata Is Hard, and What We Can Do About It Herbreteau, Frédéric et al. 2016
8 A Model for Behavioural Properties of Higher-order Programs Salvati, Sylvain et al. 2015
9 Ordered Tree-Pushdown Systems Clemente, Lorenzo et al. 2015
10 Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable La Torre, Salvatore et al. 2015
11 Distributed Synthesis for Acyclic Architectures Muscholl, Anca et al. 2014
12 Evaluation is MSOL-compatible Salvati, Sylvain et al. 2013
13 Using non-convex approximations for efficient analysis of timed automata Herbreteau, Frédéric et al. 2011
14 10252 Abstracts Collection -- Game Semantics and Program Verification Mellies, Paul-Andre et al. 2010
15 10252 Executive Summary -- Game Semantics and Program Verification Mellies, Paul-Andre et al. 2010
Current Page :
Number of result pages: 1
Number of documents: 15

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI