Christophe Lohr (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 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)

5 Christophe Lohr, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat: New Operators for the TURTLE Real-Time UML Profile. FMOODS 2003: 214-228

4 Christophe Lohr, Jean-Pierre Courtiat: From the Specification to the Scheduling of Time-Dependent Systems. FTRTFT 2002: 129-146

3 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 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

1 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)

Selection of 6 from 8 records - Christophe Lohr has 11 coauthors

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