Filter your results
- 7
- 7
- 10
- 1
- 1
- 1
- 1
- 13
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 3
- 2
- 14
- 2
- 1
- 14
- 6
- 4
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
Extracting Logical Formulae that Capture the Functionality of SystemC DesignsInternational MultiConference of Engineers and Computer Scientists, Mar 2011, Hong Kong, China
Conference papers
hal-01214940v1
|
|||
|
Adaptable and Precise Worst Case Execution Time Estimation ToolLanguages, Compilers, Tools and Theory for Embedded Systems WiP, Jun 2012, Beijing, China
Conference papers
hal-01214943v1
|
||
Hierarchical Timed Abstract State Machines for WCET Estimation2015
Preprints, Working Papers, ...
hal-01214991v1
|
|||
Time-Accurate ASM as a Refinement Scheme for Worst-Case Execution Time Estimation in Hard Real-Time SystemsIEEE Real-Time Systems Symposium (RTSS), 2016, Unknown, Unknown Region. pp.372, ⟨10.1109/RTSS.2016.051⟩
Conference papers
hal-01762679v1
|
|||
A numerical procedure for MPP determination of solar panelsInternational Colloquium “Physics of Materials” (PM-1), Oct 2008, Bucarest, Romania
Conference papers
hal-01276226v1
|
|||
|
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
|
||
A WCET Estimation Workflow Based on the TWSA Model of SystemC DesignsThe 32nd IEEE Real-Time Systems Symposium, Nov 2011, Vienna, Austria
Conference papers
hal-00672884v1
|
|||
|
Using HiGraph to define a Formal Integrated System Modeling Framework that ensures Complete System ConsistencyIEEE Advancing Technology for Humanity 26th International Conference on Systems Engineering (ICSEng), Dec 2018, Sydney, NSW, Australia
Conference papers
hal-02004171v1
|
||
|
Hierarchical timed abstract state machines for WCET estimationInternational Journal of Critical Computer-Based Systems, 2016, 6 (4), pp.343-363. ⟨10.1504/IJCCBS.2016.081810⟩
Journal articles
hal-01762677v1
|
||
A restricted diffusion model through spherical interfacesInternational Colloquium “Physics of Materials” (PM-1), Oct 2008, Bucarest, Romania
Conference papers
hal-01276228v1
|
|||
|
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
|
||
|
A WCET estimation workflow based on TWSA model of SystemC designsThe 32nd IEEE Real-Time Systems Symposium, Nov 2011, Vienne, Austria
Conference poster
hal-01214967v1
|
||
|
Precise and Adaptable Worst-Case Execution Time Estimation in Hard Real-Time SystemsComputation and Language [cs.CL]. Ecole Doctorale Polytechnique, 2014. English. ⟨NNT : ⟩
Theses
tel-01214985v1
|