Papers archive

Algorithms, Theory & Logic

Timed Temporal Logics.

Patricia Bouyer, François Laroussinie, Nicolas Markey, Joël Ouaknine, James Worrell.
Models, Algorithms, Logics and Tools 2017.

From tests to proofs.

Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko.
Int. J. Softw. Tools Technol. Transf. 2013.

Recent Developments in FDR.

Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell.
CAV 2012.

Preface.

Michael W. Mislove, Joël Ouaknine.
Electr. Notes Theor. Comput. Sci. 2011.

Preface.

Michael W. Mislove, Joël Ouaknine.
MFPS 2011.