Architecture adaptation based on belief inaccuracy estimation R Al Ali, T Bures, I Gerostathopoulos, J Keznikl, F Plasil 2014 IEEE/IFIP Conference on Software Architecture, 87-90, 2014 | 16 | 2014 |
DEECo: an ecosystem for cyber-physical systems R Al Ali, T Bures, I Gerostathopoulos, P Hnetynka, J Keznikl, M Kit, F Plasil Companion Proceedings of the 36th International Conference on Software …, 2014 | 15 | 2014 |
Statistical approach to architecture modes in smart cyber physical systems T Bures, P Hnetynka, J Kofron, R Al Ali, D Skoda 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA), 168-177, 2016 | 11 | 2016 |
An architecture-based approach for compute-intensive pervasive systems in dynamic environments R Al Ali, I Gerostathopoulos, I Gonzalez-Herrera, A Juan-Verdejo, M Kit, ... Proceedings of the 2nd International Workshop on Hot Topics in Cloud service …, 2014 | 11 | 2014 |
DEECo computational model–I R Al Ali, T Bures, I Gerostathopoulos, P Hnetynka, J Keznikl, M Kit, F Plasil Charles University in Prague, D3S, 2013 | 11 | 2013 |
A language and framework for dynamic component ensembles in smart systems T Bures, I Gerostathopoulos, P Hnetynka, F Plasil, F Krijt, J Vinarek, ... International Journal on Software Tools for Technology Transfer, 1-13, 2020 | 10* | 2020 |
Dynamic security specification through autonomic component ensembles R Al Ali, T Bures, P Hnetynka, F Krijt, F Plasil, J Vinarek International Symposium on Leveraging Applications of Formal Methods, 172-185, 2018 | 7 | 2018 |
Modeling of dynamic trust contracts for industry 4.0 systems R Al-Ali, R Heinrich, P Hnetynka, A Juan-Verdejo, S Seifermann, M Walter Proceedings of the 12th European Conference on Software Architecture …, 2018 | 6 | 2018 |
Toward autonomically composable and context-dependent access control specification through ensembles R Al Ali, T Bures, P Hnetynka, J Matejek, F Plasil, J Vinarek International Journal on Software Tools for Technology Transfer, 1-12, 2020 | 4 | 2020 |
Dynamic security rules for legacy systems R Al-Ali, P Hnetynka, J Havlik, V Krivka, R Heinrich, S Seifermann, ... Proceedings of the 13th European Conference on Software Architecture-Volume …, 2019 | 4 | 2019 |
The Two-Hemisphere Modelling Approach to the Composition of Cyber-Physical Systems. O Nikiforova, N El Marzouki, K Gusarovs, H Vangheluwe, T Bures, R Al Ali, ... ICSOFT, 286-293, 2017 | 4 | 2017 |
Guaranteed latency applications in edge-cloud environment P Hnetynka, P Kubat, R Al-Ali, I Gerostathopoulos, D Khalyeyev Proceedings of the 12th European Conference on Software Architecture …, 2018 | 3 | 2018 |
Use Cases in Dataflow-Based Privacy and Trust Modeling and Analysis in Industry 4.0 Systems R Al-Ali, T Bures, BO Hartmann, J Havlik, R Heinrich, P Hnetynka, ... | 3 | 2018 |
Uncertainty-Aware Self-Adaptive Component Design in Cyber-Physical System R Al-Ali Technical Report D3S-TR-2019-02, Department of Distributed and Dependable …, 2019 | 2 | 2019 |
Systematic Literature Review on Multi-Paradigm Modeling for Cyber-Physical Systems A Barišic, D Savic, R Al-Ali, I Ruchkin, D Blouin, A Cicchetti, ... December, 2018 | 2 | 2018 |
Industrial Use Cases of Cyber Physical Systems in EU Projects: Preliminary Study. R Al Ali FedCSIS (Position Papers), 187-193, 2017 | 2 | 2017 |
Automated trainability evaluation for smart software functions I Gerostathopoulos, S Kugele, C Segler, T Bures, A Knoll 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 1 | 2019 |
Several Issues on Composition of Cyber-Physical Systems Based on Principles of the Two-Hemisphere Modelling O Nikiforova, N El Marzouki, N Kunicina, H Vangheluwe, F Leon, ... Proceedings of the 4th Workshop of the MPM4CPS COST Action, 44-55, 2016 | 1 | 2016 |
Uncertainty-Aware Self-Adaptive Cyber-Physical Systems R Al Ali Univerzita Karlova, Matematicko-fyzikální fakulta, 2020 | | 2020 |
QRML: A Component Language and Toolset for Quality and Resource Management F van den Berg, V Čamra, M Hendriks, M Geilen, P Hnetynka, F Manteca, ... 2020 Forum for Specification and Design Languages (FDL), 1-8, 2020 | | 2020 |