Search the dblp DataBase

Publications of Author

1. Adel Benzina, Mario Paludetto, Jérôme Delatour
   About the Suitability of Petri Nets for Describing, Validating and Evaluating SA-RT Specifications. [Citation Graph (0, 0)][DBLP]
   APSEC, 1997, pp:249-258 [Conf]
   
2. Jérôme Delatour, Mario Paludetto
   UML/PNO: A Way to Merge UML and Petri Net Objects for the Analysis of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   ECOOP Workshops, 1998, pp:511-514 [Conf]
   
3. François Taïani, Mario Paludetto, Jérôme Delatour
   Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear L. [Citation Graph (0, 0)][DBLP]
   ISORC, 2001, pp:298-305 [Conf]
   
4. Jérôme Delatour, Florent de Lamotte
   ArgoPN: a CASE Tool Merging UML and Petri Nets. [Citation Graph (0, 0)][DBLP]
   NDDL/VVEIS, 2003, pp:94-102 [Conf]
   
5. Mario Paludetto, Jérôme Delatour
   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. [Citation Graph (0, 0)][DBLP]
   L'OBJET, 1999, v:5, n:3/4, pp:- [Journal]
   
6. Mario Paludetto, Jérôme Delatour, Adel Benzina
   UML et réseaux de Petri. [Citation Graph (0, 0)][DBLP]
   Technique et Science Informatiques, 2004, v:23, n:4, pp:543-567 [Journal]
   
7. 
   Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation. [Citation Graph (, )][DBLP]
   
   
8. 
   Towards a Framework for Explicit Platform-Based Transformations. [Citation Graph (, )][DBLP]
   
   
9. 
   Software Real-time Resource Modeling. [Citation Graph (, )][DBLP]
   
   
10. 
    Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM. [Citation Graph (, )][DBLP]