Claire Maïza
Verimag(FR)
Publications by Year
Research Areas
Real-Time Systems Scheduling, Embedded Systems Design Techniques, Parallel Computing and Optimization Techniques, Distributed systems and fault tolerance, Formal Methods in Verification
Most-Cited Works
- → Ascertaining Uncertainty for Efficient Exact Cache Analysis(2017)252 cited
- → Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems(2012)110 cited
- → A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems(2019)89 cited
- → Cache Related Pre-emption Delay Aware Response Time Analysis for Fixed Priority Pre-emptive Systems(2011)79 cited
- → Analysis of Probabilistic Cache Related Pre-emption Delays(2013)67 cited
- → A generic and compositional framework for multicore response time analysis(2015)59 cited
- → Resilience analysis(2010)52 cited
- → An extensible framework for multicore response time analysis(2017)50 cited
- → Integrating cache related pre-emption delay analysis into EDF scheduling(2013)49 cited
- → Response Time Analysis of Synchronous Data Flow Programs on a Many-Core Processor(2016)45 cited