Frantisek Plasil

Publication Activity (10 Years)

Years Active: 1996-2021
Publications (10 Years): 12

Top Topics

Adaptation Strategies

Domain Knowledge

Manually Constructed

Top Venues

J. Syst. Softw.

Int. J. Softw. Tools Technol. Transf.

Publications

Ilias Gerostathopoulos, Frantisek Plasil, Christian Prehofer, Janek Thomas, Bernd Bischl
Automated Online Experiment-Driven Adaptation-Mechanics and Cost Aspects. IEEE Access 9 (2021)
Tomás Bures, Petr Hnetynka, Frantisek Plasil, Dominik Skoda, Jan Kofron, Rima Al Ali, Ilias Gerostathopoulos
Targeting uncertainty in smart CPS by confidence-based logic. J. Syst. Softw. 181 (2021)
Rima Al Ali, Tomás Bures, Petr Hnetynka, Jan Matejek, Frantisek Plasil, Jirí Vinárek
Toward autonomically composable and context-dependent access control specification through ensembles. Int. J. Softw. Tools Technol. Transf. 22 (4) (2020)
Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Frantisek Plasil, 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) (2020)
Ilias Gerostathopoulos, Dominik Skoda, Frantisek Plasil, Tomás Bures, Alessia Knauss
Tuning self-adaptation in cyber-physical systems through architectural homeostasis. J. Syst. Softw. 148 (2019)
Rima Al Ali, Tomás Bures, Petr Hnetynka, Filip Krijt, Frantisek Plasil, Jirí Vinárek
Dynamic Security Specification Through Autonomic Component Ensembles. ISoLA (3) (2018)
Filip Krijt, Zbynek Jirácek, Tomás Bures, Petr Hnetynka, Frantisek Plasil
Automated Dynamic Formation of Component Ensembles - Taking Advantage of Component Cooperation Locality. MODELSWARD (2017)
Ilias Gerostathopoulos, Tomás Bures, Petr Hnetynka, Adam Hujecek, Frantisek Plasil, Dominik Skoda
Strengthening Adaptation in Cyber-Physical Systems via Meta-Adaptation Strategies. ACM Trans. Cyber Phys. Syst. 1 (3) (2017)
Ilias Gerostathopoulos, Tomás Bures, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plasil, Noël Plouzeau
Self-adaptation in software-intensive cyber-physical systems: From system goals to architecture configurations. J. Syst. Softw. 122 (2016)
Tomás Bures, Petr Hnetynka, Filip Krijt, Vladimír Matena, Frantisek Plasil
Smart Coordination of Autonomic Component Ensembles in the Context of Ad-Hoc Communication. ISoLA (1) (2016)
Tomás Bures, Frantisek Plasil, Michal Kit, Petr Tuma, Nicklas Hoch
Software Abstractions for Component Interaction in the Internet of Things. Computer 49 (12) (2016)
Ilias Gerostathopoulos, Dominik Skoda, Frantisek Plasil, Tomás Bures, Alessia Knauss
Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems. ECSA (2016)
Tomás Bures, Ilias Gerostathopoulos, Jaroslav Keznikl, Frantisek Plasil, Petr Tuma
Formalization of Invariant Patterns for the Invariant Refinement Method. Software, Services, and Systems (2015)
Michal Kit, Frantisek Plasil, Vladimír Matena, Tomás Bures, Ondrej Kovac
Employing Domain Knowledge for Optimizing Component Communication. CBSE (2015)
Viliam Simko, David Hauzar, Petr Hnetynka, Tomás Bures, Frantisek Plasil
Formal Verification of Annotated Textual Use-Cases. Comput. J. 58 (7) (2015)
Michal Kit, Ilias Gerostathopoulos, Tomás Bures, Petr Hnetynka, Frantisek Plasil
An Architecture Framework for Experimentations with Self-Adaptive Cyber-physical Systems. SEAMS@ICSE (2015)
Ilias Gerostathopoulos, Tomás Bures, Petr Hnetynka, Adam Hujecek, Frantisek Plasil, Dominik Skoda
Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems. ECSA (2015)
Tomás Bures, Filip Krijt, Frantisek Plasil, Petr Hnetynka, Zbynek Jirácek
Towards Intelligent Ensembles. ECSA Workshops (2015)
Tomás Bures, Petr Hnetynka, Frantisek Plasil
Strengthening architectures of smart CPS by modeling them as runtime product-lines. CBSE (2014)
Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plasil
Gossiping Components for Cyber-Physical Systems. ECSA (2014)
Ilias Gerostathopoulos, Jaroslav Keznikl, Tomás Bures, Michal Kit, Frantisek Plasil
Software Engineering for Software-Intensive Cyber-Physical Systems. GI-Jahrestagung (2014)
Jaroslav Keznikl, Tomás Bures, Frantisek Plasil, Petr Hnetynka
Automated resolution of connector architectures using constraint solving (ARCAS method). Softw. Syst. Model. 13 (2) (2014)
Rima Al Ali, Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plasil
DEECo: an ecosystem for cyber-physical systems. ICSE Companion (2014)
Rima Al Ali, Tomás Bures, Ilias Gerostathopoulos, Jaroslav Keznikl, Frantisek Plasil
Architecture Adaptation Based on Belief Inaccuracy Estimation. WICSA (2014)
Jiri Barnat, Nikola Benes, Tomás Bures, Ivana Cerná, Jaroslav Keznikl, Frantisek Plasil
Towards Verification of Ensemble-Based Component Systems. FACS (2013)
Jaroslav Keznikl, Tomás Bures, Frantisek Plasil, Ilias Gerostathopoulos, Petr Hnetynka, Nicklas Hoch
Design of ensemble-based component systems by invariant refinement. CBSE (2013)
Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plasil
DEECO: an ensemble-based component system. CBSE (2013)
Frantisek Plasil, Tomás Bures
Software Components in Computer Assisted Living? SOFSEM (2013)
Michal Malohlava, Frantisek Plasil, Tomás Bures, Petr Hnetynka
Interoperable domain-specific languages families for code generation. Softw. Pract. Exp. 43 (5) (2013)
Tomás Poch, Ondrej Sery, Frantisek Plasil, Jan Kofron
Threaded behavior protocols. Formal Aspects Comput. 25 (4) (2013)
Tomás Pop, Frantisek Plasil, Matej Outly, Michal Malohlava, Tomás Bures
Property networks allowing oracle-based mode-change propagation in hierarchical components. CBSE (2012)
Viliam Simko, Petr Hnetynka, Tomás Bures, Frantisek Plasil
FOAM: A Lightweight Method for Verification of Use-Cases. EUROMICRO-SEAA (2012)
Jaroslav Keznikl, Tomás Bures, Frantisek Plasil, Michal Kit
Towards Dependable Emergent Ensembles of Components: The DEECo Component Model. WICSA/ECSA (2012)
Viliam Simko, David Hauzar, Tomás Bures, Petr Hnetynka, Frantisek Plasil
Verifying Temporal Properties of Use-Cases in Natural Language. FACS (2011)
Petr Hnetynka, Frantisek Plasil
Using meta-modeling in design and implementation of component-based systems: the SOFA case study. Softw. Pract. Exp. 41 (11) (2011)
Jan Kofron, Frantisek Plasil
Evolving SOA in the Q-ImPrESS Project. WADT (2010)
Pavel Parízek, Frantisek Plasil
Assume-guarantee verification of software components in SOFA 2 framework. IET Softw. 4 (3) (2010)
Tomás Poch, Frantisek Plasil
Extracting Behavior Specification of Components in Legacy Applications. CBSE (2009)
Jan Kofron, Frantisek Plasil, Ondrej Sery
Modes in component behavior specification via EBP and their application in product lines. Inf. Softw. Technol. 51 (1) (2009)
Pavel Parízek, Frantisek Plasil
Modeling of Component Environment in Presence of Callbacks and Autonomous Activities. TOOLS (46) (2008)
Tomás Bures, Petr Hnetynka, Frantisek Plasil, Jan Klesnil, Ondrej Kmoch, Tomas Kohan, Pavel Kotrc
Runtime Support for Advanced Component Concepts. SERA (2007)
Raffaela Mirandola, Frantisek Plasil
CoCoTA - Common Component Task. CoCoME (2007)
Viliam Holub, Frantisek Plasil
Reducing Component Systems' Behavior Specification. SCCC (2007)
Lubomír Bulej, Tomás Bures, Thierry Coupaye, Martin Decký, Pavel Jezek, Pavel Parízek, Frantisek Plasil, Tomás Poch, Nicolas Rivierre, Ondrej Sery, Petr Tuma
CoCoME in Fractal. CoCoME (2007)
Pavel Parízek, Frantisek Plasil
Specification and Generation of Environment for Model Checking of Software Components. Electron. Notes Theor. Comput. Sci. 176 (2) (2007)
Tomás Bures, Martin Decký, Petr Hnetynka, Jan Kofron, Pavel Parízek, Frantisek Plasil, Tomás Poch, Ondrej Sery, Petr Tuma
CoCoME in SOFA. CoCoME (2007)
Pavel Parízek, Frantisek Plasil
Modeling Environment for Component Model Checking from Hierarchical Architecture. Electron. Notes Theor. Comput. Sci. 182 (2007)
Ondrej Sery, Frantisek Plasil
Slicing of Component Behavior Specification with Respect to Their Composition. CBSE (2007)
Andreas Rausch, Ralf H. Reussner, Raffaela Mirandola, Frantisek Plasil
Introduction. CoCoME (2007)
Pavel Parízek, Frantisek Plasil
Partial Verification of Software Components: Heuristics for Environment Construction. EUROMICRO-SEAA (2007)
Pavel Parízek, Frantisek Plasil, Jan Kofron
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. SEW (2006)
Petr Hnetynka, Frantisek Plasil
Dynamic Reconfiguration and Access to Services in Hierarchical Component Models. CBSE (2006)
Pavel Jezek, Jan Kofron, Frantisek Plasil
Model Checking of Component Behavior Specification: A Real Life Experience. Electron. Notes Theor. Comput. Sci. 160 (2006)
Tomás Bures, Petr Hnetynka, Frantisek Plasil
SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model. SERA (2006)
Jirí Adámek, Frantisek Plasil
Component composition errors and update atomicity: static analysis. J. Softw. Maintenance Res. Pract. 17 (5) (2005)
Vladimir Mencl, Frantisek Plasil, Jirí Adámek
Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective. IASTED Conf. on Software Engineering (2005)
Jirí Adámek, Frantisek Plasil
Partial Bindings of Components - Any Harm?. APSEC (2004)
Martin Mach, Frantisek Plasil
Addressing State Explosion in Behavior Protocol Verification. SNPD (2004)
Frantisek Plasil, Viliam Holub
Exceptions in Component Interaction Protocols - Necessity. Architecting Systems with Trustworthy Components (2004)
Jirí Adámek, Frantisek Plasil
Erroneous architecture is a relative concept. IASTED Conf. on Software Engineering and Applications (2004)
Frantisek Plasil, Vladimir Mencl
Getting 'whole Picture' Behavior in a Use Case Model. Trans. SDPS 7 (4) (2003)
Frantisek Plasil, Stanislav Visnovsky
Behavior Protocols for Software Components. IEEE Trans. Software Eng. 28 (11) (2002)
Dusan Bálek, Frantisek Plasil
Software Connectors and their Role in Component Deployment. DAIS (2001)
Frantisek Plasil, Milos Besta, Stanislav Visnovsky
Bounding Component Behavior via Protocols. TOOLS (30) (1999)
Manfred Broy, Anton Deimel, Juergen Henn, Kai Koskimies, Frantisek Plasil, Gustav Pomberger, Wolfgang Pree, Michael Stal, Clemens A. Szyperski
What characterizes a (software) component? Softw. Concepts Tools 19 (1) (1998)
Frantisek Plasil, Dusan Bálek, Radovan Janecek
SOFA/DCUP: architecture for component trading and dynamic updating. CDS (1998)
Frantisek Plasil, Michael Stal
An architectural view of distributed objects and components in CORBA, Java RMI and COM/DCOM. Softw. Concepts Tools 19 (1) (1998)
Frantisek Plasil, Daniel Mikusík
Inheriting Synchronization Protocols via Sound Enrichment Rules. JMLC (1997)
Jan Kleindienst, Frantisek Plasil, Petr Tuma
CORBA and Object Services. SOFSEM (1996)
Jan Kleindienst, Frantisek Plasil, Petr Tuma
Lessons Learned from Implementing the CORBA Persistent Object Service. OOPSLA (1996)