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 Plasil, 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
The common component modeling example
A Rausch, R Reussner, R Mirandola, F Plasil
Lecture notes in computer science 5153, 96, 2008
What characterizes a (software) component?
M Broy, A Deimel, J Henn, K Koskimies, F Plášil, G Pomberger, W Pree, ...
Software-Concepts & Tools 19 (1), 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
An architectural view of distributed objects and components in CORBA, Java RMI and COM/DCOM
F Plášil, M Stal
Software-Concepts & Tools 19 (1), 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 Plasil, 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
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, 357-387, 2008
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
Model checking of component behavior specification: A real life experience
P Jezek, J Kofron, F Plasil
Electronic Notes in Theoretical Computer Science 160, 197-210, 2006
Getting'Whole picture'behavior in a use case model
F Plasil, V Mencl
Journal of Integrated Design and Process Science 7 (4), 63-79, 2003
The system can't perform the operation now. Try again later.
Articles 1–20