SANGNIER, ARNAUD HENRI PAUL

SANGNIER, ARNAUD HENRI PAUL  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 20 di 38 (tempo di esecuzione: 0.032 secondi).
Titolo Data di pubblicazione Autore(i) File
Adding Data Registers to Parameterized Networks with Broadcast 1-gen-2016 Delzanno, Giorgio; Sangnier, Arnaud; Traverso, Riccardo
ATLsc with partial observation 1-gen-2015 Laroussinie, F; Markey, M; Sangnier, A
Deciding the existence of cut-off in parameterized rendez-vous networks 1-gen-2020 Horn, F.; Sangnier, A.
Distributed Local Strategies in Broadcast Networks 1-gen-2015 Bertrand, N; Fournier, P; Sangnier, A
Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic 1-gen-2014 Demri, S; Dhar, A K; Sangnier, A
Equivalence between model-checking flat counter systems and Presburger arithmetic 1-gen-2018 Demri, S; Dhar, A K; Sangnier, A
Formal Verification of Industrial Software with Dynamic Memory Management 1-gen-2010 Labbe, S; Sangnier, A
From time petri nets to timed automata: An untimed approach 1-gen-2007 D'Aprile, D; Donatelli, S; Sangnier, A; Sproston, J
How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property ? 1-gen-2016 Iosif, R; Sangnier, A
Local First-Order Logic with Two Data Values 1-gen-2021 Bollig, B.; Sangnier, A.; Stietel, O.
Mixing coverability and reachability to analyze VASS with one zero-test 1-gen-2010 Finkel, A; Sangnier, A
Model Checking Freeze LTL over One-Counter Automata 1-gen-2008 Demri, S; Lazic, R; Sangnier, A
Model checking memoryful linear-time logics over one-counter automata 1-gen-2010 Lazic, R; Demri, S; Sangnier, A
Model-Checking Counting Temporal Logics on Flat Structures 1-gen-2017 Decker, N; Habermehl, P; Leucker, M; Sangnier, A; Thoma, D
On the Complexity of Verifying Regular Properties on Flat Counter Systems 1-gen-2013 Demri, S; Dhar, A K; Sangnier, A
On the Existential Fragments of Local First-Order Logics with Data 1-gen-2022 Bollig, B.; Sangnier, A.; Stietel, O.
On the formalization of decentralized contact tracing protocols 1-gen-2020 Abdulla, P. A.; Atig, M. F.; Delzanno, G.; Montali, M.; Sangnier, A.
On the parameterized verification of abstract models of contact tracing protocols 1-gen-2021 Conchon, S.; Delzanno, G.; Sangnier, A.
Parameterized verification of algorithms for oblivious robots on a ring 1-gen-2019 Sangnier, A; Sznajder, N; Potop-Butucaru, M; Tixeuil, S
Parameterized verification of algorithms for oblivious robots on a ring 1-gen-2017 Sangnier, A; Sznajder, N; Potop-Butucaru, M; Tixeuil, S