Frantisek Plasil

发表

Design of ensemble-based component systems by invariant refinement

Ilias Gerostathopoulos, Petr Hnetynka, Tomás Bures, 2013, CBSE '13.

SOFA/DCUP: architecture for component trading and dynamic updating

Frantisek Plasil, Dusan Bálek, Radovan Janecek, 1998, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159).

Software Abstractions for Component Interaction in the Internet of Things

Petr Tuma, Michal Kit, Tomás Bures, 2016, Computer.

Slicing of Component Behavior Specification with Respect to Their Composition

Frantisek Plasil, Ondrej Sery, 2007, CBSE.

Strengthening Adaptation in Cyber-Physical Systems via Meta-Adaptation Strategies

Ilias Gerostathopoulos, Petr Hnetynka, Tomás Bures, 2017, ACM Trans. Cyber Phys. Syst..

Behavior Protocols for Software Components

Frantisek Plasil, Stanislav Visnovsky, F. Plášil, 2002, IEEE Trans. Software Eng..

Enhancing component specification by behavior description: the SOFA experience

Frantisek Plasil, 2005 .

DCUP: Dynamic Component Updating in Java/CORBA Environment

Frantisek Plasil, Dušan Bálek, Radovan Janeček, 2004 .

Specifying Components with Use Cases: Analyzing Support for Behavior Assembly and Composition in UML 2.0

Frantisek Plasil, Vladimir Mencl, Jiri Adamek, 2004 .

Preface: proceedings of the 13th International Symposium on Component-Based Software Engineering (CBSE 2010), Prague, Czech Republic, 23-25 June 2010

Lars Grunske, Ralf Reussner, Ralf H. Reussner, 2010 .

Component-Based Software Engineering, 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings

Lars Grunske, Ralf Reussner, Frantisek Plasil, 2010, CBSE.

Towards Intelligent Ensembles

Petr Hnetynka, Filip Krijt, Tomás Bures, 2015, ECSA Workshops.

Gossiping Components for Cyber-Physical Systems

Ilias Gerostathopoulos, Petr Hnetynka, Michal Kit, 2014, ECSA.

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

Tomás Bures, Frantisek Plasil, Michal Malohlava, 2012, CBSE '12.

Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science

Giuseppe F. Italiano, Harald Sack, Frantisek Plasil, 2007 .

Composing Connectors of Elements

Tomas Bures, Frantisek Plasil, 2004 .

Self-adaptation in software-intensive cyber-physical systems: From system goals to architecture configurations

Noël Plouzeau, Ilias Gerostathopoulos, Petr Hnetynka, 2016, J. Syst. Softw..

Experience with MOF-Based Meta-modeling of Component-Based Systems

Frantisek Plasil, Petr Hnetynka, 2008 .

Proceedings of the 6th international conference on Quality of Software Architectures: research into Practice - Reality and Gaps

Jan Kofron, Frantisek Plasil, George T. Heineman, 2010 .

Quality of Software Architectures. Models and Architectures

Steffen Becker, Ralf Reussner, Ralf H. Reussner, 2008, Lecture Notes in Computer Science.

What We Are Missing in the CORBA Persistent Object Service Specification

Jan Kleindienst, Frantisek Plasil, Petr Tůma, 2004 .

Getting 'whole Picture' Behavior in a Use Case Model

Frantisek Plasil, Vladimir Mencl, F. Plášil, 2003, Trans. SDPS.

An architectural view of distributed objects and components in CORBA, Java RMI and COM/DCOM

Michael Stal, Frantisek Plasil, 1998, Softw. Concepts Tools.

Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker

Jan Kofron, Frantisek Plasil, Pavel Parizek, 2006 .

SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model

