Jérémy Buisson
Orcid: 0000-0001-5127-689X
  According to our database1,
  Jérémy Buisson
  authored at least 38 papers
  between 2005 and 2024.
  
  
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
  2024
Towards Joint SoS and Threat Mission-based Modeling for Operational Impact Identification.
    
  
    Proceedings of the 19th Annual System of Systems Engineering Conference, 2024
    
  
Model-Based Assessment of Conformance to Acknowledged Security-Related Software Architecture Good Practices.
  
    Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024
    
  
  2023
    Proceedings of the Semantic Web Challenge on Tabular Data to Knowledge Graph Matching, 2023
    
  
Deriving metrics for software architectures from the "protected entry points" security patterns.
    
  
    Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023
    
  
  2021
    CoRR, 2021
    
  
  2020
Architectural Strategy to Enhance the Availability Quality Attribute in System-of-Systems Architectures: a Case Study.
    
  
    Proceedings of the 15th IEEE International Conference of System of Systems Engineering, 2020
    
  
Digitalization in Next Generation C2: Research Agenda from Model-Based Engineering Perspective.
    
  
    Proceedings of the 15th IEEE International Conference of System of Systems Engineering, 2020
    
  
  2019
Metamodeling NATO Operation Orders: a proof-of-concept to deal with digitalization of the battlefield.
    
  
    Proceedings of the 14th Annual Conference System of Systems Engineering, 2019
    
  
  2018
    Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018
    
  
A Formal Approach for Architecting Software-intensive Systems-of-Systems with Guarantees.
    
  
    Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018
    
  
    Proceedings of the Model-Driven Engineering and Software Development, 2018
    
  
    Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018
    
  
Effective Bridging Between Ecore and Coq: Case of a Type-Checker with Proof-Carrying Code.
    
  
    Proceedings of the Modelling and Implementation of Complex Systems, 2018
    
  
  2016
    Tech. Sci. Informatiques, 2016
    
  
    Proceedings of the Proccedings of the 10th European Conference on Software Architecture Workshops, Copenhagen, Denmark, November 28, 2016
    
  
The sosADL studio: an architecture development environment for software-intensive systems-of-systems.
    
  
    Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture, 2016
    
  
  2015
    Proceedings of the 3rd IEEE/ACM International Workshop on Software Engineering for Systems-of-Systems, 2015
    
  
  2014
    Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014
    
  
  2013
    Proceedings of the 5th Workshop on Hot Topics in Software Upgrades, 2013
    
  
  2012
    CoRR, 2012
    
  
    CoRR, 2012
    
  
  2010
    Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, 2010
    
  
Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software.
    
  
    Proceedings of the Synthesis of Embedded Software, 2010
    
  
  2009
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
    
  
    Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009
    
  
  2008
    Proceedings of the 6th ACIS International Conference on Software Engineering Research, 2008
    
  
    Proceedings of the 1st ACM Workshop on Hot Topics in Software Upgrades, 2008
    
  
Issues in Applying a Model Driven Approach to Reconfigurations of Satellite Software.
    
  
    Proceedings of the 1st ACM Workshop on Hot Topics in Software Upgrades, 2008
    
  
  2007
    Proceedings of the 8th IEEE/ACM International Conference on Grid Computing (GRID 2007), 2007
    
  
Towards dynamic adaptability support for Master-Worker Paradigm component based applications.
    
  
    Proceedings of the Towards Next Generation Grids, 2007
    
  
    Proceedings of the 2007 IEEE International Conference on Cluster Computing, 2007
    
  
  2006
    Scalable Comput. Pract. Exp., 2006
    
  
    Proceedings of the 15th IEEE International Symposium on High Performance Distributed Computing, 2006
    
  
  2005
A Framework for Dynamic Adaptation of Parallel Components.
  
    Proceedings of the Parallel Computing: Current & Future Issues of High-End Computing, 2005
    
  
Parallel Program/Component Adaptivity Management.
  
    Proceedings of the Parallel Computing: Current & Future Issues of High-End Computing, 2005
    
  
    Proceedings of the 4th International Symposium on Parallel and Distributed Computing (ISPDC 2005), 2005
    
  
    Proceedings of the Advances in Grid Computing, 2005