default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathieu Jan
Person information
- affiliation: CEA LIST, Gif-sur-Yvette, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j10]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 Trans. Cryptogr. Hardw. Embed. Syst. 2024(4): 179-204 (2024)- [i2]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: 247 (2024) - 2023
- [c39]Simon Tollec, Mihail Asavoae, Damien Couroussé, Karine Heydemann, Mathieu Jan:
μARCHIFI: Formal Modeling and Verification Strategies for Microarchitectural Fault Injections. FMCAD 2023: 101-109 - 2022
- [j9]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): 415-440 (2022) - [c38]Simon Tollec, Mihail Asavoae, Damien Couroussé, Karine Heydemann, Mathieu Jan:
Exploration of Fault Effects on Formal RISC-V Microarchitecture Models. FDTC 2022: 73-83 - [c37]Mihail Asavoae, Oumaima Matoussi, Asmae Bouachtala, Hai-Dang Vu, Mathieu Jan:
A memory interference analysis using a formal timing analyzer (WIP). LCTES 2022: 146-150 - [c36]Samira Ait Bensaid, Mihail Asavoae, Farhat Thabet, Mathieu Jan:
Deriving Pipeline Models for Timing Analysis from High-Level HDL Processor Designs. MEMOCODE 2022: 1-8 - [c35]Samira Ait Bensaid, Mihail Asavoae, Farhat Thabet, Mathieu Jan:
Work in Progress: Automatic Construction of Pipeline Datapaths from High-Level HDL Code. RTAS 2022: 305-308 - [c34]Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan:
The Role of Causality in a Formal Definition of Timing Anomalies. RTCSA 2022: 91-102 - 2021
- [j8]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): 1-3 (2021) - [c33]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: 139-148 - 2020
- [j7]Farouk Hebbache, Florian Brandner, Mathieu Jan, Laurent Pautet:
Work-conserving dynamic time-division multiplexing for multi-criticality systems. Real Time Syst. 56(2): 124-170 (2020) - [c32]Mathieu Jan, Mihail Asavoae, Martin Schoeberl, Edward A. Lee:
Formal Semantics of Predictable Pipelines: a Comparative Study. ASP-DAC 2020: 103-108 - [c31]Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan:
Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture. FMICS 2020: 151-169
2010 – 2019
- 2019
- [c30]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: 203-227 - [c29]Farouk Hebbache, Florian Brandner, Mathieu Jan, Laurent Pautet:
Arbitration-Induced Preemption Delays. ECRTS 2019: 19:1-19:22 - [c28]Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, Edward A. Lee:
Programs with ironclad timing guarantees: work-in-progress. EMSOFT Companion 2019: 1 - 2018
- [j6]Amine Naji, Sahar Abbaspour, Florian Brandner, Mathieu Jan:
Analysis of preemption costs for the stack cache. Real Time Syst. 54(3): 700-744 (2018) - [c27]Farouk Hebbache, Mathieu Jan, Florian Brandner, Laurent Pautet:
Shedding the Shackles of Time-Division Multiplexing. RTSS 2018: 456-468 - [c26]Mihail Asavoae, Belgacem Ben Hedia, Mathieu Jan:
Formal Executable Models for Automatic Detection of Timing Anomalies. WCET 2018: 2:1-2:13 - [e2]Yassine Ouhammou, Frédéric Ridouard, Emmanuel Grolleau, Mathieu Jan, Moris Behnam:
Proceedings of the 26th International Conference on Real-Time Networks and Systems, RTNS 2018, Chasseneuil-du-Poitou, France, October 10-12, 2018. ACM 2018 [contents] - 2016
- [c25]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: 86-96 - [c24]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: 1-8 - [c23]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: 52 - [c22]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: 55 - 2015
- [j5]Vincent Legout, Mathieu Jan, Laurent Pautet:
Scheduling algorithms to reduce the static energy consumption of real-time systems. Real Time Syst. 51(2): 153-191 (2015) - [c21]Sahar Abbaspour, Florian Brandner, Amine Naji, Mathieu Jan:
Efficient context switching for the stack cache: implementation and analysis. RTNS 2015: 119-128 - [c20]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: 59-68 - 2014
- [e1]Mathieu Jan, Belgacem Ben Hedia, Joël Goossens, Claire Maiza:
22nd International Conference on Real-Time Networks and Systems, RTNS '14, Versaille, France, October 8-10, 2014. ACM 2014, ISBN 978-1-4503-2727-5 [contents] - 2013
- [c19]Damien Chabrol, Didier Roux, Vincent David, Mathieu Jan, Moha Ait Hmid, Patrice Oudin, Gilles Zeppa:
Time- and angle-triggered real-time kernel. DATE 2013: 1060-1062 - [c18]Vincent Legout, Mathieu Jan, Laurent Pautet:
A scheduling algorithm to reduce the static energy consumption of multiprocessor real-time systems. RTNS 2013: 99-108 - [i1]Lilia Zaourar, Mathieu Jan, Maurice Pitel:
Cache-aware static scheduling for hard real-time multicore systems based on communication affinities. CoRR abs/1312.4509 (2013) - 2012
- [j4]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): 1467-1494 (2012) - 2011
- [c17]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: 41-48 - [c16]Mathieu Jan, Jean-Sylvain Camier, Vincent David:
Scheduling safety-critical real-time bus accesses using Time-Constrained Automata. RTNS 2011: 87-96 - [c15]Thomas Megel, Mathieu Jan, Vincent David, Christian Fraboul:
Evaluation of Task Migration Mechanisms for Hard Real-Time Distributed Systems. RTNS 2011: 159-168 - 2010
- [c14]Mathieu Jan, Vincent David, Jimmy Lalande, Maurice Pitel:
Usage of the safety-oriented real-time OASIS approach to build deterministic protection relays. SIES 2010: 128-135
2000 – 2009
- 2009
- [c13]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: 193-196 - 2008
- [j3]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): 672-686 (2008) - [c12]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: 127-140 - [c11]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: 1-8 - 2007
- [j2]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): 265-276 (2007) - [c10]Alexandru Iosup, Mathieu Jan, Omer Ozan Sonmez, Dick H. J. Epema:
The Characteristics and Performance of Groups of Jobs in Grids. Euro-Par 2007: 382-393 - [c9]Alexandru Iosup, Mathieu Jan, Omer Ozan Sonmez, Dick H. J. Epema:
On the dynamic resource availability in grids. GRID 2007: 26-33 - [c8]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: 269-284 - [c7]Gabriel Antoniu, Loïc Cudennec, Mathieu Jan, Mike Duigou:
Performance scalability of the JXTA P2P framework. IPDPS 2007: 1-10 - 2006
- [b1]Mathieu Jan:
JUXMEM : un service de partage transparent de données pour grilles de calcul fondé sur une approche pair-à-pair. University of Rennes 1, France, 2006 - [c6]Gabriel Antoniu, Hinde-Lilia Bouziane, Landry Breuil, Mathieu Jan, Christian Pérez:
Enabling Transparent Data Sharing in Component Models. CCGRID 2006: 430-433 - [c5]Marco Aldinucci, Marco Danelutto, Gabriel Antoniu, Mathieu Jan:
Fault-Tolerant Data Sharing for High-level Grid: A Hierarchical Storage Architecture. CoreGRID Integration Workshop 2006: 67-81 - 2005
- [j1]Gabriel Antoniu, Luc Bougé, Mathieu Jan:
JuxMem: An Adaptive Supportive Platform for Data Sharing on the Grid. Scalable Comput. Pract. Exp. 6(3) (2005) - [c4]Gabriel Antoniu, Philip J. Hatcher, Mathieu Jan, David A. Noblet:
Performance evaluation of JXTA communication layers. CCGRID 2005: 251-258 - [c3]Gabriel Antoniu, Mathieu Jan, David A. Noblet:
Enabling the P2P JXTA Platform for High-Performance Networking Grid Infrastructures. HPCC 2005: 429-439 - 2004
- [c2]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: 133-152 - [c1]Gabriel Antoniu, Luc Bougé, Mathieu Jan, Sébastien Monnet:
Large-Scale Deployment in P2P Experiments Using the JXTA Distributed Framework. Euro-Par 2004: 1038-1047
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-21 02:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
