F. Dagnat

Most-cited papers

Dependency Management in Software Component Deployment
Meriem Belguidoum, F. Dagnat
2007International Workshop on Formal Aspects of Component Software47 citations Open access
Semantic Scholar
Addressing modularity for heterogeneous multi-model systems using model federation
F. Golra, A. Beugnard, F. Dagnat, Sylvain Guérin +1 more
2016International Conference on Modularity44 citations Open access
Semantic Scholar
Conceptual interoperability through Models Federation
Christophe Guychard, Sylvain Guérin, Ali Koudri, A. Beugnard +1 more
201332 citations
Semantic Scholar
Formalization of Component Substitutability
Meriem Belguidoum, F. Dagnat
2008International Workshop on Formal Aspects of Component Software25 citations Open access
Semantic Scholar
Using free modeling as an agile method for developing domain specific modeling languages
F. Golra, A. Beugnard, F. Dagnat, Sylvain Guérin +1 more
2016ACM/IEEE International Conference on Model Driven Engineering Languages and Systems23 citations Open access
Semantic Scholar
Static safety analysis for non-uniform service availability in Actors
Jean-Louis Colaço, M. Pantel, F. Dagnat, P. Sallé
1999International Conference on Formal Methods for Open Object-Based Distributed Systems20 citations
Semantic Scholar
Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation
F. Golra, F. Dagnat, J. Souquières, Imen Sayar +1 more
2018IEEE International Conference on Software Engineering and Formal Methods17 citations
Semantic Scholar
10 years of Model Federation with Openflexo: Challenges and Lessons Learned
Jean-Christophe Bach, A. Beugnard, J. Champeau, F. Dagnat +2 more
2024ACM/IEEE International Conference on Model Driven Engineering Languages and Systems16 citations Open access
Semantic Scholar
Continuous Requirements Engineering Using Model Federation
F. Golra, A. Beugnard, F. Dagnat, Sylvain Guérin +1 more
2016IEEE International Requirements Engineering Conference14 citations
Semantic Scholar
Coqcots & pycots: non-stopping components for safe dynamic reconfiguration
J. Buisson, E. Calvacante, F. Dagnat, Elena Leroux +1 more
2014International Symposium on Component-Based Software Engineering13 citations Open access
Semantic Scholar
Safe reconfiguration of Coqcots and Pycots components
J. Buisson, F. Dagnat, Elena Leroux, Sebastien Martinez
2016Journal of Systems and Software12 citations Open access
Semantic Scholar
Pymoult : On-Line Updates for Python Programs
Sebastien Martinez, F. Dagnat, J. Buisson
2015International Conference on Software Engineering Advances10 citations
Semantic Scholar
ReCaml: execution state as the cornerstone of reconfigurations
J. Buisson, F. Dagnat
2010ACM SIGPLAN International Conference on Functional Programming10 citations
Semantic Scholar
Dependability in Software Component Deployment
Meriem Belguidoum, F. Dagnat
2007International Conference on Dependability of Computer Systems10 citations
Semantic Scholar
Analysis of deployment dependencies in software components
Meriem Belguidoum, F. Dagnat
2006ACM Symposium on Applied Computing9 citations
Semantic Scholar
Static analysis of communications for Erlang
F. Dagnat, M. Pantel
20029 citations
Semantic Scholar
A Methodology to Assess Vulnerabilities and Countermeasures Impact on the Missions of a Naval System
Bastien Sultan, F. Dagnat, C. Fontaine
2017CyberICPS/SECPRE@ESORICS8 citations
Semantic Scholar
Continuous Process Compliance Using Model Driven Engineering
F. Golra, F. Dagnat, R. Bendraou, A. Beugnard
2017International Conference on Model and Data Engineering8 citations Open access
Semantic Scholar
Towards context-aware components
A. Beugnard, S. Chabridon, D. Conan, C. Taconet +2 more
2009CASTA '098 citations
Semantic Scholar
Introspecting continuations in order to update active code
J. Buisson, F. Dagnat
2008Workshop on Hot Topics in Software Upgrades8 citations
Semantic Scholar
Typing Concurrent Objects and Actors
F. Dagnat, M. Pantel, M. Colin, P. Sallé
2000Obj. Logiciel Base données Réseaux8 citations
Semantic Scholar
Prototyping DSU Techniques Using Python
Sebastien Martinez, F. Dagnat, J. Buisson
2013Workshop on Hot Topics in Software Upgrades7 citations
Semantic Scholar
The lazy initialization multilayered modeling framework: NIER track
F. Golra, F. Dagnat
2011International Conference on Software Engineering7 citations Open access
Semantic Scholar
PAMELA: An annotation-based Java modeling framework
Sylvain Guérin, Guillaume Polet, Caine Silva, J. Champeau +4 more
2021Science of Computer Programming6 citations Open access
Semantic Scholar
Generation of dynamic process models for multi-metamodel applications
F. Golra, F. Dagnat
2012International Conference on Software and Systems Process6 citations
Semantic Scholar
Issues in applying a model driven approach to reconfigurations of satellite software
J. Buisson, C. Carro, F. Dagnat
2008Workshop on Hot Topics in Software Upgrades6 citations
Semantic Scholar
Multi-Level Modeling with Openflexo/FML A Contribution to the Multi-Level Process Challenge
Sylvain Guérin, J. Champeau, Jean-Christophe Bach, A. Beugnard +2 more
2022Enterp. Model. Inf. Syst. Archit.5 citations
Semantic Scholar
[Research Paper] Combining Obfuscation and Optimizations in the Real World
S. Guelton, Adrien Guinet, Pierrick Brunet, Juan Manuel Martinez +2 more
2018IEEE Working Conference on Source Code Analysis and Manipulation5 citations
Semantic Scholar
Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software
A. Cortier, Loïc Besnard, J. Bodeveix, J. Buisson +8 more
2010Synthesis of Embedded Software5 citations
Semantic Scholar
Experiments with Fractal on Modular Reflection
J. Buisson, F. Dagnat
20082008 Sixth International Conference on Software Engineering Research, Management and Applications4 citations
Semantic Scholar
Towards a categorical framework to ensure correct software evolutions
S. Bouveret, Julien Brunel, D. Chemouil, F. Dagnat
20112011 IEEE 27th International Conference on Data Engineering Workshops3 citations
Semantic Scholar
Toward Decentralized Package Management
F. Dagnat, G. Simon, X. Zhang
20113 citations
Semantic Scholar
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
Loïc Besnard, Thierry Gautier, J. Ouy, J. Talpin +8 more
2009FMA3 citations Open access
Semantic Scholar
Toward a distributed package management system
F. Dagnat, Gwendal Simon, Xu Zhang
20182 citations
Semantic Scholar
Specifying the Interaction Control Behavior of a Process Model using Hierarchical Petri Net
F. Golra, F. Dagnat
20122 citations
Semantic Scholar
Using Component-Oriented Process Models for Multi-metamodel Applications
F. Golra, F. Dagnat
2011International Conference on Frontiers of Information Technology2 citations
Semantic Scholar
Statistical Measurement of Production Environment Inﬂuence on Code Reuse Availability
Étienne Louboutin, Jean-Christophe Bach, F. Dagnat
20191 citations
Semantic Scholar
Synoptic: a domain specific modeling language for embedded flight-software
A. Cortier, Loïc Besnard, J. Bodeveix, J. Buisson +9 more
2009World Congress on Formal Methods1 citations
Semantic Scholar
Modeling Heterogeneous IT Infrastructures: A Collaborative Component-Oriented Approach
Benjamin Somers, F. Dagnat, Jean-Christophe Bach
2023BPMDS/EMMSAD@CAiSE0 citations Open access
Semantic Scholar
How IT Infrastructures Break: Better Modeling for Better Risk Management
Benjamin Somers, F. Dagnat, Jean-Christophe Bach
2022Crisis0 citations
Semantic Scholar
Atomic Install in Newspeak
Gilad Bracha, F. Dagnat, J. Buisson, J. Lilius
2013Workshop on Hot Topics in Software Upgrades0 citations
Semantic Scholar
2012 International Conference on Software and System Process, ICSSP 2012, Zurich, Switzerland, June 2-3, 2012
R. V. Lengen, L. Osterweil, Gerwin Klein, M. Staples +38 more
2012International Conference on Software and Systems Process0 citations
Semantic Scholar
B TEX + + : Toward Higher-order B TEXing
F. Dagnat, Youssef Aoun, L. B. Sastre, Emmanuel Donin de Rosière +1 more
20110 citations
Semantic Scholar
Language for Space On-board Application
A. Cortier, Loïc Besnard, J. Bodeveix, J. Buisson +8 more
20100 citations
Semantic Scholar
SPaCIFY: a Formal Model-Driven Engineering for Spacecraft On-Board Software
P. Arberet, J. P. Bodeviex, F. Boniol, J. Buisson +16 more
20100 citations
Semantic Scholar
TEX + + : Toward Higher-order B TEXing
F. Dagnat, R. Keryell, Youssef Aoun, L. B. Sastre +1 more
20050 citations
Semantic Scholar
Vérification Statique de Programmes Répartis. (Static Verification of distributed programs)
F. Dagnat
20010 citations
Semantic Scholar