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