| Behavior protocols for software components F Plasil, S Visnovsky IEEE transactions on Software Engineering 28 (11), 1056-1076, 2002 | 589 | 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 | 440 | 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 | 377 | 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 | 175 | 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 | 163 | 2013 |
| The common component modeling example A Rausch, RH Reussner, R Mirandola, F Plasil Springer, 2008 | 158 | 2008 |
| 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 |
| Software connectors and their role in component deployment D Bálek, F Plášil IFIP International Conference on Distributed Applications and Interoperable …, 2001 | 100 | 2001 |
| 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 | 96 | 2006 |
| Bounding component behavior via protocols F Plásil, S Visnovsky, M Besta Proceedings of Technology of Object-Oriented Languages and Systems-TOOLS 30 …, 1999 | 84 | 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 | 71 | 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 | 53 | 2006 |
| 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 | 51 | 2015 |
| 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 | 50 | 2005 |
| Communication style driven connector configurations T Bures, F Plasil International Conference on Software Engineering Research and Applications …, 2003 | 46 | 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 | 43 | 2012 |
| Software abstractions for component interaction in the internet of things T Bures, F Plasil, M Kit, P Tuma, N Hoch Computer 49 (12), 50-59, 2016 | 39 | 2016 |
| 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 | 39 | 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 | 38 | 2016 |
