The SCEAS System
Navigation Menu

Search the dblp DataBase


Christophe Lohr: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.001secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002