Mathieu Jan

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 23

Top Venues

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Simon Tollec, Vedad Hadzic, Pascal Nasahl, Mihail Asavoae, Roderick Bloem, Damien Couroussé, Karine Heydemann, Mathieu Jan, Stefan Mangard
Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults. IACR Cryptol. ePrint Arch. 2024 (2024)
Simon Tollec, Mihail Asavoae, Damien Couroussé, Karine Heydemann, Mathieu Jan
μARCHIFI: Formal Modeling and Verification Strategies for Microarchitectural Fault Injections. FMCAD (2023)
Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan
The Role of Causality in a Formal Definition of Timing Anomalies. RTCSA (2022)
Mihail Asavoae, Oumaima Matoussi, Asmae Bouachtala, Hai-Dang Vu, Mathieu Jan
A memory interference analysis using a formal timing analyzer (WIP). LCTES (2022)
Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan
Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture. Int. J. Softw. Tools Technol. Transf. 24 (3) (2022)
Samira Ait Bensaid, Mihail Asavoae, Farhat Thabet, Mathieu Jan
Deriving Pipeline Models for Timing Analysis from High-Level HDL Processor Designs. MEMOCODE (2022)
Samira Ait Bensaid, Mihail Asavoae, Farhat Thabet, Mathieu Jan
Work in Progress: Automatic Construction of Pipeline Datapaths from High-Level HDL Code. RTAS (2022)
Simon Tollec, Mihail Asavoae, Damien Couroussé, Karine Heydemann, Mathieu Jan
Exploration of Fault Effects on Formal RISC-V Microarchitecture Models. FDTC (2022)
Moris Behnam, Mathieu Jan
Selected papers presented at the 26th International Conference on Real-Time and Network Systems (RTNS 2018). Real Time Syst. 57 (1-2) (2021)
Benjamin Binder, Mihail Asavoae, Belgacem Ben Hedia, Florian Brandner, Mathieu Jan
Is This Still Normal? Putting Definitions of Timing Anomalies to the Test. RTCSA (2021)
Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan
Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture. FMICS (2020)
Farouk Hebbache, Florian Brandner, Mathieu Jan, Laurent Pautet
Work-conserving dynamic time-division multiplexing for multi-criticality systems. Real Time Syst. 56 (2) (2020)
Mathieu Jan, Mihail Asavoae, Martin Schoeberl, Edward A. Lee
Formal Semantics of Predictable Pipelines: a Comparative Study. ASP-DAC (2020)
Mihail Asavoae, Imane Haur, Mathieu Jan, Belgacem Ben Hedia, Martin Schoeberl
Towards Formal Co-validation of Hardware and Software Timing Models of CPSs. CyPhy/WESE (2019)
Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, Edward A. Lee
Programs with ironclad timing guarantees: work-in-progress. EMSOFT Companion (2019)
Farouk Hebbache, Florian Brandner, Mathieu Jan, Laurent Pautet
Arbitration-Induced Preemption Delays. ECRTS (2019)
Mihail Asavoae, Belgacem Ben Hedia, Mathieu Jan
Formal Executable Models for Automatic Detection of Timing Anomalies. WCET (2018)
Farouk Hebbache, Mathieu Jan, Florian Brandner, Laurent Pautet
Shedding the Shackles of Time-Division Multiplexing. RTSS (2018)
Amine Naji, Sahar Abbaspour, Florian Brandner, Mathieu Jan
Analysis of preemption costs for the stack cache. Real Time Syst. 54 (3) (2018)
Laure Abdallah, Mathieu Jan, Jérôme Ermont, Christian Fraboul
Poster Abstract: I/O Contention Aware Mapping of Multi-Criticalities Real-Time Applications over Many-Core Architectures. RTAS (2016)
Briag Le Nabec, Belgacem Ben Hedia, Jean-Philippe Babau, Mathieu Jan, Hela Guesmi
Modeling legacy code with BIP: how to reduce the gap between formal description and real-time implementation. FDL (2016)
Hela Guesmi, Belgacem Ben Hedia, Mathieu Jan, Simon Bliudze, Saddek Bensalem
Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations. RTAS (2016)
Laure Abdallah, Mathieu Jan, Jérôme Ermont, Christian Fraboul
Reducing the Contention Experienced by Real-Time Core-to-I/O Flows over a Tilera-Like Network on Chip. ECRTS (2016)
Laure Abdallah, Mathieu Jan, Jérôme Ermont, Christian Fraboul
Wormhole networks properties and their use for optimizing worst case delay analysis of many-cores. SIES (2015)
Sahar Abbaspour, Florian Brandner, Amine Naji, Mathieu Jan
Efficient context switching for the stack cache: implementation and analysis. RTNS (2015)
Vincent Legout, Mathieu Jan, Laurent Pautet
Scheduling algorithms to reduce the static energy consumption of real-time systems. Real Time Syst. 51 (2) (2015)
Damien Chabrol, Didier Roux, Vincent David, Mathieu Jan, Moha Ait Hmid, Patrice Oudin, Gilles Zeppa
Time- and angle-triggered real-time kernel. DATE (2013)
Lilia Zaourar, Mathieu Jan, Maurice Pitel
Cache-aware static scheduling for hard real-time multicore systems based on communication affinities. CoRR (2013)
Vincent Legout, Mathieu Jan, Laurent Pautet
A scheduling algorithm to reduce the static energy consumption of multiprocessor real-time systems. RTNS (2013)
Mathieu Jan, Christophe Jouvray, Fabrice Kordon, Antonio Kung, Jimmy Lalande, Frédéric Loiret, Juan F. Navas, Laurent Pautet, Jacques Pulou, Ansgar Radermacher, Lionel Seinturier
Flex-eWare: a flexible model driven solution for designing and implementing embedded distributed systems. Softw. Pract. Exp. 42 (12) (2012)
Thomas Megel, Mathieu Jan, Vincent David, Christian Fraboul
Evaluation of Task Migration Mechanisms for Hard Real-Time Distributed Systems. RTNS (2011)
Matthieu Lemerre, Emmanuel Ohayon, Damien Chabrol, Mathieu Jan, Marie-Bénédicte Jacques
Method and Tools for Mixed-Criticality Real-Time Applications within PharOS. ISORC Workshops (2011)
Mathieu Jan, Jean-Sylvain Camier, Vincent David
Scheduling safety-critical real-time bus accesses using Time-Constrained Automata. RTNS (2011)
Mathieu Jan, Vincent David, Jimmy Lalande, Maurice Pitel
Usage of the safety-oriented real-time OASIS approach to build deterministic protection relays. SIES (2010)
Thomas Hérault, Thomas Largillier, Sylvain Peyronnet, Benjamin Quétier, Franck Cappello, Mathieu Jan
High accuracy failure injection in parallel and distributed systems using virtualization. Conf. Computing Frontiers (2009)
Gabriel Antoniu, Mathieu Jan, David A. Noblet
A practical example of convergence of P2P and grid computing: An evaluation of JXTA's communication performance on grid networking infrastructures. IPDPS (2008)
Alexandru Iosup, Hui Li, Mathieu Jan, Shanny Anoep, Catalin Dumitrescu, Lex Wolters, Dick H. J. Epema
The Grid Workloads Archive. Future Gener. Comput. Syst. 24 (7) (2008)
Thomas Hérault, Mathieu Jan, Thomas Largillier, Sylvain Peyronnet, Benjamin Quétier, Franck Cappello
Emulation platform for high accuracy failure injection in grids. High Performance Computing Workshop (2008)
Gabriel Antoniu, Loïc Cudennec, Mathieu Jan, Mike Duigou
Performance scalability of the JXTA P2P framework. IPDPS (2007)
Gabriel Antoniu, Eddy Caron, Frédéric Desprez, Aurélia Fèvre, Mathieu Jan
Towards a Transparent Data Access Model for the GridRPCParadigm. HiPC (2007)
Gabriel Antoniu, Hinde-Lilia Bouziane, Mathieu Jan, Christian Pérez, Thierry Priol
Combining data sharing with the master-worker paradigm in the common component architecture. Clust. Comput. 10 (3) (2007)
Alexandru Iosup, Mathieu Jan, Omer Ozan Sonmez, Dick H. J. Epema
The Characteristics and Performance of Groups of Jobs in Grids. Euro-Par (2007)
Alexandru Iosup, Mathieu Jan, Omer Ozan Sonmez, Dick H. J. Epema
On the dynamic resource availability in grids. GRID (2007)
Marco Aldinucci, Marco Danelutto, Gabriel Antoniu, Mathieu Jan
Fault-Tolerant Data Sharing for High-level Grid: A Hierarchical Storage Architecture. CoreGRID Integration Workshop (2006)
Gabriel Antoniu, Hinde-Lilia Bouziane, Landry Breuil, Mathieu Jan, Christian Pérez
Enabling Transparent Data Sharing in Component Models. CCGRID (2006)
Gabriel Antoniu, Mathieu Jan, David A. Noblet
Enabling the P2P JXTA Platform for High-Performance Networking Grid Infrastructures. HPCC (2005)
Gabriel Antoniu, Philip J. Hatcher, Mathieu Jan, David A. Noblet
Performance evaluation of JXTA communication layers. CCGRID (2005)
Gabriel Antoniu, Luc Bougé, Mathieu Jan
JuxMem: An Adaptive Supportive Platform for Data Sharing on the Grid. Scalable Comput. Pract. Exp. 6 (3) (2005)
Gabriel Antoniu, Luc Bougé, Mathieu Jan, Sébastien Monnet
Large-Scale Deployment in P2P Experiments Using the JXTA Distributed Framework. Euro-Par (2004)
Gabriel Antoniu, Marin Bertier, Luc Bougé, Eddy Caron, Frédéric Desprez, Mathieu Jan, Sébastien Monnet, Pierre Sens
GDS: An Architecture Proposal for a Grid Data-Sharing Service. Future Generation Grids (2004)

Mathieu Jan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mathieu Jan