Home

DOL-Critical

Publications

Downloads

Contact

 
 

Journal Articles

G. Giannopoulou, N. Stoimenov, P. Huang, L. Thiele, Benoît Dupont de Dinechin.
Mixed-Criticality Scheduling on Cluster-Based Manycores with Shared Communication and Storage Resources. Submitted to Real-Time Systems Journal (under review), September 2014.

K. Lampka, G. Giannopoulou, R. Pellizzoni, Z. Wu, N. Stoimenov.
A Formal Approach to the WCRT Analysis of Multicore Systems with Memory Contention under Phase-structured Task Sets. In Real-Time Systems Journal, Volume 50, Issue 5, p. 736-773, November 2014.
(online access) (BibTex)

Conference Publications

P. Huang, P. Kumar, G. Giannopoulou and L. Thiele.
Run and Be Safe: Mixed-Criticality Scheduling with Temporary Processor Speedup. In Proc. Design, Automation & Test in Europe (DATE), Grenoble, France, March 2015. (BibTex)

P. Huang, P. Kumar, G. Giannopoulou and L. Thiele.
Energy Efficient DVFS Scheduling for Mixed-Criticality Systems. In Proc. International Conference on Embedded Software (EMSOFT), New Delhi, India, October 2014. (online access) (BibTex)

P. Huang, H. Yang and L. Thiele.
On the Scheduling of Fault-Tolerant Mixed-Criticality Systems. In Proc. Design Automation Conference (DAC), p. 131:1--131:6, San Francisco, CA, US, June 2014. (online access) (BibTex)

G. Giannopoulou, N. Stoimenov, P. Huang and L. Thiele.
Mapping Mixed-Criticality Applications on Multi-Core Architectures. In Proc. Design, Automation & Test in Europe (DATE), Hot-Topic Session on Predictable Multicore Computing, p. 98:1-98:6, Dresden, Germany, March 2014. (online access) (BibTex)

N. Dhruva, P. Kumar, G. Giannopoulou and L. Thiele.
Computing a Language-Based Guarantee for Timing Properties of Cyber-Physical Systems In Proc. Design, Automation & Test in Europe (DATE), p. 187:1-187:6, Dresden, Germany, March 2014. (online access) (BibTex)

P. Huang, G. Giannopoulou, N. Stoimenov and L. Thiele.
Service Adaptions for Mixed-Criticality Systems. In Proc. Asia and South Pacific Design Automation Conference (ASP-DAC), p. 125-130, Singapore, January 2014. (online access) (BibTex)

G. Giannopoulou, N. Stoimenov, P. Huang and L. Thiele.
Scheduling of Mixed-Criticality Applications on Resource-Sharing Multicore Systems. In Proc. International Conference on Embedded Software (EMSOFT), p. 17:1-17:15, Montreal, Canada, October 2013. (online access) (BibTex)

P. Huang, P. Kumar, N. Stoimenov and L. Thiele.
Interference Constraint Graph - A New Specification for Mixed-Criticality Systems In Proc. International Conference on Emerging Technologies & Factory Automation (ETFA), Cagliari, Italy, September 2013. (online access) (BibTex)

G. Giannopoulou, K. Lampka, N. Stoimenov and L. Thiele.
Timed Model Checking with Abstractions: Towards Worst-Case Response Time Analysis in Resource-Sharing Manycore Systems. In Proc. International Conference on Embedded Software (EMSOFT), p. 63-72, Tampere, Finland, October 2012. (online access) (BibTex)

Technical Reports

P. Huang, P. Kumar, G. Giannopoulou and L. Thiele.
Energy Efficient DVFS Scheduling for Mixed-Criticality Systems. TIK Report No. 354, Zurich, Switzerland, July 2014. (online access) (BibTex)

P. Huang, H. Yang and L. Thiele.
On the Scheduling of Fault-Tolerant Mixed-Criticality Systems. TIK Report No. 351, Zurich, Switzerland, December 2013. (online access) (BibTex)

P. Huang, G. Giannopoulou, N. Stoimenov and L. Thiele.
Service Adaptions for Mixed-Criticality Systems. TIK Report No. 350, Zurich, Switzerland, November 2013. (online access) (BibTex)

G. Giannopoulou, N. Stoimenov, K. Lampka, A. Schranzhofer and L. Thiele
Derivation of access request arrival curves for dedicated superblock sequences. TIK Report No. 347, Zurich, Switzerland, September 2012. (online access) (BibTex)