Skip to Main content
New interface
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

  • Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, et al.. Polychronous interpretation of synoptic, a domain specific modeling language for embedded flight-software. FM 09 - Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands. pp.80-87, ⟨10.4204/EPTCS.20.9⟩. ⟨hal-00624134⟩
  • 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⟩
  • 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⟩