| Behavior protocols for software components F Plasil, S Visnovsky IEEE transactions on Software Engineering 28 (11), 1056-1076, 2002 | 600 | 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 | 442 | 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 | 378 | 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 | 173 | 1998 |
| The common component modeling example A Rausch, RH Reussner, R Mirandola, F Plasil Springer, 2008 | 159 | 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 | 158 | 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 | 107 | 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 | 99 | 2006 |
| Software connectors and their role in component deployment D Bálek, F Plášil IFIP International Conference on Distributed Applications and Interoperable …, 2001 | 99 | 2001 |
| Bounding component behavior via protocols F Plásil, 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 | 80 | 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 | 68 | 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 | 51 | 2005 |
| 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 | 50 | 2015 |
| Communication style driven connector configurations T Bures, F Plasil International Conference on Software Engineering Research and Applications …, 2003 | 47 | 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 | 42 | 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: Comparing Software Component Models …, 2008 | 38 | 2008 |
| Architectural homeostasis in self-adaptive software-intensive cyber-physical systems I Gerostathopoulos, D Skoda, F Plasil, T Bures, A Knauss Software Architecture: 10th European Conference, ECSA 2016, Copenhagen …, 2016 | 37 | 2016 |
| 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 |
