Arnaud Sangnier

74 papers A* 1A 2B 22C 2Journal 28Unranked 19
YearRankTypeTitle / Venue / Authors
2025 — conf
Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks.
CAV (3)
Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani
2025 J jnl
Counting Abstraction for the Verification of Structured Parameterized Networks.
CoRR
Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani
2025 C conf
Decidability Problems for Micro-Stipula.
COORDINATION
Giorgio Delzanno, Cosimo Laneve, Arnaud Sangnier, Gianluigi Zavattaro
2025 J jnl
Decidability Problems for Micro-Stipula.
CoRR
Giorgio Delzanno, Cosimo Laneve, Arnaud Sangnier, Gianluigi Zavattaro
2025 — conf
Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars.
NETYS
Radu Iosif, Arnaud Sangnier, Neven Villani
2025 J jnl
Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars.
CoRR
Radu Iosif, Arnaud Sangnier, Neven Villani
2025 B conf
Wait-Only Broadcast Protocols Are Easier to Verify.
MFCS
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2025 J jnl
Wait-Only Broadcast Protocols are Easier to Verify.
CoRR
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2024 J jnl
On the Satisfiability of Local First-Order Logics with Data.
Log. Methods Comput. Sci.
Benedikt Bollig, Arnaud Sangnier, Olivier Stietel
2024 B conf
Phase-Bounded Broadcast Networks over Topologies of Communication.
CONCUR
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2024 J jnl
Phase-Bounded Broadcast Networks over Topologies of Communication.
CoRR
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2024 B conf
QLTL Model-Checking.
CSL
François Laroussinie, Loriane Leclercq, Arnaud Sangnier
2024 B conf
Safety Verification of Wait-Only Non-Blocking Broadcast Protocols.
Petri Nets
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2024 J jnl
Safety Verification of Wait-Only Non-Blocking Broadcast Protocols.
CoRR
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2023 J jnl
On the Satisfiability of Local First-Order Logics with Data.
CoRR
Benedikt Bollig, Arnaud Sangnier, Olivier Stietel
2023 B conf
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous.
CONCUR
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2023 J jnl
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous.
CoRR
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
2022 — conf
On the Existential Fragments of Local First-Order Logics with Data.
GandALF
Benedikt Bollig, Arnaud Sangnier, Olivier Stietel
2021 — conf
Local First-Order Logic with Two Data Values.
FSTTCS
Benedikt Bollig, Arnaud Sangnier, Olivier Stietel
2021 — conf
On the Parameterized Verification of Abstract Models of Contact Tracing Protocols.
OVERLAY@GandALF
Sylvain Conchon, Giorgio Delzanno, Arnaud Sangnier
2021 B conf
Reachability in Distributed Memory Automata.
CSL
Benedikt Bollig, Fedor Ryabinin, Arnaud Sangnier
2021 — conf
Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction.
CILC
Sylvain Conchon, Giorgio Delzanno, Arnaud Sangnier
2020 B conf
Deciding the Existence of Cut-Off in Parameterized Rendez-Vous Networks.
CONCUR
Florian Horn, Arnaud Sangnier
2020 J jnl
Deciding the existence of cut-off in parameterized rendez-vous networks.
CoRR
Florian Horn, Arnaud Sangnier
2020 — conf
On the Formalization of Decentralized Contact Tracing Protocols.
OVERLAY
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Marco Montali, Arnaud Sangnier
2020 J jnl
Parameterized verification of algorithms for oblivious robots on a ring.
Formal Methods Syst. Des.
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil
2019 J jnl
The Complexity of Flat Freeze LTL.
Log. Methods Comput. Sci.
Benedikt Bollig, Karin Quaas, Arnaud Sangnier
2019 — conf
Towards Synthesis of Distributed Algorithms with SMT Solvers.
NETYS
Carole Delporte-Gallet, Hugues Fauconnier, Yan Jurski, François Laroussinie, Arnaud Sangnier
2018 J jnl
Equivalence between model-checking flat counter systems and Presburger arithmetic.
Theor. Comput. Sci.
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
2017 B conf
Model-Checking Counting Temporal Logics on Flat Structures.
CONCUR
Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma
2017 J jnl
Model-checking Counting Temporal Logics on Flat Structures.
CoRR
Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma
2017 J jnl
Parameterized Verification of Algorithms for Oblivious Robots on a Ring.
CoRR
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil
2017 B conf
Parameterized verification of algorithms for oblivious robots on a ring.
FMCAD
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil
2017 B conf
The Complexity of Flat Freeze LTL.
CONCUR
Benedikt Bollig, Karin Quaas, Arnaud Sangnier
2016 J jnl
Adding Data Registers to Parameterized Networks with Broadcast.
Fundam. Informaticae
Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso
2016 B conf
How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property?
ATVA
Radu Iosif, Arnaud Sangnier
2016 J jnl
How hard is it to verify flat affine counter systems with the finite monoid property ?
CoRR
Radu Iosif, Arnaud Sangnier
2016 J jnl
On Parameterized One-Counter Automata.
CoRR
Benedikt Bollig, Karin Quaas, Arnaud Sangnier
2016 J jnl
Parameterized verification of time-sensitive models of ad hoc network protocols.
Theor. Comput. Sci.
Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso
2016 B conf
Qualitative Analysis of VASS-Induced MDPs.
FoSSaCS
Parosh Aziz Abdulla, Radu Ciobanu, Richard Mayr, Arnaud Sangnier, Jeremy Sproston
2016 A* conf
Reachability in Networks of Register Protocols under Stochastic Schedulers.
ICALP
Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan
2016 J jnl
Reachability in Networks of Register Protocols under Stochastic Schedulers.
CoRR
Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan
2015 — conf
ATLsc with partial observation.
GandALF
François Laroussinie, Nicolas Markey, Arnaud Sangnier
2015 B conf
Distributed Local Strategies in Broadcast Networks.
CONCUR
Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier
2015 J jnl
Qualitative Analysis of VASS-Induced MDPs.
CoRR
Parosh Aziz Abdulla, Radu Ciobanu, Richard Mayr, Arnaud Sangnier, Jeremy Sproston
2015 J jnl
Taming past LTL and flat counter systems.
Inf. Comput.
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
2014 — conf
Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic.
RP
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
2014 B conf
Playing with Probabilities in Reconfigurable Broadcast Networks.
FoSSaCS
Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier
2013 J jnl
On the Complexity of Verifying Regular Properties on Flat Counter Systems
CoRR
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
2013 — conf
On the Complexity of Verifying Regular Properties on Flat Counter Systems, .
ICALP (2)
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
2013 — conf
Parameterized Verification of Broadcast Networks of Register Automata.
RP
Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso
2013 B conf
Solving Parity Games on Integer Vectors.
CONCUR
Parosh Aziz Abdulla, Richard Mayr, Arnaud Sangnier, Jeremy Sproston
2013 J jnl
Solving Parity Games on Integer Vectors.
CoRR
Parosh Aziz Abdulla, Richard Mayr, Arnaud Sangnier, Jeremy Sproston
2012 — conf
On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks.
FSTTCS
Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro
2012 — conf
On the Decidability Status of Reachability and Coverability in Graph Transformation Systems.
RTA
Nathalie Bertrand, Giorgio Delzanno, Barbara König, Arnaud Sangnier, Jan Stückrath
2012 J jnl
Taming Past LTL and Flat Counter Systems
CoRR
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
2012 A conf
Taming Past LTL and Flat Counter Systems.
IJCAR
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
2012 J jnl
The Cost of Parameterized Reachability in Mobile Ad Hoc Networks
CoRR
Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro
2012 — conf
Verification of Ad Hoc Networks with Node and Communication Failures.
FMOODS/FORTE
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
2011 B conf
On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks.
FoSSaCS
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
2011 — conf
On the Verification of Timed Ad Hoc Networks.
FORMATS
Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso
2011 — conf
Parameterized Verification of Safety Properties in Ad Hoc Network Protocols
PACO
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
2010 C conf
Formal Verification of Industrial Software with Dynamic Memory Management.
PRDC
Sébastien Labbé, Arnaud Sangnier
2010 B conf
Mixing Coverability and Reachability to Analyze VASS with One Zero-Test.
SOFSEM
Alain Finkel, Arnaud Sangnier
2010 J jnl
Model checking memoryful linear-time logics over one-counter automata.
Theor. Comput. Sci.
Stéphane Demri, Ranko Lazic, Arnaud Sangnier
2010 B conf
Parameterized Verification of Ad Hoc Networks.
CONCUR
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
2010 B conf
When Model-Checking Freeze LTL over Counter Machines Becomes Decidable.
FoSSaCS
Stéphane Demri, Arnaud Sangnier
2009 — conf
Reachability in Timed Counter Systems.
INFINITY
Florent Bouchy, Alain Finkel, Arnaud Sangnier
2009 B conf
Weak Time Petri Nets Strike Back!.
CONCUR
Pierre-Alain Reynier, Arnaud Sangnier
2008 B conf
Model Checking Freeze LTL over One-Counter Automata.
FoSSaCS
Stéphane Demri, Ranko Lazic, Arnaud Sangnier
2008 J jnl
Model checking memoryful linear-time logics over one-counter automata
CoRR
Stéphane Demri, Ranko Lazic, Arnaud Sangnier
2008 B conf
Reversal-Bounded Counter Machines Revisited.
MFCS
Alain Finkel, Arnaud Sangnier
2007 A conf
From Time Petri Nets to Timed Automata: An Untimed Approach.
TACAS
Davide D'Aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston
2007 — conf
Towards Model-Checking Programs with Lists.
ILC
Alain Finkel, Étienne Lozes, Arnaud Sangnier