Mario Paludetto

According to our database, Mario Paludetto authored at least 6 papers between 1997 and 2004.

Collaborative distances:

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

2004

UML et réseaux de Petri.

Mario Paludetto, Jérôme Delatour, Adel Benzina

Tech. Sci. Informatiques, 2004

2001

Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear L.

François Taïani, Mario Paludetto, Jérôme Delatour

Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001

1999

UML et les réseaux de Petri : vers une sémantique des modèles dynamiques et une méthodologie de développement des systèmes temps réel.

Mario Paludetto, Jérôme Delatour

Obj. Logiciel Base données Réseaux, 1999

1998

Analysing a Mechatronic System with Coloured Petri Nets.

Gilles Moncelet, Søren Christensen, Hamid Demmou, Mario Paludetto, José Porras

Int. J. Softw. Tools Technol. Transf., 1998

UML/PNO: A Way to Merge UML and Petri Net Objects for the Analysis of Real-Time Systems.

Jérôme Delatour, Mario Paludetto

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997

About the Suitability of Petri Nets for Describing, Validating and Evaluating SA-RT Specifications.

Adel Benzina, Mario Paludetto, Jérôme Delatour

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997