Jaroslav Keznikl
TitleCited byYear
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
1072013
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
392012
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
382013
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
362016
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
342012
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
312013
The autonomic cloud
P Mayer, J Velasco, A Klarl, R Hennicker, M Puviani, F Tiezzi, R Pugliese, ...
Software Engineering for Collective Autonomic Systems, 495-512, 2015
192015
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
172012
Gossiping components for cyber-physical systems
T Bures, I Gerostathopoulos, P Hnetynka, J Keznikl, M Kit, F Plasil
European Conference on Software Architecture, 250-266, 2014
162014
The invariant refinement method
T Bureš, I Gerostathopoulos, P Hnetynka, J Keznikl, M Kit, F Plasil
Software Engineering for Collective Autonomic Systems, 405-428, 2015
142015
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
122014
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
122014
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
112013
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
102013
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
102012
Automated resolution of connector architectures using constraint solving (ARCAS method)
J Keznikl, T Bureš, F Plášil, P Hnětynka
Software & Systems Modeling 13 (2), 843-872, 2014
72014
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, Tech. Rep. D3S-TR-2014-01, 2014
72014
Engineering autonomous systems
N Šerbedžija, T Bureš, J Keznikl
Proceedings of the 17th Panhellenic Conference on Informatics, 128-135, 2013
72013
Supporting performance awareness in autonomous ensembles
L Bulej, T Bureš, I Gerostathopoulos, V Horký, J Keznikl, L Marek, ...
Software Engineering for Collective Autonomic Systems, 291-322, 2015
62015
Towards verification of ensemble-based component systems
J Barnat, N Beneš, T Bureš, I Černá, J Keznikl, F Plášil
International Workshop on Formal Aspects of Component Software, 41-60, 2013
62013
The system can't perform the operation now. Try again later.
Articles 1–20