Rany Kahil
Rany Kahil
Phd. student at University Grenoble Alps
Verified email at univ-grenoble-alpes.fr
Title
Cited by
Cited by
Year
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
372017
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
82016
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
62018
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
42018
Revisiting the computational complexity of mixed-critical scheduling
R Kahil, P Poplavko, D Socci, S Bensalem
Proc. WMC, RTSS (2017), 2017
42017
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, ...
International Conference on Software Engineering and Formal Methods, 401-407, 2017
12017
Schedulability in Mixed-criticality Systems
R Kahil
Grenoble Alpes, 2019
2019
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
2016
The system can't perform the operation now. Try again later.
Articles 1–9