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
The common component modeling example
A Rausch, RH Reussner, R Mirandola, F Plasil
Springer, 2008
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, 14-28, 1998
Dynamic reconfiguration and access to services in hierarchical component models
P Hnětynka, F Plášil
Component-Based Software Engineering 4063, 352-359, 2006
Software connectors and their role in component deployment
D Bálek, F Plášil
New Developments in Distributed Applications and Interoperable Systems: IFIP …, 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
Software Engineering Research and Applications: First International …, 2004
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
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
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
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
Design of ensemble-based component systems by invariant refinement
J Keznikl, T Bures, F Plasil, I Gerostathopoulos, P Hnetynka, N Hoch
Proceedings of the 16th International ACM Sigsoft symposium on Component …, 2013
The system can't perform the operation now. Try again later.
Articles 1–20