Search the dblp DataBase

Publications of Author

1. Paulo Nazareno Maia Sampaio, Christophe Lohr, Jean-Pierre Courtiat
   An integrated environment for the presentation of consistent SMIL 2.0 documents. [Citation Graph (0, 0)][DBLP]
   ACM Symposium on Document Engineering, 2001, pp:115-124 [Conf]
   
2. Christophe Lohr, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
   New Operators for the TURTLE Real-Time UML Profile. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2003, pp:214-228 [Conf]
   
3. Christophe Lohr, Jean-Pierre Courtiat
   From the Specification to the Scheduling of Time-Dependent Systems. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 2002, pp:129-146 [Conf]
   
4. Ferhat Khendek, Christophe Lohr, Li Xin Wang, Xiao Jun Zhang, Tong Zheng
   Early Validation of Deployment and Scheduling Constraints for MSC Specifications. [Citation Graph (0, 0)][DBLP]
   SAM, 2004, pp:106-121 [Conf]
   
5. Ludovic Apvrille, Pierre de Saqui-Sannes, Christophe Lohr, Patrick Sénac, Jean-Pierre Courtiat
   A New UML Profile for Real-Time System Formal Design and Validation. [Citation Graph (0, 0)][DBLP]
   UML, 2001, pp:287-301 [Conf]
   
6. Ludovic Apvrille, Pierre de Saqui-Sannes, Patrick Sénac, Christophe Lohr
   Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System. [Citation Graph (0, 0)][DBLP]
   Autom. Softw. Eng., 2004, v:11, n:2, pp:167-191 [Journal]
   
7. Jean-Pierre Courtiat, C. A. S. Santos, Christophe Lohr, B. Outtaj
   Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. [Citation Graph (0, 0)][DBLP]
   Computer Communications, 2000, v:23, n:12, pp:1104-1123 [Journal]
   
8. Ludovic Apvrille, Jean-Pierre Courtiat, Christophe Lohr, Pierre de Saqui-Sannes
   TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2004, v:30, n:7, pp:473-487 [Journal]