Accéder directement au contenu

Fabien Dagnat

66%
Libre accès
50
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

Multi-Level Modeling with Openflexo/FML

Sylvain Guérin , Joël Champeau , Jean-Christophe Bach , Antoine Beugnard , Fabien Dagnat
Enterprise Modelling and Information Systems Architectures, 2022, 17, ⟨10.18417/emisa.17.9⟩
Article dans une revue hal-03692372v1
Image document

PAMELA: an annotation-based Java Modeling Framework

Sylvain Guérin , Guillaume Polet , Caine Silva , Joel Champeau , Jean-Christophe Bach
Science of Computer Programming, 2021, 210, pp.102668. ⟨10.1016/j.scico.2021.102668⟩
Article dans une revue hal-03217126v1
Image document

Safe reconfiguration of Coqcots and Pycots components

Jérémy Buisson , Fabien Dagnat , Elena Leroux , Sébastien Martinez
Journal of Systems and Software, 2016, 122, pp.430-444. ⟨10.1016/j.jss.2015.11.039⟩
Article dans une revue hal-01235602v1
Image document

Des situations de modélisation pour décrire un processus de modélisation

Antoine Beugnard , Fabien Dagnat , Sylvain Guerin , Christophe Guychard
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2015, 20 (2), pp.41 - 66. ⟨10.3166/ISI.20.2.41-66⟩
Article dans une revue hal-01164480v1

De la nécessité de fédérer des modèles dans une chaîne d'outils

Ali Koudri , Christophe Guychard , Sylvain Guerin , Fabien Dagnat , Antoine Beugnard
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2013, 105, pp.18-23
Article dans une revue hal-00904995v1
Image document

Formalization of component substitutability

Meriem Belguidoum , Fabien Dagnat
Electronic Notes in Theoretical Computer Science, 2008, 215, pp.75 - 92. ⟨10.1016/j.entcs.2008.06.022⟩
Article dans une revue hal-02136485v1

Dependency management in software component deployment

Meriem Belguidoum , Fabien Dagnat
Electronic Notes in Theoretical Computer Science, 2007, 182, pp.17 - 32. ⟨10.1016/j.entcs.2006.09.029⟩
Article dans une revue hal-02134708v1

Typing Concurrent Objects and Actors

Fabien Dagnat , Marc Pantel , Matthias Colin , Patrick Sallé
L'Objet, méthodes formelles pour les objets, 2000
Article dans une revue hal-02061966v1

A flexible and robust framework for the secure systems engineering of space missions

Tom Leclerc , Soumya Paul , Jussi Roberts , Fabien Dagnat , Florian Ledoux
17th International Conference on Space Operations 2023, Mar 2023, Dubai, United Arab Emirates
Communication dans un congrès hal-04045293v1
Image document

Towards evolving secured multi-model systems with model federation

Chahrazed Boudjemila , Fabien Dagnat , Salvador Martínez
MODELS 2023: 26th International Conference on Model-Driven Engineering Languages and Systems - ME 2023: 16th Workshop on Models and Evolution, Oct 2023, Vasteras, Sweden
Communication dans un congrès hal-04254748v1
Image document

Modeling heterogeneous IT infrastructures: a collaborative component-oriented approach

Benjamin Somers , Fabien Dagnat , Jean-Christophe Bach
EMMSAD 2023: 28th International working conference on Evaluation and Modeling Methods for Systems Analysis and Development, BPMDS 2023: 24th International Conference on Business Process Modeling, Development and Support, Jun 2023, Saragosse, Spain. pp.227-242, ⟨10.1007/978-3-031-34241-7_16⟩
Communication dans un congrès hal-04083449v1
Image document

How IT Infrastructures Break: Better Modeling for Better Risk Management

Benjamin Somers , Fabien Dagnat , Jean-Christophe Bach
CRiSIS 2022: 17th International Conference on Risks and Security of Internet and Systems, Dec 2022, Sousse, Tunisia. pp.169-184, ⟨10.1007/978-3-031-31108-6_13⟩
Communication dans un congrès hal-03801086v1
Image document

Statistical Measurement of Production Environment Influence on Code Reuse Availability

Étienne Louboutin , Jean-Christophe Bach , Fabien Dagnat
SECURWARE 2019 : The Thirteenth International Conference on Emerging Security Information, Systems and Technologies, Oct 2019, Nice, France
Communication dans un congrès hal-02354761v1

Combining Obfuscation and Optimizations in the Real World

Serge Guelton , Adrien Guinet , Pierrick Brunet , Juan Manuel Martinez , Fabien Dagnat
18th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), Sep 2018, Madrid, Spain. pp.24 - 33, ⟨10.1109/SCAM.2018.00010⟩
Communication dans un congrès hal-02062166v1
Image document

Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation

