Fabien Dagnat
Orcid: 0000-0002-2419-7587
According to our database1,
Fabien Dagnat
authored at least 38 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
1
1
1
1
1
1
2
2
1
2
2
3
2
1
1
3
1
2
3
2
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024
Maintaining Security Consistency During System Development with Security-Oriented Model Federation.
Proceedings of the 2024 International Conference on Software and Systems Processes, 2024
2023
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
Modeling Heterogeneous IT Infrastructures: A Collaborative Component-Oriented Approach.
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.
Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2022
Proceedings of the Risks and Security of Internet and Systems, 2022
2021
2018
Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation.
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018
Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, 2018
2017
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.
Proceedings of the Computer Security - ESORICS 2017 International Workshops, 2017
2016
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016
Using free modeling as an agile method for developing domain specific modeling languages.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016
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).
, 2016
2015
Ingénierie des Systèmes d Inf., 2015
2014
Proceedings of the Actes du XXXIIème Congrès INFORSID, Lyon, France, 20-23 Mai 2014., 2014
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
Proceedings of the 5th Workshop on Hot Topics in Software Upgrades, 2013
2012
Proceedings of the 2012 International Conference on Software and System Process, 2012
2011
Proceedings of the 33rd International Conference on Software Engineering, 2011
Proceedings of the Workshops Proceedings of the 27th International Conference on Data Engineering, 2011
Proceedings of the 2011 Frontiers of Information Technology, 2011
2010
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.
Proceedings of the Synthesis of Embedded Software, 2010
2009
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009
Proceedings of the first international workshop on Context-aware software technology and applications, 2009
2008
Proceedings of the 6th ACIS International Conference on Software Engineering Research, 2008
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.
Proceedings of the 1st ACM Workshop on Hot Topics in Software Upgrades, 2008
2007
Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007
Proceedings of the 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), 2007
2006
Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
2001
Vérification Statique de Programmes Répartis. (Static Verification of distributed programs).
PhD thesis, 2001
2000
Typing Concurrent Objects and Actors.
Obj. Logiciel Base données Réseaux, 2000
1999
Static safety analysis for non-uniform service availability in Actors.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999