Virtual and augmented reality for rich interaction with cultural heritage sites: A case study from the Roman Theater at Byblos G Younes, R Kahil, M Jallad, D Asmar, I Elhajj, G Turkiyyah, H Al-Harithy Digital applications in archaeology and cultural heritage 5, 1-9, 2017 | 101 | 2017 |
Algorithmic complexity of correctness testing in mc-scheduling R Kahil, D Socci, P Poplavko, S Bensalem Proceedings of the 26th International Conference on Real-Time Networks and …, 2018 | 9 | 2018 |
Predictability in mixed-criticality systems R Kahil, P Poplavko, D Socci, S Bensalem 2018 IEEE 24th International Conference on Embedded and Real-Time Computing …, 2018 | 7 | 2018 |
Mixed-critical systems design with coarse-grained multi-core interference P Poplavko, R Kahil, D Socci, S Bensalem, M Bozga International Symposium on Leveraging Applications of Formal Methods, 605-621, 2016 | 7 | 2016 |
Revisiting the computational complexity of mixed-critical scheduling R Kahil, P Poplavko, D Socci, S Bensalem Proc. WMC, RTSS (2017), 2017 | 5 | 2017 |
Schedulability in Mixed-criticality Systems R Kahil Université Grenoble Alpes, 2019 | 2 | 2019 |
Design of embedded systems with complex task dependencies and shared resource interference (Short Paper) F Gioulekas, P Poplavko, R Kahil, P Katsaros, M Bozga, S Bensalem, ... Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017 | 1 | 2017 |
Design of embedded systems with complex task dependencies and shared resource interference F Gioulekas, P Poplavko, R Kahil, P Palomo, M Bozga, P Katsaros, ... Software Engineering and Formal Methods, 15th International Conference, SEFM …, 2017 | | 2017 |
Process Networks for Reactive Streaming with Timed-automata Implementation P Poplavko, D Socci, R Kahil, M Bozga, S Bensalem IDEA 2016 Workshop-Integrating Dataflow, Embedded Computing, and …, 2016 | | 2016 |