Fabien Dagnat

According to our database, Fabien Dagnat authored at least 36 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards Evolving Secured Multi-Model Systems with Model Federation.

Chahrazed Boudjemila, Fabien Dagnat, Salvador Martínez Perez

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Modeling Heterogeneous IT Infrastructures: A Collaborative Component-Oriented Approach.

Benjamin Somers, Fabien Dagnat, Jean-Christophe Bach

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2023

2022

Multi-Level Modeling with Openflexo/FML A Contribution to the Multi-Level Process Challenge.

Sylvain Guérin, Joël Champeau, Jean-Christophe Bach, Antoine Beugnard, Fabien Dagnat, Salvador Martínez Perez

Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2022

How IT Infrastructures Break: Better Modeling for Better Risk Management.

Benjamin Somers, Fabien Dagnat, Jean-Christophe Bach

Proceedings of the Risks and Security of Internet and Systems, 2022

2021

PAMELA: An annotation-based Java modeling framework.

Sylvain Guérin, Guillaume Polet, Caine Silva, Joël Champeau, Jean-Christophe Bach, Salvador Martínez, Fabien Dagnat, Antoine Beugnard

Sci. Comput. Program., 2021

2018

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

Fahad Rafique Golra, Fabien Dagnat, Jeanine Souquières, Imen Sayar, Sylvain Guérin

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

[Research Paper] Combining Obfuscation and Optimizations in the Real World.

Serge Guelton, Adrien Guinet, Pierrick Brunet, Juan Manuel Martinez Caamaño, Fabien Dagnat, Nicolas Szlifierski

Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, 2018

2017

Continuous Process Compliance Using Model Driven Engineering.

Fahad Rafique Golra, Fabien Dagnat, Reda Bendraou, Antoine Beugnard

Proceedings of the Model and Data Engineering - 7th International Conference, 2017

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

Bastien Sultan, Fabien Dagnat, Caroline Fontaine

Proceedings of the Computer Security - ESORICS 2017 International Workshops, 2017

2016

Safe reconfiguration of Coqcots and Pycots components.

Jérémy Buisson, Fabien Dagnat, Elena Leroux, Sébastien Martinez

J. Syst. Softw., 2016

Continuous Requirements Engineering Using Model Federation.

Fahad Rafique Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guérin, Christophe Guychard

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Using free modeling as an agile method for developing domain specific modeling languages.

Fahad Rafique Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guérin, Christophe Guychard

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Addressing modularity for heterogeneous multi-model systems using model federation.

Fahad Rafique Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guérin, Christophe Guychard

Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

Du génie logiciel pour déployer, gérer et reconfigurer les logiciels. (Software engineering to deploy, manage and configure software).

Fabien Dagnat

, 2016

2015

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

Antoine Beugnard, Fabien Dagnat, Sylvain Guérin, Christophe Guychard

Ingénierie des Systèmes d Inf., 2015

2014

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

Antoine Beugnard, Fabien Dagnat, Sylvain Guérin, Christophe Guychard

Proceedings of the Actes du XXXIIème Congrès INFORSID, Lyon, France, 20-23 Mai 2014., 2014

Coqcots & pycots: non-stopping components for safe dynamic reconfiguration.

Jérémy Buisson, Everton Cavalcante, Fabien Dagnat, Elena Leroux, Sébastien Martinez

Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

2013

Prototyping DSU Techniques Using Python.

Sebastien Martinez, Fabien Dagnat, Jérémy Buisson

Proceedings of the 5th Workshop on Hot Topics in Software Upgrades, 2013

2012

Generation of dynamic process models for multi-metamodel applications.

Fahad Rafique Golra, Fabien Dagnat

Proceedings of the 2012 International Conference on Software and System Process, 2012

2011

The lazy initialization multilayered modeling framework.

Fahad Rafique Golra, Fabien Dagnat

Proceedings of the 33rd International Conference on Software Engineering, 2011

Towards a categorical framework to ensure correct software evolutions.

Sylvain Bouveret, Julien Brunel, David Chemouil, Fabien Dagnat

Proceedings of the Workshops Proceedings of the 27th International Conference on Data Engineering, 2011

Using Component-Oriented Process Models for Multi-metamodel Applications.

Fahad Rafique Golra, Fabien Dagnat

Proceedings of the 2011 Frontiers of Information Technology, 2011

2010

ReCaml: execution state as the cornerstone of reconfigurations.

Jérémy Buisson, Fabien Dagnat

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

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, Mamoun Filali, Gérald Garcia, Julien Ouy, Marc Pantel, Ana-Elena Rugina, Martin Strecker, Jean-Pierre Talpin

Proceedings of the Synthesis of Embedded Software, 2010

2009

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, Alexandre Cortier, Marc Pantel, Martin Strecker, Gérald Garcia, Ana-Elena Rugina, Jérémy Buisson, Fabien Dagnat

Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

Towards context-aware components.

Antoine Beugnard, Sophie Chabridon, Denis Conan, Chantal Taconet, Fabien Dagnat, Eveline Kaboré

Proceedings of the first international workshop on Context-aware software technology and applications, 2009

2008

Experiments with Fractal on Modular Reflection.

Jérémy Buisson, Fabien Dagnat

Proceedings of the 6th ACIS International Conference on Software Engineering Research, 2008

Introspecting Continuations in Order to Update Active Code.

Jérémy Buisson, Fabien Dagnat

Proceedings of the 1st ACM Workshop on Hot Topics in Software Upgrades, 2008

Issues in Applying a Model Driven Approach to Reconfigurations of Satellite Software.

Jérémy Buisson, Cecilia Carro, Fabien Dagnat

Proceedings of the 1st ACM Workshop on Hot Topics in Software Upgrades, 2008

2007

Formalization of Component Substitutability.

Meriem Belguidoum, Fabien Dagnat

Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007

Dependability in Software Component Deployment.

Meriem Belguidoum, Fabien Dagnat

Proceedings of the 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), 2007

2006

Dependency Management in Software Component Deployment.

Meriem Belguidoum, Fabien Dagnat

Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006

Analysis of deployment dependencies in software components.

Meriem Belguidoum, Fabien Dagnat

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

2001

Vérification Statique de Programmes Répartis. (Static Verification of distributed programs).

Fabien Dagnat

PhD thesis, 2001

2000

Typing Concurrent Objects and Actors.

Fabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé

Obj. Logiciel Base données Réseaux, 2000

1999

Static safety analysis for non-uniform service availability in Actors.

Jean-Louis Colaço, Marc Pantel, Fabien Dagnat, Patrick Sallé

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999