Concepedia

Arnaud Sangnier

AS

6

Publications

125

Citations

6

H-Index

2006

Active since

Affiliations

Université Paris Cité(Current)

Laboratoire d'Informatique Algorithmique: Fondements et Applications

Ingegneria dei Sistemi (Italy)

Délégation Paris 7

École Normale Supérieure Paris-Saclay

Arnaud Sangnier is an author at Université Paris Cité specializing in formal verification, engineering, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationAutomated ReasoningComputational ComplexitySystems EngineeringCryptographyGraph Theory

Publications per year

2006–2019

6

Publications

6

On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks

Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2012 · 39 citations · Full text

Engineering, Reachability Problem, Verification +19

On the Decidability Status of Reachability and Coverability in Graph Transformation Systems

Nathalie Bertrand, Giorgio Delzanno, Barbara König et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2012 · 26 citations · Full text

Engineering, Reachability Problem, Verification +19

Model checking memoryful linear-time logics over one-counter automata

Stéphane Demri, Ranko Lazić, Arnaud Sangnier · Theoretical Computer Science · 2010 · 18 citations · Full text

Logical Automaton, Engineering, Automated Reasoning +7

From pointer systems to counter systems using shape analysis

Sébastien Bardin, Alain Finkel, Étienne Lozes et al. · 2006 · 15 citations

Engineering, Reachability Problem, Verification +19

Parameterized verification of algorithms for oblivious robots on a ring

Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru et al. · Formal Methods in System Design · 2019 · 14 citations · Full text

Computational Complexity Theory, Engineering, Cryptographic Primitive +10

Rows per page

1–5 of 6