Petr Hnetynka, Tomás Bures, Frantisek Plasil, 2006, Fourth International Conference on Software Engineering Research, Management and Applications (SERA'06).

Specification and Generation of Environment for Model Checking of Software Components

Frantisek Plasil, Pavel Parízek, 2007, Electron. Notes Theor. Comput. Sci..

Static Checking for Missing Bindings of Components

Frantisek Plasil, Jiri Adamek, 2004 .

Employing multiple inheritance in the OBJIX microkernel

Frantisek Plasil, F. Plášil, 1993, Proceedings Third International Workshop on Object Orientation in Operating Systems.

BEHAVIOR PROTOCOLS: TOLERATING FAULTY ARCHITECTURES AND SUPPORTING DYNAMIC UPDATES

Frantisek Plasil, Jiri Adamek, 2002 .

The Invariant Refinement Method

Ilias Gerostathopoulos, Petr Hnetynka, Michal Kit, 2015, The ASCENS Approach.

Dynamic Security Specification Through Autonomic Component Ensembles

Petr Hnetynka, Filip Krijt, Tomás Bures, 2018, ISoLA.

Interoperable domain‐specific languages families for code generation

Petr Hnetynka, Tomás Bures, Frantisek Plasil, 2013, Softw. Pract. Exp..

Modeling of Component Environment in Presence of Callbacks and Autonomous Activities

Frantisek Plasil, Pavel Parízek, 2008, TOOLS.

Formal Verification of Annotated Textual Use-Cases

Petr Hnetynka, Tomás Bures, Frantisek Plasil, 2015, Comput. J..

Automated Dynamic Formation of Component Ensembles - Taking Advantage of Component Cooperation Locality

Petr Hnetynka, Filip Krijt, Tomás Bures, 2017, MODELSWARD.

Formal Verification of Annotated Use-Cases

Tomas Bures, Petr Hnetynka, Frantisek Plasil, 2012 .

CoCoTA - Common Component Task

Raffaela Mirandola, Frantisek Plasil, R. Mirandola, 2007, CoCoME.

Component composition errors and update atomicity: static analysis

Jirí Adámek, Frantisek Plasil, 2005, J. Softw. Maintenance Res. Pract..

Verifying Temporal Properties of Use-Cases in Natural Language

Petr Hnetynka, Tomás Bures, Frantisek Plasil, 2011, FACS.

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

Ilias Gerostathopoulos, Alessia Knauss, Tomás Bures, 2016, ECSA.

FOAM: A Lightweight Method for Verification of Use-Cases

Petr Hnetynka, Tomás Bures, Frantisek Plasil, 2012, 2012 38th Euromicro Conference on Software Engineering and Advanced Applications.

Addressing State Explosion in Behavior Protocol Verification

Martin Mach, Frantisek Plasil, F. Plášil, 2004, SNPD.

Communication Style Driven Connector Configurations

Tomas Bures, Frantisek Plasil, 2003, ICSE 2003.

CoCoME in SOFA

Petr Tuma, Martin Decký, Petr Hnetynka, 2007, CoCoME.

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

Ilias Gerostathopoulos, Petr Hnetynka, Michal Kit, 2015, 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.

Tuning self-adaptation in cyber-physical systems through architectural homeostasis

Ilias Gerostathopoulos, Alessia Knauss, Tomás Bures, 2019, J. Syst. Softw..

Modes in component behavior specification via EBP and their application in product lines

Jan Kofron, Frantisek Plasil, Ondrej Sery, 2009, Inf. Softw. Technol..

Software Components in Computer Assisted Living?

Tomás Bures, Frantisek Plasil, 2013, SOFSEM.

DEECo: an ecosystem for cyber-physical systems

Ilias Gerostathopoulos, Petr Hnetynka, Michal Kit, 2014, ICSE Companion.

CoCoME in Fractal

Petr Tuma, Martin Decký, Thierry Coupaye, 2007, CoCoME.

Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective

Jirí Adámek, Frantisek Plasil, Vladimir Mencl, 2005, IASTED Conf. on Software Engineering.

FESCA 2006 Third International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures

Sabine Glesner, Ralf Reussner, Ralf H. Reussner, 2006 .

Employing domain knowledge for optimizing component communication

Michal Kit, Vladimír Matena, Tomás Bures, 2015, 2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE).

Software Engineering for Software-Intensive Cyber-Physical Systems

Ilias Gerostathopoulos, Michal Kit, Tomás Bures, 2014, GI-Jahrestagung.

Inheriting Synchronization Protocols via Sound Enrichment Rules

