Publications HAL

2019

Conference papers

titre
Statistical Measurement of Production Environment Influence on Code Reuse Availability
auteur
Étienne Louboutin, Jean-Christophe Bach, Fabien Dagnat
article
SECURWARE 2019 : The Thirteenth International Conference on Emerging Security Information, Systems and Technologies, Oct 2019, Nice, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02354761/file/Statistical_measurement_of_production_environment_influence_on_code_reuse_availability.pdf BibTex

2018

Conference papers

titre
Combining Obfuscation and Optimizations in the Real World
auteur
Serge Guelton, Adrien Guinet, Pierrick Brunet, Juan Manuel Martinez, Fabien Dagnat, Nicolas Szlifierski
article
18th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), Sep 2018, Madrid, Spain. pp.24 - 33, ⟨10.1109/SCAM.2018.00010⟩
Accès au bibtex
BibTex
titre
Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation
auteur
Fahad Rafique Golra, Fabien Dagnat, Jeanine Souquières, Imen Sayar, Sylvain Guerin
article
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⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01853610/file/Article.pdf BibTex

2017

Conference papers

titre
Continuous Process Compliance Using Model Driven Engineering
auteur
Fahad Rafique Golra, Fabien Dagnat, Reda Bendraou, Antoine Beugnard
article
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⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01633341/file/Article.pdf BibTex
titre
A Methodology to Assess Vulnerabilities and Countermeasures Impact on the Missions of a Naval System
auteur
Bastien Sultan, Fabien Dagnat, Caroline Fontaine
article
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⟩
Accès au bibtex
BibTex

2016

Journal articles

titre
Safe reconfiguration of Coqcots and Pycots components
auteur
Jérémy Buisson, Fabien Dagnat, Elena Leroux, Sébastien Martinez
article
Journal of Systems and Software, Elsevier, 2016, 122, pp.430-444. ⟨10.1016/j.jss.2015.11.039⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01235602/file/main.pdf BibTex

Conference papers

titre
Using free modeling as an Agile method for developing domain specific modeling languages
auteur
Fahad Rafique Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guerin, Christophe Guychard
article
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⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01393781/file/models2016.pdf BibTex
titre
Continuous Requirements Engineering Using Model Federation
auteur
Fahad Rafique Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guerin, Christophe Guychard
article
RE 2016 : 24th IEEE International Requirements Engineering Conference, Sep 2016, Beijing, China. pp.347 - 352, ⟨10.1109/RE.2016.42⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01487055/file/article.pdf BibTex
titre
Maîtrise des Correctifs de Sécurité pour les Systèmes Navals
auteur
Bastien Sultan, Fabien Dagnat, Caroline Fontaine
article
CIEL 2016 : 5ème Conférence en Ingénierie du Logiciel, Jun 2016, Besançon, France. pp.1 - 6
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01431543/file/CIEL2016_SULTAN_DAGNAT_FONTAINE.pdf BibTex
titre
Addressing Modularity for Heterogeneous Multi-model Systems using Model Federation
auteur
Fahad Rafique Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guerin, Christophe Guychard
article
MODULARITY 2016 : 15th International Conference on Modularity, Mar 2016, Malaga, Spain. pp.206 - 211, ⟨10.1145/2892664.2892701⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01298547/file/Momo-16.pdf BibTex

Habilitation à diriger des recherches

titre
Du génie logiciel pour déployer, gérer et reconfigurer les logiciels
auteur
Fabien Dagnat
article
Interface homme-machine [cs.HC]. Télécom Bretagne; Institut Mines-Télécom, 2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01323059/file/hdr-dagnat.pdf BibTex

2015

Journal articles

titre
Des situations de modélisation pour décrire un processus de modélisation
auteur
Antoine Beugnard, Fabien Dagnat, Sylvain Guerin, Christophe Guychard
article
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⟩
Accès au bibtex
BibTex

Conference papers

titre
Pymoult : On-Line Updates for Python Programs
auteur
Sébastien Martinez, Fabien Dagnat, Jérémy Buisson
article
ICSEA 2015 : 10th International Conference on Software Engineering Advances, Nov 2015, Barcelone, Spain. pp.80 - 85
Accès au bibtex
BibTex

2014

Conference papers

titre
Coqcots & Pycots: non-stopping components for safe dynamic reconfiguration
auteur
Jérémy Buisson, Everton Calvacante, Fabien Dagnat, Elena Leroux, Sébastien Martinez
article
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⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00984365/file/hal.pdf BibTex
titre
Des situations de modélisation pour évaluer les outils de modélisation
auteur
Antoine Beugnard, Fabien Dagnat, Sylvain Guerin, Christophe Guychard
article
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
Accès au bibtex
BibTex

2013

Journal articles

titre
De la nécessité de fédérer des modèles dans une chaîne d'outils
auteur
Ali Koudri, Christophe Guychard, Sylvain Guerin, Fabien Dagnat, Antoine Beugnard, Joël Champeau
article
Génie logiciel, C & S, 2013, pp.18-23
Accès au bibtex
BibTex

Conference papers

titre
Conceptual interoperability through Models Federation
auteur
Christophe Guychard, Sylvain Guerin, Ali Koudri, Antoine Beugnard, Fabien Dagnat
article
Semantic Information Federation Community Workshop, Oct 2013, Miami, United States
Accès au bibtex
BibTex
titre
Prototyping DSU techniques using Python
auteur
Sébastien Martinez, Fabien Dagnat, Jérémy Buisson
article
HotSWUp'13, Jun 2013, San José, United States. https://www.usenix.org/conference/hotswup13/prototyping-dsu-techniques-using-python
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00907744/file/pymoult.pdf BibTex

2012

Conference papers

titre
Specifying the Interaction Control Behavior of a Process Model using Hierarchical Petri Net
auteur
Fahad Rafique Golra, Fabien Dagnat
article
PMDE 2012: 2nd Workshop on Process-based approaches for Model-Driven Engineering, Jul 2012, Lyngby, Denmark
Accès au bibtex
BibTex
titre
Generation of Dynamic Process Models for Multi-metamodel Applications
auteur
Fahad Rafique Golra, Fabien Dagnat
article
ICSSP 2012: International Conference on Software and System Process, Jun 2012, Zurich, Switzerland. ⟨10.1109/ICSSP.2012.6225980⟩
Accès au bibtex
BibTex

2011

Conference papers

titre
Using component-oriented process models for multi-metamodel applications
auteur
Fahad Rafique Golra, Fabien Dagnat
article
9th International Conference on Frontiers of Information Technology, Dec 2011, Islamabad, Pakistan. pp.218-233, ⟨10.1109/FIT.2011.47⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00725607/file/Using_Component-oriented_Process_Models_for_Multi-Metamodel_Applications.pdf BibTex
titre
Toward a distributed package management system
auteur
Fabien Dagnat, Gwendal Simon, Xu Zhang
article
Lococo 2011: workshop on logics for component configuration, Sep 2011, Perugia, Italy
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00623548/file/paper_lococo.pdf BibTex
titre
The Lazy Initialization Multilayered Modeling Framework (NIER track)
auteur
Fahad Rafique Golra, Fabien Dagnat
article
ICSE 2011 : 33rd International Conference on Software Engineering, May 2011, Honolulu, United States. pp.924 - 927, ⟨10.1145/1985793.1985947⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00623642/file/LIMM%28Author%20copy%29.pdf BibTex
titre
Towards a categorical framework to ensure correct software evolutions
auteur
Sylvain Bouveret, Julien Brunel, David Chemouil, Fabien Dagnat
article
Workshop on Hot Topics in Software Upgrades, Apr 2011, Hannover, Germany. pp.139-144, ⟨10.1109/ICDEW.2011.5767625⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00785433/file/main.pdf BibTex

2010

Conference papers

titre
ReCaml: execution state as the cornerstone of reconfigurations
auteur
Jérémy Buisson, Fabien Dagnat
article
ACM SIGPLAN: 15th International Conference on Functional Programming, Sep 2010, Baltimore, United States. pp.27-38, ⟨10.1145/1863543.1863550⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00797558/file/icfp91i-buisson.pdf BibTex
titre
SPaCIFY: a Formal Model-Driven Engineering for Spacecraft On-Board Software
auteur
P Arberet, J Bodeviex, F. Boniol, J Buisson, G Cannenterre, D Chemouil, A Cortier, Fabien Dagnat, F. Dupont, M Filali, E. Fleury, J Forget, G Garcia, F Herbreteau, E Morand, J Ouy, G Sutre, A Rugina, M Streker, J Talpin
article
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02267838/file/6A-4.pdf BibTex

Book sections

titre
Synoptic: a domain-specific modeling language for space on-board application software
auteur
Alexandre Cortier, Loïc Besnard, Jean-Paul Bodeveix, Jérémy Buisson, Fabien Dagnat, M Filali, Gérald Garcia, Julien Ouy, Marc Pantel, Ana-Elena Rugina, Martin Strecker, Jean-Pierre Talpin
article
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⟩
Accès au bibtex
BibTex

2009

Conference papers

