Former member

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

Link bibtex
R. Al-Ali, L. Bulej, J. Kofroň, T. Bureš:
A guide to design uncertainty-aware self-adaptive components in Cyber– Physical Systems, in Future Generation Computer Systems 128, pp. 466-489, 2022
DOI: 10.1016/j.future.2021.10.027
Link bibtex
R. Al-Ali, P. Hnětynka, J. Havlik, V. Krivka, R. Heinrich, S. Seifermann, M. Walter, A. Juan-Verdejo:
Dynamic security rules for legacy systems, in Proceedings of ECSA 2019 (vol 2), Paris, France, pp. 277-284, 2019
ISBN: 978-1-4503-7142-1, DOI: 10.1145/3344948.3344974
Link PDF bibtex
R. Al-Ali:
Uncertainty-Aware Self-Adaptive Component Design in Cyber-Physical System, Technical report no. D3S-TR-2019-02, Department of Distributed and Dependable Systems, Charles University, 2019
PDF bibtex
R. 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
Link bibtex
R. Al-Ali, T. Bureš, P. Hnětynka, F. Krijt, F. Plášil, J. Vinárek:
Dynamic Security Specification Through Autonomic Component Ensembles, in Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, pp. 172-185, 2018
ISBN: 978-3-030-03424-5, DOI: 10.1007/978-3-030-03424-5_12
Link PDF bibtex
P. Hnětynka, P. Kubat, R. Al-Ali, I. Gerostathopoulos, D. Khalyeyev:
Guaranteed Latency Applications in Edge-Cloud Environment, in Companion Proceedings of ECSA 2018, Madrid, Spain, pp. 1-4, 2018
ISBN: 978-1-4503-6483-6, DOI: 10.1145/3241403.3241448
Link bibtex
R. Al-Ali, R. Heinrich, P. Hnětynka, A. Juan-Verdejo, S. Seifermann, M. Walter:
Modeling of dynamic trust contracts for industry 4.0 systems, in Companion Proceedings of ECSA 2018, Madrid, Spain, pp. 1-4, 2018
ISBN: 978-1-4503-6483-6, DOI: 10.1145/3241403.3241450
Link bibtex
R. Al-Ali, T. Bureš, B. Hartmann, J. Havlik, R. Heinrich, P. Hnětynka, A. Juan-Verdejo, P. Parízek, S. Seifermann, M. 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
Link bibtex
R. Al-Ali:
Industrial Use Cases of Cyber Physical Systems in EU Projects: Preliminary Study, in Position Papers of the FedCSIS 2017, Prague, Czech Republic, pp. 187-193, 2017
ISBN: 978-83-922646-0-6, DOI: 10.15439/2017F557
Link bibtex
O. Nikiforova, N. Marzouki, K. Gusarovs, H. Vangheluwe, T. Bureš, R. Al-Ali, M. Iacono, P. Esquivel, F. Leon:
The Two-Hemisphere Modelling Approach to the Composition of Cyber-Physical Systems, in Proc. of ICSOFT 2017, Madrid, Spain, pp. 286-293, 2017
ISBN: 978-989-758-262-2, DOI: 10.5220/0006424902860293
Link bibtex
T. Bureš, P. Hnětynka, J. Kofroň, R. Al-Ali, D. Š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, 2016
DOI: 10.1109/WICSA.2016.33
PDF bibtex
T. Bureš, P. Hnětynka, J. Kofroň, R. Al-Ali, D. Š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
Link bibtex
R. Al-Ali, I. Gerostathopoulos, I. Gonzalez-Herrera, A. Juan-Verdejo, M. Kit, B. Surajbali:
An Architecture-Based Approach for Compute-Intensive Pervasive Systems in Dynamic Environments, in Proceedings of HotTopiCS 2014, Dublin, Ireland, pp. 3:1–3:6, 2014
ISBN: 978-1-4503-3059-6, DOI: 10.1145/2649563.2649577
Link bibtex
R. Al-Ali, T. Bureš, I. Gerostathopoulos, J. Keznikl, F. Plášil:
Architecture Adaptation Based on Belief Inaccuracy Estimation, in Proceedings of WICSA 2014, Sydney, NSW, Australiatecture, pp. 87–90, 2014
ISBN: 978-1-4799-3412-6, DOI: 10.1109/WICSA.2014.20
Link bibtex
R. Al-Ali, T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. Plášil:
DEECo: An Ecosystem for Cyber-Physical Systems, in Companion Proceedings of ICSE 2014, Hyderabad, India, pp. 610-611, 2014
ISBN: 978-1-4503-2768-8, DOI: 10.1145/2591062.2591140
Link bibtex
T. Bureš, I. Gerostathopoulos, R. Al-Ali:
DEECo: Software Engineering for Smart CPS,
bibtex
R. Al-Ali, T. Bureš, I. Gerostathopoulos, P. Hnětynka, J. Keznikl, M. Kit, F. 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