Jérémy Buisson
Maître de conférences à l'Ecole de l'Air et de l'Espace
45
Documents
Présentation
With a strong background in software engineering, using both semi-formal model-driven and formal approaches, I am currently interested in topics related to the "model-driven engineering" and to the "security by design" paradigms, applied to the software, system and system of systems architecture.
Publications
Publications
|
|
Design Process for System of Systems ReconfigurationsSystems Engineering, 2021, 24 (2), pp.69-82. ⟨10.1002/sys.21567⟩
Article dans une revue
hal-03161725
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
|
|
|
Afpac: enforcing consistency during the adaptation of a parallel componentScalable Computing : Practice and Experience, 2006, 7 (3), pp.61
Article dans une revue
hal-00498814
v1
|
|
|
Towards System-of-Systems Bill of Material Solution for Vulnerability Operational Impact Analysis2025 IEEE 24th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2025), IEEE, Nov 2025, Guiyang, China
Communication dans un congrès
hal-05455200
v1
|
|
|
Towards Joint SoS and Threat Mission-based Modeling for Operational Impact Identification2024 19th Annual System of Systems Engineering Conference (SoSE), Jun 2024, Tacoma, United States. pp.72-77, ⟨10.1109/SOSE62659.2024.10620955⟩
Communication dans un congrès
hal-04674989
v1
|
|
|
Exploring Naive Bayes Classifiers for Tabular Data to Knowledge Graph MatchingSemantic Web Challenge on Tabular Data to Knowledge Graph Matching 2023, Nov 2023, Athènes, Greece. pp.72-84
Communication dans un congrès
hal-04560328
v1
|
|
|
Deriving metrics for software architectures from the "protected entry points" security patterns38th ACM/SIGAPP Symposium on Applied Computing, Mar 2023, Tallinn, France. pp.1473-1475, ⟨10.1145/3555776.3577816⟩
Communication dans un congrès
hal-04121611
v1
|
|
|
Architectural Strategy to Enhance the Availability Quality Attribute in System-of-Systems Architectures: a Case Study2020 IEEE 15th International Conference of System of Systems Engineering (SoSE), Jun 2020, Budapest, France. pp.93-98, ⟨10.1109/SoSE50414.2020.9130468⟩
Communication dans un congrès
hal-02887620
v1
|
|
|
Digitalization in Next Generation C2: Research Agenda from Model-Based Engineering Perspective2020 IEEE 15th International Conference of System of Systems Engineering (SoSE), Jun 2020, Budapest, France. pp.000243-000248, ⟨10.1109/SoSE50414.2020.9130534⟩
Communication dans un congrès
hal-02887623
v1
|
|
|
Metamodeling NATO Operation Orders: a proof-of-concept to deal with digitalization of the battlefield2019 14th Annual Conference System of Systems Engineering (SoSE), May 2019, Anchorage, France. pp.260-265
Communication dans un congrès
hal-02181689
v1
|
Metamodeling NATO Operation Orders: a proof-of-concept to deal with digitalization of the battlefield2019 14th Annual Conference System of Systems Engineering (SoSE), May 2019, Anchorage, France. pp.260-265, ⟨10.1109/SYSOSE.2019.8753885⟩
Communication dans un congrès
hal-05372560
v1
|
|
|
|
Modeling System of Systems configurations2018 13th Annual Conference on System of Systems Engineering (SoSE), Jun 2018, Paris, France. pp.392-399
Communication dans un congrès
hal-02021350
v1
|
|
|
Automatic Transformation from Ecore Metamodels towards Gallina Inductive TypesMODELSWARD 2018, Jan 2018, Santa Cruz, Portugal. ⟨10.5220/0006608604880495⟩
Communication dans un congrès
hal-01693939
v1
|
A Formal Approach for Architecting Software-intensive Systems-of-Systems with Guarantees13th Annual Conference on System of Systems Engineering (SoSE), Jul 2018, Paris, France. ⟨10.1109/SYSOSE.2018.8428726⟩
Communication dans un congrès
hal-01999617
v1
|
|
The SoS Architect Studio: Toolchain for the Formal Architecture Description and Analysis of Software-intensive Systems-of-Systems with SosADLProceedings of the ECSA International Colloquium on Software-intensive Systems-of-Systems (SiSoS), Nov 2016, Copenhagen, Denmark
Communication dans un congrès
hal-01443130
v1
|
|
|
|
Assisting the evolutionary development of SoS with reconfiguration patternsSustainable Architecture: Global Collaboration, Requirements, Analysis (SAGRA), Nov 2016, Copenhagen, Denmark. pp.9, ⟨10.1145/2993412.3004845⟩
Communication dans un congrès
hal-01421487
v1
|
|
|
Approach Based Patterns for System-of-Systems ReconfigurationInternational Workshop on Software Engineering for Systems-of-Systems, May 2015, Florence, Italy
Communication dans un congrès
hal-01142539
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
|
|
|
|
Une Approche Orientée Pattern pour la Reconfiguration de Système de SystèmesCIEL 2015, Jun 2015, Bordeaux, France
Communication dans un congrès
hal-01421540
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
|
|
|
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
|
|
|
ACME vs PDDL: support for dynamic reconfiguration of software architectures6ème édition de la Conférence Francophone sur les Architectures Logicielles (CAL 2012), May 2012, Montpellier, France. pp.48-57
Communication dans un congrès
hal-00703176
v1
|
|
|
Issues of Architectural Description Languages for Handling Dynamic Reconfiguration6ème Conférence francophone sur les architectures logicielles (CAL'2012), May 2012, Montpellier, France. pp.69-80
Communication dans un congrès
hal-00699895
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
|
|
|
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
|
|
|
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
|
|
|
Scheduling malleable applications in multicluster systemsIEEE International Conference on Cluster Computing, Sep 2007, Austin, United States. pp.372, ⟨10.1109/CLUSTR.2007.4629252⟩
Communication dans un congrès
hal-00498790
v1
|
Supporting Adaptable Applications in Grid Resource Management Systems8th IEEE/ACM International Conference on Grid Computing, Sep 2007, Austin, United States. pp.58, ⟨10.1109/GRID.2007.4354116⟩
Communication dans un congrès
hal-00170872
v1
|
|
|
|
Towards dynamic adaptability support for the master-worker paradigm in component based applicationsCoreGRID Symposium, Aug 2007, Rennes, France. pp.117, ⟨10.1007/978-0-387-72498-0_11⟩
Communication dans un congrès
hal-00498872
v1
|
|
|
An abstract schema modeling adaptivity managementCoreGRID Integration Workshop, Nov 2005, Pisa, Italy. pp.89, ⟨10.1007/978-0-387-47658-2_7⟩
Communication dans un congrès
hal-00498852
v1
|
|
|
Using aspects for integrating a middleware for dynamic adaptationFirst Workshop on Aspect-Oriented Middleware Development, Nov 2005, Grenoble, France. pp.1, ⟨10.1145/1101560.1101561⟩
Communication dans un congrès
hal-00498860
v1
|
|
|
Dynamic adaptation for Grid computingEuropean Grid Conference, Feb 2005, Amsterdam, Netherlands. pp.538, ⟨10.1007/11508380_55⟩
Communication dans un congrès
hal-00498845
v1
|
|
|
Enforcing consistency during the adaptation of a parallel componentThe 4th International Symposium on Parallel and Distributed Computing (ISPDC), Jul 2005, Lille, France. pp.66, ⟨10.1109/ISPDC.2005.24⟩
Communication dans un congrès
hal-00498839
v1
|
|
|
Un modèle pour l'adaptation dynamique des programmes parallèlesRencontres Francophones en Parallélisme, Architecture, Système et Composant, Apr 2005, Le Croisic, France
Communication dans un congrès
hal-00498819
v1
|
|
|
Parallel program/component adaptivity managementInternational Conference ParCo, Sep 2005, Malaga, Spain. pp.89
Communication dans un congrès
hal-00498829
v1
|
|
|
A framework for dynamic adaptation of parallel componentsInternational Conference ParCo, Sep 2005, Malaga, Spain. pp.65
Communication dans un congrès
hal-00498836
v1
|
|
|
Adaptation dynamique de codes parallèlesJournées Composants, Mar 2004, Lille, France
Communication dans un congrès
hal-00498862
v1
|
|
|
Dynamic Adaptation of Parallel Codes: Toward Self-Adaptable Components for the GridWorkshop on Component Models and Systems for Grid Applications, Jun 2004, Saint-Malo, France. pp.143, ⟨10.1007/0-387-23352-0_9⟩
Communication dans un congrès
hal-00498865
v1
|
|
|
Dynamic adaptation of parallel and distributed components on Grid environmentsEleventh International Conference on Advanced Computing and Communications (ADCOM), 2003, Coimbatore, India
Communication dans un congrès
hal-00498870
v1
|
|
|
Model-Driven Engineering as the Interface for Tactical Operation Order of Mixed Robot/Human PlatoonsDevelopments and Advances in Defense and Security, 255, Springer Singapore, pp.205-214, 2022, Smart Innovation, Systems and Technologies, ⟨10.1007/978-981-16-4884-7_16⟩
Chapitre d'ouvrage
hal-03418759
v1
|
|
|
Effective Bridging Between Ecore and Coq: Case of a Type-Checker with Proof-Carrying CodeModelling and Implementation of Complex Systems, pp.259-273, 2019
Chapitre d'ouvrage
hal-01945245
v1
|
|
|
Generation of Inductive Types from Ecore MetamodelsModel-Driven Engineering and Software Development. MODELSWARD 2018., pp.308-334, 2019
Chapitre d'ouvrage
hal-02021361
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
|
Chargement...
Chargement...