Fabien Dagnat

69%
Libre accès
52
Documents
Identifiants chercheurs
Contact

Présentation

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) du Lab-STICC (UMR 6285).

Publications

4
2
1
2
3
2
1
1
2
2
6
2
2
3
2
4
4
3
4
2
2
1
1
1
1
1
35
14
13
8
4
2
1
1
1
1
1

Publications

Multi-Level Modeling with Openflexo/FML

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

PAMELA: an annotation-based Java Modeling Framework

Sylvain Guérin , Guillaume Polet , Caine Silva , Joel Champeau , Jean-Christophe Bach et al.
Science of Computer Programming, 2021, 210, pp.102668. ⟨10.1016/j.scico.2021.102668⟩
Article dans une revue hal-03217126 v1
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-01235602 v1
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-01164480 v1

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 et al.
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-00904995 v1
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-02136485 v1

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

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-02061966 v1
Image document

10 years of Model Federation with Openflexo: Challenges and Lessons Learned

Jean-Christophe Bach , Antoine Beugnard , Joël Champeau , Fabien Dagnat , Sylvain Guérin et al.
MODELS 2024: ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Sep 2024, Linz, Austria. pp.12, ⟨10.1145/3640310.3674084⟩
Communication dans un congrès hal-04617492 v1
Image document

Maintaining Security Consistency During System Development with Security-Oriented Model Federation

Chahrazed Boudjemila , Fabien Dagnat , Salvador Martínez
International Conference on Software and Systems Processes (ICSSP ’24), Sep 2024, Munich, Germany. ⟨10.1145/3666015.3666016⟩
Communication dans un congrès hal-04611757 v1

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

Tom Leclerc , Soumya Paul , Jussi Roberts , Fabien Dagnat , Florian Ledoux et al.
17th International Conference on Space Operations 2023, Mar 2023, Dubai, United Arab Emirates
Communication dans un congrès hal-04045293 v1
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. ⟨10.1109/MODELS-C59198.2023.00148⟩
Communication dans un congrès hal-04254748 v1
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-04083449 v1
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-03801086 v1
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-02354761 v1

Combining Obfuscation and Optimizations in the Real World

Serge Guelton , Adrien Guinet , Pierrick Brunet , Juan Manuel Martinez , Fabien Dagnat et al.
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-02062166 v1
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-01853610 v1

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-01836378 v1
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-01633341 v1
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-01393781 v1
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-01487055 v1
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-01298547 v1
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-01431543 v1

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

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-01015893 v1
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-00984365 v1

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-00905036 v1
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-00907744 v1

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

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-00797559 v1
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-00623548 v1
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-00623642 v2
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-00725607 v1
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, Hanovre, Germany. pp.139-144, ⟨10.1109/ICDEW.2011.5767625⟩
Communication dans un congrès hal-00785433 v1
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-00797558 v1
Image document

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

P Arberet , Jean-Paul Bodeveix , F. Boniol , J Buisson , G Cannenterre et al.
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-02267838 v1
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 et al.
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-00624134 v1

Towards context-aware components

Antoine Beugnard , Sophie Chabridon , Denis Conan , Chantal Taconet , Fabien Dagnat et al.
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-01315821 v1
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-02061819 v1

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-02061820 v1
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-00498583 v1
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-00498587 v1
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-00498590 v1

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

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-02062073 v1
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-02114096 v1

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-02062075 v1
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-02128426 v1
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-02132880 v1

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 et al.
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 istex hal-02061818 v1
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-02061997 v1
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-01323059 v1