Contact information:

Department of Distributed and Dependable Systems
Faculty of Mathematics and Physics
Charles University

Malostranské náměstí 25
118 00 Praha 1
Czech Republic

E-mail: alali@d3s.mff.cuni.cz
Phone: +420 95155 4235

Research Interests

Teaching

Projects

Publications

Rima Al-Ali, Robert Heinrich, Petr Hnětynka, Adrian Juan-Verdejo, Stephan Seifermann, Maximilian Walter:
Modeling of dynamic trust contracts for industry 4.0 systems, in Companion Proceedings of ECSA 2018, Madrid, Spain,  ISBN: 978-1-4503-6483-6, pp. 1-4
DOI: 10.1145/3241403.3241450, 2018
Rima Al-Ali, Tomáš Bureš, Björn-Oliver Hartmann, Jiri Havlik, Robert Heinrich, Petr Hnětynka, Adrian Juan-Verdejo, Pavel Parízek, Stephan Seifermann, Maximilian Walter:
Use Cases in Dataflow-Based Privacy and Trust Modeling and Analysis in Industry 4.0 Systems, Technical report no. 1000085169, Karlsruher Institut für Technologie, pp. 1-42, 2018
Rima Al-Ali:
Description of EU Projects Demonstrate Self-Adaptive CPSs (V1.0), Technical report no. D3S-TR-2018-03, Department of Distributed and Dependable Systems, Charles University, pp. 1-14, 2018
Rima Al-Ali, Tomáš Bureš, Petr Hnětynka, Filip Krijt, František Plášil, Jiří Vinárek:
Dynamic Security Specification Through Autonomic Component Ensembles, in Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems,  ISBN: 978-3-030-03424-5, pp. 172-185, 2018
Petr Hnětynka, Petr Kubat, Rima Al-Ali, Ilias Gerostathopoulos, Danylo Khalyeyev:
Guaranteed latency applications in edge-cloud environment, in Companion Proceedings of ECSA 2018, Madrid, Spain,  ISBN: 978-1-4503-6483-6, pp. 1-4
DOI: 10.1145/3241403.3241448, 2018
Rima Al-Ali:
Industrial Use Cases of Cyber Physical Systems in EU Projects: Preliminary Study, in Position Papers of the FedCSIS 2017, Prague, Czech Republic,  ISBN: 978-83-922646-0-6, pp. 187-193
DOI: 10.15439/2017F557, 2017
Oksana Nikiforova, Nisrine El Marzouki, Konstantins Gusarovs, Hans Vangheluwe, Tomáš Bureš, Rima Al-Ali, Mauro Iacono, Priscill Orue Esquivel, Florin Leon:
The Two-Hemisphere Modelling Approach to the Composition of Cyber-Physical Systems, in Proc. of ICSOFT 2017, Madrid, Spain,  ISBN: 978-989-758-262-2, pp. 286-293
DOI: 10.5220/0006424902860293, 2017
Tomáš Bureš, Petr Hnětynka, Jan Kofroň, Rima Al-Ali, Dominik Škoda:
Statistical Approach to Architecture Modes in Smart Cyber Physical Systems, in 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA),  pp. 168-177
DOI: 10.1109/WICSA.2016.33, 2016
Tomáš Bureš, Petr Hnětynka, Jan Kofroň, Rima Al-Ali, Dominik Škoda:
Statistical Approach to Architecture Modes in Smart Cyber Physical Systems, Technical report no. D3S-TR-2015-04, Department of Distributed and Dependable Systems, Charles University, , 2015
Rima Al-Ali, Ilias Gerostathopoulos, Inti Gonzalez-Herrera, Adrian Juan-Verdejo, Michal Kit, Bholanathsingh Surajbali:
An Architecture-Based Approach for Compute-Intensive Pervasive Systems in Dynamic Environments, in Proceedings of HotTopiCS 2014, Dublin, Ireland,  ISBN: 978-1-4503-3059-6, pp. 3:1–3:6
DOI: 10.1145/2649563.2649577, 2014
Rima Al-Ali, Tomáš Bureš, Ilias Gerostathopoulos, Petr Hnětynka, Jaroslav Keznikl, Michal Kit, František Plášil:
DEECo: An Ecosystem for Cyber-Physical Systems, in Companion Proceedings of ICSE 2014, Hyderabad, India,  ISBN: 978-1-4503-2768-8, pp. 610-611
DOI: 10.1145/2591062.2591140, 2014
Rima Al-Ali, Tomáš Bureš, Ilias Gerostathopoulos, Jaroslav Keznikl, František Plášil:
Architecture Adaptation Based on Belief Inaccuracy Estimation, in Proceedings of WICSA 2014, Sydney, NSW, Australiatecture,  ISBN: 978-1-4799-3412-6, pp. 87–90
DOI: 10.1109/WICSA.2014.20, 2014
Rima Al-Ali, Tomáš Bureš, Ilias Gerostathopoulos, Petr Hnětynka, Jaroslav Keznikl, Michal Kit, František Plášil:
DEECo Computational Model - I, Technical report no. No. D3S-TR-2013-01, Dep. of Distributed and Dependable Systems, Charles University in Prague, , 2013