Follow
Jaroslav Keznikl
Jaroslav Keznikl
Former researcher @ Charles University in Prague
No verified email - Homepage
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
1582013
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
682016
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
522013
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
442012
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
422012
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
362013
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
272015
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
232014
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
212014
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
192014
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
182012
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
172015
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
122013
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
102013
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
92014
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
92012
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
82011
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
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, Charles University in …, 2014
72014
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