Accéder directement au contenu

Christophe Lohr

9
Documents
Identifiants chercheurs

Présentation

Maître de conférences en informatique - [IMT Atlantique](http://www.imt-atlantique.fr/ "IMT Atlantique")
Associate Professor in Computer Science - [IMT Atlantique](http://www.imt-atlantique.fr/ "IMT Atlantique")

Publications

ludovic-apvrille

TURTLE : un pont entre UML et RT‐LOTOS

Pierre de Saqui-Sannes , Ludovic Apvrille , Christophe Lohr , Jean-Pierre Courtiat
Conference AFADL'2004. Approches Formelles dans l'Assistance au Développement de Logiciels, 2004, Unknown, Région indéterminée. pp.--4
Communication dans un congrès hal-01674636v1

Derniers développements autour du profil UML temps réel TURTLE

Pierre de Saqui-Sannes , Ludovic Apvrille , Christophe Lohr , Jean-Pierre Courtiat
Journées "Formalisation des Activités Concurrentes" (FAC'2004), 2004, Unknown, Région indéterminée. pp.--12
Communication dans un congrès hal-01674635v1

New operators for the TURTLE real‐time UML profile

Christophe Lohr , Ludovic Apvrille , Pierre de Saqui-Sannes , Jean-Pierre Courtiat
6th IFIP WG 6.1 International Conference on Formal Methods for Open Object‐Based Distributed Systems (FMOODS'2003), 2003, Unknown, Unknown Region
Communication dans un congrès hal-01674638v1

Reconfiguration dynamique de protocoles embarqués à bord de satellites

Ludovic Apvrille , Pierre de Saqui-Sannes , Patrick Sénac , Christophe Lohr
9ème Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'2002), 2002, Unknown, Région indéterminée. pp.441--454
Communication dans un congrès hal-01674639v1

A new UML profile for real‐time system formal design and validation

Ludovic Apvrille , Pierre de Saqui-Sannes , Christophe Lohr , Patrick Sénac , Jean-Pierre Courtiat
4th International Conference on the Unified Modeling Language (UML'2001), 2001, Unknown, Unknown Region
Communication dans un congrès hal-01674643v1

UML et RT‐LOTOS. Vers une intégration informel/formel au service de la validation de systèmes temps réel

Pierre de Saqui-Sannes , Ludovic Apvrille , Christophe Lohr , Jean-Pierre Courtiat
Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'2001), 2001, Unknown, Région indéterminée. pp.513--528
Communication dans un congrès hal-01674644v1