Lessons Learned from Implementing the CORBA Persistent Object Service. - Jan Kleindienst; Frantisek Plásil; Petr Tuma 001 (OOPSLA, 1996)

CORBA and Object Services. - Jan Kleindienst; Frantisek Plásil; Petr Tuma 001 (SOFSEM, 1996)

Inheriting Synchronization Protocols via Sound Enrichment Rules. - Frantisek Plásil; Daniel Mikusík (JMLC, 1997)

SOFA/DCUP: architecture for component trading and dynamic updating. - Frantisek Plásil; Dusan Bálek; Radovan Janecek (CDS, 1998)

What characterizes a (software) component? - Manfred Broy; Anton Deimel; Juergen Henn; Kai Koskimies; Frantisek Plásil; Gustav Pomberger; Wolfgang Pree; Michael Stal; Clemens A. Szyperski (Softw. Concepts Tools, 1998)

An architectural view of distributed objects and components in CORBA, Java RMI and COM/DCOM. - Frantisek Plásil; Michael Stal (Softw. Concepts Tools, 1998)

Bounding Component Behavior via Protocols. - Frantisek Plásil; Milos Besta; Stanislav Visnovsky (TOOLS (30), 1999)

Software Connectors and their Role in Component Deployment. - Dusan Bálek; Frantisek Plásil (DAIS, 2001)

Behavior Protocols for Software Components. - Frantisek Plásil; Stanislav Visnovsky (IEEE Trans. Software Eng., 2002)

Getting 'whole Picture' Behavior in a Use Case Model. - Frantisek Plásil; Vladimir Mencl (Trans. SDPS, 2003)

Partial Bindings of Components - Any Harm?. - Jirí Adámek; Frantisek Plásil (APSEC, 2004)

Exceptions in Component Interaction Protocols - Necessity. - Frantisek Plásil; Viliam Holub (Architecting Systems with Trustworthy Components, 2004)

Erroneous architecture is a relative concept. - Jirí Adámek; Frantisek Plásil (IASTED Conf. on Software Engineering and Applications, 2004)

Addressing State Explosion in Behavior Protocol Verification. - Martin Mach; Frantisek Plásil (SNPD, 2004)

Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective. - Vladimir Mencl; Frantisek Plásil; Jirí Adámek (IASTED Conf. on Software Engineering, 2005)

Model Checking of Component Behavior Specification: A Real Life Experience. - Pavel Jezek; Jan Kofron; Frantisek Plásil (FACS, 2005)

Component composition errors and update atomicity: static analysis. - Jirí Adámek; Frantisek Plásil (J. Softw. Maintenance Res. Pract., 2005)

Dynamic Reconfiguration and Access to Services in Hierarchical Component Models. - Petr Hnetynka; Frantisek Plásil (CBSE, 2006)

SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model. - Tomás Bures; Petr Hnetynka; Frantisek Plásil (SERA, 2006)

Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. - Pavel Parízek; Frantisek Plásil; Jan Kofron (SEW, 2006)

Specification and Generation of Environment for Model Checking of Software Components. - Pavel Parízek; Frantisek Plásil (FESCA@ETAPS, 2006)

Modeling Environment for Component Model Checking from Hierarchical Architecture. - Pavel Parízek; Frantisek Plásil (FACS, 2006)

Slicing of Component Behavior Specification with Respect to Their Composition. - Ondrej Sery; Frantisek Plásil (CBSE, 2007)

CoCoME in Fractal. - 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 001 (CoCoME, 2007)

CoCoME in SOFA. - Tomás Bures; Martin Decký; Petr Hnetynka; Jan Kofron; Pavel Parízek; Frantisek Plásil; Tomás Poch; Ondrej Sery; Petr Tuma 001 (CoCoME, 2007)

CoCoTA - Common Component Task. - Raffaela Mirandola; Frantisek Plásil (CoCoME, 2007)

Introduction. - Andreas Rausch 001; Ralf H. Reussner; Raffaela Mirandola; Frantisek Plásil (CoCoME, 2007)

Partial Verification of Software Components: Heuristics for Environment Construction. - Pavel Parízek; Frantisek Plásil (EUROMICRO-SEAA, 2007)

Reducing Component Systems' Behavior Specification. - Viliam Holub; Frantisek Plásil (SCCC, 2007)

Runtime Support for Advanced Component Concepts. - Tomás Bures; Petr Hnetynka; Frantisek Plásil; Jan Klesnil; Ondrej Kmoch; Tomas Kohan; Pavel Kotrc (SERA, 2007)

Modeling of Component Environment in Presence of Callbacks and Autonomous Activities. - Pavel Parízek; Frantisek Plásil (TOOLS (46), 2008)

Extracting Behavior Specification of Components in Legacy Applications. - Tomás Poch; Frantisek Plásil (CBSE, 2009)

Modes in component behavior specification via EBP and their application in product lines. - Jan Kofron; Frantisek Plásil; Ondrej Sery (Inf. Softw. Technol., 2009)

