- 9
Christophe Lohr
9
Documents
Identifiants chercheurs
- christophe-lohr
- 0000-0002-0655-2880
- IdRef : 069792208
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
- 9
- 9
- 7
- 4
- 9
- 1
- 1
- 1
- 4
- 1
- 2
- 2
Verifying service continuity in a satellite reconfiguration procedureAutomated Software Engineering, 2004, 11, pp.167--192
Article dans une revue
hal-01674637v1
|
|
TURTLE: a real‐time UML profile supported by a formal validation toolkitIEEE Transactions on Software Engineering, 2004, 30 (7), pp.473--487
Article dans une revue
hal-01674634v1
|
|
UML and RT‐LOTOS. An integration for real‐time system validationJournal Européen des Systèmes Automatisés (JESA), 2002, 36 (7), pp.1029--1042
Article dans une revue
hal-01674642v1
|
TURTLE : un pont entre UML et RT‐LOTOSConference 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 TURTLEJourné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 profile6th 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 satellites9è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 validation4th 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éelColloque 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
|