| 2004 |
|---|
| 8 | EE | Ferhat 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 |
| 7 | EE | Ludovic 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) |
| 6 | EE | Ludovic 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) |
| 2003 |
|---|
| 5 | EE | Christophe Lohr,
Ludovic Apvrille,
Pierre de Saqui-Sannes,
Jean-Pierre Courtiat:
New Operators for the TURTLE Real-Time UML Profile.
FMOODS 2003: 214-228 |
| 2002 |
|---|
| 4 | EE | Christophe Lohr,
Jean-Pierre Courtiat:
From the Specification to the Scheduling of Time-Dependent Systems.
FTRTFT 2002: 129-146 |
| 2001 |
|---|
| 3 | EE | Paulo 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 |
| 2 | EE | 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.
UML 2001: 287-301 |
| 2000 |
|---|
| 1 | EE | Jean-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) |
