Fabien Dagnat
Fabien Dagnat
IMT Atlantique
Adresse e-mail validée de imt-atlantique.fr
Titre
Citée par
Citée par
Année
Dependency management in software component deployment
M Belguidoum, F Dagnat
Electronic Notes in theoretical computer science 182, 17-32, 2007
522007
Formalization of component substitutability
M Belguidoum, F Dagnat
Electronic Notes in Theoretical Computer Science 215, 75-92, 2008
282008
Addressing modularity for heterogeneous multi-model systems using model federation
FR Golra, A Beugnard, F Dagnat, S Guerin, C Guychard
Companion Proceedings of the 15th International Conference on Modularity …, 2016
272016
Conceptual interoperability through models federation
C Guychard, S Guerin, A Koudri, A Beugnard, F Dagnat
Semantic Information Federation Community Workshop, 23, 2013
242013
Static safety analysis for non-uniform service availability in actors
JL Colaço, M Pantel, F Dagnat, P Sallé
International Conference on Formal Methods for Open Object-Based Distributed …, 1999
181999
Safe reconfiguration of Coqcots and Pycots components
J Buisson, F Dagnat, E Leroux, S Martinez
Journal of Systems and Software 122, 430-444, 2016
142016
Using free modeling as an agile method for developing domain specific modeling languages
FR Golra, A Beugnard, F Dagnat, S Guerin, C Guychard
Proceedings of the ACM/IEEE 19th International Conference on Model Driven …, 2016
142016
Coqcots & Pycots: non-stopping components for safe dynamic reconfiguration
J Buisson, E Calvacante, F Dagnat, E Leroux, S Martinez
Proceedings of the 17th international ACM Sigsoft symposium on Component …, 2014
132014
Bridging the gap between informal requirements and formal specifications using model federation
FR Golra, F Dagnat, J Souquières, I Sayar, S Guerin
International Conference on Software Engineering and Formal Methods, 54-69, 2018
122018
Recaml: execution state as the cornerstone of reconfigurations
J Buisson, F Dagnat
Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010
122010
Dependability in software component deployment
M Belguidoum, F Dagnat
2nd International Conference on Dependability of Computer Systems (DepCoS …, 2007
122007
Typing concurrent objects and actors
F Dagnat, M Pantel, M Colin, P Sall, M Acteurs, O Concurrents
In L’Objet–Methodes formelles pour les objets (L’OBJET, 2000
122000
Continuous requirements engineering using model federation
FR Golra, A Beugnard, F Dagnat, S Guerin, C Guychard
2016 IEEE 24th International Requirements Engineering Conference (RE), 347-352, 2016
112016
Introspecting continuations in order to update active code
J Buisson, F Dagnat
Proceedings of the 1st International Workshop on Hot Topics in Software …, 2008
112008
Towards context-aware components
A Beugnard, S Chabridon, D Conan, C Taconet, F Dagnat, E Kaboré
Proceedings of the first international workshop on Context-aware software …, 2009
92009
Analysis of deployment dependencies in software components
M Belguidoum, F Dagnat
Proceedings of the 2006 ACM symposium on Applied computing, 735-736, 2006
92006
Static analysis of communications for Erlang
F Dagnat, M Pantel
EUC 2002 (8th international Erlang User Conference), Stockholm, November 19, ., 2002
82002
Pymoult: On-line updates for python programs
S Martinez, F Dagnat, J Buisson
ICSEA 2015: 10th International Conference on Software Engineering Advances …, 2015
72015
Prototyping {DSU} Techniques Using Python
S Martinez, F Dagnat, J Buisson
5th Workshop on Hot Topics in Software Upgrades (HotSWUp 13), 2013
72013
The lazy initialization multilayered modeling framework: NIER track
FR Golra, F Dagnat
2011 33rd International Conference on Software Engineering (ICSE), 924-927, 2011
72011
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20