Jean Guyomarc'h

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 2

Top Topics

Safety Analysis

Support Systems

Agent Architecture

Top Venues

ISSRE Workshops

Publications

Jean Guyomarc'h, François Guerret, Bilal El Mejjati, Emmanuel Ohayon, Bastien Vincke, Alain Mérigot
Non-Simultaneity as a Design Constraint. TIME (2020)
Jean Guyomarc'h, Jean-Baptiste Hervé
Static and Verifiable Memory Partitioning for Safety-Critical Systems. ISSRE Workshops (2020)