Omer Landry Nguena-Timo

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Event Sequences

Finite State Automata

Top Venues

RAIRO Theor. Informatics Appl.

University of Bordeaux, France (PHD)

Education History

University of Bordeaux, France

PHD

Publications

Omer Landry Nguena-Timo, Pierre-Alain Reynier
On characteristic formulae for Event-Recording Automata. RAIRO Theor. Informatics Appl. 47 (1) (2013)
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo
Runtime Enforcement of Timed Properties. RV (2012)
Omer Landry Nguena-Timo, Pierre-Alain Reynier
On Characteristic Formulae for Event-Recording Automata. FICS (2009)