| Dependency management in software component deployment M Belguidoum, F Dagnat Electronic Notes in theoretical computer science 182, 17-32, 2007 | 65 | 2007 |
| 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 | 57 | 2016 |
| Conceptual interoperability through models federation C Guychard, S Guerin, A Koudri, A Beugnard, F Dagnat Semantic Information Federation Community Workshop 23, 2013 | 38 | 2013 |
| Bridging the gap between informal requirements and formal specifications using model federation FR Golra, F Dagnat, J Souquières, I Sayar, S Guerin Software Engineering and Formal Methods: 16th International Conference, SEFM …, 2018 | 30 | 2018 |
| 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 | 30 | 2016 |
| Formalization of component substitutability M Belguidoum, F Dagnat Electronic Notes in Theoretical Computer Science 215, 75-92, 2008 | 28 | 2008 |
| A methodology to assess vulnerabilities and countermeasures impact on the missions of a naval system B Sultan, F Dagnat, C Fontaine Computer Security: ESORICS 2017 International Workshops, CyberICPS 2017 and …, 2018 | 20 | 2018 |
| 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 | 20 | 2016 |
| 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 | 18 | 1999 |
| Safe reconfiguration of Coqcots and Pycots components J Buisson, F Dagnat, E Leroux, S Martinez Journal of Systems and Software 122, 430-444, 2016 | 15 | 2016 |
| 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 | 14 | 2014 |
| Continuous process compliance using model driven engineering FR Golra, F Dagnat, R Bendraou, A Beugnard Model and Data Engineering: 7th International Conference, MEDI 2017 …, 2017 | 13 | 2017 |
| Recaml: execution state as the cornerstone of reconfigurations J Buisson, F Dagnat Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010 | 13 | 2010 |
| Typing concurrent objects and actors F Dagnat, M Pantel, M Colin, P Sallé L'Objet, méthodes formelles pour les objets, 2000 | 13 | 2000 |
| Pymoult: On-line updates for python programs S Martinez, F Dagnat, J Buisson ICSEA 2015: 10th International Conference on Software Engineering Advances …, 2015 | 12 | 2015 |
| Introspecting continuations in order to update active code J Buisson, F Dagnat Proceedings of the 1st International Workshop on Hot Topics in Software …, 2008 | 12 | 2008 |
| Dependability in software component deployment M Belguidoum, F Dagnat 2nd International Conference on Dependability of Computer Systems (DepCoS …, 2007 | 12 | 2007 |
| Prototyping {DSU} Techniques Using Python S Martinez, F Dagnat, J Buisson 5th Workshop on Hot Topics in Software Upgrades (HotSWUp 13), 2013 | 10 | 2013 |
| Multi-Level Modeling with Openflexo/FML: a contribution to the multi-level process challenge S Guérin, J Champeau, JC Bach, A Beugnard, F Dagnat, S Martínez Enterprise Modelling and Information Systems Architectures (EMISAJ) 17, 9: 1-21, 2022 | 9* | 2022 |
| Combining obfuscation and optimizations in the real world S Guelton, A Guinet, P Brunet, JM Martinez, F Dagnat, N Szlifierski 2018 IEEE 18th International Working Conference on Source Code Analysis and …, 2018 | 9 | 2018 |
Meriem BELGUIDOUMProfessor of computer science, University of Abdelhamid Mehri-constantine 2Verified email at univ-constantine2.dz