Mathieu Jan

According to our database, Mathieu Jan authored at least 51 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults.

Simon Tollec, Vedad Hadzic, Pascal Nasahl, Mihail Asavoae, Roderick Bloem, Damien Couroussé, Karine Heydemann, Mathieu Jan, Stefan Mangard

IACR Cryptol. ePrint Arch., 2024

2023

μARCHIFI: Formal Modeling and Verification Strategies for Microarchitectural Fault Injections.

Simon Tollec, Mihail Asavoae, Damien Couroussé, Karine Heydemann, Mathieu Jan

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture.

Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan

Int. J. Softw. Tools Technol. Transf., 2022

The Role of Causality in a Formal Definition of Timing Anomalies.

Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan

Proceedings of the 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2022

Work in Progress: Automatic Construction of Pipeline Datapaths from High-Level HDL Code.

Samira Ait Bensaid, Mihail Asavoae, Farhat Thabet, Mathieu Jan

Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022

Deriving Pipeline Models for Timing Analysis from High-Level HDL Processor Designs.

Samira Ait Bensaid, Mihail Asavoae, Farhat Thabet, Mathieu Jan

Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022

A memory interference analysis using a formal timing analyzer (WIP).

Mihail Asavoae, Oumaima Matoussi, Asmae Bouachtala, Hai-Dang Vu, Mathieu Jan

Proceedings of the LCTES '22: 23rd ACM SIGPLAN/SIGBED International Conference on Languages, 2022

Exploration of Fault Effects on Formal RISC-V Microarchitecture Models.

Simon Tollec, Mihail Asavoae, Damien Couroussé, Karine Heydemann, Mathieu Jan

Proceedings of the Workshop on Fault Detection and Tolerance in Cryptography, 2022

2021

Selected papers presented at the 26th International Conference on Real-Time and Network Systems (RTNS 2018).

Moris Behnam, Mathieu Jan

Real Time Syst., 2021

Is This Still Normal? Putting Definitions of Timing Anomalies to the Test.

Benjamin Binder, Mihail Asavoae, Belgacem Ben Hedia, Florian Brandner, Mathieu Jan

Proceedings of the 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2021

2020

Work-conserving dynamic time-division multiplexing for multi-criticality systems.

Farouk Hebbache, Florian Brandner, Mathieu Jan, Laurent Pautet

Real Time Syst., 2020

Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture.

Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

Formal Semantics of Predictable Pipelines: a Comparative Study.

Mathieu Jan, Mihail Asavoae, Martin Schoeberl, Edward A. Lee

Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

2019

Programs with ironclad timing guarantees: work-in-progress.

Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, Edward A. Lee

Proceedings of the International Conference on Embedded Software Companion, 2019

Arbitration-Induced Preemption Delays.

Farouk Hebbache, Florian Brandner, Mathieu Jan, Laurent Pautet

Proceedings of the 31st Euromicro Conference on Real-Time Systems, 2019

Towards Formal Co-validation of Hardware and Software Timing Models of CPSs.

Mihail Asavoae, Imane Haur, Mathieu Jan, Belgacem Ben Hedia, Martin Schoeberl

Proceedings of the Cyber Physical Systems. Model-Based Design - 9th International Workshop, 2019

2018

Analysis of preemption costs for the stack cache.

Amine Naji, Sahar Abbaspour, Florian Brandner, Mathieu Jan

Real Time Syst., 2018

Formal Executable Models for Automatic Detection of Timing Anomalies.

Mihail Asavoae, Belgacem Ben Hedia, Mathieu Jan

Proceedings of the 18th International Workshop on Worst-Case Execution Time Analysis, 2018

Shedding the Shackles of Time-Division Multiplexing.

Farouk Hebbache, Mathieu Jan, Florian Brandner, Laurent Pautet

Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

2016

Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations.

Hela Guesmi, Belgacem Ben Hedia, Mathieu Jan, Simon Bliudze, Saddek Bensalem

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Poster Abstract: I/O Contention Aware Mapping of Multi-Criticalities Real-Time Applications over Many-Core Architectures.

Laure Abdallah, Mathieu Jan, Jérôme Ermont, Christian Fraboul

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

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

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

Reducing the Contention Experienced by Real-Time Core-to-I/O Flows over a Tilera-Like Network on Chip.

Laure Abdallah, Mathieu Jan, Jérôme Ermont, Christian Fraboul

Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016

2015

Scheduling algorithms to reduce the static energy consumption of real-time systems.

Vincent Legout, Mathieu Jan, Laurent Pautet

Real Time Syst., 2015

Wormhole networks properties and their use for optimizing worst case delay analysis of many-cores.

Laure Abdallah, Mathieu Jan, Jérôme Ermont, Christian Fraboul

Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

Efficient context switching for the stack cache: implementation and analysis.

Sahar Abbaspour, Florian Brandner, Amine Naji, Mathieu Jan

Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

2013

Cache-aware static scheduling for hard real-time multicore systems based on communication affinities.

Lilia Zaourar, Mathieu Jan, Maurice Pitel

CoRR, 2013

A scheduling algorithm to reduce the static energy consumption of multiprocessor real-time systems.

Vincent Legout, Mathieu Jan, Laurent Pautet

Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013

