Filter your results
- 3
- 1
- 3
- 1
- 4
- 1
- 3
- 4
- 4
- 3
- 2
- 2
- 1
|
|
sorted by
|
|
Hierarchical Timed Abstract State Machines for WCET EstimationInternational 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 Estimation2015
Preprints, Working Papers, ...
hal-01214991v1
|
|||
|
On the Determinism of Multi-core ProcessorsFrench Singaporean Workshop on Formal Methods and Applications, Jul 2013, Singapour, Singapore. ⟨10.4230/OASIcs.FSFMA.2013.32⟩
Conference papers
hal-01214947v1
|
||
|
Hierarchical Timed Symbolic Abstract State Machines for precise WCET estimationIEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2013, Taipei, Taiwan
Conference papers
hal-01214957v1
|