Mathieu Jan
Orcid: 0000-0002-3016-8109Affiliations:
- CEA LIST, Gif-sur-Yvette, France
According to our database1,
Mathieu Jan
authored at least 51 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
4
5
6
7
1
1
1
1
1
1
1
1
1
1
1
1
5
1
2
3
2
4
2
2
3
1
1
2
4
2
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults.
IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024
2023
μARCHIFI: Formal Modeling and Verification Strategies for Microarchitectural Fault Injections.
Proceedings of the Formal Methods in Computer-Aided Design, 2023
2022
Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture.
Int. J. Softw. Tools Technol. Transf., 2022
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.
Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022
Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022
Proceedings of the LCTES '22: 23rd ACM SIGPLAN/SIGBED International Conference on Languages, 2022
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).
Real Time Syst., 2021
Proceedings of the 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2021
2020
Real Time Syst., 2020
Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture.
Proceedings of the Formal Methods for Industrial Critical Systems, 2020
Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020
2019
Proceedings of the International Conference on Embedded Software Companion, 2019
Proceedings of the 31st Euromicro Conference on Real-Time Systems, 2019
Proceedings of the Cyber Physical Systems. Model-Based Design - 9th International Workshop, 2019
2018
Proceedings of the 18th International Workshop on Worst-Case Execution Time Analysis, 2018
Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018
2016
Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations.
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.
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.
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.
Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016
2015
Real Time Syst., 2015
Wormhole networks properties and their use for optimizing worst case delay analysis of many-cores.
Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015
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.
CoRR, 2013
A scheduling algorithm to reduce the static energy consumption of multiprocessor real-time systems.
Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013
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.
Softw. Pract. Exp., 2012
2011
Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011
Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011
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.
Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010
2009
High accuracy failure injection in parallel and distributed systems using virtualization.
Proceedings of the 6th Conference on Computing Frontiers, 2009
2008
A practical example of convergence of P2P and grid computing: An evaluation of JXTA's communication performance on grid networking infrastructures.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008
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.
Clust. Comput., 2007
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007
Proceedings of the High Performance Computing, 2007
Proceedings of the 8th IEEE/ACM International Conference on Grid Computing (GRID 2007), 2007
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.
PhD thesis, 2006
Fault-Tolerant Data Sharing for High-level Grid: A Hierarchical Storage Architecture.
Proceedings of the Achievements in European Research on Grid Systems: CoreGRID Integration Workshop 2006, 2006
Proceedings of the Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006), 2006
2005
Scalable Comput. Pract. Exp., 2005
Proceedings of the High Performance Computing and Communications, 2005
Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005
2004
Proceedings of the Euro-Par 2004 Parallel Processing, 2004
Proceedings of the Future Generation Grids: Proceedings of the Workshop on Future Generation Grids, 2004