Frantisek Plásil

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Tomás Bures

> Home > Persons > Frantisek Plásil

Publications

2025
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/TopferBPH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/TopferBPH25
Michal Töpfer, Tomás Bures, Frantisek Plásil, Petr Hnetynka:
Interpreting Workflow Architectures by LLMs. ENASE 2025: 608-617
2024
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/TopferKBHP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/TopferKBHP24
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/BuresHKPKHSWH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BuresHKPKHSWH23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/acsos/TopferPBHKW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsos/TopferPBHKW23
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-05805
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-05805
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/AbdullahTBHKP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/AbdullahTBHKP22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BuresHKPKHSWH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BuresHKPKHSWH22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/BuresHPSKAG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/BuresHPSKAG21
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/BuresGHPKVK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BuresGHPKVK20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/AliBHMPV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/AliBHMPV20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/Gerostathopoulos19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/Gerostathopoulos19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/AliBHKPV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/AliBHKPV18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcps/Gerostathopoulos17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcps/Gerostathopoulos17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/KrijtJBHP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/KrijtJBHP17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/BuresPKTH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/BuresPKTH16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/Gerostathopoulos16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/Gerostathopoulos16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/Gerostathopoulos16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/Gerostathopoulos16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BuresHKMP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BuresHKMP16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/SimkoHHBP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/SimkoHHBP15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BuresGKPT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BuresGKPT15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cbse/KitPMBK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbse/KitPMBK15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/BuresKPHJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/BuresKPHJ15
Tomás Bures, Filip Krijt, Frantisek Plásil, Petr Hnetynka, Zbynek Jirácek:
Towards Intelligent Ensembles. ECSA Workshops 2015: 17:1-17:4
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/Gerostathopoulos15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/Gerostathopoulos15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KitGBHP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KitGBHP15
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]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/BuresGHKKP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/BuresGHKKP15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/KezniklBPH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/KezniklBPH14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cbse/BuresHP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbse/BuresHP14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/BuresGHKKP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/BuresGHKKP14
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]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/gi/GerostathopoulosKBKP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/GerostathopoulosKBKP14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AliBGHKKP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AliBGHKKP14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/wicsa/AliBGKP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wicsa/AliBGKP14
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]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/MalohlavaPBH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/MalohlavaPBH13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cbse/BuresGHKKP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbse/BuresGHKKP13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cbse/KezniklBPGHH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbse/KezniklBPGHH13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BarnatBBCKP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BarnatBBCKP13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/PlasilB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/PlasilB13
Frantisek Plásil, Tomás Bures:
Software Components in Computer Assisted Living? SOFSEM 2013: 28
2012
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/cbse/PopPOMB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbse/PopPOMB12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/SimkoHBP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/SimkoHBP12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/wicsa/KezniklBPK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wicsa/KezniklBPK12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/SimkoHBHP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/SimkoHBHP11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/BulejBCDJPPPRST07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BulejBCDJPPPRST07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/BuresDHKPPPST07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BuresDHKPPPST07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sera/BuresHPKKKK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sera/BuresHPKKKK07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sera/BuresHP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sera/BuresHP06
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.