Jérémy Buisson
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⟩ |
|
|
Safe reconfiguration of Coqcots and Pycots componentsJournal of Systems and Software, 2016, 122, pp.430-444. ⟨10.1016/j.jss.2015.11.039⟩ |
|
|
Afpac: enforcing consistency during the adaptation of a parallel componentScalable Computing : Practice and Experience, 2006, 7 (3), pp.61 |
|
|
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 |
|
|
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⟩ |
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
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⟩ |
|
|
|
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 |
|
|
Automatic Transformation from Ecore Metamodels towards Gallina Inductive TypesMODELSWARD 2018, Jan 2018, Santa Cruz, Portugal. ⟨10.5220/0006608604880495⟩ |
|
|
Modeling System of Systems configurations2018 13th Annual Conference on System of Systems Engineering (SoSE), Jun 2018, Paris, France. pp.392-399 |
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⟩ |
|
|
|
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⟩ |
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 |
|
|
|
Approach Based Patterns for System-of-Systems ReconfigurationInternational Workshop on Software Engineering for Systems-of-Systems, May 2015, Florence, Italy |
|
|
Une Approche Orientée Pattern pour la Reconfiguration de Système de SystèmesCIEL 2015, Jun 2015, Bordeaux, France |
Pymoult : On-Line Updates for Python ProgramsICSEA 2015 : 10th International Conference on Software Engineering Advances, Nov 2015, Barcelone, Spain. pp.80 - 85 |
|
|
|
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⟩ |
|
|
Prototyping DSU techniques using PythonHotSWUp'13, Jun 2013, San José, United States. https://www.usenix.org/conference/hotswup13/prototyping-dsu-techniques-using-python |
|
|
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 |
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
Scheduling malleable applications in multicluster systemsIEEE International Conference on Cluster Computing, Sep 2007, Austin, United States. pp.372, ⟨10.1109/CLUSTR.2007.4629252⟩ |
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⟩ |
|
|
|
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⟩ |
|
|
An abstract schema modeling adaptivity managementCoreGRID Integration Workshop, Nov 2005, Pisa, Italy. pp.89, ⟨10.1007/978-0-387-47658-2_7⟩ |
|
|
Dynamic adaptation for Grid computingEuropean Grid Conference, Feb 2005, Amsterdam, Netherlands. pp.538, ⟨10.1007/11508380_55⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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 |
|
|
Parallel program/component adaptivity managementInternational Conference ParCo, Sep 2005, Malaga, Spain. pp.89 |
|
|
A framework for dynamic adaptation of parallel componentsInternational Conference ParCo, Sep 2005, Malaga, Spain. pp.65 |
|
|
Adaptation dynamique de codes parallèlesJournées Composants, Mar 2004, Lille, France |
|
|
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⟩ |
|
|
Dynamic adaptation of parallel and distributed components on Grid environmentsEleventh International Conference on Advanced Computing and Communications (ADCOM), 2003, Coimbatore, India |
|
|
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⟩ |
|
|
Effective Bridging Between Ecore and Coq: Case of a Type-Checker with Proof-Carrying CodeModelling and Implementation of Complex Systems, pp.259-273, 2019 |
|
|
Generation of Inductive Types from Ecore MetamodelsModel-Driven Engineering and Software Development. MODELSWARD 2018., pp.308-334, 2019 |
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⟩ |