Oreste : a Reliable Reactive Real-Time Language. - Pierre Molinaro; Olivier H. Roux (SAFECOMP, 1993)

Discrete time approach of time Petri nets for real-time systems analysis. - Olivier H. Roux; David Delfieu; Pierre Molinaro (ETFA (2), 2001)

Response time calculations for non-preemptive tasks with variable execution time. - Imad Alzeer; Pierre Molinaro; Yvon Trinquet (ETFA (1), 2003)

Ensuring High Quality in Specifications for Automotive Embedded Control Systems. - Eva Rakotomalala; Jean-Pierre Elloy; Pierre Molinaro; Bernard Bavoux; Didier Jampi (IESS, 2005)

Expressiveness of Petri Nets with Stopwatches. Dense-time Part. - Morgan Magnin; Pierre Molinaro; Olivier H. Roux (Fundam. Informaticae, 2009)

Expressiveness of Petri Nets with Stopwatches. Discrete-time Part. - Morgan Magnin; Pierre Molinaro; Olivier H. Roux (Fundam. Informaticae, 2009)