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
5722002
SOFA/DCUP: Architecture for component trading and dynamic updating
F Plásil, D Balek, R Janecek
Proceedings. Fourth International Conference on Configurable Distributed …, 1998
4221998
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
3602006
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
1571998
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
1302013
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
1031998
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
982006
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
972008
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
801999
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
522005
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
512016
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
512006
Communication style driven connector configurations
T Bures, F Plasil
International Conference on Software Engineering Research and Applications …, 2003
432003
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
412012
Generating Connectors for Homogenous and Heterogenous Deployment
T Bureš
Univerzita Karlova, Matematicko-fyzikální fakulta, 2006
392006
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
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
352006
The system can't perform the operation now. Try again later.
Articles 1–20