Fabien Dagnat
66%
Open access
50
Documents
Researcher identifiers
fabien-dagnat
-
0000-0002-2419-7587
- IdRef : 05957352X
Presentation
I'm currently associate professor of software engineering at IMT Atlantique on the Brest campus. I'm the leader of the [P4S (Processes for Safe and Secure Software and Systems)](https://p4s.enstb.org) research team of the Lab-STICC laboratory.
Je suis actuellement maître de conférences HDR en génie logiciel à l'IMT Atlantique sur le campus de Brest. Je suis responsable de l'équipe de recherche [P4S (Processes for Safe and Secure Software and Systems)](https://p4s.enstb.org) du Lab-STICC (UMR 6285).
Publications
- 35
- 18
- 11
- 6
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 3
- 2
- 1
- 1
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 4
- 3
- 4
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
Multi-Level Modeling with Openflexo/FMLEnterprise Modelling and Information Systems Architectures, 2022, 17, ⟨10.18417/emisa.17.9⟩
Journal articles
hal-03692372v1
|
|
|
PAMELA: an annotation-based Java Modeling FrameworkScience of Computer Programming, 2021, 210, pp.102668. ⟨10.1016/j.scico.2021.102668⟩
Journal articles
hal-03217126v1
|
|
Safe reconfiguration of Coqcots and Pycots componentsJournal of Systems and Software, 2016, 122, pp.430-444. ⟨10.1016/j.jss.2015.11.039⟩
Journal articles
hal-01235602v1
|
|
Des situations de modélisation pour décrire un processus de modélisationRevue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2015, 20 (2), pp.41 - 66. ⟨10.3166/ISI.20.2.41-66⟩
Journal articles
hal-01164480v1
|
De la nécessité de fédérer des modèles dans une chaîne d'outilsGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2013, 105, pp.18-23
Journal articles
hal-00904995v1
|
|
|
Formalization of component substitutabilityElectronic Notes in Theoretical Computer Science, 2008, 215, pp.75 - 92. ⟨10.1016/j.entcs.2008.06.022⟩
Journal articles
hal-02136485v1
|
Dependency management in software component deploymentElectronic Notes in Theoretical Computer Science, 2007, 182, pp.17 - 32. ⟨10.1016/j.entcs.2006.09.029⟩
Journal articles
hal-02134708v1
|
|
Typing Concurrent Objects and ActorsL'Objet, méthodes formelles pour les objets, 2000
Journal articles
hal-02061966v1
|
|
Towards evolving secured multi-model systems with model federationMODELS 2023: 26th International Conference on Model-Driven Engineering Languages and Systems - ME 2023: 16th Workshop on Models and Evolution, Oct 2023, Vasteras, Sweden
Conference papers
hal-04254748v1
|
A flexible and robust framework for the secure systems engineering of space missions17th International Conference on Space Operations 2023, Mar 2023, Dubai, United Arab Emirates
Conference papers
hal-04045293v1
|
|
|
Modeling heterogeneous IT infrastructures: a collaborative component-oriented approachEMMSAD 2023: 28th International working conference on Evaluation and Modeling Methods for Systems Analysis and Development, BPMDS 2023: 24th International Conference on Business Process Modeling, Development and Support, Jun 2023, Saragosse, Spain. pp.227-242, ⟨10.1007/978-3-031-34241-7_16⟩
Conference papers
hal-04083449v1
|
|
How IT Infrastructures Break: Better Modeling for Better Risk ManagementCRiSIS 2022: 17th International Conference on Risks and Security of Internet and Systems, Dec 2022, Sousse, Tunisia. pp.169-184, ⟨10.1007/978-3-031-31108-6_13⟩
Conference papers
hal-03801086v1
|
|
Statistical Measurement of Production Environment Influence on Code Reuse AvailabilitySECURWARE 2019 : The Thirteenth International Conference on Emerging Security Information, Systems and Technologies, Oct 2019, Nice, France
Conference papers
hal-02354761v1
|
Combining Obfuscation and Optimizations in the Real World18th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), Sep 2018, Madrid, Spain. pp.24 - 33, ⟨10.1109/SCAM.2018.00010⟩
Conference papers
hal-02062166v1
|
|
|
Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation16th International Conference on Software Engineering and Formal Methods (SEFM 2018), Jun 2018, Toulouse, France. pp.54-69, ⟨10.1007/978-3-319-92970-5_4⟩
Conference papers
hal-01853610v1
|
A Methodology to Assess Vulnerabilities and Countermeasures Impact on the Missions of a Naval SystemCyberICPS'2017 : International Workshop on the Security of Industrial Control Systems and Cyber-Physical Systems, Sep 2017, Oslo, Norway. pp.63 - 76, ⟨10.1007/978-3-319-72817-9_5⟩
Conference papers
hal-01836378v1
|
|
|
Continuous Process Compliance Using Model Driven EngineeringMEDI 2017 : 7th International Conference on Model and Data Engineering, Oct 2017, Barcelone, Spain. pp.42-56, ⟨10.1007/978-3-319-66854-3_4⟩
Conference papers
hal-01633341v1
|
|
Using free modeling as an Agile method for developing domain specific modeling languagesMODELS 2016 : ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Oct 2016, Saint Malo, France. pp.24 - 34, ⟨10.1145/2976767.2976807⟩
Conference papers
hal-01393781v1
|
|
Continuous Requirements Engineering Using Model FederationRE 2016 : 24th IEEE International Requirements Engineering Conference, Sep 2016, Beijing, China. pp.347 - 352, ⟨10.1109/RE.2016.42⟩
Conference papers
hal-01487055v1
|
|
Addressing Modularity for Heterogeneous Multi-model Systems using Model FederationMODULARITY 2016 : 15th International Conference on Modularity, Mar 2016, Malaga, Spain. pp.206 - 211, ⟨10.1145/2892664.2892701⟩
Conference papers
hal-01298547v1
|
|
Maîtrise des Correctifs de Sécurité pour les Systèmes NavalsCIEL 2016 : 5ème Conférence en Ingénierie du Logiciel, Jun 2016, Besançon, France. pp.1 - 6
Conference papers
hal-01431543v1
|
Pymoult : On-Line Updates for Python ProgramsICSEA 2015 : 10th International Conference on Software Engineering Advances, Nov 2015, Barcelone, Spain. pp.80 - 85
Conference papers
hal-01247603v1
|
|
Des situations de modélisation pour évaluer les outils de modélisationINFORSID 2014 : 32ème congrès de l'INFormatique des ORganisations et Systèmes d'Information et de Décision, May 2014, Lyon, France. pp.181-196
Conference papers
hal-01015893v1
|
|
|
Coqcots & Pycots: non-stopping components for safe dynamic reconfigurationCBSE 2014 : proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering, Jun 2014, Lille, France. pp.1, ⟨10.1145/2602458.2602459⟩
Conference papers
hal-00984365v1
|
|
Prototyping DSU techniques using PythonHotSWUp'13, Jun 2013, San José, United States. https://www.usenix.org/conference/hotswup13/prototyping-dsu-techniques-using-python
Conference papers
hal-00907744v1
|
Conceptual interoperability through Models FederationSemantic Information Federation Community Workshop, Oct 2013, Miami, United States
Conference papers
hal-00905036v1
|
|
Generation of Dynamic Process Models for Multi-metamodel ApplicationsICSSP 2012: International Conference on Software and System Process, Jun 2012, Zurich, Switzerland. ⟨10.1109/ICSSP.2012.6225980⟩
Conference papers
hal-00739675v1
|
|
Specifying the Interaction Control Behavior of a Process Model using Hierarchical Petri NetPMDE 2012: 2nd Workshop on Process-based approaches for Model-Driven Engineering, Jul 2012, Lyngby, Denmark
Conference papers
hal-00797559v1
|
|
|
Toward a distributed package management systemLococo 2011: workshop on logics for component configuration, Sep 2011, Perugia, Italy
Conference papers
hal-00623548v1
|
|
Using component-oriented process models for multi-metamodel applications9th International Conference on Frontiers of Information Technology, Dec 2011, Islamabad, Pakistan. pp.218-233, ⟨10.1109/FIT.2011.47⟩
Conference papers
hal-00725607v1
|
|
The Lazy Initialization Multilayered Modeling Framework (NIER track)ICSE 2011 : 33rd International Conference on Software Engineering, May 2011, Honolulu, United States. pp.924 - 927, ⟨10.1145/1985793.1985947⟩
Conference papers
hal-00623642v2
|
|
Towards a categorical framework to ensure correct software evolutionsWorkshop on Hot Topics in Software Upgrades, Apr 2011, Hannover, Germany. pp.139-144, ⟨10.1109/ICDEW.2011.5767625⟩
Conference papers
hal-00785433v1
|
|
ReCaml: execution state as the cornerstone of reconfigurationsACM SIGPLAN: 15th International Conference on Functional Programming, Sep 2010, Baltimore, United States. pp.27-38, ⟨10.1145/1863543.1863550⟩
Conference papers
hal-00797558v1
|
|
SPaCIFY: a Formal Model-Driven Engineering for Spacecraft On-Board Software5th European Congress on Embedded Real Time Software and Systems (ERTS2 2010), AAAF : Association Aéronautique et Astronautique de France; SEE : French Electrical, Electronics, and Information & Communication Technologies Society; SIA: Société des Ingénieurs de l'Automobile, May 2010, Toulouse, France
Conference papers
hal-02267838v1
|
|
Vers un déploiement sûr et flexible des composants logicielsNOTERE 2009 : neuvième conférence internationale sur les nouvelles technologies de la répartition, Jun 2009, Montréal, Canada
Conference papers
hal-02061819v1
|
Integrating extra-functional properties in component deployment dependencies6th International Workshop on Formal Aspects of Component Software, Nov 2009, Eindhoven, Netherlands. pp.195 - 209
Conference papers
hal-02061820v1
|
|
Towards context-aware componentsCASTA 2009 : Workshop on Context-Aware Software Technology and Applications - Co-located with ESEC/FSE 2009, Aug 2009, Amsterdam, Netherlands. pp.1 - 4, ⟨10.1145/1595768.1595770⟩
Conference papers
hal-01315821v1
|
|
|
Polychronous interpretation of synoptic, a domain specific modeling language for embedded flight-softwareFM 09 - Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands. pp.80-87, ⟨10.4204/EPTCS.20.9⟩
Conference papers
hal-00624134v1
|
|
Experiments with Fractal on Modular ReflectionSixth International Conference on Software Engineering Research, Management and Applications (SERA), Aug 2008, Prague, Czech Republic. pp.179, ⟨10.1109/SERA.2008.19⟩
Conference papers
hal-00498590v1
|
|
Issues in applying a model driven approach to reconfigurations of satellite softwareInternational Workshop On Hot Topics In Software Upgrades, Oct 2008, Nashville, United States. pp.6, ⟨10.1145/1490283.1490291⟩
Conference papers
hal-00498587v1
|
|
Introspecting continuations in order to update active codeInternational Workshop On Hot Topics In Software Upgrades, Oct 2008, Nashville, United States. pp.4, ⟨10.1145/1490283.1490289⟩
Conference papers
hal-00498583v1
|
Dependability in software component deploymentRELCOMEX 2007 : 2nd international conference on dependability of computer systems depCos, June 14-16, Szklarska Poreba, Pologne, Jun 2007, Szklarska Poreba, Poland. pp.223 - 230, ⟨10.1109/DEPCOS-RELCOMEX.2007.16⟩
Conference papers
hal-02062068v1
|
|
Analysis of deployment dependencies in software componentsSAC 2006 : 21st annual ACM Symposium on applied computing, 23-27 avril, Dijon, France, Apr 2006, Dijon, France
Conference papers
hal-02062073v1
|
|
|
Dependency management in software component deploymentFACS'06 : Third International Workshop on Formal Aspects of Component Software, Prague, Czech republic, Sep 2006, Prague, Czech Republic
Conference papers
hal-02114096v1
|
Analyse des dépendances pour le déploiement automatique de composants4ème Conférence Francophone autour des Composants Logiciels, Le Croisic du 6 au 8 Avril 2005, Apr 2005, Le Croisic, France. pp.57 - 68
Conference papers
hal-02062075v1
|
|
|
Bibtex++ : toward higher-order bibtexingEuroTeX'2003 : 14th European TeX Conference, Jun 2003, Brest, France
Conference papers
hal-02128426v1
|
|
Static analysis of communications for ErlangEUC 2002 (8th international Erlang User Conference), Stockholm, November 19, Nov 2002, Stockholm, Suède
Conference papers
hal-02132880v1
|
Synoptic: a domain-specific modeling language for space on-board application softwareSynthesis of embedded software, frameworks and methodologies for correctness by construction, Springer, pp.79 - 119, 2010, Engineering, 978-1-4419-6399-4. ⟨10.1007/978-1-4419-6400-7_3⟩
Book sections
hal-02061818v1
|
|
Vérification Statique de Programmes RépartisLangage de programmation [cs.PL]. Institut National Polytechnique De Toulouse, 2001. Français. ⟨NNT : ⟩
Theses
tel-02061997v1
|
|
Du génie logiciel pour déployer, gérer et reconfigurer les logicielsInterface homme-machine [cs.HC]. Télécom Bretagne; Institut Mines-Télécom, 2016
Habilitation à diriger des recherches
tel-01323059v1
|