IRIS
SANGNIER, ARNAUD HENRI PAUL
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 376
Totale 376
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 376
Totale 376
Salva come PNG Salva come JPEG
Città #
Vado Ligure 201
Genova 88
Genoa 78
Rapallo 9
Totale 376
Salva come PNG Salva come JPEG
Nome #
Adding Data Registers to Parameterized Networks with Broadcast 117
On the formalization of decentralized contact tracing protocols 20
Parameterized verification of algorithms for oblivious robots on a ring 18
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous 17
Reachability in distributed memory automata 15
Deciding the existence of cut-off in parameterized rendez-vous networks 15
On the Complexity of Verifying Regular Properties on Flat Counter Systems 14
Distributed Local Strategies in Broadcast Networks 14
Qualitative Analysis of VASS-Induced MDPs 13
Playing with Probabilities in Reconfigurable Broadcast Networks 13
Parameterized verification of algorithms for oblivious robots on a ring 12
ATLsc with partial observation 12
Local First-Order Logic with Two Data Values 11
On the Existential Fragments of Local First-Order Logics with Data 8
Equivalence between model-checking flat counter systems and Presburger arithmetic 8
Model-Checking Counting Temporal Logics on Flat Structures 7
Mixing coverability and reachability to analyze VASS with one zero-test 7
ON THE SATISFIABILITY OF LOCAL FIRST-ORDER LOGICS WITH DATA 7
Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction 7
Towards Synthesis of Distributed Algorithms with SMT Solvers 6
From time petri nets to timed automata: An untimed approach 6
The Complexity of Flat Freeze LTL 6
Model checking memoryful linear-time logics over one-counter automata 5
Safety Verification of Wait-Only Non-Blocking Broadcast Protocols 5
Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic 4
On the parameterized verification of abstract models of contact tracing protocols 4
Towards model-checking programs with lists 4
QLTL Model-Checking 4
Model Checking Freeze LTL over One-Counter Automata 4
Weak Time Petri Nets Strike Back! 4
How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property ? 4
Formal Verification of Industrial Software with Dynamic Memory Management 4
When Model-Checking Freeze LTL over Counter Machines Becomes Decidable 3
Taming Past LTL and Flat Counter Systems 3
Reversal-bounded counter machines revisited 3
Solving Parity Games on Integer Vectors 3
Reachability in Networks of Register Protocols under Stochastic Schedulers 3
Taming past {LTL} and flat counter systems 3
Reachability in Timed Counter Systems 3
The Complexity of Flat Freeze LTL 3
Parameterized Verification of Safety Properties in Ad Hoc Network Protocols 3
Phase-Bounded Broadcast Networks over Topologies of Communication 2
Totale 424
Salva come PNG Salva come JPEG
Categoria #
all - tutte 2.227
article - articoli 674
book - libri 0
conference - conferenze 1.553
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 4.454
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202026 0 0 0 0 2 5 3 2 2 6 6 0
2020/202114 2 0 3 0 0 0 3 0 2 0 2 2
2021/202213 0 0 0 1 0 3 0 5 1 2 0 1
2022/202313 1 3 0 0 2 2 0 0 4 0 0 1
2023/2024111 1 0 0 1 34 2 45 4 5 2 4 13
2024/2025208 3 46 9 117 33 0 0 0 0 0 0 0
Totale 424