Pierre Molinaro

Publication Activity (10 Years)

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

Publications

Morgan Magnin, Pierre Molinaro, Olivier H. Roux
Expressiveness of Petri Nets with Stopwatches. Dense-time Part. Fundam. Informaticae 97 (1-2) (2009)
Morgan Magnin, Pierre Molinaro, Olivier H. Roux
Expressiveness of Petri Nets with Stopwatches. Discrete-time Part. Fundam. Informaticae 97 (1-2) (2009)
Eva Rakotomalala, Jean-Pierre Elloy, Pierre Molinaro, Bernard Bavoux, Didier Jampi
Ensuring High Quality in Specifications for Automotive Embedded Control Systems. IESS (2005)
Imad Alzeer, Pierre Molinaro, Yvon Trinquet
Response time calculations for non-preemptive tasks with variable execution time. ETFA (1) (2003)
Olivier H. Roux, David Delfieu, Pierre Molinaro
Discrete time approach of time Petri nets for real-time systems analysis. ETFA (2) (2001)
Pierre Molinaro, Olivier H. Roux
Oreste : a Reliable Reactive Real-Time Language. SAFECOMP (1993)