Evolving SOA in the Q-ImPrESS Project. - Jan Kofron; Frantisek Plásil (WADT, 2010)

Assume-guarantee verification of software components in SOFA 2 framework. - Pavel Parízek; Frantisek Plásil (IET Softw., 2010)

Verifying Temporal Properties of Use-Cases in Natural Language. - Viliam Simko; David Hauzar; Tomás Bures; Petr Hnetynka; Frantisek Plásil (FACS, 2011)

Using meta-modeling in design and implementation of component-based systems: the SOFA case study. - Petr Hnetynka; Frantisek Plásil (Softw. Pract. Exp., 2011)

Property networks allowing oracle-based mode-change propagation in hierarchical components. - Tomás Pop; Frantisek Plásil; Matej Outly; Michal Malohlava; Tomás Bures (CBSE, 2012)

FOAM: A Lightweight Method for Verification of Use-Cases. - Viliam Simko; Petr Hnetynka; Tomás Bures; Frantisek Plásil (EUROMICRO-SEAA, 2012)

Towards Dependable Emergent Ensembles of Components: The DEECo Component Model. - Jaroslav Keznikl; Tomás Bures; Frantisek Plásil; Michal Kit (WICSA/ECSA, 2012)

DEECO: an ensemble-based component system. - Tomás Bures; Ilias Gerostathopoulos; Petr Hnetynka; Jaroslav Keznikl; Michal Kit; Frantisek Plásil (CBSE, 2013)

Design of ensemble-based component systems by invariant refinement. - Jaroslav Keznikl; Tomás Bures; Frantisek Plásil; Ilias Gerostathopoulos; Petr Hnetynka; Nicklas Hoch (CBSE, 2013)

Towards Verification of Ensemble-Based Component Systems. - Jiri Barnat; Nikola Benes; Tomás Bures; Ivana Cerná; Jaroslav Keznikl; Frantisek Plásil (FACS, 2013)

Software Components in Computer Assisted Living? - Frantisek Plásil; Tomás Bures (SOFSEM, 2013)

Threaded behavior protocols. - Tomás Poch; Ondrej Sery; Frantisek Plásil; Jan Kofron (Formal Aspects Comput., 2013)

Interoperable domain-specific languages families for code generation. - Michal Malohlava; Frantisek Plásil; Tomás Bures; Petr Hnetynka (Softw. Pract. Exp., 2013)

Strengthening architectures of smart CPS by modeling them as runtime product-lines. - Tomás Bures; Petr Hnetynka; Frantisek Plásil (CBSE, 2014)

Gossiping Components for Cyber-Physical Systems. - Tomás Bures; Ilias Gerostathopoulos; Petr Hnetynka; Jaroslav Keznikl; Michal Kit; Frantisek Plásil (ECSA, 2014)

Software Engineering for Software-Intensive Cyber-Physical Systems. - Ilias Gerostathopoulos; Jaroslav Keznikl; Tomás Bures; Michal Kit; Frantisek Plásil (GI-Jahrestagung, 2014)

DEECo: an ecosystem for cyber-physical systems. - Rima Al Ali; Tomás Bures; Ilias Gerostathopoulos; Petr Hnetynka; Jaroslav Keznikl; Michal Kit; Frantisek Plásil (ICSE Companion, 2014)

Architecture Adaptation Based on Belief Inaccuracy Estimation. - Rima Al Ali; Tomás Bures; Ilias Gerostathopoulos; Jaroslav Keznikl; Frantisek Plásil (WICSA, 2014)

Automated resolution of connector architectures using constraint solving (ARCAS method). - Jaroslav Keznikl; Tomás Bures; Frantisek Plásil; Petr Hnetynka (Softw. Syst. Model., 2014)

Formalization of Invariant Patterns for the Invariant Refinement Method. - Tomás Bures; Ilias Gerostathopoulos; Jaroslav Keznikl; Frantisek Plásil; Petr Tuma 001 (Software, Services, and Systems, 2015)

Employing Domain Knowledge for Optimizing Component Communication. - Michal Kit; Frantisek Plásil; Vladimír Matena; Tomás Bures; Ondrej Kovác (CBSE, 2015)

Towards Intelligent Ensembles. - Tomás Bures; Filip Krijt; Frantisek Plásil; Petr Hnetynka; Zbynek Jirácek (ECSA Workshops, 2015)

Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems. - Ilias Gerostathopoulos; Tomás Bures; Petr Hnetynka; Adam Hujecek; Frantisek Plásil; Dominik Skoda (ECSA, 2015)

An Architecture Framework for Experimentations with Self-Adaptive Cyber-physical Systems. - Michal Kit; Ilias Gerostathopoulos; Tomás Bures; Petr Hnetynka; Frantisek Plásil (SEAMS@ICSE, 2015)

