Frantisek Plasil
Frantisek Plasil
Verified email at
Cited by
Cited by
Behavior protocols for software components
F Plasil, S Visnovsky
IEEE transactions on Software Engineering 28 (11), 1056-1076, 2002
SOFA/DCUP: Architecture for component trading and dynamic updating
F Plásil, D Balek, R Janecek
Proceedings. Fourth International Conference on Configurable Distributed …, 1998
Sofa 2.0: Balancing advanced features in a hierarchical component model
T Bures, P Hnetynka, F Plasil
Fourth International Conference on Software Engineering Research, Management …, 2006
What characterizes a (software) component?
M Broy, A Deimel, J Henn, K Koskimies, F Plášil, G Pomberger, W Pree, ...
Software-Concepts & Tools 19, 49-56, 1998
DEECO: an ensemble-based component system
T Bures, I Gerostathopoulos, P Hnetynka, J Keznikl, M Kit, F Plasil
Proceedings of the 16th International ACM Sigsoft symposium on Component …, 2013
The common component modeling example
A Rausch, RH Reussner, R Mirandola, F Plasil
Springer, 2008
An architectural view of distributed objects and components in CORBA, Java RMI and COM/DCOM
F Plášil, M Stal
Software-Concepts & Tools 19, 14-28, 1998
Dynamic reconfiguration and access to services in hierarchical component models
P Hnětynka, F Plášil
International Symposium on Component-Based Software Engineering, 352-359, 2006
Software connectors and their role in component deployment
D Bálek, F Plášil
IFIP International Conference on Distributed Applications and Interoperable …, 2001
Bounding component behavior via protocols
F Plásil, S Visnovsky, M Besta
Proceedings of Technology of Object-Oriented Languages and Systems-TOOLS 30 …, 1999
Component composition errors and update atomicity: Static analysis
J Adamek, F Plasil
Journal of Software Maintenance and Evolution: Research and Practice 17 (5 …, 2005
Self-adaptation in software-intensive cyber–physical systems: From system goals to architecture configurations
I Gerostathopoulos, T Bures, P Hnetynka, J Keznikl, M Kit, F Plasil, ...
Journal of Systems and Software 122, 378-397, 2016
Model checking of software components: Combining java pathfinder and behavior protocol model checker
P Parizek, F Plasil, J Kofron
2006 30th Annual IEEE/NASA Software Engineering Workshop, 133-141, 2006
An architecture framework for experimentations with self-adaptive cyber-physical systems
M Kit, I Gerostathopoulos, T Bures, P Hnetynka, F Plasil
2015 IEEE/ACM 10th International Symposium on Software Engineering for …, 2015
Behavior protocol verification: Fighting state explosion
M Mach, F Plásil, J Kofron
International Journal of Computer and Information Science 6 (1), 22-30, 2005
Communication style driven connector configurations
T Bures, F Plasil
International Conference on Software Engineering Research and Applications …, 2003
Towards dependable emergent ensembles of components: the DEECo component model
J Keznikl, T Bureš, F Plášil, M Kit
2012 Joint Working IEEE/IFIP Conference on Software Architecture and …, 2012
Cocome in fractal
L Bulej, T Bureš, T Coupaye, M Děcký, P Ježek, P Parizek, F Plášil, ...
The Common Component Modeling Example: Comparing Software Component Models …, 2008
Software abstractions for component interaction in the internet of things
T Bures, F Plasil, M Kit, P Tuma, N Hoch
Computer 49 (12), 50-59, 2016
Architectural homeostasis in self-adaptive software-intensive cyber-physical systems
I Gerostathopoulos, D Skoda, F Plasil, T Bures, A Knauss
Software Architecture: 10th European Conference, ECSA 2016, Copenhagen …, 2016
The system can't perform the operation now. Try again later.
Articles 1–20