Arnaud Sangnier

Cited by

	All	Since 2020
Citations	1035	317
h-index	19	10
i10-index	29	10

120

200720082009201020112012201320142015201620172018201920202021202220232024202512 18 16 31 41 62 66 81 67 114 50 82 67 49 80 84 46 57 1

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Giorgio DelzannoAssociate Professor, Università di GenovaVerified email at unige.it
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Riccardo TraversoVerified email at pervoice.it
Parosh AbdullaProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
Alain FinkelLMF ENS Paris SaclayVerified email at ens-paris-saclay.fr
Jeremy SprostonAssistant professor, University of TurinVerified email at di.unito.it
Benedikt BolligCNRS, LMF, ENS Paris-Saclay, Université Paris-SaclayVerified email at lsv.ens-cachan.fr
Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAVerified email at inria.fr
Etienne LozesUniversité Côte d'AzurVerified email at univ-cotedazur.fr
Ranko LazicDepartment of Computer Science, University of WarwickVerified email at warwick.ac.uk
Paulin FournierClearsyVerified email at clearsy.com
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikVerified email at uni-due.de
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerified email at irisa.fr
Sebastien TixeuilProfessor of Computer Science, Sorbonne Université, LIP6 & IUFVerified email at lip6.fr
Maria Potop-ButucaruProfessor, Sorbonne Université, LIP6 (UPMC Campus), Paris, FranceVerified email at lip6.fr
Pierre-Alain ReynierLIS, Aix-Marseille UniversitéVerified email at lif.univ-mrs.fr
Daniel STANEPITA LREVerified email at epita.fr
Mickael RandourFNRS & UMONSVerified email at umons.ac.be
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerified email at lsv.fr
Sébastien BardinCEA, List, Université Paris-SaclayVerified email at cea.fr

Arnaud Sangnier

Professore Associato, DIBRIS, Università di Genova, Italy

Verified email at unige.it - Homepage

Formal methods Verfication infinite state systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Parameterized verification of ad hoc networks G Delzanno, A Sangnier, G Zavattaro CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010	121	2010
On the complexity of parameterized reachability in reconfigurable broadcast networks G Delzanno, A Sangnier, R Traverso, G Zavattaro	64	2012
On the power of cliques in the parameterized verification of ad hoc networks G Delzanno, A Sangnier, G Zavattaro Foundations of Software Science and Computational Structures: 14th …, 2011	61	2011
Model checking freeze LTL over one-counter automata S Demri, R Lazić, A Sangnier International Conference on Foundations of Software Science and …, 2008	53	2008
On the decidability status of reachability and coverability in graph transformation systems N Bertrand, G Delzanno, B König, A Sangnier, J Stückrath 23rd International Conference on Rewriting Techniques and Applications (RTA …, 2012	50	2012
Verification of ad hoc networks with node and communication failures G Delzanno, A Sangnier, G Zavattaro International Conference on Formal Methods for Open Object-Based Distributed …, 2012	45	2012
Solving parity games on integer vectors PA Abdulla, R Mayr, A Sangnier, J Sproston CONCUR 2013–Concurrency Theory: 24th International Conference, CONCUR 2013 …, 2013	44	2013
On the verification of timed ad hoc networks PA Abdulla, G Delzanno, O Rezine, A Sangnier, R Traverso Formal Modeling and Analysis of Timed Systems: 9th International Conference …, 2011	40	2011
Weak time Petri nets strike back! PA Reynier, A Sangnier International Conference on Concurrency Theory, 557-571, 2009	36	2009
Playing with probabilities in reconfigurable broadcast networks N Bertrand, P Fournier, A Sangnier Foundations of Software Science and Computation Structures: 17th …, 2014	35	2014
Parameterized verification of broadcast networks of register automata G Delzanno, A Sangnier, R Traverso International Workshop on Reachability Problems, 109-121, 2013	34	2013
Reversal-bounded counter machines revisited A Finkel, A Sangnier International Symposium on Mathematical Foundations of Computer Science, 323-334, 2008	34	2008
Reachability in networks of register protocols under stochastic schedulers P Bouyer, N Markey, M Randour, A Sangnier, D Stan arXiv preprint arXiv:1602.05928, 2016	33	2016
From pointer systems to counter systems using shape analysis S Bardin, A Finkel, E Lozes, A Sangnier AVIS’06, 2006	32	2006
When model-checking freeze LTL over counter machines becomes decidable S Demri, A Sangnier International Conference on Foundations of Software Science and …, 2010	29	2010
Parameterized verification of algorithms for oblivious robots on a ring A Sangnier, N Sznajder, M Potop-Butucaru, S Tixeuil 2017 Formal Methods in Computer Aided Design (FMCAD), 212-219, 2017	27	2017
Taming past LTL and flat counter systems S Demri, AK Dhar, A Sangnier Information and Computation 242, 306-339, 2015	26	2015
Model checking memoryful linear-time logics over one-counter automata S Demri, R Lazić, A Sangnier Theoretical Computer Science 411 (22-24), 2298-2316, 2010	26	2010
From time Petri nets to timed automata: An untimed approach D D’Aprile, S Donatelli, A Sangnier, J Sproston Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007	26	2007
Mixing coverability and reachability to analyze VASS with one zero-test A Finkel, A Sangnier International Conference on Current Trends in Theory and Practice of …, 2010	18	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors