2023
Conference papers
- titre
- Modeling heterogeneous IT infrastructures: a collaborative component-oriented approach
- auteur
- Benjamin Somers, Fabien Dagnat, Jean-Christophe Bach
- article
- 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⟩
- Accès au texte intégral et bibtex
-
- titre
- A flexible and robust framework for the secure systems engineering of space missions
- auteur
- Tom Leclerc, Soumya Paul, Jussi Roberts, Fabien Dagnat, Florian Ledoux, Jean-Christophe Bach, Marcus Wallum, Nicky Mezzina, Daniel Fischer, Sylvain Guérin, Ihab Benamer, Pierre Jeanjean
- article
- 17th International Conference on Space Operations 2023, Mar 2023, Dubai, United Arab Emirates
- Accès au bibtex
-
2022
Journal articles
- titre
- Multi-Level Modeling with Openflexo/FML
- auteur
- Sylvain Guérin, Joël Champeau, Jean-Christophe Bach, Antoine Beugnard, Fabien Dagnat, Salvador Martínez
- article
- Enterprise Modelling and Information Systems Architectures, 2022, 17, ⟨10.18417/emisa.17.9⟩
- Accès au bibtex
-
Conference papers
- titre
- How IT Infrastructures Break: Better Modeling for Better Risk Management
- auteur
- Benjamin Somers, Fabien Dagnat, Jean-Christophe Bach
- article
- 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⟩
- Accès au texte intégral et bibtex
-
2021
Journal articles
- titre
- PAMELA: an annotation-based Java Modeling Framework
- auteur
- Sylvain Guérin, Guillaume Polet, Caine Silva, Joel Champeau, Jean-Christophe Bach, Salvador Martínez, Fabien Dagnat, Antoine Beugnard
- article
- Science of Computer Programming, 2021, 210, pp.102668. ⟨10.1016/j.scico.2021.102668⟩
- Accès au texte intégral et bibtex
-
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
-
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
-
- 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
-
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
-
- 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
-
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, 2016, 122, pp.430-444. ⟨10.1016/j.jss.2015.11.039⟩
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
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
-
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, 2015, 20 (2), pp.41 - 66. ⟨10.3166/ISI.20.2.41-66⟩
- Accès au texte intégral et 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
-
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
-
- 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
-
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 : le magazine de l'ingénierie du logiciel et des systèmes, 2013, 105, pp.18-23
- Accès au 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
-
- 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
-
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
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
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
-
- titre
- SPaCIFY: a Formal Model-Driven Engineering for Spacecraft On-Board Software
- auteur
- P Arberet, Jean-Paul Bodeveix, 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, Martin Strecker, J P Talpin
- article
- 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
- Accès au texte intégral et 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
-
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
-
- 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
-
- 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
-
- 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
-
2008
Journal articles
- titre
- Formalization of component substitutability
- auteur
- Meriem Belguidoum, Fabien Dagnat
- article
- Electronic Notes in Theoretical Computer Science, 2008, 215, pp.75 - 92. ⟨10.1016/j.entcs.2008.06.022⟩
- Accès au texte intégral et 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
-
- 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
-
- 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
-
2007
Journal articles
- titre
- Dependency management in software component deployment
- auteur
- Meriem Belguidoum, Fabien Dagnat
- article
- Electronic Notes in Theoretical Computer Science, 2007, 182, pp.17 - 32. ⟨10.1016/j.entcs.2006.09.029⟩
- Accès au 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
-
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
-
- 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
-
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
-
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
-
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
-
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. ⟨NNT : ⟩
- Accès au texte intégral et 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, 2000
- Accès au bibtex
-