Jaroslav Keznikl

According to our database, Jaroslav Keznikl authored at least 23 papers between 2011 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2016

Self-adaptation in software-intensive cyber-physical systems: From system goals to architecture configurations.

Ilias Gerostathopoulos, Tomás Bures, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil, Noël Plouzeau

J. Syst. Softw., 2016

2015

The Autonomic Cloud.

Philip Mayer, José Velasco, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Tomás Bures

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

The Invariant Refinement Method.

Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Supporting Performance Awareness in Autonomous Ensembles.

Lubomír Bulej, Tomás Bures, Ilias Gerostathopoulos, Vojtech Horký, Jaroslav Keznikl, Lukás Marek, Max Tschaikowski, Mirco Tribastone, Petr Tuma

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Tools for Ensemble Design and Runtime.

Dhaminda B. Abeywickrama, Jacques Combaz, Vojtech Horký, Jaroslav Keznikl, Jan Kofron, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Philip Mayer, Giacoma Valentina Monreale, Ugo Montanari, Carlo Pinciroli, Petr Tuma, Andrea Vandin, Emil Vassev

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Formalization of Invariant Patterns for the Invariant Refinement Method.

Tomás Bures, Ilias Gerostathopoulos, Jaroslav Keznikl, Frantisek Plásil, Petr Tuma

Proceedings of the Software, 2015

2014

Automated resolution of connector architectures using constraint solving (ARCAS method).

Jaroslav Keznikl, Tomás Bures, Frantisek Plásil, Petr Hnetynka

Softw. Syst. Model., 2014

Architecture Adaptation Based on Belief Inaccuracy Estimation.

Rima Al Ali, Tomás Bures, Ilias Gerostathopoulos, Jaroslav Keznikl, Frantisek Plásil

Proceedings of the 2014 IEEE/IFIP Conference on Software Architecture, 2014

DEECo: an ecosystem for cyber-physical systems.

Rima Al Ali, Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil

Proceedings of the 36th International Conference on Software Engineering, 2014

Software Engineering for Software-Intensive Cyber-Physical Systems.

Ilias Gerostathopoulos, Jaroslav Keznikl, Tomás Bures, Michal Kit, Frantisek Plásil

Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014

Gossiping Components for Cyber-Physical Systems.

Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil

Proceedings of the Software Architecture - 8th European Conference, 2014

2013

Adaptive deployment in ad-hoc systems using emergent component ensembles: vision paper.

Lubomír Bulej, Tomás Bures, Vojtech Horký, Jaroslav Keznikl

Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas.

Martin Babka, Tomás Balyo, Jaroslav Keznikl

Proceedings of the Software Engineering Research, 2013

The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing.

Philip Mayer, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Toma Bure

Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013

Engineering autonomous systems.

Nikola B. Serbedzija, Tomás Bures, Jaroslav Keznikl

Proceedings of the 17th Panhellenic Conference on Informatics, 2013

Towards Verification of Ensemble-Based Component Systems.

Jiri Barnat, Nikola Benes, Tomás Bures, Ivana Cerná, Jaroslav Keznikl, Frantisek Plásil

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Design of ensemble-based component systems by invariant refinement.

Jaroslav Keznikl, Tomás Bures, Frantisek Plásil, Ilias Gerostathopoulos, Petr Hnetynka, Nicklas Hoch

Proceedings of the CBSE'13, 2013

DEECO: an ensemble-based component system.

Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil

Proceedings of the CBSE'13, 2013

2012

Capturing performance assumptions using stochastic performance logic.

Lubomír Bulej, Tomás Bures, Jaroslav Keznikl, Alena Koubková, Andrej Podzimek, Petr Tuma

Proceedings of the Third Joint WOSP/SIPEW International Conference on Performance Engineering, 2012

Towards Dependable Emergent Ensembles of Components: The DEECo Component Model.

Jaroslav Keznikl, Tomás Bures, Frantisek Plásil, Michal Kit

Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012

Performance Awareness in Component Systems: Vision Paper.

Lubomír Bulej, Tomás Bures, Vojtech Horký, Jaroslav Keznikl, Petr Tuma

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

2011

Introducing Support for Embedded and Real-Time Devices into Existing Hierarchical Component System: Lessons Learned.

Tomás Pop, Jaroslav Keznikl, Petr Hosek, Michal Malohlava, Tomás Bures, Petr Hnetynka

Proceedings of the 9th International Conference on Software Engineering Research, 2011

Extensible Polyglot Programming Support in Existing Component Frameworks.

Jaroslav Keznikl, Michal Malohlava, Tomás Bures, Petr Hnetynka

Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011