Time- and angle-triggered real-time kernel.

Damien Chabrol, Didier Roux, Vincent David, Mathieu Jan, Moha Ait Hmid, Patrice Oudin, Gilles Zeppa

Proceedings of the Design, Automation and Test in Europe, 2013

2012

Flex-eWare: a flexible model driven solution for designing and implementing embedded distributed systems.

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

Softw. Pract. Exp., 2012

2011

Evaluation of Task Migration Mechanisms for Hard Real-Time Distributed Systems.

Thomas Megel, Mathieu Jan, Vincent David, Christian Fraboul

Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011

Scheduling safety-critical real-time bus accesses using Time-Constrained Automata.

Mathieu Jan, Jean-Sylvain Camier, Vincent David

Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011

Method and Tools for Mixed-Criticality Real-Time Applications within PharOS.

Matthieu Lemerre, Emmanuel Ohayon, Damien Chabrol, Mathieu Jan, Marie-Bénédicte Jacques

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011

2010

Usage of the safety-oriented real-time OASIS approach to build deterministic protection relays.

Mathieu Jan, Vincent David, Jimmy Lalande, Maurice Pitel

Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010

2009

High accuracy failure injection in parallel and distributed systems using virtualization.

Thomas Hérault, Thomas Largillier, Sylvain Peyronnet, Benjamin Quétier, Franck Cappello, Mathieu Jan

Proceedings of the 6th Conference on Computing Frontiers, 2009

2008

The Grid Workloads Archive.

Alexandru Iosup, Hui Li, Mathieu Jan, Shanny Anoep, Catalin Dumitrescu, Lex Wolters, Dick H. J. Epema

Future Gener. Comput. Syst., 2008

A practical example of convergence of P2P and grid computing: An evaluation of JXTA's communication performance on grid networking infrastructures.

Gabriel Antoniu, Mathieu Jan, David A. Noblet

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Emulation platform for high accuracy failure injection in grids.

Thomas Hérault, Mathieu Jan, Thomas Largillier, Sylvain Peyronnet, Benjamin Quétier, Franck Cappello

Proceedings of the High Speed and Large Scale Scientific Computing - Selected Papers from the High Performance Computing Workshop, Cetraro, Italy, June 30, 2008

2007

Combining data sharing with the master-worker paradigm in the common component architecture.

Gabriel Antoniu, Hinde-Lilia Bouziane, Mathieu Jan, Christian Pérez, Thierry Priol

Clust. Comput., 2007

Performance scalability of the JXTA P2P framework.

Gabriel Antoniu, Loïc Cudennec, Mathieu Jan, Mike Duigou

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Towards a Transparent Data Access Model for the GridRPCParadigm.

Gabriel Antoniu, Eddy Caron, Frédéric Desprez, Aurélia Fèvre, Mathieu Jan

Proceedings of the High Performance Computing, 2007

On the dynamic resource availability in grids.

Alexandru Iosup, Mathieu Jan, Omer Ozan Sonmez, Dick H. J. Epema

Proceedings of the 8th IEEE/ACM International Conference on Grid Computing (GRID 2007), 2007

The Characteristics and Performance of Groups of Jobs in Grids.

Alexandru Iosup, Mathieu Jan, Omer Ozan Sonmez, Dick H. J. Epema

Proceedings of the Euro-Par 2007, 2007

2006

JUXMEM : un service de partage transparent de données pour grilles de calcul fondé sur une approche pair-à-pair.

Mathieu Jan

PhD thesis, 2006

Fault-Tolerant Data Sharing for High-level Grid: A Hierarchical Storage Architecture.

Marco Aldinucci, Marco Danelutto, Gabriel Antoniu, Mathieu Jan

Proceedings of the Achievements in European Research on Grid Systems: CoreGRID Integration Workshop 2006, 2006

Enabling Transparent Data Sharing in Component Models.

Gabriel Antoniu, Hinde-Lilia Bouziane, Landry Breuil, Mathieu Jan, Christian Pérez

Proceedings of the Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006), 2006

2005

JuxMem: An Adaptive Supportive Platform for Data Sharing on the Grid.

Gabriel Antoniu, Luc Bougé, Mathieu Jan

Scalable Comput. Pract. Exp., 2005

Enabling the P2P JXTA Platform for High-Performance Networking Grid Infrastructures.

Gabriel Antoniu, Mathieu Jan, David A. Noblet

Proceedings of the High Performance Computing and Communications, 2005

Performance evaluation of JXTA communication layers.

Gabriel Antoniu, Philip J. Hatcher, Mathieu Jan, David A. Noblet

Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005

2004

Large-Scale Deployment in P2P Experiments Using the JXTA Distributed Framework.

Gabriel Antoniu, Luc Bougé, Mathieu Jan, Sébastien Monnet

Proceedings of the Euro-Par 2004 Parallel Processing, 2004

GDS: An Architecture Proposal for a Grid Data-Sharing Service.

Gabriel Antoniu, Marin Bertier, Luc Bougé, Eddy Caron, Frédéric Desprez, Mathieu Jan, Sébastien Monnet, Pierre Sens

Proceedings of the Future Generation Grids: Proceedings of the Workshop on Future Generation Grids, 2004