Behavior protocols for software components F Plasil, S Visnovsky IEEE transactions on Software Engineering 28 (11), 1056-1076, 2002 | 572 | 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 | 422 | 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 | 360 | 2006 |
The common component modeling example A Rausch, R Reussner, R Mirandola, F Plasil Lecture notes in computer science 5153, 96, 2008 | 163* | 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 | 157 | 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 | 130 | 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 | 103 | 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 | 98 | 2006 |
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 | 97 | 2008 |
Software connectors and their role in component deployment D Bálek, F Plášil IFIP International Conference on Distributed Applications and Interoperable …, 2001 | 95 | 2001 |
Bounding component behavior via protocols F Plasil, S Visnovsky, M Besta Proceedings of Technology of Object-Oriented Languages and Systems-TOOLS 30 …, 1999 | 80 | 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 | 77 | 2005 |
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 | 52 | 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 | 51 | 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 | 51 | 2006 |
Communication style driven connector configurations T Bures, F Plasil International Conference on Software Engineering Research and Applications …, 2003 | 43 | 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 | 41 | 2012 |
Generating Connectors for Homogenous and Heterogenous Deployment T Bureš Univerzita Karlova, Matematicko-fyzikální fakulta, 2006 | 39 | 2006 |
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 | 36 | 2008 |
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 | 35 | 2006 |