Fahad Rafique Golra , Fabien Dagnat , Jeanine Souquières , Imen Sayar , Sylvain Guerin
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⟩
Communication dans un congrès hal-01853610v1
Image document

Continuous Process Compliance Using Model Driven Engineering

Fahad Rafique Golra , Fabien Dagnat , Reda Bendraou , Antoine Beugnard
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⟩
Communication dans un congrès hal-01633341v1

A Methodology to Assess Vulnerabilities and Countermeasures Impact on the Missions of a Naval System

Bastien Sultan , Fabien Dagnat , Caroline Fontaine
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⟩
Communication dans un congrès hal-01836378v1
Image document

Using free modeling as an Agile method for developing domain specific modeling languages

Fahad Rafique Golra , Antoine Beugnard , Fabien Dagnat , Sylvain Guerin , Christophe Guychard
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⟩
Communication dans un congrès hal-01393781v1
Image document

Continuous Requirements Engineering Using Model Federation

Fahad Rafique Golra , Antoine Beugnard , Fabien Dagnat , Sylvain Guerin , Christophe Guychard
RE 2016 : 24th IEEE International Requirements Engineering Conference, Sep 2016, Beijing, China. pp.347 - 352, ⟨10.1109/RE.2016.42⟩
Communication dans un congrès hal-01487055v1
Image document

Maîtrise des Correctifs de Sécurité pour les Systèmes Navals

Bastien Sultan , Fabien Dagnat , Caroline Fontaine
CIEL 2016 : 5ème Conférence en Ingénierie du Logiciel, Jun 2016, Besançon, France. pp.1 - 6
Communication dans un congrès hal-01431543v1
Image document

Addressing Modularity for Heterogeneous Multi-model Systems using Model Federation

Fahad Rafique Golra , Antoine Beugnard , Fabien Dagnat , Sylvain Guerin , Christophe Guychard
MODULARITY 2016 : 15th International Conference on Modularity, Mar 2016, Malaga, Spain. pp.206 - 211, ⟨10.1145/2892664.2892701⟩
Communication dans un congrès hal-01298547v1

Pymoult : On-Line Updates for Python Programs

Sébastien Martinez , Fabien Dagnat , Jérémy Buisson
ICSEA 2015 : 10th International Conference on Software Engineering Advances, Nov 2015, Barcelone, Spain. pp.80 - 85
Communication dans un congrès hal-01247603v1

Des situations de modélisation pour évaluer les outils de modélisation

Antoine Beugnard , Fabien Dagnat , Sylvain Guerin , Christophe Guychard
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
Communication dans un congrès hal-01015893v1
Image document

Coqcots & Pycots: non-stopping components for safe dynamic reconfiguration

Jérémy Buisson , Everton Calvacante , Fabien Dagnat , Elena Leroux , Sébastien Martinez
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⟩
Communication dans un congrès hal-00984365v1

Conceptual interoperability through Models Federation

Christophe Guychard , Sylvain Guerin , Ali Koudri , Antoine Beugnard , Fabien Dagnat
Semantic Information Federation Community Workshop, Oct 2013, Miami, United States
Communication dans un congrès hal-00905036v1
Image document

Prototyping DSU techniques using Python

Sébastien Martinez , Fabien Dagnat , Jérémy Buisson
HotSWUp'13, Jun 2013, San José, United States. https://www.usenix.org/conference/hotswup13/prototyping-dsu-techniques-using-python
Communication dans un congrès hal-00907744v1

Generation of Dynamic Process Models for Multi-metamodel Applications

Fahad Rafique Golra , Fabien Dagnat
ICSSP 2012: International Conference on Software and System Process, Jun 2012, Zurich, Switzerland. ⟨10.1109/ICSSP.2012.6225980⟩
Communication dans un congrès hal-00739675v1

Specifying the Interaction Control Behavior of a Process Model using Hierarchical Petri Net

Fahad Rafique Golra , Fabien Dagnat
PMDE 2012: 2nd Workshop on Process-based approaches for Model-Driven Engineering, Jul 2012, Lyngby, Denmark
Communication dans un congrès hal-00797559v1
Image document

Toward a distributed package management system

Fabien Dagnat , Gwendal Simon , Xu Zhang
Lococo 2011: workshop on logics for component configuration, Sep 2011, Perugia, Italy
Communication dans un congrès hal-00623548v1
Image document

Using component-oriented process models for multi-metamodel applications

Fahad Rafique Golra , Fabien Dagnat
9th International Conference on Frontiers of Information Technology, Dec 2011, Islamabad, Pakistan. pp.218-233, ⟨10.1109/FIT.2011.47⟩
Communication dans un congrès hal-00725607v1
Image document

