| Behavior protocols for software components F Plasil, S Visnovsky IEEE transactions on Software Engineering 28 (11), 1056-1076, 2002 | 597 | 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 | 434 | 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 | 370 | 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 | 170 | 1998 |
| The common component modeling example A Rausch, RH Reussner, R Mirandola, F Plasil Springer, 2008 | 168* | 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 | 154 | 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 | 108 | 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 | 102 | 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 | 98 | 2001 |
| Bounding component behavior via protocols F Plasil, S Visnovsky, M Besta Proceedings of Technology of Object-Oriented Languages and Systems-TOOLS 30 …, 1999 | 83 | 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 | 79 | 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 | 62 | 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 | 54 | 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 | 52 | 2005 |
| Communication style driven connector configurations T Bures, F Plasil Software Engineering Research and Applications: First International …, 2004 | 48 | 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 | 43 | 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 | 42 | 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 | 37 | 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 | 37 | 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 | 36 | 2013 |
