Last modified on July 26, 2017, 6:08 pm

CRTS 2017
Call for papers
Paper submission
Important dates
Accepted Papers
Keynote speaker
Contact CRTS


Note: Presentation times" for regular = 30 min; for short paper = 20 min (including Q & A)

08:30 - 09:15 Registration

09:15 - 10:30 Keynote Talk

"Probabilities - a key solution for tomorrow real-time compositional frameworks"
by Liliana CUCU-GROSJEAN at INRIA Paris  

10:30 - 11:00 Morning coffee break

11:00 - 12:30 Session 1: Invited and Short Papers

- (Invited Paper) "Compositional Verification and Testing of Real-Time Systems"
by Kim G Larsen, Aalborg University

- (Short Paper) "Continuous Time Markov Chain Modeling for Probabilistic Schedulability Analysis",
by Jasdeep Singh, Guillaume Infantes, Luca Santinelli, David Doose and Julien Brunel.

- (Invited Paper) "Temporal interfaces for Adaptive Real-Time Components"
by Giuseppe Lipari, University of Lille

12:30- 14:00 Lunch Break

14:00 - 15:30 Session 2: Regular Papers

- "Workflow Composition and Analysis for Industry 4.0 Warehouse Automation "
by Ajay Kattepur  

- "HVMD_CC : Heterogeneous Value with Multiple Deadlines and Communication Contention"
by Mayo Nakagawa, Takuya Azumi, Yuto Kitagawa and Nobuhiko Nishio  

- "Beyond the Accuracy-Complexity Tradeoffs of Compositional Analyses using Network Calculus for Complex Networks"
by Ahlem Mifdaoui and Thierry Leydier  

15:30 - 16:00 Coffee break

16:00 - 17:00 Session 3: Short Papers

- "Assessing the Flexibility of Real-Time Systems"
by Alain Girault, Rafik Henia, Christophe Prevot, Sophie Quinton and Laurent Rioux.  

- "A Mixed NoC/AFDX Architecture: Problems and Challenges"
by Laure Abdallah, Jérôme Ermont, Jean-Luc Scharbarg and Christian Fraboul  

- "Dynamic Arbitration of Memory Requests with TDM-like Guarantees"
by Farouk Hebbache, Mathieu Jan, Florian Brandner and Laurent Pautet  

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