Accéder directement au contenu

Fabien Dagnat

100%
Libre accès
4
Documents
Identifiants chercheurs
Contact

Présentation

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

2440
Image document

Polychronous interpretation of synoptic, a domain specific modeling language for embedded flight-software

Loïc Besnard , Thierry Gautier , Julien Ouy , Jean-Pierre Talpin , Jean-Paul Bodeveix
FM 09 - Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands. pp.80-87, ⟨10.4204/EPTCS.20.9⟩
Communication dans un congrès hal-00624134v1
Image document

Issues in applying a model driven approach to reconfigurations of satellite software

Jérémy Buisson , Cecilia Carro , Fabien Dagnat
International Workshop On Hot Topics In Software Upgrades, Oct 2008, Nashville, United States. pp.6, ⟨10.1145/1490283.1490291⟩
Communication dans un congrès hal-00498587v1
Image document

Experiments with Fractal on Modular Reflection

Jérémy Buisson , Fabien Dagnat
Sixth International Conference on Software Engineering Research, Management and Applications (SERA), Aug 2008, Prague, Czech Republic. pp.179, ⟨10.1109/SERA.2008.19⟩
Communication dans un congrès hal-00498590v1
Image document

Introspecting continuations in order to update active code

Jérémy Buisson , Fabien Dagnat
International Workshop On Hot Topics In Software Upgrades, Oct 2008, Nashville, United States. pp.4, ⟨10.1145/1490283.1490289⟩
Communication dans un congrès hal-00498583v1