The Lazy Initialization Multilayered Modeling Framework (NIER track)

Fahad Rafique Golra , Fabien Dagnat
ICSE 2011 : 33rd International Conference on Software Engineering, May 2011, Honolulu, United States. pp.924 - 927, ⟨10.1145/1985793.1985947⟩
Communication dans un congrès hal-00623642v2
Image document

Towards a categorical framework to ensure correct software evolutions

Sylvain Bouveret , Julien Brunel , David Chemouil , Fabien Dagnat
Workshop on Hot Topics in Software Upgrades, Apr 2011, Hannover, Germany. pp.139-144, ⟨10.1109/ICDEW.2011.5767625⟩
Communication dans un congrès hal-00785433v1
Image document

ReCaml: execution state as the cornerstone of reconfigurations

Jérémy Buisson , Fabien Dagnat
ACM SIGPLAN: 15th International Conference on Functional Programming, Sep 2010, Baltimore, United States. pp.27-38, ⟨10.1145/1863543.1863550⟩
Communication dans un congrès hal-00797558v1
Image document

SPaCIFY: a Formal Model-Driven Engineering for Spacecraft On-Board Software

P Arberet , Jean-Paul Bodeveix , F. Boniol , J Buisson , G Cannenterre
5th European Congress on Embedded Real Time Software and Systems (ERTS2 2010), AAAF : Association Aéronautique et Astronautique de France; SEE : French Electrical, Electronics, and Information & Communication Technologies Society; SIA: Société des Ingénieurs de l'Automobile, May 2010, Toulouse, France
Communication dans un congrès hal-02267838v1
Image document

Vers un déploiement sûr et flexible des composants logiciels

Meriem Belguidoum , Fabien Dagnat
NOTERE 2009 : neuvième conférence internationale sur les nouvelles technologies de la répartition, Jun 2009, Montréal, Canada
Communication dans un congrès hal-02061819v1

Towards context-aware components

Antoine Beugnard , Sophie Chabridon , Denis Conan , Chantal Taconet , Fabien Dagnat
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⟩
Communication dans un congrès hal-01315821v1

Integrating extra-functional properties in component deployment dependencies

Meriem Belguidoum , Fabien Dagnat
6th International Workshop on Formal Aspects of Component Software, Nov 2009, Eindhoven, Netherlands. pp.195 - 209
Communication dans un congrès hal-02061820v1
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

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
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

Dependability in software component deployment

Meriem Belguidoum , Fabien Dagnat
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⟩
Communication dans un congrès hal-02062068v1
Image document

Dependency management in software component deployment

Meriem Belguidoum , Fabien Dagnat
FACS'06 : Third International Workshop on Formal Aspects of Component Software, Prague, Czech republic, Sep 2006, Prague, Czech Republic
Communication dans un congrès hal-02114096v1

Analysis of deployment dependencies in software components

Meriem Belguidoum , Fabien Dagnat
SAC 2006 : 21st annual ACM Symposium on applied computing, 23-27 avril, Dijon, France, Apr 2006, Dijon, France
Communication dans un congrès hal-02062073v1

Analyse des dépendances pour le déploiement automatique de composants

Meriem Belguidoum , Fabien Dagnat , Antoine Beugnard
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
Communication dans un congrès hal-02062075v1
Image document

Bibtex++ : toward higher-order bibtexing

Fabien Dagnat , Ronan Keryell , Laura Barrero Sastre , Emmanuel Donin de Rosiere , Nicolas Torneri
EuroTeX'2003 : 14th European TeX Conference, Jun 2003, Brest, France
Communication dans un congrès hal-02128426v1
Image document

Static analysis of communications for Erlang

Fabien Dagnat , Marc Pantel
EUC 2002 (8th international Erlang User Conference), Stockholm, November 19, Nov 2002, Stockholm, Suède
Communication dans un congrès hal-02132880v1

Synoptic: a domain-specific modeling language for space on-board application software

Alexandre Cortier , Loïc Besnard , Jean-Paul Bodeveix , Jérémy Buisson , Fabien Dagnat
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⟩
Chapitre d'ouvrage hal-02061818v1
Image document

Vérification Statique de Programmes Répartis

Fabien Dagnat
Langage de programmation [cs.PL]. Institut National Polytechnique De Toulouse, 2001. Français. ⟨NNT : ⟩
Thèse tel-02061997v1
Image document

Du génie logiciel pour déployer, gérer et reconfigurer les logiciels

Fabien Dagnat
Interface homme-machine [cs.HC]. Télécom Bretagne; Institut Mines-Télécom, 2016
HDR tel-01323059v1