titre
Polychronous interpretation of synoptic, a domain specific modeling language for embedded flight-software
auteur
Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, Gérald Garcia, Ana-Elena Rugina, Jérémy Buisson, Fabien Dagnat
article
FM 09 - Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands. pp.80-87, ⟨10.4204/EPTCS.20.9⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00624134/file/Synoptic_EPTCS.pdf BibTex
titre
Synoptic: a domain specific modeling language for embedded flight-software
auteur
Alexandre Cortier, Loïc Besnard, Jean-Paul Bodeveix, Jérémy Buisson, Fabien Dagnat, M Filali, G. Garcia, Thierry Gautier, Julien Ouy, Marc Pantel, Ana-Elena Rugina, Martin Strecker, Jean-Pierre Talpin
article
FMA 2009 : Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands
Accès au bibtex
BibTex
titre
Integrating extra-functional properties in component deployment dependencies
auteur
Meriem Belguidoum, Fabien Dagnat
article
6th International Workshop on Formal Aspects of Component Software, Nov 2009, Eindhoven, Netherlands. pp.195 - 209
Accès au bibtex
BibTex
titre
Towards context-aware components
auteur
Antoine Beugnard, Sophie Chabridon, Denis Conan, Chantal Taconet, Fabien Dagnat, Eveline Kabore
article
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⟩
Accès au bibtex
BibTex
titre
Vers un déploiement sûr et flexible des composants logiciels
auteur
Meriem Belguidoum, Fabien Dagnat
article
NOTERE 2009 : neuvième conférence internationale sur les nouvelles technologies de la répartition, Jun 2009, Montréal, Canada
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02061819/file/CameraReadyBelguidoumDagnat.pdf BibTex

2008

Journal articles

titre
Formalization of component substitutability
auteur
Meriem Belguidoum, Fabien Dagnat
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2008, 215, pp.75 - 92. ⟨10.1016/j.entcs.2008.06.022⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02136485/file/Electronic%20Notes%20in%20Theoretical%20Computer%20Science%202008%20Belguidoum%281%29.pdf BibTex

Conference papers

titre
Introspecting continuations in order to update active code
auteur
Jérémy Buisson, Fabien Dagnat
article
International Workshop On Hot Topics In Software Upgrades, Oct 2008, Nashville, United States. pp.4, ⟨10.1145/1490283.1490289⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00498583/file/main.pdf BibTex
titre
Issues in applying a model driven approach to reconfigurations of satellite software
auteur
Jérémy Buisson, Cecilia Carro, Fabien Dagnat
article
International Workshop On Hot Topics In Software Upgrades, Oct 2008, Nashville, United States. pp.6, ⟨10.1145/1490283.1490291⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00498587/file/main.pdf BibTex
titre
Experiments with Fractal on Modular Reflection
auteur
Jérémy Buisson, Fabien Dagnat
article
Sixth International Conference on Software Engineering Research, Management and Applications (SERA), Aug 2008, Prague, Czech Republic. pp.179, ⟨10.1109/SERA.2008.19⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00498590/file/BuiDag_2008_SERA.pdf BibTex

2007

Journal articles

titre
Dependency management in software component deployment
auteur
Meriem Belguidoum, Fabien Dagnat
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2007, 182, pp.17 - 32. ⟨10.1016/j.entcs.2006.09.029⟩
Accès au bibtex
BibTex

Conference papers

titre
Dependability in software component deployment
auteur
Meriem Belguidoum, Fabien Dagnat
article
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⟩
Accès au bibtex
BibTex

2006

Conference papers

titre
Dependency management in software component deployment
auteur
Meriem Belguidoum, Fabien Dagnat
article
FACS'06 : Third International Workshop on Formal Aspects of Component Software, Prague, Czech republic, Sep 2006, Prague, Czech Republic
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02114096/file/facs2006.PDF BibTex
titre
Analysis of deployment dependencies in software components
auteur
Meriem Belguidoum, Fabien Dagnat
article
SAC 2006 : 21st annual ACM Symposium on applied computing, 23-27 avril, Dijon, France, Apr 2006, Dijon, France
Accès au bibtex
BibTex

2005

Conference papers

titre
Analyse des dépendances pour le déploiement automatique de composants
auteur
Meriem Belguidoum, Fabien Dagnat, Antoine Beugnard
article
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
Accès au bibtex
BibTex

2003

Conference papers

titre
Bibtex++ : toward higher-order bibtexing
auteur
Fabien Dagnat, Ronan Keryell, Laura Barrero Sastre, Emmanuel Donin de Rosiere, Nicolas Torneri
article
EuroTeX'2003 : 14th European TeX Conference, Jun 2003, Brest, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02128426/file/keryell.pdf BibTex

2002

Conference papers

titre
Static analysis of communications for Erlang
auteur
Fabien Dagnat, Marc Pantel
article
EUC 2002 (8th international Erlang User Conference), Stockholm, November 19, Nov 2002, Stockholm, Suède
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02132880/file/EUC%202002%20Dagnat.pdf BibTex

2001

Theses

titre
Vérification Statique de Programmes Répartis
auteur
Fabien Dagnat
article
Langage de programmation [cs.PL]. Institut National Polytechnique De Toulouse, 2001. Français
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-02061997/file/these-dagnat.pdf BibTex

2000

Journal articles

titre
Typing Concurrent Objects and Actors
auteur
Fabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé
article
L'Objet, méthodes formelles pour les objets, Hermes Science Publications, 2000
Accès au bibtex
BibTex