Christophe Lohr

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Ludovic Apvrille [2] [5] [6] [7]
2Jean-Pierre Courtiat [1] [2] [3] [4] [5] [6]
3Ferhat Khendek [8]
4B. Outtaj [1]
5Paulo Nazareno Maia Sampaio [3]
6Celso Alberto Saibel Santos (C. A. S. Santos) [1]
7Pierre de Saqui-Sannes [2] [5] [6] [7]
8Patrick Sénac [2] [7]
9Li Xin Wang [8]
10Xiao Jun Zhang [8]
11Tong Zheng [8]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)