Last modified on October 27, 2016, 8:10 pm

CRTS 2016
 
Call for papers
Paper submission
Important dates
Program
Accepted Papers
Keynote speaker
Organization
 
Contact CRTS







List of accepted and invited papers

Regular Papers

1) Mitra Nasri, On Flexible and Robust Parameter Assignment for Periodic Real-Time Components.

2) Bjorn Andersson, Hyoseung Kim, John Lehoczky and Dionisio Deniz. Deriving the Average-case Performance of Bandwidth-like Interfaces for Tasksets with Infinite Minimum Inter-Arrival Time, Equal Task Density, Uniformly Distributed Deadlines, and Infinite Number of Tasks.

3) Cristian Maxim, Adriana Gogonel, Irina-Mariuca Asavoae, Mihail Asavoae and Liliana Cucu-Grosjean. Reproducibility and representativity - mandatory properties for the compositionality of measurement-based WCET estimation approaches.

Short/WiP Papers

1) Zahid Iqbal, Luis Almeida and Moris Behnam. Efficiency study for sporadic servers on Ethernet with FTT-SE.

2) Hamdi Ayed, Jean-Luc Scharbarg, Jerôme Ermont and Christian Fraboul. Extended Recursive Analysis for Tilera TILE64-like NoC Architectures.

3) Maryam Bagheri, Marjan Sirjani, Ali Movaghar and Edward A. Lee. Runtime Compositional Analysis of Track-based Traffic Control Systems (work-in-progress).

4) André de Matos Pedro, David Pereira, Luis Miguel Pinho and Jorge Sousa Pinto. SMT-based Schedulability Analysis using RMTL-∫.

5) Luis Oliveira and Luis Almeida. Composable routing in mobile mesh networks.

Invited Papers

1) Mischa Möstl, Rolf Ernst. Contracting Challenges for System Design and Integration.

2) Marjan Sirjani, Ehsan Khamespanah, Kirill Mechitov and Gul Agha. A Compositional Approach for Modeling and Timing Analysis of Wireless Sensor and Actuator Networks.

3) Linh Thi Xuan Phan. Real-Time Network Function Virtualization with Timing Interfaces.

Web page hosted at School of Innovation, Design and Engineering,
Mälardalen University, Sweden. Webmaster: Saad Mubeen