Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

17 résultats
Page :
triés par
Image document

Expressing and exploiting path conflicts in WCET analysis

 Vincent Mussot , Jordy Ruiz , Pascal Sotin , Marianne de Michiel , Hugues Cassé
16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016) in conjunction with ECRTS, Jul 2016, Toulouse, France. pp. 1-11
Communication dans un congrès hal-01682967v1
Image document

When the worst-case execution time estimation gains from the application semantics

 Armelle Bonenfant , Fabienne Carrier , Hugues Cassé , Philippe Cuenot , Denis Claraz , et al.
8th European Congress on Embedded Real-Time Software and Systems, Jan 2016, Toulouse, France
Communication dans un congrès hal-01235781v1

Policy Iteration within Logico-Numerical Abstract Domains

 Pascal Sotin , Bertrand Jeannet , Franck Védrine , Eric Goubault
Automated Technology for Verification and Analysis, ATVA'11, Nov 2011, Taipei, Taiwan. pp.290-305, ⟨10.1007/978-3-642-24372-1_21⟩
Communication dans un congrès hal-00786321v1
Image document

Long-Run Cost Analysis by Approximation of Linear Operators over Dioids

 David Cachera , Thomas Jensen , Arnaud Jobin , Pascal Sotin
[Research Report] RR-6338, INRIA. 2007, pp.35
Rapport inria-00182338v4
Image document

Data Cache Analysis by Counting Integer Points

 Pascal Sotin , Quentin Vermande , Hugues Cassé
29th International Conference on Real-Time Networks and Systems (RTNS 2021), Apr 2021, Nantes, France. pp.112-122, ⟨10.1145/3453417.3453424⟩
Communication dans un congrès hal-03667386v1
Image document

Early WCET Prediction using Machine Learning

 Armelle Bonenfant , Denis Claraz , Marianne de Michiel , Pascal Sotin
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. pp.5:1 - 5:9, ⟨10.4230/OASIcs.WCET.2017.5⟩
Communication dans un congrès hal-03116285v1
Image document

Identifying Relevant Parameters to Improve WCET Analysis

 Jakob Zwirchmayr , Pascal Sotin , Armelle Bonenfant , Denis Claraz , Philippe Cuenot
14th International Workshop on Worst-Case Execution Time Analysis (WCET 2014), Jul 2014, Madrid, Spain. pp.93-102
Communication dans un congrès hal-04080843v1
Image document

The W-SEPT Project: Towards Semantic-Aware WCET Estimation

 Claire Maiza , Pascal Raymond , Catherine Parent-Vigouroux , Armelle Bonenfant , Fabienne Carrier , et al.
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. pp.13, ⟨10.4230/OASIcs.WCET.2017.9⟩
Communication dans un congrès hal-01590442v1

Concrete Memory Models for Shape Analysis

 Pascal Sotin , Bertrand Jeannet , Xavier Rival
NSAD'2010 - Second International Workshop on Numerical and Symbolic Abstract Domains, Sep 2010, Perpignan, France. pp.139--150, ⟨10.1016/j.entcs.2010.09.012⟩
Communication dans un congrès hal-00786330v1
Image document

Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks

 Pascal Sotin , Xavier Rival
APLAS 2012 - Asian Conference on Programming Languages And Software, Dec 2012, Kyoto, Japan. pp.131-147, ⟨10.1007/978-3-642-35182-2_10⟩
Communication dans un congrès hal-00760427v1

Long-Run Cost Analysis by Approximation of Linear Operators over Dioids

 David Cachera , Thomas Jensen , Arnaud Jobin , Pascal Sotin
Mathematical Structures in Computer Science, 2010, 20 (4), pp.589-624. ⟨10.1017/S0960129510000113⟩
Article dans une revue hal-00699608v1

Precise Interprocedural Analysis in the Presence of Pointers to the Stack

 Pascal Sotin , Bertrand Jeannet
European Symposium on Programming, ESOP'11, Apr 2011, Sarrebrueck, Germany. pp.459-479, ⟨10.1007/978-3-642-19718-5_24⟩
Communication dans un congrès hal-00786327v1
Image document

Inferring Effective Types for Static Analysis of C Programs

 Bertrand Jeannet , Pascal Sotin
NSAD - Int. Workshop on Numerical and Symbolic Abstract Domains - 2011, Sep 2011, Venise, Italy. pp.37-47, ⟨10.1016/j.entcs.2012.10.006⟩
Communication dans un congrès hal-00763426v1
Image document

Warp-Level CFG Construction for GPU Kernel WCET Analysis

 Louison Jeanmougin , Thomas Carle , Pascal Sotin , Christine Rochange
21st International Workshop on Worst-Case Execution Time Analysis (WCET 2023), Jul 2023, Vienne, Austria. pp.1:1--1:13, ⟨10.4230/OASIcs.WCET.2023.1⟩
Communication dans un congrès hal-04171474v1
Image document

From Relevant High-level Properties to WCET Computation Improvement

 Vincent Mussot , Armelle Bonenfant , Pascal Sotin , Denis Claraz , Philippe Cuenot
International Conference on Embedded Real Time Software and Systems (ERTS2 2014), Feb 2014, Toulouse, France. pp.0
Communication dans un congrès hal-03666048v1
Image document

Precise Interprocedural Analysis in the Presence of Pointers to the Stack

 Pascal Sotin , Bertrand Jeannet
2011
Pré-publication, Document de travail inria-00547888v1
Image document

Quantifying the Precision of Numerical Abstract Domains

 Pascal Sotin
[Research Report] 2010, pp.20
Rapport inria-00457324v1
Page :