Font size:      

SOFA 2 related publications

Here you can find publications about SOFA 2 and related topics.

SOFA 2 design, components, connectors,...

  • Bures, T., Hnetynka, P., Plasil, F., Klesnil, J., Kmoch, O., Kohan, T., Kotrc, P.: Runtime Support for Advanced Component Concepts, Proceedings of SERA 2007, Busan, Korea, IEEE CS, ISBN 0-7695-2867-8, pp. 337-345, Aug 2007 PDF
  • Bures, T., Hnetynka, P., Plasil, F.: SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model, Proceedings of SERA 2006, Seattle, USA, IEEE CS, ISBN 0-7695-2656-X, pp.40-48, Aug 2006 PDF
  • Hnetynka, P., Plasil, F.: Dynamic Reconfiguration and Access to Services in Hierarchical Component Models, Proceedings of CBSE 2006, Vasteras near Stockholm, Sweden, LNCS 4063, ISBN 3-540-35628-2, ISSN 0302-9743, pp. 352 - 359, (C) Springer-Verlag, Jun 2006, PDF


  • Plasil, F., Visnovsky, S.: Behavior Protocols for Software Components, IEEE Transactions on Software Engineering, vol. 28, no. 11, Nov 2002, WWW
  • Adamek, J., Plasil, F.: Component Composition Errors and Update Atomicity: Static Analysis, Journal of Software Maintenance and Evolution: Research and Practice 17(5), pp. 363-377, DOI: 10.1002/smr.321, Online ISSN: 1532-0618, Print ISSN: 1532-060X, Sep 2005, WWW
  • Kofron, J.: Checking Software Components Behavior Using Behavior Protocols and Spin, Proceedings of Applied Computing 2007, Seoul, Korea, ISBN 1-59593-480-4, pp. 1513-1517, Mar 2007, PDF
  • Parizek, P., Plasil, F., Kofron, J.: Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker, Proceedings of 30th IEEE/NASA Software Engineering Workshop (SEW-30), IEEE CS, ISBN 0-7695-2624-1, ISSN 1550-6215, pp. 133-141, Jan 2007, PDF


  • Bures T., Malohlava M., Hnetynka P.: Using DSL for Automatic Generation of Software Connectors, In Proceedings of ICCBSS 2008, Madrid, Spain, IEEE Computer Society Press, ISBN 0-7695-3091-5, pp. 138-147, Feb 2008, PDF
  • Bures T.: Generating Connectors for Homogeneous and Heterogeneous Deployment, Ph.D. Thesis, advisor: Frantisek Plasil, Sep 2006, PDF
  • Bulej L., Bures T.: Eliminating Execution Overhead of Disabled Optional Features in Connectors, in Proceedings of the 3rd European Workshop on Software Architectures (EWSA 2006), Nantes, France, Copyright (C) Springer-Verlag, Berlin, LNCS 4344, ISBN 978-3-540-69271-3, ISSN 0302-9743, pp. 50-65, Sep 2006, PDF
  • Bulej L., Bures T.: Using Connectors for Deployment of Heterogeneous Applications in the Context of OMG D&C Specification, in Proceedings of 1st International Conference on Interoperability of Enterprise Software and Applications (INTEROP-ESA 2005), Geneva, Switzerland, ISBN 1-84628-151-2, pp. 349-360, Feb 2005, PDF
  • Galik O., Bures T.: Generating Connectors for Heterogeneous Deployment, In Proceedings of the 5th international Workshop on Software Engineering and Middleware (Lisbon, Portugal, September 05 - 06, 2005). SEM '05. ACM Press, New York, NY, ISBN 1-59593-204-4, pp. 54-61., Sep 2005, PDF
  • Bures T., Plasil F.: Communication Style Driven Connector Configurations, Extended version of "Scalable Element-Based Connectors", Copyright (C) Springer-Verlag, Berlin, LNCS3026, ISBN 3-540-21975-7, ISSN 0302-9743, pp. 102-116, 2004, PDF


Other related publications can be found on the DSRG web page.