Frantisek Plasil
Frantisek Plasil
Verified email at d3s.mff.cuni.cz
Title
Cited by
Cited by
Year
Behavior protocols for software components
F Plasil, S Visnovsky
IEEE transactions on Software Engineering 28 (11), 1056-1076, 2002
5562002
SOFA/DCUP: Architecture for component trading and dynamic updating
F Plasil, D Balek, R Janecek
Proceedings. Fourth International Conference on Configurable Distributed …, 1998
4171998
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
3552006
The common component modeling example
A Rausch, R Reussner, R Mirandola, F Plasil
Lecture notes in computer science 5153, 96, 2008
161*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
1541998
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
1172013
CoCoME-the common component modeling example
S Herold, H Klus, Y Welsch, C Deiters, A Rausch, R Reussner, ...
The Common Component Modeling Example, 16-53, 2008
1172008
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
1001998
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
962006
Software connectors and their role in component deployment
D Bálek, F Plášil
IFIP International Conference on Distributed Applications and Interoperable …, 2001
952001
Bounding component behavior via protocols
F Plasil, S Visnovsky, M Besta
Proceedings of Technology of Object-Oriented Languages and Systems-TOOLS 30 …, 1999
781999
Component composition errors and update atomicity: Static analysis
J Adamek, F Plasil
Journal of Software Maintenance and Evolution: Research and Practice 17 (5 …, 2005
772005
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
532005
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
492006
Communication style driven connector configurations
T Bures, F Plasil
International Conference on Software Engineering Research and Applications …, 2003
422003
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
412016
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
402012
Generating Connectors for Homogenous and Heterogenous Deployment
T Bureš
Univerzita Karlova, Matematicko-fyzikální fakulta, 2006
382006
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
372003
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
362008
The system can't perform the operation now. Try again later.
Articles 1–20