Frantisek Plásil

According to our database, Frantisek Plásil authored at least 75 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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., December, 2023

Online ML Self-adaptation in Face of Traps.

Michal Töpfer, Frantisek Plásil, Tomás Bures, Petr Hnetynka, Martin Krulis, Danny Weyns

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

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

Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

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

Automated Online Experiment-Driven Adaptation-Mechanics and Cost Aspects.

Ilias Gerostathopoulos, Frantisek Plásil, Christian Prehofer, Janek Thomas, Bernd Bischl

IEEE Access, 2021

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

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

2019

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

2018

Dynamic Security Specification Through Autonomic Component Ensembles.

Rima Al Ali, Tomás Bures, Petr Hnetynka, Filip Krijt, Frantisek Plásil, Jirí Vinárek

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

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

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

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

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

Software Abstractions for Component Interaction in the Internet of Things.

Tomás Bures, Frantisek Plásil, Michal Kit, Petr Tuma, Nicklas Hoch

Computer, 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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems.

Ilias Gerostathopoulos, Dominik Skoda, Frantisek Plásil, Tomás Bures, Alessia Knauss

Proceedings of the Software Architecture - 10th European Conference, 2016

2015

The Invariant Refinement Method.

Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Formal Verification of Annotated Textual Use-Cases.

Viliam Simko, David Hauzar, Petr Hnetynka, Tomás Bures, Frantisek Plásil

Comput. J., 2015

An Architecture Framework for Experimentations with Self-Adaptive Cyber-physical Systems.

Michal Kit, Ilias Gerostathopoulos, Tomás Bures, Petr Hnetynka, Frantisek Plásil

Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems.

Ilias Gerostathopoulos, Tomás Bures, Petr Hnetynka, Adam Hujecek, Frantisek Plásil, Dominik Skoda

Proceedings of the Software Architecture - 9th European Conference, 2015

Towards Intelligent Ensembles.

Tomás Bures, Filip Krijt, Frantisek Plásil, Petr Hnetynka, Zbynek Jirácek

Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

Employing Domain Knowledge for Optimizing Component Communication.

Michal Kit, Frantisek Plásil, Vladimír Matena, Tomás Bures, Ondrej Kovac

Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

Formalization of Invariant Patterns for the Invariant Refinement Method.

Tomás Bures, Ilias Gerostathopoulos, Jaroslav Keznikl, Frantisek Plásil, Petr Tuma

Proceedings of the Software, 2015

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

Architecture Adaptation Based on Belief Inaccuracy Estimation.

Rima Al Ali, Tomás Bures, Ilias Gerostathopoulos, Jaroslav Keznikl, Frantisek Plásil

Proceedings of the 2014 IEEE/IFIP Conference on Software Architecture, 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

Proceedings of the 36th International Conference on Software Engineering, 2014

Software Engineering for Software-Intensive Cyber-Physical Systems.

Ilias Gerostathopoulos, Jaroslav Keznikl, Tomás Bures, Michal Kit, Frantisek Plásil

Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014

Gossiping Components for Cyber-Physical Systems.

Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil

Proceedings of the Software Architecture - 8th European Conference, 2014

Strengthening architectures of smart CPS by modeling them as runtime product-lines.

Tomás Bures, Petr Hnetynka, Frantisek Plásil

Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

2013

Interoperable domain-specific languages families for code generation.

Michal Malohlava, Frantisek Plásil, Tomás Bures, Petr Hnetynka

Softw. Pract. Exp., 2013

Threaded behavior protocols.

Tomás Poch, Ondrej Sery, Frantisek Plásil, Jan Kofron

Formal Aspects Comput., 2013

Software Components in Computer Assisted Living?

Frantisek Plásil, Tomás Bures

Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013

Towards Verification of Ensemble-Based Component Systems.

Jiri Barnat, Nikola Benes, Tomás Bures, Ivana Cerná, Jaroslav Keznikl, Frantisek Plásil

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Design of ensemble-based component systems by invariant refinement.

Jaroslav Keznikl, Tomás Bures, Frantisek Plásil, Ilias Gerostathopoulos, Petr Hnetynka, Nicklas Hoch

Proceedings of the CBSE'13, 2013

DEECO: an ensemble-based component system.

Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plásil

Proceedings of the CBSE'13, 2013

2012

Towards Dependable Emergent Ensembles of Components: The DEECo Component Model.

Jaroslav Keznikl, Tomás Bures, Frantisek Plásil, Michal Kit

Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012

FOAM: A Lightweight Method for Verification of Use-Cases.

Viliam Simko, Petr Hnetynka, Tomás Bures, Frantisek Plásil

Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012

Property networks allowing oracle-based mode-change propagation in hierarchical components.

