Follow
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
872017
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
82018
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
72016
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
62018
Revisiting the computational complexity of mixed-critical scheduling
R Kahil, P Poplavko, D Socci, S Bensalem
Proc. WMC, RTSS (2017), 2017
52017
Schedulability in Mixed-criticality Systems
R Kahil
Université Grenoble Alpes, 2019
12019
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
12017
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
The system can't perform the operation now. Try again later.
Articles 1–9