Computable fixpoints in well-structured symbolic model checking von Bertrand, N., Schnoebelen, P.

Volltext

Model Checking a Path von Markey, N., Schnoebelen, P.

Volltext

Temporal logic with forgettable past von Laroussinie, F., Markey, N., Schnoebelen, P.

Volltext

Verifying lossy channel systems has nonprimitive recursive complexity von Schnoebelen, Ph

Volltext

Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma von Figueira, D., Figueira, S., Schmitz, S., Schnoebelen, P.

Volltext

Model Checking Timed Automata with One or Two Clocks von Laroussinie, F., Markey, N., Schnoebelen, Ph

Volltext

A parametric analysis of the state explosion problem in model checking von DEMRI, S, LAROUSSINIE, F, SCHNOEBELEN, P

Volltext

The Ordinal Recursive Complexity of Lossy Channel Systems von Chambart, P., Schnoebelen, P.

Volltext

Flat Acceleration in Symbolic Model Checking von Bardin, Sébastien, Finkel, Alain, Leroux, Jérôme, Schnoebelen, Philippe

Volltext

The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets von Haddad, S., Schmitz, S., Schnoebelen, P.

Volltext

Reset nets between decidability and undecidability von DUFOURD, C, FINKEL, A, SCHNOEBELEN, P

Volltext

The Complexity of Propositional Linear Temporal Logics in Simple Cases von Demri, Stéphane, Schnoebelen, Philippe

Volltext

On Verifying Fair Lossy Channel Systems von Masson, Benoît, Schnoebelen, Ph

Volltext

Towards the automatic verification of PLC programs written in Instruction List von Canet, G., Couffin, S., Lesage, J.-J., Petit, A., Schnoebelen, P.

Volltext

Efficient timed model checking for discrete-time systems von Laroussinie, F., Markey, N., Schnoebelen, Ph

Volltext

Symbolic Model Checking for Simply-Timed Systems von Markey, Nicolas, Schnoebelen, Philippe

Volltext

Model Checking Branching Time Logics von Schnoebelen, P.

Volltext

Oracle Circuits for Branching-Time Model Checking von Schnoebelen, Philippe

Volltext

On the Expressivity and Complexity of Quantitative Branching-Time Temporal Logics von Laroussinie, F., Schnoebelen, Ph, Turuani, M.

Volltext

Verification of probabilistic systems with faulty communication von Abdulla, P.A., Bertrand, N., Rabinovich, A., Schnoebelen, Ph

Volltext