| 2025 | DATE | Multi-Partner Project: Advancing the EDA Tools Landscape for the European RISC-V Ecosystem in TRISTAN. | Fatma Jebali, Caaliph Andriamisaina, Mathieu Jan, Wolfgang Ecker, Florian Egert, Bernhard Fischer, Alessio Burrello, Daniele Jahier Pagliari, Sara Vinco, Giuseppe Tagliavini, Ingo Feldner, Andreas Mauderer, Axel Sauer, Arnr Kristmundsson, Alexander Schober, To Bernier, Matti Kyr, Ulf Schlichtmann, Rocco Jonack |
| 2023 | FMCAD | μARCHIFI: Formal Modeling and Verification Strategies for Microarchitectural Fault Injections. | Simon Tollec, Mihail Asavoae, Damien Courouss, Karine Heydemann, Mathieu Jan |
| 2022 | FDTC | Exploration of Fault Effects on Formal RISC-V Microarchitecture Models. | Simon Tollec, Mihail Asavoae, Damien Courouss, Karine Heydemann, Mathieu Jan |
| 2022 | MEMOCODE | Deriving Pipeline Models for Timing Analysis from High-Level HDL Processor Designs. | Samira Ait Bensaid, Mihail Asavoae, Farhat Thabet, Mathieu Jan |
| 2022 | RTAS | Work in Progress: Automatic Construction of Pipeline Datapaths from High-Level HDL Code. | Samira Ait Bensaid, Mihail Asavoae, Farhat Thabet, Mathieu Jan |
| 2022 | RTCSA | The Role of Causality in a Formal Definition of Timing Anomalies. | Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan |
| 2021 | RTCSA | Is This Still Normal? Putting Definitions of Timing Anomalies to the Test. | Benjamin Binder, Mihail Asavoae, Belgacem Ben Hedia, Florian Brandner, Mathieu Jan |
| 2020 | ASPDAC | Formal Semantics of Predictable Pipelines: a Comparative Study. | Mathieu Jan, Mihail Asavoae, Martin Schoeberl, Edward A. Lee |
| 2020 | FMICS | Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture. | Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan |
| 2019 | ECRTS | Arbitration-Induced Preemption Delays. | Farouk Hebbache, Florian Brandner, Mathieu Jan, Laurent Pautet |
| 2019 | EMSOFT | Programs with ironclad timing guarantees: work-in-progress. | Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, Edward A. Lee |
| 2018 | RTSS | Shedding the Shackles of Time-Division Multiplexing. | Farouk Hebbache, Mathieu Jan, Florian Brandner, Laurent Pautet |
| 2016 | ECRTS | Reducing the Contention Experienced by Real-Time Core-to-I/O Flows over a Tilera-Like Network on Chip. | Laure Abdallah, Mathieu Jan, Jrme Ermont, Christian Fraboul |
| 2016 | FDL | Modeling legacy code with BIP: how to reduce the gap between formal description and real-time implementation. | Briag Le Nabec, Belgacem Ben Hedia, Jean-Philippe Babau, Mathieu Jan, Hela Guesmi |
| 2016 | RTAS | Poster Abstract: I/O Contention Aware Mapping of Multi-Criticalities Real-Time Applications over Many-Core Architectures. | Laure Abdallah, Mathieu Jan, Jrme Ermont, Christian Fraboul |
| 2016 | RTAS | Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations. | Hela Guesmi, Belgacem Ben Hedia, Mathieu Jan, Simon Bliudze, Saddek Bensalem |
| 2015 | RTNS | Efficient context switching for the stack cache: implementation and analysis. | Sahar Abbaspour, Florian Brandner, Amine Naji, Mathieu Jan |
| 2013 | DATE | Time- and angle-triggered real-time kernel. | Damien Chabrol, Didier Roux, Vincent David, Mathieu Jan, Moha Ait Hmid, Patrice Oudin, Gilles Zeppa |
| 2013 | RTNS | A scheduling algorithm to reduce the static energy consumption of multiprocessor real-time systems. | Vincent Legout, Mathieu Jan, Laurent Pautet |
| 2011 | ISORC | Method and Tools for Mixed-Criticality Real-Time Applications within PharOS. | Matthieu Lemerre, Emmanuel Ohayon, Damien Chabrol, Mathieu Jan, Marie-Bndicte Jacques |
| 2011 | RTNS | Scheduling safety-critical real-time bus accesses using Time-Constrained Automata. | Mathieu Jan, Jean-Sylvain Camier, Vincent David |
| 2011 | RTNS | Evaluation of Task Migration Mechanisms for Hard Real-Time Distributed Systems. | Thomas Megel, Mathieu Jan, Vincent David, Christian Fraboul |
| 2007 | EuroPar | The Characteristics and Performance of Groups of Jobs in Grids. | Alexandru Iosup, Mathieu Jan, Omer Ozan Sonmez, Dick H. J. Epema |
| 2007 | HiPC | Towards a Transparent Data Access Model for the GridRPCParadigm. | Gabriel Antoniu, Eddy Caron, Frdric Desprez, Aurlia Fvre, Mathieu Jan |
| 2006 | CCGRID | Enabling Transparent Data Sharing in Component Models. | Gabriel Antoniu, Hinde-Lilia Bouziane, Landry Breuil, Mathieu Jan, Christian Prez |
| 2005 | CCGRID | Performance evaluation of JXTA communication layers. | Gabriel Antoniu, Philip J. Hatcher, Mathieu Jan, David A. Noblet |
| 2005 | HPCC | Enabling the P2P JXTA Platform for High-Performance Networking Grid Infrastructures. | Gabriel Antoniu, Mathieu Jan, David A. Noblet |
| 2004 | EuroPar | Large-Scale Deployment in P2P Experiments Using the JXTA Distributed Framework. | Gabriel Antoniu, Luc Boug, Mathieu Jan, Sbastien Monnet |