Number of documents

44

Fabien Dagnat


I'm currently associate professor of software engineering at IMT Atlantique on the Brest campus.


Journal articles7 documents

  • Antoine Beugnard, Fabien Dagnat, Sylvain Guerin, Christophe Guychard. Des situations de modélisation pour décrire un processus de modélisation. Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2015, 20 (2), pp.41 - 66. ⟨10.3166/ISI.20.2.41-66⟩. ⟨hal-01164480⟩
  • Jérémy Buisson, Fabien Dagnat, Elena Leroux, Sébastien Martinez. Safe reconfiguration of Coqcots and Pycots components. Journal of Systems and Software, Elsevier, 2015, ⟨10.1016/j.jss.2015.11.039⟩. ⟨hal-01235602⟩
  • Ali Koudri, Christophe Guychard, Sylvain Guerin, Fabien Dagnat, Antoine Beugnard, et al.. De la nécessité de fédérer des modèles dans une chaîne d'outils. Génie logiciel, C & S, 2013, pp.18-23. ⟨hal-00904995⟩
  • 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. Formal methods for aerospace, 2010, 18, pp.80-87. ⟨10.4204/EPTCS.20.9⟩. ⟨hal-00624134⟩
  • Meriem Belguidoum, Fabien Dagnat. Formalization of component substitutability. Electronic Notes in Theoretical Computer Science, Elsevier, 2008, 215, pp.75 - 92. ⟨10.1016/j.entcs.2008.06.022⟩. ⟨hal-02136485⟩
  • Meriem Belguidoum, Fabien Dagnat. Dependency management in software component deployment. Electronic Notes in Theoretical Computer Science, Elsevier, 2007, 182, pp.17 - 32. ⟨10.1016/j.entcs.2006.09.029⟩. ⟨hal-02134708⟩
  • Fabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé. Typing Concurrent Objects and Actors. L'Objet, méthodes formelles pour les objets, Hermes Science Publications, 2000. ⟨hal-02061966⟩

