Jérémy Buisson
Maître de conférences à l'Ecole de l'Air et de l'Espace
41
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
Design Process for System of Systems ReconfigurationsSystems Engineering, 2021, 24 (2), pp.69-82. ⟨10.1002/sys.21567⟩
Article dans une revue
hal-03161725v1
|
|
|
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-01235602v1
|
|
Afpac: enforcing consistency during the adaptation of a parallel componentScalable Computing : Practice and Experience, 2006, 7 (3), pp.61
Article dans une revue
hal-00498814v1
|
|
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-04121611v1
|
|
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-02887620v1
|
|
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-02887623v1
|
|
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-02181689v1
|
|
Automatic Transformation from Ecore Metamodels towards Gallina Inductive TypesMODELSWARD 2018, Jan 2018, Santa Cruz, Portugal. ⟨10.5220/0006608604880495⟩
Communication dans un congrès
hal-01693939v1
|
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-01999617v1
|
|
|
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-02021350v1
|
|
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-01421487v1
|
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-01443130v1
|
|
|
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-01142539v1
|
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-01247603v1
|
|
|
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-01421540v1
|
|
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-00984365v1
|
|
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-00907744v1
|
|
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-00703176v1
|
|
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-00699895v1
|
|
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-00797558v1
|
|
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-00624134v1
|
|
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-00498583v1
|
|
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-00498587v1
|
|
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-00498590v1
|
|
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-00498872v1
|
|
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-00498790v1
|
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-00170872v1
|
|
|
Dynamic adaptation for Grid computingEuropean Grid Conference, Feb 2005, Amsterdam, Netherlands. pp.538, ⟨10.1007/11508380_55⟩
Communication dans un congrès
hal-00498845v1
|
|
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-00498839v1
|
|
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-00498860v1
|
|
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-00498819v1
|
|
Parallel program/component adaptivity managementInternational Conference ParCo, Sep 2005, Malaga, Spain. pp.89
Communication dans un congrès
hal-00498829v1
|
|
A framework for dynamic adaptation of parallel componentsInternational Conference ParCo, Sep 2005, Malaga, Spain. pp.65
Communication dans un congrès
hal-00498836v1
|
|
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-00498852v1
|
|
Adaptation dynamique de codes parallèlesJournées Composants, Mar 2004, Lille, France
Communication dans un congrès
hal-00498862v1
|
|
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-00498865v1
|
|
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-00498870v1
|
|
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-03418759v1
|
|
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-01945245v1
|
|
Generation of Inductive Types from Ecore MetamodelsModel-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 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
hal-02061818v1
|