Tomás Pop, Frantisek Plásil, Matej Outly, Michal Malohlava, Tomás Bures

Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012

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

Verifying Temporal Properties of Use-Cases in Natural Language.

Viliam Simko, David Hauzar, Tomás Bures, Petr Hnetynka, Frantisek Plásil

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

2010

Assume-guarantee verification of software components in SOFA 2 framework.

Pavel Parízek, Frantisek Plásil

IET Softw., 2010

Evolving SOA in the Q-ImPrESS Project.

Jan Kofron, Frantisek Plásil

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

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

Extracting Behavior Specification of Components in Legacy Applications.

Tomás Poch, Frantisek Plásil

Proceedings of the Component-Based Software Engineering, 12th International Symposium, 2009

2008

Modeling of Component Environment in Presence of Callbacks and Autonomous Activities.

Pavel Parízek, Frantisek Plásil

Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

2007

Runtime Support for Advanced Component Concepts.

Tomás Bures, Petr Hnetynka, Frantisek Plásil, Jan Klesnil, Ondrej Kmoch, Tomas Kohan, Pavel Kotrc

Proceedings of the 5th ACIS International Conference on Software Engineering Research, 2007

Reducing Component Systems' Behavior Specification.

Viliam Holub, Frantisek Plásil

Proceedings of the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), 2007

Partial Verification of Software Components: Heuristics for Environment Construction.

Pavel Parízek, Frantisek Plásil

Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), 2007

Introduction.

Andreas Rausch, Ralf H. Reussner, Raffaela Mirandola, Frantisek Plásil

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

CoCoTA - Common Component Task.

Raffaela Mirandola, Frantisek Plásil

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for 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

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 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

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

Slicing of Component Behavior Specification with Respect to Their Composition.

Ondrej Sery, Frantisek Plásil

Proceedings of the Component-Based Software Engineering, 10th International Symposium, 2007

2006

Modeling Environment for Component Model Checking from Hierarchical Architecture.

Pavel Parízek, Frantisek Plásil

Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006

Specification and Generation of Environment for Model Checking of Software Components.

Pavel Parízek, Frantisek Plásil

Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2006

Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker.

Pavel Parízek, Frantisek Plásil, Jan Kofron

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model.

Tomás Bures, Petr Hnetynka, Frantisek Plásil

Proceedings of the Fourth International Conference on Software Engineering, 2006

Dynamic Reconfiguration and Access to Services in Hierarchical Component Models.

Petr Hnetynka, Frantisek Plásil

Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

2005

Component composition errors and update atomicity: static analysis.

Jirí Adámek, Frantisek Plásil

J. Softw. Maintenance Res. Pract., 2005

Model Checking of Component Behavior Specification: A Real Life Experience.

Pavel Jezek, Jan Kofron, Frantisek Plásil

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective.

Vladimir Mencl, Frantisek Plásil, Jirí Adámek

Proceedings of the IASTED International Conference on Software Engineering, 2005

2004

Addressing State Explosion in Behavior Protocol Verification.

Martin Mach, Frantisek Plásil

Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 2004

Erroneous architecture is a relative concept.

Jirí Adámek, Frantisek Plásil

Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

Exceptions in Component Interaction Protocols - Necessity.

Frantisek Plásil, Viliam Holub

Proceedings of the Architecting Systems with Trustworthy Components, 2004

Partial Bindings of Components - Any Harm?.

Jirí Adámek, Frantisek Plásil

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003

Getting 'whole Picture' Behavior in a Use Case Model.

Frantisek Plásil, Vladimir Mencl

Trans. SDPS, 2003

2002

Behavior Protocols for Software Components.

Frantisek Plásil, Stanislav Visnovsky

IEEE Trans. Software Eng., 2002

2001

Software Connectors and their Role in Component Deployment.

Dusan Bálek, Frantisek Plásil

Proceedings of the New Developments in Distributed Applications and Interoperable Systems, 2001

1999

Bounding Component Behavior via Protocols.

Frantisek Plásil, Milos Besta, Stanislav Visnovsky

Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

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

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

SOFA/DCUP: architecture for component trading and dynamic updating.

Frantisek Plásil, Dusan Bálek, Radovan Janecek

Proceedings of the Fourth International Conference on Configurable Distributed Systems, 1998

1997

Inheriting Synchronization Protocols via Sound Enrichment Rules.

Frantisek Plásil, Daniel Mikusík

Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 1997

1996

CORBA and Object Services.

Jan Kleindienst, Frantisek Plásil, Petr Tuma

Proceedings of the SOFSEM '96: Theory and Practice of Informatics, 1996

Lessons Learned from Implementing the CORBA Persistent Object Service.

Jan Kleindienst, Frantisek Plásil, Petr Tuma

Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996