Hugues Cassé - RankMe

46 papers A 1B 3C 4Misc 4Journal 11Unranked 23

Year	Rank	Type	Title / Venue / Authors
2024	Misc	`conf`	Marmot: Extraction of Fine-Grain Memory Access Profiles for real-time software. RTNS Hector Chabot, Isabelle Puaut, Thomas Carle, Hugues Cassé
2023	J	`jnl`	Computing Execution Times With Execution Decision Diagrams in the Presence of Out-of-Order Resources. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zhenyu Bai, Hugues Cassé, Thomas Carle, Christine Rochange
2023	J	`jnl`	MINOTAuR: A Timing Predictable RISC-V Core Featuring Speculative Execution. IEEE Trans. Computers Alban Gruin, Thomas Carle, Christine Rochange, Hugues Cassé, Pascal Sainrat
2022	J	`jnl`	A Framework for Calculating WCET Based on Execution Decision Diagrams. ACM Trans. Embed. Comput. Syst. Zhenyu Bai, Hugues Cassé, Marianne De Michiel, Thomas Carle, Christine Rochange
2022	J	`jnl`	Computing Execution Times with eXecution Decision Diagrams in the Presence of Out-Of-Order Resources. CoRR Zhenyu Bai, Hugues Cassé, Thomas Carle, Christine Rochange
2021	Misc	`conf`	Data Cache Analysis by Counting Integer Points. RTNS Pascal Sotin, Quentin Vermande, Hugues Cassé
2021	A	`conf`	Speculative Execution and Timing Predictability in an Open Source RISC-V Core. RTSS Alban Gruin, Thomas Carle, Hugues Cassé, Christine Rochange
2021	—	`conf`	Static Extraction of Memory Access Profiles for Multi-core Interference Analysis of Real-Time Tasks. ARCS Thomas Carle, Hugues Cassé
2021	J	`jnl`	Static extraction of memory access profiles for multi-core interference analysis of real-time tasks. CoRR Thomas Carle, Hugues Cassé
2020	B	`conf`	Improving the Performance of WCET Analysis in the Presence of Variable Latencies. LCTES Zhenyu Bai, Hugues Cassé, Marianne De Michiel, Thomas Carle, Christine Rochange
2019	—	`conf`	Validating Static WCET Analysis: A Method and Its Application. WCET Wei-Tsun Sun, Eric Jenn, Hugues Cassé
2018	—	`conf`	Reducing Timing Interferences in Real-Time Applications Running on Multicore Architectures. WCET Thomas Carle, Hugues Cassé
2017	—	`conf`	The W-SEPT Project: Towards Semantic-Aware WCET Estimation. WCET Claire Maiza, Pascal Raymond, Catherine Parent-Vigouroux, Armelle Bonenfant, Fabienne Carrier, Hugues Cassé, Philippe Cuenot, Denis Claraz, Nicolas Halbwachs, Erwan Jahier, Hanbing Li, Marianne De Michiel, Vincent Mussot, Isabelle Puaut, Christine Rochange, Erven Rohou, Jordy Ruiz, Pascal Sotin, Wei-Tsun Sun
2017	C	`conf`	Working Around Loops for Infeasible Path Detection in Binary Programs. SCAM Jordy Ruiz, Hugues Cassé, Marianne De Michiel
2016	—	`conf`	Dynamic Branch Resolution Based on Combined Static Analyses. WCET Wei-Tsun Sun, Hugues Cassé
2016	—	`conf`	Expressing and Exploiting Conflicts over Paths in WCET Analysis. WCET Vincent Mussot, Jordy Ruiz, Pascal Sotin, Marianne De Michiel, Hugues Cassé
2016	J	`jnl`	Parallelizing Industrial Hard Real-Time Applications for the parMERASA Multicore. ACM Trans. Embed. Comput. Syst. Theo Ungerer, Christian Bradatsch, Martin Frieb, Florian Kluge, Jörg Mische, Alexander Stegmeier, Ralf Jahr, Mike Gerdes, Pavel G. Zaykov, Lucie Matusova, Zai Jian Jia Li, Zlatko Petrov, Bert Böddeker, Sebastian Kehr, Hans Regler, Andreas Hugl, Christine Rochange, Haluk Ozaktas, Hugues Cassé, Armelle Bonenfant, Pascal Sainrat, Nick Lay, David George, Ian Broster, Eduardo Quiñones, Milos Panic, Jaume Abella, Carles Hernández, Francisco J. Cazorla, Sascha Uhrig, Mathias Rohde, Arthur Pyka
2015	—	`conf`	A Framework to Quantify the Overestimations of Static WCET Analysis. WCET Hugues Cassé, Haluk Ozaktas, Christine Rochange
2015	C	`conf`	Case study: Performance and WCET analysis for parallelised avionic applications with ODC INDIN Arthur Pyka, Pavel G. Zaykov, Hugues Cassé, Haluk Ozaktas, Christine Rochange, Sascha Uhrig
2015	—	`conf`	Using SMT Solving for the Lookup of Infeasible Paths in Binary Programs. WCET Jordy Ruiz, Hugues Cassé
2014	—	`conf`	Formal Architecture Specification for Time Analysis. ARCS Hajer Herbegue, Mamoun Filali, Hugues Cassé
2013	—	`conf`	Hardware architecture specification and constraint-based WCET computation. SIES Hajer Herbegue, Hugues Cassé, Mamoun Filali, Christine Rochange
2013	—	`conf`	Multi-architecture Value Analysis for Machine Code. WCET Hugues Cassé, Florian Birée, Pascal Sainrat
2013	C	`conf`	parMERASA - Multi-core Execution of Parallelised Hard Real-Time Applications Supporting Analysability. DSD Theo Ungerer, Christian Bradatsch, Mike Gerdes, Florian Kluge, Ralf Jahr, Jörg Mische, João Fernandes, Pavel G. Zaykov, Zlatko Petrov, Bert Böddeker, Sebastian Kehr, Hans Regler, Andreas Hugl, Christine Rochange, Haluk Ozaktas, Hugues Cassé, Armelle Bonenfant, Pascal Sainrat, Ian Broster, Nick Lay, David George, Eduardo Quiñones, Milos Panic, Jaume Abella, Francisco J. Cazorla, Sascha Uhrig, Mathias Rohde, Arthur Pyka
2012	—	`conf`	Deterministic Execution Model on COTS Hardware. ARCS Frédéric Boniol, Hugues Cassé, Eric Noulard, Claire Pagetti
2012	Misc	`conf`	FFX: a portable WCET annotation language. RTNS Armelle Bonenfant, Hugues Cassé, Marianne De Michiel, Jens Knoop, Laura Kovács, Jakob Zwirchmayr
2012	—	`conf`	Normalisation of Loops with Covariant Variables. TAPAS@SAS Marianne De Michiel, Armelle Bonenfant, Hugues Cassé
2011	J	`jnl`	RTOS support for execution of parallelized hard real-time tasks on the MERASA multi-core processor. Comput. Syst. Sci. Eng. Julian Wolf, Mike Gerdes, Florian Kluge, Sascha Uhrig, Jörg Mische, Stefan Metzlaff, Christine Rochange, Hugues Cassé, Pascal Sainrat, Theo Ungerer
2010	—	`conf`	A Design Flow for Critical Embedded Systems. SIES Vincent Lefftz, Jean Bertrand, Hugues Cassé, Christophe Clienti, Philippe Coussy, Laurent Maillet-Contoz, Philippe Mercier, Pierre Moreau, Laurence Pierre, Emmanuel Vaumorin
2010	J	`jnl`	A framework to experiment optimizations for real-time and embedded software CoRR Hugues Cassé, Karine Heydemann, Haluk Ozaktas, Jonathan Ponroy, Christine Rochange, Olivier Zendra
2010	—	`conf`	Experimentation of WCET computation on both ends of automotive processor range. EDCC-CARS Hugues Cassé, Pascal Sainrat, Clément Ballabriga, Marianne De Michiel
2010	J	`jnl`	Merasa: Multicore Execution of Hard Real-Time Applications Supporting Analyzability. IEEE Micro Theo Ungerer, Francisco J. Cazorla, Pascal Sainrat, Guillem Bernat, Zlatko Petrov, Christine Rochange, Eduardo Quiñones, Mike Gerdes, Marco Paolieri, Julian Wolf, Hugues Cassé, Sascha Uhrig, Irakli Guliashvili, Michael Houston, Florian Kluge, Stefan Metzlaff, Jörg Mische
2010	—	`conf`	OTAWA: An Open Toolbox for Adaptive WCET Analysis. SEUS Clément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat
2010	—	`conf`	Partial Flow Analysis with oRange. ISoLA (2) Marianne De Michiel, Armelle Bonenfant, Clément Ballabriga, Hugues Cassé
2010	C	`conf`	RTOS Support for Parallel Execution of Hard Real-Time Applications on the MERASA Multi-core Processor. ISORC Julian Wolf, Mike Gerdes, Florian Kluge, Sascha Uhrig, Jörg Mische, Stefan Metzlaff, Christine Rochange, Hugues Cassé, Pascal Sainrat, Theo Ungerer
2009	—	`conf`	A Generic Framework for Blackbox Components in WCET Computation. WCET Clément Ballabriga, Hugues Cassé, Marianne De Michiel
2008	Misc	`conf`	An improved approach for set-associative instruction cache partial analysis. SAC Clément Ballabriga, Hugues Cassé, Pascal Sainrat
2008	B	`conf`	Improving the First-Miss Computation in Set-Associative Instruction Caches. ECRTS Clément Ballabriga, Hugues Cassé
2008	—	`conf`	Improving the WCET computation time by IPET using control flow graph partitioning. WCET Clément Ballabriga, Hugues Cassé
2008	—	`conf`	Inter-task WCET computation for a-way instruction caches. SIES Fadia Nemer, Hugues Cassé, Pascal Sainrat, Jean Paul Bahsoun
2008	B	`conf`	Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation. RTCSA Marianne De Michiel, Armelle Bonenfant, Hugues Cassé, Pascal Sainrat
2008	—	`conf`	WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. WCET Niklas Holsti, Jan Gustafsson, Guillem Bernat, Clément Ballabriga, Armelle Bonenfant, Roman Bourgade, Hugues Cassé, Daniel Cordes, Albrecht Kadlec, Raimund Kirner, Jens Knoop, Paul Lokuciejewski, Nicholas Merriam, Marianne De Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat, Markus Schordan
2007	—	`conf`	Improving the Worst-Case Execution Time Accuracy by Inter-Task Instruction Cache Analysis. SIES Fadia Nemer, Hugues Cassé, Pascal Sainrat, Ali Awada
2006	—	`conf`	PapaBench: a Free Real-Time Benchmark. WCET Fadia Nemer, Hugues Cassé, Pascal Sainrat, Jean Paul Bahsoun, Marianne De Michiel
2002	J	`jnl`	Une approche pour réduire la complexité du flot de contrôle dans les programmes C. Tech. Sci. Informatiques Hugues Cassé, Louis Féraud, Christine Rochange, Pascal Sainrat
1999	J	`jnl`	Using the abstract interpretation technique for static pointer analysis. SIGARCH Comput. Archit. News Hugues Cassé, Louis Féraud, Christine Rochange, Pascal Sainrat