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

Deposit thumbnail

Towards System-of-Systems Bill of Material Solution for Vulnerability Operational Impact Analysis

Lucas Tesson , Jamal El Hachem , Patrice Guillou , Jérémy Buisson

2025 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-05455200v1
Deposit thumbnail

Towards Joint SoS and Threat Mission-based Modeling for Operational Impact Identification

Jesús Sánchez , Jérémy Buisson , Jamal El Hachem , Nicolas Belloir

2024 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-04674989v1
Deposit thumbnail

Exploring Naive Bayes Classifiers for Tabular Data to Knowledge Graph Matching

Brice Foko , Azanzi Jiomekong , Hippolyte Tapamo , Jérémy Buisson , Sanju Tiwari

Semantic Web Challenge on Tabular Data to Knowledge Graph Matching 2023, Nov 2023, Athènes, Greece. pp.72-84

Communication dans un congrès hal-04560328v1
Deposit thumbnail

Deriving metrics for software architectures from the "protected entry points" security patterns

Monica Buitrago , Isabelle Borne , Jeremy Buisson

38th ACM/SIGAPP Symposium on Applied Computing, Mar 2023, Tallinn, France. pp.1473-1475, ⟨10.1145/3555776.3577816⟩

Communication dans un congrès hal-04121611v1
Deposit thumbnail

Architectural Strategy to Enhance the Availability Quality Attribute in System-of-Systems Architectures: a Case Study

Alexandre Delecolle , Rodrigo Silva Lima , Valdemar Vicente Graciano Neto , Jérémy Buisson

2020 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-02887620v1
Deposit thumbnail

Digitalization in Next Generation C2: Research Agenda from Model-Based Engineering Perspective

Jérémy Buisson , Jean Levrai Mbeck M , Nicolas Belloir

2020 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-02887623v1

Metamodeling NATO Operation Orders: a proof-of-concept to deal with digitalization of the battlefield

Nicolas Belloir , Jeremy Buisson , Olivier Bartheye

2019 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-05372560v1
Deposit thumbnail

Metamodeling NATO Operation Orders: a proof-of-concept to deal with digitalization of the battlefield

Nicolas Belloir , Jérémy Buisson , Olivier Bartheye

2019 14th Annual Conference System of Systems Engineering (SoSE), May 2019, Anchorage, France. pp.260-265

Communication dans un congrès hal-02181689v1
Deposit thumbnail

Automatic Transformation from Ecore Metamodels towards Gallina Inductive Types

Jeremy Buisson , Seidali Rehab

MODELSWARD 2018, Jan 2018, Santa Cruz, Portugal. ⟨10.5220/0006608604880495⟩

Communication dans un congrès hal-01693939v1
Deposit thumbnail

Modeling System of Systems configurations

Franck Petitdemange , Isabelle Borne , Jérémy Buisson

2018 13th Annual Conference on System of Systems Engineering (SoSE), Jun 2018, Paris, France. pp.392-399

Communication dans un congrès hal-02021350v1

A Formal Approach for Architecting Software-intensive Systems-of-Systems with Guarantees

Flavio Oquendo , Jeremy Buisson , Elena Leroux , Gersan Moguérou

13th Annual Conference on System of Systems Engineering (SoSE), Jul 2018, Paris, France. ⟨10.1109/SYSOSE.2018.8428726⟩

Communication dans un congrès hal-01999617v1
Deposit thumbnail

Assisting the evolutionary development of SoS with reconfiguration patterns

Franck Petitdemange , Isabelle Borne , Jeremy Buisson

Sustainable Architecture: Global Collaboration, Requirements, Analysis (SAGRA), Nov 2016, Copenhagen, Denmark. pp.9, ⟨10.1145/2993412.3004845⟩

Communication dans un congrès hal-01421487v1

The SoS Architect Studio: Toolchain for the Formal Architecture Description and Analysis of Software-intensive Systems-of-Systems with SosADL

Flavio Oquendo , Jeremy Buisson , Elena Leroux , Gersan Moguérou , Jean Quilbeuf

Proceedings of the ECSA International Colloquium on Software-intensive Systems-of-Systems (SiSoS), Nov 2016, Copenhagen, Denmark

