Remi Delmas

Publication Activity (10 Years)

Years Active: 2004-2017
Publications (10 Years): 1

Top Topics

Architectural Design

Layered Architecture

Top Venues

Publications

Kevin Delmas, Remi Delmas, Claire Pagetti
SMT-based architecture modelling for safety assessment. SIES (2017)
Pierre Bieber, Remi Delmas, Christel Seguin
DALculus - Theory and Tool for Development Assurance Level Allocation. SAFECOMP (2011)
Pierre Roux, Remi Delmas, Pierre-Loïc Garoche
SMT-AI: an Abstract Interpreter as Oracle for k-induction. Electron. Notes Theor. Comput. Sci. 267 (2) (2010)
George Bosilca, Remi Delmas, Jack J. Dongarra, Julien Langou
Algorithm-based fault tolerance applied to high performance computing. J. Parallel Distributed Comput. 69 (4) (2009)
George Bosilca, Remi Delmas, Jack J. Dongarra, Julien Langou
Algorithmic Based Fault Tolerance Applied to High Performance Computing CoRR (2008)
Yamine Aït Ameur, Remi Delmas, Virginie Wiels
Un cadre formel pour la spécification multivue de systèmes avioniques. Tech. Sci. Informatiques 25 (1) (2006)
Yamine Aït Ameur, Remi Delmas, Alexandre Cortier, Virginie Wiels
Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language. ISoLA (2006)
Yamine Aït Ameur, Remi Delmas, Virginie Wiels
A framework for heterogeneous formal modeling and compositional verification of avionics systems. MEMOCODE (2004)