Search - ENSTA Paris - École nationale supérieure de techniques avancées Paris Access content directly

Filter your results

4 Results
Structure: Internal structure identifier : 419535
Image document

Hierarchical Timed Abstract State Machines for WCET Estimation

Vladimir-Alexandru Paun , Bruno Monsuez , Philippe Baufreton
International Workshop on Verification and Evaluation of Computer and Communication Systems, Nov 2013, Florence, Italy
Conference papers hal-01214973v1

Hierarchical Timed Abstract State Machines for WCET Estimation

Vladimir-Alexandru Paun , Bruno Monsuez , Philippe Baufreton
2015
Preprints, Working Papers, ... hal-01214991v1
Image document

On the Determinism of Multi-core Processors

Vladimir-Alexandru Paun , Bruno Monsuez , Philippe Baufreton
French Singaporean Workshop on Formal Methods and Applications, Jul 2013, Singapour, Singapore. ⟨10.4230/OASIcs.FSFMA.2013.32⟩
Conference papers hal-01214947v1
Image document

Hierarchical Timed Symbolic Abstract State Machines for precise WCET estimation

Vladimir-Alexandru Paun , Bruno Monsuez , Philippe Baufreton
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2013, Taipei, Taiwan
Conference papers hal-01214957v1