Communication dans un congrès hal-01443130v1
Deposit thumbnail

Approach Based Patterns for System-of-Systems Reconfiguration

Franck Petitdemange , Isabelle Borne , Jeremy Buisson

International Workshop on Software Engineering for Systems-of-Systems, May 2015, Florence, Italy

Communication dans un congrès hal-01142539v1
Deposit thumbnail

Une Approche Orientée Pattern pour la Reconfiguration de Système de Systèmes

Franck Petitdemange , Jérémy Buisson , Isabelle Borne

CIEL 2015, Jun 2015, Bordeaux, France

Communication dans un congrès hal-01421540v1

Pymoult : On-Line Updates for Python Programs

Sébastien Martinez , Fabien Dagnat , Jérémy Buisson

ICSEA 2015 : 10th International Conference on Software Engineering Advances, Nov 2015, Barcelone, Spain. pp.80 - 85

Communication dans un congrès hal-01247603v1
Deposit thumbnail

Coqcots & Pycots: non-stopping components for safe dynamic reconfiguration

Jérémy Buisson , Everton Calvacante , Fabien Dagnat , Elena Leroux , Sébastien Martinez

CBSE 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-00984365v1
Deposit thumbnail

Prototyping DSU techniques using Python

Sébastien Martinez , Fabien Dagnat , Jérémy Buisson

HotSWUp'13, Jun 2013, San José, United States. https://www.usenix.org/conference/hotswup13/prototyping-dsu-techniques-using-python

Communication dans un congrès hal-00907744v1
Deposit thumbnail

ACME vs PDDL: support for dynamic reconfiguration of software architectures

Jean-Eudes Méhus , Thais Batista , Jérémy Buisson

6è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-00703176v1
Deposit thumbnail

Issues of Architectural Description Languages for Handling Dynamic Reconfiguration

Leonardo Minora , Jérémy Buisson , Flavio Oquendo , Thais Batista