Formal Verification of Annotated Textual Use-Cases. - Viliam Simko; David Hauzar; Petr Hnetynka; Tomás Bures; Frantisek Plásil (Comput. J., 2015)

The Invariant Refinement Method. - Tomás Bures; Ilias Gerostathopoulos; Petr Hnetynka; Jaroslav Keznikl; Michal Kit; Frantisek Plásil (The ASCENS Approach, 2015)

Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems. - Ilias Gerostathopoulos; Dominik Skoda; Frantisek Plásil; Tomás Bures; Alessia Knauss (ECSA, 2016)

Smart Coordination of Autonomic Component Ensembles in the Context of Ad-Hoc Communication. - Tomás Bures; Petr Hnetynka; Filip Krijt; Vladimír Matena; Frantisek Plásil (ISoLA (1), 2016)

Software Abstractions for Component Interaction in the Internet of Things. - Tomás Bures; Frantisek Plásil; Michal Kit; Petr Tuma 001; Nicklas Hoch (Computer, 2016)

Self-adaptation in software-intensive cyber-physical systems: From system goals to architecture configurations. - Ilias Gerostathopoulos; Tomás Bures; Petr Hnetynka; Jaroslav Keznikl; Michal Kit; Frantisek Plásil; Noël Plouzeau (J. Syst. Softw., 2016)

Automated Dynamic Formation of Component Ensembles - Taking Advantage of Component Cooperation Locality. - Filip Krijt; Zbynek Jirácek; Tomás Bures; Petr Hnetynka; Frantisek Plásil (MODELSWARD, 2017)

Strengthening Adaptation in Cyber-Physical Systems via Meta-Adaptation Strategies. - Ilias Gerostathopoulos; Tomás Bures; Petr Hnetynka; Adam Hujecek; Frantisek Plásil; Dominik Skoda (ACM Trans. Cyber Phys. Syst., 2017)

Dynamic Security Specification Through Autonomic Component Ensembles. - Rima Al Ali; Tomás Bures; Petr Hnetynka; Filip Krijt; Frantisek Plásil; Jirí Vinárek (ISoLA (3), 2018)

Tuning self-adaptation in cyber-physical systems through architectural homeostasis. - Ilias Gerostathopoulos; Dominik Skoda; Frantisek Plásil; Tomás Bures; Alessia Knauss (J. Syst. Softw., 2019)

Toward autonomically composable and context-dependent access control specification through ensembles. - Rima Al Ali; Tomás Bures; Petr Hnetynka; Jan Matejek; Frantisek Plásil; Jirí Vinárek (Int. J. Softw. Tools Technol. Transf., 2020)

A language and framework for dynamic component ensembles in smart systems. - Tomás Bures; Ilias Gerostathopoulos; Petr Hnetynka; Frantisek Plásil; Filip Krijt; Jirí Vinárek; Jan Kofron (Int. J. Softw. Tools Technol. Transf., 2020)

Automated Online Experiment-Driven Adaptation-Mechanics and Cost Aspects. - Ilias Gerostathopoulos; Frantisek Plásil; Christian Prehofer; Janek Thomas; Bernd Bischl (IEEE Access, 2021)

Targeting uncertainty in smart CPS by confidence-based logic. - Tomás Bures; Petr Hnetynka; Frantisek Plásil; Dominik Skoda; Jan Kofron; Rima Al Ali; Ilias Gerostathopoulos (J. Syst. Softw., 2021)

Introducing Estimators - Abstraction for Easy ML Employment in Self-adaptive Architectures. - Milad Abdullah; Michal Töpfer; Tomás Bures; Petr Hnetynka; Martin Krulis; Frantisek Plásil (ECSA (Tracks and Workshops), 2022)

Attuning Adaptation Rules via a Rule-Specific Neural Network. - Tomás Bures; Petr Hnetynka; Martin Krulis; Frantisek Plásil; Danylo Khalyeyev; Sebastian Hahner; Stephan Seifermann; Maximilian Walter; Robert Heinrich (ISoLA (3), 2022)

Online ML Self-adaptation in Face of Traps. - Michal Töpfer; Frantisek Plásil; Tomás Bures; Petr Hnetynka; Martin Krulis; Danny Weyns (ACSOS, 2023)

Generating adaptation rule-specific neural networks. - Tomás Bures; Petr Hnetynka; Martin Krulis; Frantisek Plásil; Danylo Khalyeyev; Sebastian Hahner; Stephan Seifermann; Maximilian Walter; Robert Heinrich (Int. J. Softw. Tools Technol. Transf., 2023)

How Well Do LLMs Understand DEECo Ensemble-Based Component Architectures. - Michal Töpfer; Danylo Khalyeyev; Tomás Bures; Petr Hnetynka; Frantisek Plásil (ISoLA (2), 2024)

Interpreting Workflow Architectures by LLMs. - Michal Töpfer; Tomás Bures; Frantisek Plásil; Petr Hnetynka (ENASE, 2025)