Pierre Molinaro

According to our database, Pierre Molinaro authored at least 6 papers between 1993 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2009

Expressiveness of Petri Nets with Stopwatches. Discrete-time Part.

Morgan Magnin, Pierre Molinaro, Olivier H. Roux

Fundam. Informaticae, 2009

Expressiveness of Petri Nets with Stopwatches. Dense-time Part.

Morgan Magnin, Pierre Molinaro, Olivier H. Roux

Fundam. Informaticae, 2009

2005

Ensuring High Quality in Specifications for Automotive Embedded Control Systems.

Eva Rakotomalala, Jean-Pierre Elloy, Pierre Molinaro, Bernard Bavoux, Didier Jampi

Proceedings of the From Specification to Embedded Systems Application [International Embedded Systems Symposium, 2005

2003

Response time calculations for non-preemptive tasks with variable execution time.

Imad Alzeer, Pierre Molinaro, Yvon Trinquet

Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

2001

Discrete time approach of time Petri nets for real-time systems analysis.

Olivier H. Roux, David Delfieu, Pierre Molinaro

Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

1993

Oreste : a Reliable Reactive Real-Time Language.

Pierre Molinaro, Olivier H. Roux

Proceedings of the 12th International Conference on Computer Safety, 1993