| 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 | 97 | 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 |
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr
