Jaroslav Keznikl

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 1

Top Topics

Simplifying Assumptions

Pruning Algorithm

Boolean Formula

Top Venues

SERA (selected papers)

COMPSAC Workshops

Publications

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