| Component-based design of cyber-physical applications with safety-critical requirements A Masrur, M Kit, V Matěna, T Bureš, W Hardt Microprocessors and Microsystems 42, 70-86, 2016 | 27 | 2016 |
| Performance modelling of smart cyber-physical systems T Bures, V Matena, R Mirandola, L Pagliari, C Trubiani Companion of the 2018 ACM/SPEC International Conference on Performance …, 2018 | 20 | 2018 |
| Model problem and testbed for experiments with adaptation in smart cyber-physical systems V Matena, T Bures, I Gerostathopoulos, P Hnetynka Proceedings of the 11th International Symposium on Software Engineering for …, 2016 | 20 | 2016 |
| Employing domain knowledge for optimizing component communication M Kit, F Plasil, V Matena, T Bures, O Kovac Proceedings of the 18th International ACM SIGSOFT Symposium on Component …, 2015 | 7 | 2015 |
| An ensemble-based approach for scalable qos in highly dynamic cps V Matena, A Masrur, T Bures 2017 43rd Euromicro Conference on Software Engineering and Advanced …, 2017 | 3 | 2017 |
| Smart coordination of autonomic component ensembles in the context of ad-hoc communication T Bures, P Hnetynka, F Krijt, V Matena, F Plasil Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 3 | 2016 |
| Integration paradigms for ensemble-based smart cyber-physical systems V Matěna Univerzita Karlova, Matematicko-fyzikální fakulta, 2018 | 1 | 2018 |
| Security and Trust in Data Sharing Smart Cyber-Physical Systems O Štumpf, T Bureš, V Matěna Proceedings of the 2015 European Conference on Software Architecture …, 2015 | 1 | 2015 |
| Implementation of the DEECo component framework for embedded systems V Matěna Univerzita Karlova, Matematicko-fyzikální fakulta, 2014 | | 2014 |
| Qt HDD benchmark V Matěna | | 2011 |
Tomas BuresFull Professor of Computer Science, Charles UniversityVerifierad e-postadress på d3s.mff.cuni.cz