6ème Conférence francophone sur les architectures logicielles (CAL'2012), May 2012, Montpellier, France. pp.69-80

Communication dans un congrès hal-00699895v1
Deposit thumbnail

ReCaml: execution state as the cornerstone of reconfigurations

Jérémy Buisson , Fabien Dagnat

ACM 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-00797558v1
Deposit thumbnail

Polychronous interpretation of synoptic, a domain specific modeling language for embedded flight-software

Loïc Besnard , Thierry Gautier , Julien Ouy , Jean-Pierre Talpin , Jean-Paul Bodeveix et al.

FM 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-00624134v1
Deposit thumbnail

Introspecting continuations in order to update active code

Jérémy Buisson , Fabien Dagnat

International Workshop On Hot Topics In Software Upgrades, Oct 2008, Nashville, United States. pp.4, ⟨10.1145/1490283.1490289⟩

Communication dans un congrès hal-00498583v1
Deposit thumbnail

Experiments with Fractal on Modular Reflection

Jérémy Buisson , Fabien Dagnat

Sixth 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-00498590v1
Deposit thumbnail

Issues in applying a model driven approach to reconfigurations of satellite software

Jérémy Buisson , Cecilia Carro , Fabien Dagnat

International Workshop On Hot Topics In Software Upgrades, Oct 2008, Nashville, United States. pp.6, ⟨10.1145/1490283.1490291⟩

Communication dans un congrès hal-00498587v1
Deposit thumbnail

Scheduling malleable applications in multicluster systems

Jérémy Buisson , Ozan Sonmez , Hashim Mohamed , Wouter Lammers , Dick Epema

IEEE International Conference on Cluster Computing, Sep 2007, Austin, United States. pp.372, ⟨10.1109/CLUSTR.2007.4629252⟩

Communication dans un congrès hal-00498790v1

Supporting Adaptable Applications in Grid Resource Management Systems

Jérémy Buisson , Françoise André , Jean-Louis Pazat

8th 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-00170872v1
Deposit thumbnail

Towards dynamic adaptability support for the master-worker paradigm in component based applications

Françoise André , Hinde Lilia Bouziane , Jérémy Buisson , Jean-Louis Pazat , Christian Pérez

CoreGRID Symposium, Aug 2007, Rennes, France. pp.117, ⟨10.1007/978-0-387-72498-0_11⟩

Communication dans un congrès hal-00498872v1
Deposit thumbnail

An abstract schema modeling adaptivity management

Marco Aldinucci , Sonia Campa , Massimo Coppola , Marco Danelutto , Corrado Zoccolo et al.

CoreGRID Integration Workshop, Nov 2005, Pisa, Italy. pp.89, ⟨10.1007/978-0-387-47658-2_7⟩

Communication dans un congrès hal-00498852v1
Deposit thumbnail

Dynamic adaptation for Grid computing

Jérémy Buisson , Françoise André , Jean-Louis Pazat

European Grid Conference, Feb 2005, Amsterdam, Netherlands. pp.538, ⟨10.1007/11508380_55⟩

Communication dans un congrès hal-00498845v1
Deposit thumbnail

Enforcing consistency during the adaptation of a parallel component

Jérémy Buisson , Françoise André , Jean-Louis Pazat

The 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-00498839v1
Deposit thumbnail

Using aspects for integrating a middleware for dynamic adaptation

Gaëtan Vaysse , Françoise André , Jérémy Buisson

First Workshop on Aspect-Oriented Middleware Development, Nov 2005, Grenoble, France. pp.1, ⟨10.1145/1101560.1101561⟩

Communication dans un congrès hal-00498860v1
Deposit thumbnail

Un modèle pour l'adaptation dynamique des programmes parallèles

Jérémy Buisson

Rencontres Francophones en Parallélisme, Architecture, Système et Composant, Apr 2005, Le Croisic, France

Communication dans un congrès hal-00498819v1
Deposit thumbnail

Parallel program/component adaptivity management

Marco Aldinucci , Françoise André , Jérémy Buisson , Sonia Campa , Massimo Coppola et al.

International Conference ParCo, Sep 2005, Malaga, Spain. pp.89

Communication dans un congrès hal-00498829v1
Deposit thumbnail

A framework for dynamic adaptation of parallel components

Jérémy Buisson , Françoise André , Jean-Louis Pazat

International Conference ParCo, Sep 2005, Malaga, Spain. pp.65

Communication dans un congrès hal-00498836v1
Deposit thumbnail

Adaptation dynamique de codes parallèles

Jérémy Buisson , Françoise André , Jean-Louis Pazat

Journées Composants, Mar 2004, Lille, France

Communication dans un congrès hal-00498862v1
Deposit thumbnail

Dynamic Adaptation of Parallel Codes: Toward Self-Adaptable Components for the Grid

Françoise André , Jérémy Buisson , Jean-Louis Pazat

Workshop 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-00498865v1
Deposit thumbnail

Dynamic adaptation of parallel and distributed components on Grid environments

Françoise André , Jérémy Buisson , Jean-Louis Pazat

Eleventh International Conference on Advanced Computing and Communications (ADCOM), 2003, Coimbatore, India

Communication dans un congrès hal-00498870v1
Deposit thumbnail

Model-Driven Engineering as the Interface for Tactical Operation Order of Mixed Robot/Human Platoons

Nicolas Belloir , Jérémy Buisson , Lionel Touseau

Developments 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-03418759v1
Deposit thumbnail

Effective Bridging Between Ecore and Coq: Case of a Type-Checker with Proof-Carrying Code

Jérémy Buisson , Seidali Rehab

Modelling and Implementation of Complex Systems, pp.259-273, 2019

Chapitre d'ouvrage hal-01945245v1
Deposit thumbnail

Generation of Inductive Types from Ecore Metamodels

Jérémy Buisson , Seidali Rehab

Model-Driven Engineering and Software Development. MODELSWARD 2018., pp.308-334, 2019

Chapitre d'ouvrage hal-02021361v1

Synoptic: a domain-specific modeling language for space on-board application software

Alexandre Cortier , Loïc Besnard , Jean-Paul Bodeveix , Jérémy Buisson , Fabien Dagnat et al.

Synthesis 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-02061818v1