


default search action
Frantisek Plásil
- > Home > Persons > Frantisek Plásil
Publications
- 2025
- [c55]Michal Töpfer, Tomás Bures, Frantisek Plásil, Petr Hnetynka:
Interpreting Workflow Architectures by LLMs. ENASE 2025: 608-617 - 2024
- [c54]Michal Töpfer
, Danylo Khalyeyev, Tomás Bures, Petr Hnetynka, Frantisek Plásil:
How Well Do LLMs Understand DEECo Ensemble-Based Component Architectures. ISoLA (2) 2024: 208-223 - 2023
- [j21]Tomás Bures, Petr Hnetynka, Martin Krulis, Frantisek Plásil, Danylo Khalyeyev, Sebastian Hahner
, Stephan Seifermann, Maximilian Walter, Robert Heinrich:
Generating adaptation rule-specific neural networks. Int. J. Softw. Tools Technol. Transf. 25(5): 733-746 (2023) - [c53]Michal Töpfer
, Frantisek Plásil, Tomás Bures, Petr Hnetynka, Martin Krulis, Danny Weyns
:
Online ML Self-adaptation in Face of Traps. ACSOS 2023: 57-66 - [i1]Michal Töpfer, Frantisek Plásil, Tomás Bures, Petr Hnetynka, Martin Krulis, Danny Weyns:
Online ML Self-adaptation in Face of Traps. CoRR abs/2309.05805 (2023) - 2022
- [c52]Milad Abdullah
, Michal Töpfer
, Tomás Bures, Petr Hnetynka
, Martin Krulis, Frantisek Plásil:
Introducing Estimators - Abstraction for Easy ML Employment in Self-adaptive Architectures. ECSA (Tracks and Workshops) 2022: 370-385 - [c51]Tomás Bures
, Petr Hnetynka
, Martin Krulis, Frantisek Plásil
, Danylo Khalyeyev
, Sebastian Hahner
, Stephan Seifermann, Maximilian Walter
, Robert Heinrich:
Attuning Adaptation Rules via a Rule-Specific Neural Network. ISoLA (3) 2022: 215-230 - 2021
- [j19]Tomás Bures
, Petr Hnetynka
, Frantisek Plásil
, Dominik Skoda, Jan Kofron
, Rima Al Ali, Ilias Gerostathopoulos
:
Targeting uncertainty in smart CPS by confidence-based logic. J. Syst. Softw. 181: 111065 (2021) - 2020
- [j18]Tomás Bures
, Ilias Gerostathopoulos
, Petr Hnetynka
, Frantisek Plásil
, Filip Krijt, Jirí Vinárek, Jan Kofron
:
A language and framework for dynamic component ensembles in smart systems. Int. J. Softw. Tools Technol. Transf. 22(4): 497-509 (2020) - [j17]Rima Al Ali, Tomás Bures
, Petr Hnetynka
, Jan Matejek, Frantisek Plásil
, Jirí Vinárek:
Toward autonomically composable and context-dependent access control specification through ensembles. Int. J. Softw. Tools Technol. Transf. 22(4): 511-522 (2020) - 2019
- [j16]Ilias Gerostathopoulos
, Dominik Skoda, Frantisek Plásil
, Tomás Bures
, Alessia Knauss:
Tuning self-adaptation in cyber-physical systems through architectural homeostasis. J. Syst. Softw. 148: 37-55 (2019) - 2018
- [c50]Rima Al Ali, Tomás Bures
, Petr Hnetynka
, Filip Krijt, Frantisek Plásil
, Jirí Vinárek:
Dynamic Security Specification Through Autonomic Component Ensembles. ISoLA (3) 2018: 172-185 - 2017
- [j15]Ilias Gerostathopoulos
, Tomás Bures
, Petr Hnetynka
, Adam Hujecek, Frantisek Plásil
, Dominik Skoda
:
Strengthening Adaptation in Cyber-Physical Systems via Meta-Adaptation Strategies. ACM Trans. Cyber Phys. Syst. 1(3): 13:1-13:25 (2017) - [c49]Filip Krijt, Zbynek Jirácek, Tomás Bures
, Petr Hnetynka
, Frantisek Plásil
:
Automated Dynamic Formation of Component Ensembles - Taking Advantage of Component Cooperation Locality. MODELSWARD 2017: 561-568 - 2016
- [j14]Tomás Bures
, Frantisek Plásil
, Michal Kit, Petr Tuma
, Nicklas Hoch:
Software Abstractions for Component Interaction in the Internet of Things. Computer 49(12): 50-59 (2016) - [j13]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) - [c48]Ilias Gerostathopoulos
, Dominik Skoda
, Frantisek Plásil
, Tomás Bures
, Alessia Knauss:
Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems. ECSA 2016: 113-128 - [c47]Tomás Bures
, Petr Hnetynka
, Filip Krijt
, Vladimír Matena
, Frantisek Plásil
:
Smart Coordination of Autonomic Component Ensembles in the Context of Ad-Hoc Communication. ISoLA (1) 2016: 642-656 - 2015
- [j12]Viliam Simko, David Hauzar, Petr Hnetynka
, Tomás Bures
, Frantisek Plásil
:
Formal Verification of Annotated Textual Use-Cases. Comput. J. 58(7): 1495-1529 (2015) - [c46]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 - [c45]Michal Kit, Frantisek Plásil
, Vladimír Matena
, Tomás Bures
, Ondrej Kovác
:
Employing Domain Knowledge for Optimizing Component Communication. CBSE 2015: 59-64 - [c44]Tomás Bures
, Filip Krijt
, Frantisek Plásil
, Petr Hnetynka
, Zbynek Jirácek
:
Towards Intelligent Ensembles. ECSA Workshops 2015: 17:1-17:4 - [c43]Ilias Gerostathopoulos
, Tomás Bures
, Petr Hnetynka
, Adam Hujecek, Frantisek Plásil
, Dominik Skoda
:
Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems. ECSA 2015: 45-52 - [c42]Michal Kit, Ilias Gerostathopoulos
, Tomás Bures
, Petr Hnetynka
, Frantisek Plásil
:
An Architecture Framework for Experimentations with Self-Adaptive Cyber-physical Systems. SEAMS@ICSE 2015: 93-96 - [p1]Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka
, Jaroslav Keznikl, Michal Kit, Frantisek Plásil
:
The Invariant Refinement Method. The ASCENS Approach 2015: 405-428 - 2014
- [j11]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) - [c41]Tomás Bures
, Petr Hnetynka
, Frantisek Plásil
:
Strengthening architectures of smart CPS by modeling them as runtime product-lines. CBSE 2014: 91-96 - [c40]Tomás Bures
, Ilias Gerostathopoulos
, Petr Hnetynka
, Jaroslav Keznikl, Michal Kit, Frantisek Plásil
:
Gossiping Components for Cyber-Physical Systems. ECSA 2014: 250-266 - [c39]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 - [c38]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 - [c37]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
- [j9]Michal Malohlava, Frantisek Plásil
, Tomás Bures
, Petr Hnetynka
:
Interoperable domain-specific languages families for code generation. Softw. Pract. Exp. 43(5): 479-499 (2013) - [c36]Tomás Bures
, Ilias Gerostathopoulos
, Petr Hnetynka
, Jaroslav Keznikl, Michal Kit, Frantisek Plásil
:
DEECO: an ensemble-based component system. CBSE 2013: 81-90 - [c35]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 - [c34]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 - [c33]Frantisek Plásil, Tomás Bures:
Software Components in Computer Assisted Living? SOFSEM 2013: 28 - 2012
- [c32]Tomás Pop, Frantisek Plásil
, Matej Outly, Michal Malohlava, Tomás Bures
:
Property networks allowing oracle-based mode-change propagation in hierarchical components. CBSE 2012: 93-102 - [c31]Viliam Simko, Petr Hnetynka
, Tomás Bures
, Frantisek Plásil
:
FOAM: A Lightweight Method for Verification of Use-Cases. EUROMICRO-SEAA 2012: 228-232 - [c30]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 - 2011
- [c29]Viliam Simko, David Hauzar, Tomás Bures
, Petr Hnetynka
, Frantisek Plásil
:
Verifying Temporal Properties of Use-Cases in Natural Language. FACS 2011: 350-367 - 2007
- [c22]Lubomír Bulej
, Tomás Bures
, Thierry Coupaye, Martin Decký
, Pavel Jezek
, Pavel Parízek
, Frantisek Plásil
, Tomás Poch, Nicolas Rivierre, Ondrej Sery, Petr Tuma
:
CoCoME in Fractal. CoCoME 2007: 357-387 - [c21]Tomás Bures
, Martin Decký
, Petr Hnetynka
, Jan Kofron
, Pavel Parízek
, Frantisek Plásil
, Tomás Poch, Ondrej Sery, Petr Tuma
:
CoCoME in SOFA. CoCoME 2007: 388-417 - [c18]Tomás Bures
, Petr Hnetynka
, Frantisek Plásil
, Jan Klesnil, Ondrej Kmoch, Tomas Kohan, Pavel Kotrc:
Runtime Support for Advanced Component Concepts. SERA 2007: 337-345 - 2006
- [c16]Tomás Bures
, Petr Hnetynka
, Frantisek Plásil
:
SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model. SERA 2006: 40-48

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.
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.
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.
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 2025-05-03 23:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
