Jaroslav Keznikl

23 papers B 3C 1Journal 2Unranked 13
YearRankTypeTitle / Venue / Authors
2016 J jnl
Self-adaptation in software-intensive cyber-physical systems: From system goals to architecture configurations.
J. Syst. Softw.
Ilias Gerostathopoulos, Tomás Bures, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil, Noël Plouzeau
2015 — conf
Formalization of Invariant Patterns for the Invariant Refinement Method.
Software, Services, and Systems
Tomás Bures, Ilias Gerostathopoulos, Jaroslav Keznikl, Frantisek Plásil, Petr Tuma
2015 — ch.
Supporting Performance Awareness in Autonomous Ensembles.
The ASCENS Approach
Lubomír Bulej, Tomás Bures, Ilias Gerostathopoulos, Vojtech Horký, Jaroslav Keznikl, Lukás Marek, Max Tschaikowski, Mirco Tribastone, Petr Tuma
2015 — ch.
The Autonomic Cloud.
The ASCENS Approach
Philip Mayer, José Velasco, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Tomás Bures
2015 — ch.
The Invariant Refinement Method.
The ASCENS Approach
Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil
2015 — ch.
Tools for Ensemble Design and Runtime.
The ASCENS Approach
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
2014 — conf
Architecture Adaptation Based on Belief Inaccuracy Estimation.
WICSA
Rima Al Ali, Tomás Bures, Ilias Gerostathopoulos, Jaroslav Keznikl, Frantisek Plásil
2014 J jnl
Automated resolution of connector architectures using constraint solving (ARCAS method).
Softw. Syst. Model.
Jaroslav Keznikl, Tomás Bures, Frantisek Plásil, Petr Hnetynka
2014 — conf
DEECo: an ecosystem for cyber-physical systems.
ICSE Companion
Rima Al Ali, Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil
2014 B conf
Gossiping Components for Cyber-Physical Systems.
ECSA
Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil
2014 — conf
Software Engineering for Software-Intensive Cyber-Physical Systems.
GI-Jahrestagung
Ilias Gerostathopoulos, Jaroslav Keznikl, Tomás Bures, Michal Kit, Frantisek Plásil
2013 B conf
Adaptive deployment in ad-hoc systems using emergent component ensembles: vision paper.
ICPE
Lubomír Bulej, Tomás Bures, Vojtech Horký, Jaroslav Keznikl
2013 — conf
DEECO: an ensemble-based component system.
CBSE
Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil
2013 — conf
Design of ensemble-based component systems by invariant refinement.
CBSE
Jaroslav Keznikl, Tomás Bures, Frantisek Plásil, Ilias Gerostathopoulos, Petr Hnetynka, Nicklas Hoch
2013 — conf
Engineering autonomous systems.
Panhellenic Conference on Informatics
Nikola B. Serbedzija, Tomás Bures, Jaroslav Keznikl
2013 — conf
Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas.
SERA (selected papers)
Martin Babka, Tomás Balyo, Jaroslav Keznikl
2013 — conf
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing.
SASO Workshops
Philip Mayer, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Toma Bure
2013 — conf
Towards Verification of Ensemble-Based Component Systems.
FACS
Jiri Barnat, Nikola Benes, Tomás Bures, Ivana Cerná, Jaroslav Keznikl, Frantisek Plásil
2012 B conf
Capturing performance assumptions using stochastic performance logic.
ICPE
Lubomír Bulej, Tomás Bures, Jaroslav Keznikl, Alena Koubková, Andrej Podzimek, Petr Tuma
2012 — conf
Performance Awareness in Component Systems: Vision Paper.
COMPSAC Workshops
Lubomír Bulej, Tomás Bures, Vojtech Horký, Jaroslav Keznikl, Petr Tuma
2012 — conf
Towards Dependable Emergent Ensembles of Components: The DEECo Component Model.
WICSA/ECSA
Jaroslav Keznikl, Tomás Bures, Frantisek Plásil, Michal Kit
2011 — conf
Extensible Polyglot Programming Support in Existing Component Frameworks.
EUROMICRO-SEAA
Jaroslav Keznikl, Michal Malohlava, Tomás Bures, Petr Hnetynka
2011 C conf
Introducing Support for Embedded and Real-Time Devices into Existing Hierarchical Component System: Lessons Learned.
SERA
Tomás Pop, Jaroslav Keznikl, Petr Hosek, Michal Malohlava, Tomás Bures, Petr Hnetynka