![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Jaroslav Keznikl
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2016
- [j2]Ilias Gerostathopoulos
, Tomás Bures
, Petr Hnetynka
, Jaroslav Keznikl, Michal Kit, Frantisek Plásil
, Noël Plouzeau:
Self-adaptation in software-intensive cyber-physical systems: From system goals to architecture configurations. J. Syst. Softw. 122: 378-397 (2016) - 2015
- [c17]Tomás Bures, Ilias Gerostathopoulos, Jaroslav Keznikl, Frantisek Plásil
, Petr Tuma
:
Formalization of Invariant Patterns for the Invariant Refinement Method. Software, Services, and Systems 2015: 602-618 - [p4]Lubomír Bulej, Tomás Bures, Ilias Gerostathopoulos, Vojtech Horký, Jaroslav Keznikl, Lukás Marek, Max Tschaikowski
, Mirco Tribastone, Petr Tuma
:
Supporting Performance Awareness in Autonomous Ensembles. The ASCENS Approach 2015: 291-322 - [p3]Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka
, Jaroslav Keznikl, Michal Kit, Frantisek Plásil
:
The Invariant Refinement Method. The ASCENS Approach 2015: 405-428 - [p2]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:
Tools for Ensemble Design and Runtime. The ASCENS Approach 2015: 429-448 - [p1]Philip Mayer, José Velasco, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Tomás Bures:
The Autonomic Cloud. The ASCENS Approach 2015: 495-512 - 2014
- [j1]Jaroslav Keznikl, Tomás Bures
, Frantisek Plásil
, Petr Hnetynka
:
Automated resolution of connector architectures using constraint solving (ARCAS method). Softw. Syst. Model. 13(2): 843-872 (2014) - [c16]Tomás Bures
, Ilias Gerostathopoulos
, Petr Hnetynka
, Jaroslav Keznikl, Michal Kit, Frantisek Plásil
:
Gossiping Components for Cyber-Physical Systems. ECSA 2014: 250-266 - [c15]Ilias Gerostathopoulos, Jaroslav Keznikl, Tomás Bures, Michal Kit, Frantisek Plásil:
Software Engineering for Software-Intensive Cyber-Physical Systems. GI-Jahrestagung 2014: 1179-1190 - [c14]Rima Al Ali, Tomás Bures
, Ilias Gerostathopoulos
, Petr Hnetynka
, Jaroslav Keznikl, Michal Kit, Frantisek Plásil
:
DEECo: an ecosystem for cyber-physical systems. ICSE Companion 2014: 610-611 - [c13]Rima Al Ali, Tomás Bures
, Ilias Gerostathopoulos
, Jaroslav Keznikl, Frantisek Plásil
:
Architecture Adaptation Based on Belief Inaccuracy Estimation. WICSA 2014: 87-90 - 2013
- [c12]Tomás Bures
, Ilias Gerostathopoulos
, Petr Hnetynka
, Jaroslav Keznikl, Michal Kit, Frantisek Plásil
:
DEECO: an ensemble-based component system. CBSE 2013: 81-90 - [c11]Jaroslav Keznikl, Tomás Bures
, Frantisek Plásil
, Ilias Gerostathopoulos
, Petr Hnetynka
, Nicklas Hoch:
Design of ensemble-based component systems by invariant refinement. CBSE 2013: 91-100 - [c10]Jiri Barnat, Nikola Benes
, Tomás Bures
, Ivana Cerná
, Jaroslav Keznikl, Frantisek Plásil
:
Towards Verification of Ensemble-Based Component Systems. FACS 2013: 41-60 - [c9]Nikola B. Serbedzija, Tomás Bures
, Jaroslav Keznikl:
Engineering autonomous systems. Panhellenic Conference on Informatics 2013: 128-135 - [c8]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: 89-94 - [c7]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: 231-246 - [c6]Lubomír Bulej
, Tomás Bures
, Vojtech Horký
, Jaroslav Keznikl:
Adaptive deployment in ad-hoc systems using emergent component ensembles: vision paper. ICPE 2013: 343-346 - 2012
- [c5]Lubomír Bulej
, Tomás Bures
, Vojtech Horký
, Jaroslav Keznikl, Petr Tuma
:
Performance Awareness in Component Systems: Vision Paper. COMPSAC Workshops 2012: 514-519 - [c4]Jaroslav Keznikl, Tomás Bures
, Frantisek Plásil
, Michal Kit:
Towards Dependable Emergent Ensembles of Components: The DEECo Component Model. WICSA/ECSA 2012: 249-252 - [c3]Lubomír Bulej
, Tomás Bures
, Jaroslav Keznikl, Alena Koubková
, Andrej Podzimek, Petr Tuma
:
Capturing performance assumptions using stochastic performance logic. ICPE 2012: 311-322 - 2011
- [c2]Jaroslav Keznikl, Michal Malohlava, Tomás Bures
, Petr Hnetynka
:
Extensible Polyglot Programming Support in Existing Component Frameworks. EUROMICRO-SEAA 2011: 107-115 - [c1]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: 3-11
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint