
Fabien Dagnat
69%
Libre accès
52
Documents
Identifiants chercheurs
Présentation
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) du Lab-STICC (UMR 6285).
Publications
4
2
1
2
3
2
1
1
2
2
6
2
2
3
2
4
4
3
4
2
2
1
1
1
1
1
35
14
13
8
4
2
1
1
1
1
1
Publications
Multi-Level Modeling with Openflexo/FMLEnterprise Modelling and Information Systems Architectures, 2022, 17, ⟨10.18417/emisa.17.9⟩
Article dans une revue
hal-03692372
v1
|
|
|
PAMELA: an annotation-based Java Modeling FrameworkScience of Computer Programming, 2021, 210, pp.102668. ⟨10.1016/j.scico.2021.102668⟩
Article dans une revue
hal-03217126
v1
|
|
Safe reconfiguration of Coqcots and Pycots componentsJournal of Systems and Software, 2016, 122, pp.430-444. ⟨10.1016/j.jss.2015.11.039⟩
Article dans une revue
hal-01235602
v1
|
|
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⟩
Article dans une revue
hal-01164480
v1
|
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
Article dans une revue
hal-00904995
v1
|
|
|
Formalization of component substitutabilityElectronic Notes in Theoretical Computer Science, 2008, 215, pp.75 - 92. ⟨10.1016/j.entcs.2008.06.022⟩
Article dans une revue
hal-02136485
v1
|
|
Dependency management in software component deploymentElectronic Notes in Theoretical Computer Science, 2007, 182, pp.17 - 32. ⟨10.1016/j.entcs.2006.09.029⟩
Article dans une revue
hal-02134708
v1
|
Typing Concurrent Objects and ActorsL'Objet, méthodes formelles pour les objets, 2000
Article dans une revue
hal-02061966
v1
|
|
10 years of Model Federation with Openflexo: Challenges and Lessons LearnedMODELS 2024: ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Sep 2024, Linz, Austria. pp.12, ⟨10.1145/3640310.3674084⟩
Communication dans un congrès
hal-04617492
v1
|
|
Maintaining Security Consistency During System Development with Security-Oriented Model FederationInternational Conference on Software and Systems Processes (ICSSP ’24), Sep 2024, Munich, Germany. ⟨10.1145/3666015.3666016⟩
Communication dans un congrès
hal-04611757
v1
|
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
Communication dans un congrès
hal-04045293
v1
|
|
|
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. ⟨10.1109/MODELS-C59198.2023.00148⟩
Communication dans un congrès
hal-04254748
v1
|
|
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⟩
Communication dans un congrès
hal-04083449
v1
|
|
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⟩
Communication dans un congrès
hal-03801086
v1
|
|
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
Communication dans un congrès
hal-02354761
v1
|
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⟩
Communication dans un congrès
hal-02062166
v1
|
|
|
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⟩
Communication dans un congrès
hal-01853610
v1
|
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⟩
Communication dans un congrès
hal-01836378
v1
|
|
|
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⟩
Communication dans un congrès
hal-01633341
v1
|
|
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⟩
Communication dans un congrès
hal-01393781
v1
|
|
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⟩
Communication dans un congrès
hal-01487055
v1
|
|
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⟩
Communication dans un congrès
hal-01298547
v1
|
|
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
Communication dans un congrès
hal-01431543
v1
|
Pymoult : On-Line Updates for Python ProgramsICSEA 2015 : 10th International Conference on Software Engineering Advances, Nov 2015, Barcelone, Spain. pp.80 - 85
Communication dans un congrès
hal-01247603
v1
|
|
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
Communication dans un congrès
hal-01015893
v1
|
|
|
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⟩
Communication dans un congrès
hal-00984365
v1
|
Conceptual interoperability through Models FederationSemantic Information Federation Community Workshop, Oct 2013, Miami, United States
Communication dans un congrès
hal-00905036
v1
|
|
|
Prototyping DSU techniques using PythonHotSWUp'13, Jun 2013, San José, United States. https://www.usenix.org/conference/hotswup13/prototyping-dsu-techniques-using-python
Communication dans un congrès
hal-00907744
v1
|
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⟩
Communication dans un congrès
hal-00739675
v1
|
|
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
Communication dans un congrès
hal-00797559
v1
|
|
|
Toward a distributed package management systemLococo 2011: workshop on logics for component configuration, Sep 2011, Perugia, Italy
Communication dans un congrès
hal-00623548
v1
|
|
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⟩
Communication dans un congrès
hal-00623642
v2
|
|
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⟩
Communication dans un congrès
hal-00725607
v1
|
|
Towards a categorical framework to ensure correct software evolutionsWorkshop on Hot Topics in Software Upgrades, Apr 2011, Hanovre, Germany. pp.139-144, ⟨10.1109/ICDEW.2011.5767625⟩
Communication dans un congrès
hal-00785433
v1
|
|
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⟩
Communication dans un congrès
hal-00797558
v1
|
|
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
Communication dans un congrès
hal-02267838
v1
|
|
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⟩
Communication dans un congrès
hal-00624134
v1
|
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⟩
Communication dans un congrès
hal-01315821
v1
|
|
|
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
Communication dans un congrès
hal-02061819
v1
|
Integrating extra-functional properties in component deployment dependencies6th International Workshop on Formal Aspects of Component Software, Nov 2009, Eindhoven, Netherlands. pp.195 - 209
Communication dans un congrès
hal-02061820
v1
|
|
|
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⟩
Communication dans un congrès
hal-00498583
v1
|
|
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⟩
Communication dans un congrès
hal-00498587
v1
|
|
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⟩
Communication dans un congrès
hal-00498590
v1
|
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⟩
Communication dans un congrès
hal-02062068
v1
|
|
Analysis of deployment dependencies in software componentsSAC 2006 : 21st annual ACM Symposium on applied computing, 23-27 avril, Dijon, France, Apr 2006, Dijon, France
Communication dans un congrès
hal-02062073
v1
|
|
|
Dependency management in software component deploymentFACS'06 : Third International Workshop on Formal Aspects of Component Software, Prague, Czech republic, Sep 2006, Prague, Czech Republic
Communication dans un congrès
hal-02114096
v1
|
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
Communication dans un congrès
hal-02062075
v1
|
|
|
Bibtex++ : toward higher-order bibtexingEuroTeX'2003 : 14th European TeX Conference, Jun 2003, Brest, France
Communication dans un congrès
hal-02128426
v1
|
|
Static analysis of communications for ErlangEUC 2002 (8th international Erlang User Conference), Stockholm, November 19, Nov 2002, Stockholm, Suède
Communication dans un congrès
hal-02132880
v1
|
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⟩
Chapitre d'ouvrage
istex
hal-02061818
v1
|
|
Vérification Statique de Programmes RépartisLangage de programmation [cs.PL]. Institut National Polytechnique De Toulouse, 2001. Français. ⟨NNT : ⟩
Thèse
tel-02061997
v1
|
|
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
HDR
tel-01323059
v1
|
Chargement...
Chargement...