Access content directly

Jérémy Buisson

Associate professor at the French Airforce Academy


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.


Image document

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
Conference papers hal-04560328v1
Image document

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⟩
Conference papers hal-04121611v1
Image document

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⟩
Conference papers hal-02887620v1
Image document

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⟩
Conference papers hal-02887623v1
Image document

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
Conference papers hal-02181689v1
Image document

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
Conference papers hal-02021350v1
Image document

Automatic Transformation from Ecore Metamodels towards Gallina Inductive Types

Jeremy Buisson , Seidali Rehab
MODELSWARD 2018, Jan 2018, Santa Cruz, Portugal. ⟨10.5220/0006608604880495⟩
Conference papers hal-01693939v1

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⟩
Conference papers hal-01999617v1

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
Conference papers hal-01443130v1
Image document

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⟩
Conference papers hal-01421487v1
Image document

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
Conference papers hal-01142539v1

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
Conference papers hal-01247603v1
Image document

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
Conference papers hal-01421540v1
Image document

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⟩
Conference papers hal-00984365v1
Image document

Prototyping DSU techniques using Python

Sébastien Martinez , Fabien Dagnat , Jérémy Buisson
HotSWUp'13, Jun 2013, San José, United States.
Conference papers hal-00907744v1
Image document

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
Conference papers hal-00703176v1
Image document

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
Conference papers hal-00699895v1
Image document

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⟩
Conference papers hal-00797558v1
Image document

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
FM 09 - Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands. pp.80-87, ⟨10.4204/EPTCS.20.9⟩
Conference papers hal-00624134v1
Image document

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⟩
Conference papers hal-00498583v1
Image document

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⟩
Conference papers hal-00498587v1
Image document

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⟩
Conference papers hal-00498590v1
Image document

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⟩
Conference papers 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⟩
Conference papers hal-00170872v1
Image document

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⟩
Conference papers hal-00498872v1
Image document

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⟩
Conference papers hal-00498860v1
Image document

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⟩
Conference papers hal-00498845v1
Image document

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⟩
Conference papers hal-00498839v1
Image document

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
Conference papers hal-00498819v1
Image document

Parallel program/component adaptivity management

Marco Aldinucci , Françoise André , Jérémy Buisson , Sonia Campa , Massimo Coppola
International Conference ParCo, Sep 2005, Malaga, Spain. pp.89
Conference papers hal-00498829v1
Image document

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
Conference papers hal-00498836v1
Image document

An abstract schema modeling adaptivity management

Marco Aldinucci , Sonia Campa , Massimo Coppola , Marco Danelutto , Corrado Zoccolo
CoreGRID Integration Workshop, Nov 2005, Pisa, Italy. pp.89, ⟨10.1007/978-0-387-47658-2_7⟩
Conference papers hal-00498852v1
Image document

Adaptation dynamique de codes parallèles

Jérémy Buisson , Françoise André , Jean-Louis Pazat
Journées Composants, Mar 2004, Lille, France
Conference papers hal-00498862v1
Image document

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⟩
Conference papers hal-00498865v1
Image document

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
Conference papers hal-00498870v1
Image document

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⟩
Book sections hal-03418759v1
Image document

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
Book sections hal-01945245v1
Image document

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
Book sections 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
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⟩
Book sections hal-02061818v1