Ph. Schnoebelen

Well-structured transition systems everywhere!

Alain Finkel, Ph. Schnoebelen · Theoretical Computer Science · 2001 · 701 citations

Computing, Computer Science, Dynamical Systems +7

Temporal logic with forgettable past

François Laroussinie, Nicolas Markey, Ph. Schnoebelen · 2003 · 179 citations · Full text

Computing, Computer Science, Mathematics +13

Verifying lossy channel systems has nonprimitive recursive complexity

Ph. Schnoebelen · Information Processing Letters · 2002 · 137 citations

Computing, Computer Science, Electrical Engineering +10

Towards the automatic verification of PLC programs written in Instruction List

Géraud Canet, S. Couffin, Jean-Jacques Lesage et al. · 2002 · 120 citations

Computing, Computer Engineering, Computer Science +16

A hierarchy of temporal logics with past

François Laroussinie, Ph. Schnoebelen · Theoretical Computer Science · 1995 · 85 citations

Humanities, Computer Science, Knowledge Representation +10