On the Satisfiability of Local First-Order Logics with Data von Bollig, Benedikt, Sangnier, Arnaud, Stietel, Olivier

Volltext

Parameterized verification of algorithms for oblivious robots on a ring von Sangnier, Arnaud, Sznajder, Nathalie, Potop-Butucaru, Maria, Tixeuil, Sébastien

Volltext

The Complexity of Flat Freeze LTL von Bollig, Benedikt, Quaas, Karin, Sangnier, Arnaud

Volltext

ATLsc with partial observation von Laroussinie, François, Markey, Nicolas, Sangnier, Arnaud

Volltext

On the Existential Fragments of Local First-Order Logics with Data von Bollig, Benedikt, Sangnier, Arnaud, Stietel, Olivier

Volltext

Parameterized Verification of Safety Properties in Ad Hoc Network Protocols von Delzanno, Giorgio, Sangnier, Arnaud, Zavattaro, Gianluigi

Volltext

Safety Verification of Wait-Only Non-Blocking Broadcast Protocols von Guillou, Lucie, Sangnier, Arnaud, Sznajder, Nathalie

Volltext

Equivalence between model-checking flat counter systems and Presburger arithmetic von Demri, Stéphane, Dhar, Amit Kumar, Sangnier, Arnaud

Volltext

Playing with Probabilities in Reconfigurable Broadcast Networks von Bertrand, Nathalie, Fournier, Paulin, Sangnier, Arnaud

Volltext

Parameterized verification of time-sensitive models of ad hoc network protocols von Abdulla, Parosh Aziz, Delzanno, Giorgio, Rezine, Othmane, Sangnier, Arnaud, Traverso, Riccardo

Volltext

Taming past LTL and flat counter systems von Demri, Stéphane, Dhar, Amit Kumar, Sangnier, Arnaud

Volltext

How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property? von Iosif, Radu, Sangnier, Arnaud

Volltext

Model checking memoryful linear-time logics over one-counter automata von Demri, Stéphane, Lazić, Ranko, Sangnier, Arnaud

Volltext

Qualitative Analysis of VASS-Induced MDPs von Abdulla, Parosh Aziz, Ciobanu, Radu, Mayr, Richard, Sangnier, Arnaud, Sproston, Jeremy

Volltext

On the Satisfiability of Local First-Order Logics with Data von Bollig, Benedikt, Sangnier, Arnaud, Stietel, Olivier

Volltext

Phase-Bounded Broadcast Networks over Topologies of Communication von Guillou, Lucie, Sangnier, Arnaud, Sznajder, Nathalie

Volltext bestellen

Safety Verification of Wait-Only Non-Blocking Broadcast Protocols von Guillou, Lucie, Sangnier, Arnaud, Sznajder, Nathalie

Volltext bestellen

Parameterized Verification of Ad Hoc Networks von Delzanno, Giorgio, Sangnier, Arnaud, Zavattaro, Gianluigi

Volltext

Deciding the existence of cut-off in parameterized rendez-vous networks von Horn, Florian, Sangnier, Arnaud

Volltext bestellen

Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous von Guillou, Lucie, Sangnier, Arnaud, Sznajder, Nathalie

Volltext bestellen