Jaroslav Keznikl
Title
Cited by
Cited by
Year
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
1142013
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
412013
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
402012
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
392016
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
362012
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
322013
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
222015
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
192012
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
182014
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
162015
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
142014
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
132014
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
112013
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
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
112012
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
72015
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
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
72013
Engineering autonomous systems
N Šerbedžija, T Bureš, J Keznikl
Proceedings of the 17th Panhellenic Conference on Informatics, 128-135, 2013
72013
The system can't perform the operation now. Try again later.
Articles 1–20