Skip to Main content
Number of documents

4

Fabien Dagnat


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) research team of the Lab-STICC laboratory.


2440   

Conference papers4 documents

  • Alexandre Cortier, Loïc Besnard, Jean-Paul Bodeveix, Jérémy Buisson, Fabien Dagnat, et al.. Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software. Workshop on Formal Methods for Aerospace (FMA 2009), Nov 2009, Eindhoven, Netherlands. ⟨10.48550/arXiv.1003.0554⟩. ⟨hal-00788450⟩
  • Jérémy Buisson, Fabien Dagnat. Introspecting continuations in order to update active code. International Workshop On Hot Topics In Software Upgrades, Oct 2008, Nashville, United States. pp.4, ⟨10.1145/1490283.1490289⟩. ⟨hal-00498583⟩
  • Jérémy Buisson, Cecilia Carro, Fabien Dagnat. Issues in applying a model driven approach to reconfigurations of satellite software. International Workshop On Hot Topics In Software Upgrades, Oct 2008, Nashville, United States. pp.6, ⟨10.1145/1490283.1490291⟩. ⟨hal-00498587⟩
  • Jérémy Buisson, Fabien Dagnat. Experiments with Fractal on Modular Reflection. Sixth International Conference on Software Engineering Research, Management and Applications (SERA), Aug 2008, Prague, Czech Republic. pp.179, ⟨10.1109/SERA.2008.19⟩. ⟨hal-00498590⟩