Jaroslav Keznikl - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2016

Self-adaptation in software-intensive cyber-physical systems: From system goals to architecture configurationsIlias Gerostathopoulos, Tomás Bures, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plasil, Noël Plouzeau. jss, 122:378-397, 2016. [doi]

2015

Tools for Ensemble Design and RuntimeDhaminda 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. In Martin Wirsing, Matthias M. Hölzl, Nora Koch, Philip Mayer, editors, Software Engineering for Collective Autonomic Systems - The ASCENS Approach. Volume 8998 of Lecture Notes in Computer Science, pages 429-448, Springer, 2015. [doi]

Supporting Performance Awareness in Autonomous EnsemblesLubomír Bulej, Tomás Bures, Ilias Gerostathopoulos, Vojtech Horký, Jaroslav Keznikl, Lukás Marek, Max Tschaikowski, Mirco Tribastone, Petr Tuma. In Martin Wirsing, Matthias M. Hölzl, Nora Koch, Philip Mayer, editors, Software Engineering for Collective Autonomic Systems - The ASCENS Approach. Volume 8998 of Lecture Notes in Computer Science, pages 291-322, Springer, 2015. [doi]

The Invariant Refinement MethodTomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plasil. In Martin Wirsing, Matthias M. Hölzl, Nora Koch, Philip Mayer, editors, Software Engineering for Collective Autonomic Systems - The ASCENS Approach. Volume 8998 of Lecture Notes in Computer Science, pages 405-428, Springer, 2015. [doi]

Formalization of Invariant Patterns for the Invariant Refinement MethodTomás Bures, Ilias Gerostathopoulos, Jaroslav Keznikl, Frantisek Plasil, Petr Tuma. BIRTHDAY 2015: 602-618 [doi]

The Autonomic CloudPhilip Mayer, José Velasco, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Tomás Bures. In Martin Wirsing, Matthias M. Hölzl, Nora Koch, Philip Mayer, editors, Software Engineering for Collective Autonomic Systems - The ASCENS Approach. Volume 8998 of Lecture Notes in Computer Science, pages 495-512, Springer, 2015. [doi]

2014

DEECo: an ecosystem for cyber-physical systemsRima Al Ali, Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plasil. ICSE 2014: 610-611 [doi]

Architecture Adaptation Based on Belief Inaccuracy EstimationRima Al Ali, Tomás Bures, Ilias Gerostathopoulos, Jaroslav Keznikl, Frantisek Plasil. wicsa 2014: 87-90 [doi]

Gossiping Components for Cyber-Physical SystemsTomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plasil. ecsa 2014: 250-266 [doi]

Software Engineering for Software-Intensive Cyber-Physical SystemsIlias Gerostathopoulos, Jaroslav Keznikl, Tomás Bures, Michal Kit, Frantisek Plasil. gi 2014: 1179-1190

Automated resolution of connector architectures using constraint solving (ARCAS method)Jaroslav Keznikl, Tomás Bures, Frantisek Plasil, Petr Hnetynka. SoSyM, 13(2):843-872, 2014. [doi]

2013

Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean FormulasMartin Babka, Tomas Balyo, Jaroslav Keznikl. sera 2014: 231-246 [doi]

Towards Verification of Ensemble-Based Component SystemsJiri Barnat, Nikola Benes, Tomás Bures, Ivana Cerná, Jaroslav Keznikl, Frantisek Plasil. facs2 2014: 41-60 [doi]

Adaptive deployment in ad-hoc systems using emergent component ensembles: vision paperLubomír Bulej, Tomás Bures, Vojtech Horky, Jaroslav Keznikl. wosp 2013: 343-346 [doi]

DEECO: an ensemble-based component systemTomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plasil. cbse 2013: 81-90 [doi]

Design of ensemble-based component systems by invariant refinementJaroslav Keznikl, Tomás Bures, Frantisek Plasil, Ilias Gerostathopoulos, Petr Hnetynka, Nicklas Hoch. cbse 2013: 91-100 [doi]

The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud ComputingPhilip Mayer, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Toma Bure. saso 2013: 89-94 [doi]

Engineering autonomous systemsNikola Serbedzija, Tomás Bures, Jaroslav Keznikl. pci 2013: 128-135 [doi]

2012

2011

Extensible Polyglot Programming Support in Existing Component FrameworksJaroslav Keznikl, Michal Malohlava, Tomás Bures, Petr Hnetynka. euromicro 2011: 107-115 [doi]

Introducing Support for Embedded and Real-Time Devices into Existing Hierarchical Component System: Lessons LearnedTomás Pop, Jaroslav Keznikl, Petr Hosek, Michal Malohlava, Tomás Bures, Petr Hnetynka. sera 2011: 3-11 [doi]

See Also

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

Filter by Venue
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Jaroslav Keznikl'

Viewing Publication 1 - 23 from 23

2016

2015

2014

2013

2012

2011

See Also

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag

Filter by VenueOR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Jaroslav Keznikl'

Viewing Publication 1 - 23 from 23

2016

2015

2014

2013

2012

2011

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Venue
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1