Conference papers34 documents

  • Étienne Louboutin, Jean-Christophe Bach, Fabien Dagnat. Statistical Measurement of Production Environment Influence on Code Reuse Availability. SECURWARE, Oct 2019, Nice, France. ⟨hal-02354761⟩
  • Fahad Rafique Golra, Fabien Dagnat, Jeanine Souquières, Imen Sayar, Sylvain Guerin. Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation. 16th International Conference on Software Engineering and Formal Methods (SEFM 2018), Jun 2018, Toulouse, France. pp.54-69, ⟨10.1007/978-3-319-92970-5_4⟩. ⟨hal-01853610⟩
  • Serge Guelton, Adrien Guinet, Pierrick Brunet, Juan Manuel Martinez, Fabien Dagnat, et al.. Combining Obfuscation and Optimizations in the Real World. 18th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), Sep 2018, Madrid, Spain. pp.24 - 33, ⟨10.1109/SCAM.2018.00010⟩. ⟨hal-02062166⟩
  • Fahad Rafique Golra, Fabien Dagnat, Reda Bendraou, Antoine Beugnard. Continuous Process Compliance Using Model Driven Engineering. MEDI 2017 : 7th International Conference on Model and Data Engineering, Oct 2017, Barcelone, Spain. pp.42-56, ⟨10.1007/978-3-319-66854-3_4⟩. ⟨hal-01633341⟩
  • Bastien Sultan, Fabien Dagnat, Caroline Fontaine. A Methodology to Assess Vulnerabilities and Countermeasures Impact on the Missions of a Naval System. CyberICPS'2017 : International Workshop on the Security of Industrial Control Systems and Cyber-Physical Systems, Sep 2017, Oslo, Norway. pp.63 - 76, ⟨10.1007/978-3-319-72817-9_5⟩. ⟨hal-01836378⟩
  • Bastien Sultan, Fabien Dagnat, Caroline Fontaine. Maîtrise des Correctifs de Sécurité pour les Systèmes Navals. CIEL 2016 : 5ème Conférence en Ingénierie du Logiciel, Jun 2016, Besançon, France. pp.1 - 6. ⟨hal-01431543⟩
  • Fahad Rafique Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guerin, Christophe Guychard. Addressing Modularity for Heterogeneous Multi-model Systems using Model Federation. MODULARITY 2016 : 15th International Conference on Modularity, Mar 2016, Malaga, Spain. pp.206 - 211, ⟨10.1145/2892664.2892701⟩. ⟨hal-01298547⟩
  • Fahad Rafique Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guerin, Christophe Guychard. Continuous Requirements Engineering Using Model Federation. RE 2016 : 24th IEEE International Requirements Engineering Conference, Sep 2016, Beijing, China. pp.347 - 352, ⟨10.1109/RE.2016.42⟩. ⟨hal-01487055⟩
  • Fahad Rafique Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guerin, Christophe Guychard. Using free modeling as an Agile method for developing domain specific modeling languages. MODELS 2016 : ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Oct 2016, Saint Malo, France. pp.24 - 34, ⟨10.1145/2976767.2976807⟩. ⟨hal-01393781⟩
  • Sébastien Martinez, Fabien Dagnat, Jérémy Buisson. Pymoult : On-Line Updates for Python Programs. ICSEA 2015 : 10th International Conference on Software Engineering Advances, Nov 2015, Barcelone, Spain. pp.80 - 85. ⟨hal-01247603⟩
  • Antoine Beugnard, Fabien Dagnat, Sylvain Guerin, Christophe Guychard. Des situations de modélisation pour évaluer les outils de modélisation. INFORSID 2014 : 32ème congrès de l'INFormatique des ORganisations et Systèmes d'Information et de Décision, May 2014, Lyon, France. pp.181-196. ⟨hal-01015893⟩
  • Jérémy Buisson, Everton Calvacante, Fabien Dagnat, Elena Leroux, Sébastien Martinez. Coqcots & Pycots: non-stopping components for safe dynamic reconfiguration. CBSE 2014 : proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering, Jun 2014, Lille, France. pp.1, ⟨10.1145/2602458.2602459⟩. ⟨hal-00984365⟩
  • Christophe Guychard, Sylvain Guerin, Ali Koudri, Antoine Beugnard, Fabien Dagnat. Conceptual interoperability through Models Federation. Semantic Information Federation Community Workshop, Oct 2013, Miami, United States. ⟨hal-00905036⟩
  • Sébastien Martinez, Fabien Dagnat, Jérémy Buisson. Prototyping DSU techniques using Python. HotSWUp'13, Jun 2013, San José, United States. https://www.usenix.org/conference/hotswup13/prototyping-dsu-techniques-using-python. ⟨hal-00907744⟩
  • Fahad Rafique Golra, Fabien Dagnat. Generation of Dynamic Process Models for Multi-metamodel Applications. ICSSP 2012: International Conference on Software and System Process, Jun 2012, Zurich, Switzerland. ⟨10.1109/ICSSP.2012.6225980⟩. ⟨hal-00739675⟩
  • Fahad Rafique Golra, Fabien Dagnat. Specifying the Interaction Control Behavior of a Process Model using Hierarchical Petri Net. PMDE 2012: 2nd Workshop on Process-based approaches for Model-Driven Engineering, Jul 2012, Lyngby, Denmark. ⟨hal-00797559⟩
  • Fabien Dagnat, Gwendal Simon, Xu Zhang. Toward a distributed package management system. Lococo 2011: workshop on logics for component configuration, Sep 2011, Perugia, Italy. ⟨hal-00623548⟩
  • Fahad Rafique Golra, Fabien Dagnat. Using component-oriented process models for multi-metamodel applications. 9th International Conference on Frontiers of Information Technology, Dec 2011, Islamabad, Pakistan. pp.218-233, ⟨10.1109/FIT.2011.47⟩. ⟨hal-00725607⟩
  • Fahad Rafique Golra, Fabien Dagnat. The Lazy Initialization Multilayered Modeling Framework (NIER track). ICSE 2011 : 33rd International Conference on Software Engineering, May 2011, Honolulu, United States. pp.924 - 927, ⟨10.1145/1985793.1985947⟩. ⟨hal-00623642v2⟩
  • Sylvain Bouveret, Julien Brunel, David Chemouil, Fabien Dagnat. Towards a categorical framework to ensure correct software evolutions. Workshop on Hot Topics in Software Upgrades, Apr 2011, Hannover, Germany. pp.139-144, ⟨10.1109/ICDEW.2011.5767625⟩. ⟨hal-00785433⟩
  • Jérémy Buisson, Fabien Dagnat. ReCaml: execution state as the cornerstone of reconfigurations. ACM SIGPLAN: 15th International Conference on Functional Programming, Sep 2010, Baltimore, United States. pp.27-38, ⟨10.1145/1863543.1863550⟩. ⟨hal-00797558⟩
  • Meriem Belguidoum, Fabien Dagnat. Vers un déploiement sûr et flexible des composants logiciels. NOTERE 2009 : neuvième conférence internationale sur les nouvelles technologies de la répartition, Jun 2009, Montréal, Canada. ⟨hal-02061819⟩
  • Meriem Belguidoum, Fabien Dagnat. Integrating extra-functional properties in component deployment dependencies. 6th International Workshop on Formal Aspects of Component Software, Nov 2009, Eindhoven, Netherlands. pp.195 - 209. ⟨hal-02061820⟩
  • Alexandre Cortier, Loïc Besnard, Jean-Paul Bodeveix, Jérémy Buisson, Fabien Dagnat, et al.. Synoptic: a domain specific modeling language for embedded flight-software. FMA 2009 : Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands. ⟨hal-00788450⟩
  • Antoine Beugnard, Sophie Chabridon, Denis Conan, Chantal Taconet, Fabien Dagnat, et al.. Towards context-aware components. CASTA 2009 : Workshop on Context-Aware Software Technology and Applications - Co-located with ESEC/FSE 2009, Aug 2009, Amsterdam, Netherlands. pp.1 - 4, ⟨10.1145/1595768.1595770⟩. ⟨hal-01315821⟩
  • 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⟩
  • 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⟩
  • Meriem Belguidoum, Fabien Dagnat. Dependability in software component deployment. RELCOMEX 2007 : 2nd international conference on dependability of computer systems depCos, June 14-16, Szklarska Poreba, Pologne, Jun 2007, Szklarska Poreba, Poland. pp.223 - 230, ⟨10.1109/DEPCOS-RELCOMEX.2007.16⟩. ⟨hal-02062068⟩
  • Meriem Belguidoum, Fabien Dagnat. Analysis of deployment dependencies in software components. SAC 2006 : 21st annual ACM Symposium on applied computing, 23-27 avril, Dijon, France, Apr 2006, Dijon, France. ⟨hal-02062073⟩
  • Meriem Belguidoum, Fabien Dagnat. Dependency management in software component deployment. FACS'06 : Third International Workshop on Formal Aspects of Component Software, Prague, Czech republic, Sep 2006, Prague, Czech Republic. ⟨hal-02114096⟩
  • Meriem Belguidoum, Fabien Dagnat, Antoine Beugnard. Analyse des dépendances pour le déploiement automatique de composants. 4ème Conférence Francophone autour des Composants Logiciels, Le Croisic du 6 au 8 Avril 2005, Apr 2005, Le Croisic, France. pp.57 - 68. ⟨hal-02062075⟩
  • Fabien Dagnat, Ronan Keryell, Laura Barrero Sastre, Emmanuel Donin de Rosiere, Nicolas Torneri. Bibtex++ : toward higher-order bibtexing. EuroTeX'2003 : 14th European TeX Conference, Jun 2003, Brest, France. ⟨hal-02128426⟩
  • Fabien Dagnat, Marc Pantel. Static analysis of communications for Erlang. EUC 2002 (8th international Erlang User Conference), Stockholm, November 19, Nov 2002, Stockholm, Suède. ⟨hal-02132880⟩

Book sections1 document

  • Alexandre Cortier, Loïc Besnard, Jean-Paul Bodeveix, Jérémy Buisson, Fabien Dagnat, et al.. Synoptic: a domain-specific modeling language for space on-board application software. Synthesis of embedded software, frameworks and methodologies for correctness by construction, Springer, pp.79 - 119, 2010, Engineering, 978-1-4419-6399-4. ⟨10.1007/978-1-4419-6400-7_3⟩. ⟨hal-02061818⟩

Theses1 document

  • Fabien Dagnat. Vérification Statique de Programmes Répartis. Langage de programmation [cs.PL]. Institut National Polytechnique De Toulouse, 2001. Français. ⟨tel-02061997⟩

Habilitation à diriger des recherches1 document

  • Fabien Dagnat. Du génie logiciel pour déployer, gérer et reconfigurer les logiciels. Interface homme-machine [cs.HC]. Télécom Bretagne; Institut Mines-Télécom, 2016. ⟨tel-01323059⟩