Skip to Main content Skip to Navigation

Search by documents

hal-01141443v1  Conference papers
Hajer HerbegueM FilaliHugues Cassé. Formal Architecture Specification for Time Analysis
International Conference on Architecture of Computing Systems - ARCS 2014, Feb 2014, Lubeck, Germany. pp. 98-110
hal-01217165v1  Conference papers
Hajer HerbegueM FilaliHugues Cassé. A constraint-based WCET computation framework
7th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2013), Oct 2013, Sophia Antipolis, France. pp. 33-36
hal-01148073v1  Conference papers
Hajer HerbegueHugues CasséM FilaliChristine Rochange. Hardware architecture specification and constraint-based WCET computation
IEEE International Symposium on Industrial Embedded Systems - SIES 2013, Jun 2013, Porto, Portugal. pp. 259-268