
Jérémy Buisson
Maître de conférences à l'Ecole de l'Air et de l'Espace
43
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 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
|
|
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
|
|
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
|
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
|
|
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
|
|
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
|
|
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...