Frantisek Plasil, Daniel Mikusík, F. Plášil, 1997, JMLC.

Architecture Adaptation Based on Belief Inaccuracy Estimation

Ilias Gerostathopoulos, Tomás Bures, Jaroslav Keznikl, 2014, 2014 IEEE/IFIP Conference on Software Architecture.

Partial Verification of Software Components: Heuristics for Environment Construction

Frantisek Plasil, Pavel Parízek, 2007, 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO 2007).

Modeling Environment for Component Model Checking from Hierarchical Architecture

Frantisek Plasil, Pavel Parízek, 2007, Electron. Notes Theor. Comput. Sci..

Parallel Computers: Theory and Practice

Pavel Tvrdík, Thomas L. Casavant, Frantisek Plasil, 1997 .

Proceedings of the 13th international conference on Component-Based Software Engineering

Lars Grunske, Ralf Reussner, Ralf H. Reussner, 2010 .

Exceptions in Component Interaction Protocols - Necessity

Frantisek Plasil, Viliam Holub, F. Plášil, 2004, Architecting Systems with Trustworthy Components.

Software Connectors: A Hierarchical Model

Frantisek Plasil, Dušan Bálek, 2004 .

Erroneous architecture is a relative concept

Jirí Adámek, Frantisek Plasil, 2004, IASTED Conf. on Software Engineering and Applications.

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

Jan Kofron, Frantisek Plasil, Pavel Parízek, 2006, 2006 30th Annual IEEE/NASA Software Engineering Workshop.

SOFSEM 2002: Theory and Practice of Informatics

William I. Grosky, Frantisek Plasil, W. Grosky, 2002, Lecture Notes in Computer Science.

Dynamic Reconfiguration and Access to Services in Hierarchical Component Models

Petr Hnetynka, Frantisek Plasil, F. Plášil, 2006, CBSE.

Reducing Component Systems' Behavior Specification

Frantisek Plasil, Viliam Holub, F. Plášil, 2007, XXVI International Conference of the Chilean Society of Computer Science (SCCC'07).

Transaction Models vers. Behavior Protocols

Frantisek Plasil, Marek Prochazka, 2004 .

Bounding component behavior via protocols

Frantisek Plasil, Milos Besta, Stanislav Visnovsky, 1999, Proceedings of Technology of Object-Oriented Languages and Systems - TOOLS 30 (Cat. No.PR00278).

Adaptation in Cyber-Physical Systems : from System Goals to Architecture Configurations

Noël Plouzeau, Tomas Bures, Ilias Gerostathopoulos, 2014 .

DEECO: an ensemble-based component system

Ilias Gerostathopoulos, Petr Hnetynka, Michal Kit, 2013, CBSE '13.

Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures

Steffen Becker, Ralf H. Reussner, Frantisek Plasil, 2008 .

Runtime Support for Advanced Component Concepts

Petr Hnetynka, Tomás Bures, Frantisek Plasil, 2007, 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007).

Smart Coordination of Autonomic Component Ensembles in the Context of Ad-Hoc Communication

Petr Hnetynka, Filip Krijt, Vladimír Matena, 2016, ISoLA.

Towards Dependable Emergent Ensembles of Components: The DEECo Component Model

Michal Kit, Tomás Bures, Jaroslav Keznikl, 2012, 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture.

Formalization of Invariant Patterns for the Invariant Refinement Method

Petr Tuma, Ilias Gerostathopoulos, Tomás Bures, 2015, Software, Services, and Systems.

Research Into Practice - Reality and Gaps

Jan Kofron, Frantisek Plasil, George T. Heineman, 2011 .

Software Connectors and their Role in Component Deployment

Frantisek Plasil, Dusan Bálek, 2001, DAIS.

Behavior Protocols Capturing Errors and Updates

Frantisek Plasil, Jiri Adamek, 2004 .

Towards Verification of Ensemble-Based Component Systems

Ivana Cerná, Jiri Barnat, Tomás Bures, 2013, FACS.

Model Checking of Component Behavior Specification: A Real Life Experience

Jan Kofron, Frantisek Plasil, Pavel Jezek, 2006, Electron. Notes Theor. Comput. Sci..