Fabien Dagnat
100%
Open access
4
Documents
Researcher identifiers
fabien-dagnat
-
0000-0002-2419-7587
- IdRef : 05957352X
Presentation
I'm currently associate professor of software engineering at IMT Atlantique on the Brest campus. I'm the leader of the [P4S (Processes for Safe and Secure Software and Systems)](https://p4s.enstb.org) research team of the Lab-STICC laboratory.
Je suis actuellement maître de conférences HDR en génie logiciel à l'IMT Atlantique sur le campus de Brest. Je suis responsable de l'équipe de recherche [P4S (Processes for Safe and Secure Software and Systems)](https://p4s.enstb.org) du Lab-STICC (UMR 6285).
Publications
- 4
- 4
- 1
- 3
|
Polychronous interpretation of synoptic, a domain specific modeling language for embedded flight-softwareFM 09 - Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands. pp.80-87, ⟨10.4204/EPTCS.20.9⟩
Conference papers
hal-00624134v1
|
|
Issues in applying a model driven approach to reconfigurations of satellite softwareInternational Workshop On Hot Topics In Software Upgrades, Oct 2008, Nashville, United States. pp.6, ⟨10.1145/1490283.1490291⟩
Conference papers
hal-00498587v1
|
|
Experiments with Fractal on Modular ReflectionSixth International Conference on Software Engineering Research, Management and Applications (SERA), Aug 2008, Prague, Czech Republic. pp.179, ⟨10.1109/SERA.2008.19⟩
Conference papers
hal-00498590v1
|
|
Introspecting continuations in order to update active codeInternational Workshop On Hot Topics In Software Upgrades, Oct 2008, Nashville, United States. pp.4, ⟨10.1145/1490283.1490289⟩
Conference papers
hal-00498583v1
|