Search - Archive ouverte HAL Access content directly

Filter your results

16 Results

From Relevant High-level Properties to WCET Computation Improvement

Vincent Mussot , Armelle Bonenfant , Pascal Sotin , Denis Claraz , Philippe Cuenot et al.
Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
Conference papers hal-02272213v1
Image document

Expressing and exploiting path conflicts in WCET analysis

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

Precise Interprocedural Analysis in the Presence of Pointers to the Stack

Pascal Sotin , Bertrand Jeannet
2011
Preprints, Working Papers, ... inria-00547888v1
Image document

Quantifying the Precision of Numerical Abstract Domains

Pascal Sotin
[Research Report] 2010, pp.20
Reports inria-00457324v1
Image document

From Relevant High-level Properties to WCET Computation Improvement

Vincent Mussot , Armelle Bonenfant , Pascal Sotin , Denis Claraz , Philippe Cuenot et al.
International Conference on Embedded Real Time Software and Systems (ERTS2 2014), Feb 2014, Toulouse, France. pp.0
Conference papers hal-03666048v1

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⟩
Conference papers hal-00786327v1
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⟩
Conference papers hal-00760427v1
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⟩
Conference papers hal-00763426v1

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⟩
Journal articles hal-00699608v1

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⟩
Conference papers hal-00786321v1
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
Conference papers hal-01235781v1
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
Reports inria-00182338v4

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⟩
Conference papers hal-00786330v1
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⟩
Conference papers hal-03116285v1
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⟩
Conference papers hal-03667386v1
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⟩
Conference papers hal-01590442v1