DEECO: an ensemble-based component system T Bures, I Gerostathopoulos, P Hnetynka, J Keznikl, M Kit, F Plasil Proceedings of the 16th International ACM Sigsoft symposium on Component …, 2013 | 164 | 2013 |
Self-adaptation in software-intensive cyber–physical systems: From system goals to architecture configurations I Gerostathopoulos, T Bures, P Hnetynka, J Keznikl, M Kit, F Plasil, ... Journal of Systems and Software 122, 378-397, 2016 | 72 | 2016 |
The autonomic cloud: a vision of voluntary, peer-2-peer cloud computing P Mayer, A Klarl, R Hennicker, M Puviani, F Tiezzi, R Pugliese, J Keznikl, ... 2013 IEEE 7th International Conference on Self-Adaptation and Self …, 2013 | 54 | 2013 |
Capturing performance assumptions using stochastic performance logic L Bulej, T Bureš, J Keznikl, A Koubková, A Podzimek, P Tůma Proceedings of the 3rd ACM/SPEC International Conference on Performance …, 2012 | 45 | 2012 |
Towards Dependable Emergent Ensembles of Components: The DEECo Component Model J Keznikl, T Bures, F Plasil, M Kit Software Architecture (WICSA) and European Conference on Software …, 2012 | 43 | 2012 |
Design of ensemble-based component systems by invariant refinement J Keznikl, T Bures, F Plasil, I Gerostathopoulos, P Hnetynka, N Hoch Proceedings of the 16th International ACM Sigsoft symposium on Component …, 2013 | 36 | 2013 |
The autonomic cloud P Mayer, J Velasco, A Klarl, R Hennicker, M Puviani, F Tiezzi, R Pugliese, ... Software Engineering for Collective Autonomic Systems: The ASCENS Approach …, 2015 | 27 | 2015 |
Gossiping components for cyber-physical systems T Bures, I Gerostathopoulos, P Hnetynka, J Keznikl, M Kit, F Plasil Software Architecture: 8th European Conference, ECSA 2014, Vienna, Austria …, 2014 | 23 | 2014 |
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 | 22 | 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 | 19 | 2014 |
Performance awareness in component systems: Vision paper L Bulej, T Bures, V Horky, J Keznikl, P Tuma 2012 IEEE 36th Annual Computer Software and Applications Conference …, 2012 | 18 | 2012 |
The invariant refinement method T Bureš, I Gerostathopoulos, P Hnetynka, J Keznikl, M Kit, F Plasil Software Engineering for Collective Autonomic Systems: The ASCENS Approach …, 2015 | 17 | 2015 |
Adaptive deployment in ad-hoc systems using emergent component ensembles: Vision paper L Bulej, T Burea, V Horký, J Keznikl Proceedings of the 4th ACM/SPEC International Conference on Performance …, 2013 | 12 | 2013 |
Towards verification of ensemble-based component systems J Barnat, N Beneš, T Bureš, I Černá, J Keznikl, F Plášil Formal Aspects of Component Software: 10th International Symposium, FACS …, 2014 | 10 | 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 | 10 | 2013 |
Language extensions for implementation-level conformance checking T Bures, I Gerostathopoulos, V Horky, J Keznikl, J Kofron, M Loreti, ... ASCENS Deliverable D 1, 5, 2012 | 9 | 2012 |
Extensible Polyglot Programming Support in Existing Component Frameworks J Keznikl, M Malohlava, T Bures, P Hnetynka 2011 37th EUROMICRO Conference on Software Engineering and Advanced …, 2011 | 8 | 2011 |
Automated resolution of connector architectures using constraint solving (ARCAS method) J Keznikl, T Bureš, F Plášil, P Hnětynka Software & Systems Modeling 13, 843-872, 2014 | 7 | 2014 |
Adaptation in Cyber-Physical Systems: from System Goals to Architecture Configurations T Bures, I Gerostathopoulos, P Hnetynka, J Keznikl, M Kit, F Plasil, ... Department of Distributed and Dependable Systems, Charles University in …, 2014 | 7 | 2014 |
Engineering autonomous systems N Šerbedžija, T Bureš, J Keznikl Proceedings of the 17th Panhellenic Conference on Informatics, 128-135, 2013 | 7 | 2013 |