Components and Services

Current projects

Past projects

Publications

Research Goals

Our primary focus in the domain of components and services is devoted to component-based software engineering methods of development applications and systems. For detailed information about a particular project please follow the individual project links. You can also check our blog.

Current projects

  • DEECo – Component model for Dependable Emergent Ensembles of Components
  • SOFA 2 – SOFA 2 is the current version of the hierarchical component model supporting advanced features like software connectors, annotation-based development, seamless distribution, etc. The current version is based on the previous project SOFA/DCUP.
  • SOFA HI – SOFA HI (High Integrity) is a profile of the SOFA 2 project targeting embedded, safety and mission-critical domains
  • ASCENS (FP7 FET IP) – Autonomic Service-Component Ensembles
  • RELATE (FP7 ITN) – Trans-European Research Training Network on Engineering and Provisioning of Service Based Cloud Applications
  • IRM-SA – Invariant Refinement Method for Self-Adaptation
  • Requirements processing methods – Requirements processing methods and tools
  • jPapaBench – Java version of the PapaBench benchmark, which is based on the Paparazzi project
  • Q-ImPrESS (FP7 STREP) – Quality Impact Prediction for Evolving Service-oriented Software
  • ARCAS – Automated Resolution of Connector Architectures using constraint-Solving techniques
  • proNXT – Environment for prototyping NXT-based embedded systems

Past projects

  • Enhanced EJB – A proposal for enhancing the EJB component architecture model
  • CREF – Component Reliability Extension for Fractal Component Model
  • OSIRIS (ITEA2) – An open source platform and infrastructure for run-time integration of services
  • OSMOSE (ITEA2) – Open Source Middleware for Open Systems in Europe
  • CoCoME – Common Component Modeling Environment is evaluation and comparison of the practical appliance of existing component models using a common component-based system as modelling example
  • SOFA/DCUP – Hierarchical component model supporting advanced features like software connectors, annotation-based development, seamless distribution, etc.
  • P2 – Component middleware using autonomic computing principles in a peer-to-peer environment
  • ReProTool – Requirements Processing Tool
  • Ferdinand – Model-Driven Evaluation of Design Decision Impacts in Software Engineering

Publications

2014 (19)

Refereed (journals/proceedings)

PDF Masrur A., Kit M., Bureš T., Hardt W.: Towards Component-Based Design of Safety-Critical Cyber-Physical Applications,
Accepted for publication in Proceedings of the 17th Euromicro Conference on Digital Systems Design (DSD 2014), Verona, Italy, August 2014
PDF, PDF, Link Al Ali R., Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F.: DEECo: an Ecosystem for Cyber-Physical Systems,
In Companion proceedings of the 36th International Conference on Software Engineering (ICSE 2014), Hyderabad, India, ACM, poster and extended abstract, June 2014
PDF, Link Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F.: Gossiping Components for Cyber-Physical Systems,
In Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), Vienna, Austria, Best Research Paper Award, Springer, August 2014
Link Bureš T., Gerostathopoulos I., Al Ali R.: DEECo: Software Engineering for Smart CPS,
In ERCIM news Special theme: Cyber-Physical Systems, April 2014
PDF Gerostathopoulos I.: Model-Driven Design of Ensemble-Based Component Systems,
To appear in Joint Proceedings of MODELS' 14 Poster Session and ACM Student Research Competition, Valencia, Spain, CEUR, September 2014
PDF Gerostathopoulos I., Keznikl J., Bureš T., Kit M., Plášil F.: Software Engineering for Software-Intensive Cyber-Physical Systems,
Accepted for presentation at the CPSData Workshop: Big Data Technologies for the Analysis and Control of complex Cyber-Physical Systems, September 2014
Link Keznikl J., Bureš T., Plášil F., Hnětynka P.: Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method),
Software and Systems Modeling, vol. 13, iss. 2, pp. 843-872, doi: 10.1007/s10270-012-0274-8, May 2014
Link Pop T., Hnětynka P., Malohlava M., Hošek P., Bureš T.: Comparison of Component Frameworks for Real-Time Embedded Systems,
Knowledge and Information Systems (KAIS), Vol. 40, Iss. 1, pp 127-170, DOI 10.1007/s10115-013-0627-9, July 2014
Link Bureš T., Hnětynka P., Plášil F.: Strengthening architectures of smart CPS by modeling them as runtime product-lines,
In Proceedings of CBSE 2014, Lille, France, ACM, pp. 91-96, doi:10.1145/2602458.2602478, July 2014
Link, Link Šimko V., Hauzar D., Hnětynka P., Bureš T., Plášil F.: Formal Verification of Annotated Textual Use-Cases,
The Computer Journal, doi:10.1093/comjnl/bxu068, September 2014
PDF, Link Martinec T., Marek L., Steinhauser A., Tůma P., Noorshams Q., Rentschler A., Reussner R.: Constructing Performance Model of JMS Middleware Platform,
In proceedings of the 5th ACM/SPEC International Conference on Performance Engineering (ICPE 2014), Dublin, Ireland, ACM, ISBN: 978-1-4503-2733-6, pp. 123-134, March 2014
PDF Al Ali R., Gerostathopoulos I., Gonzalez-Herrera I., Juan-Verdejo A., Kit M., Surajbali B.: An Architecture-Based Approach for Compute-Intensive Pervasive Systems in Dynamic Environments,
In Proceedings of International Workshop on Hot Topics in Cloud service Scalability, ICPE '14, Dublin, Ireland, 2014
PDF Bureš T., Horký V., Kit M., Marek L., Tůma P.: Towards Performance-Aware Engineering of Autonomic Component Ensembles,
Accepted for publication in Proceedings of the 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), Corfu, Greece, Springer, October 2014
PDF, Link Libič P., Bulej L., Horký V., Tůma P.: On the Limits of Modeling Generational Garbage Collector Performance,
In proceedings of the 5th ACM/SPEC International Conference on Performance Engineering (ICPE 2014), Dublin, Ireland, Best Research Paper Award, ACM, ISBN: 978-1-4503-2733-6, pp. 15-26, March 2014
PDF, Link Al Ali R., Bureš T., Gerostathopoulos I., Keznikl J., Plášil F.: Architecture Adaptation Based on Belief Inaccuracy Estimation,
In Proceedings of the 11th Working IEEE/IFIP Conference on Software Architecture (WICSA 2014), Sydney, Australia, IEEE CS, April 2014

Ph.D. Theses

PDF, Link Keznikl J.: Dynamic Software Architectures for Resilient Distributed Systems,
Ph.D. thesis, advisor: Tomas Bures, September 2014

Technical Reports

PDF Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F.: Computational Model for Gossiping Components in Cyber-Physical Systems,
Tech. Report No. D3S-TR-2014-03, Dep. of Distributed and Dependable Systems, Charles University in Prague, April 2014
PDF Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F., Noel Plouzeau: Adaptation in Cyber-Physical Systems: from System Goals to Architecture Configurations,
Tech. Report No. D3S-TR-2014-01, Dep. of Distributed and Dependable Systems, Charles University in Prague, January 2014
PDF Gerostathopoulos I., Keznikl J., Bureš T., Kit M., Plášil F.: Software Engineering for Software-Intensive Cyber-Physical Systems,
Tech. Report No. D3S-TR-2014-02, Dep. of Distributed and Dependable Systems, Charles University in Prague, January 2014

2013 (22)

Refereed (journals/proceedings)

Link Philip Mayer, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Keznikl J., Bureš T.: The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud,
In Proceedings of 3rd AWARENESS workshop at SASO 2013, Philadelphia, USA., September 2013
PDF, Link Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F.: DEECo - an Ensemble-Based Component System,
In Proceedings of CBSE 2013, Vancouver, Canada, ACM, June 2013
Link Šerbedžija N., Bureš T., Keznikl J.: Engineering Autonomous Systems,
In Proceedings of PCI 2013, Thessaloniki, Greece, ACM, September 2013
PDF, Link Bureš T., Rocco de Nicola, Gerostathopoulos I., Nicklas Hoch, Kit M., Nora Koch, Giacoma Valentina Monreale, Ugo Montanari, Rosario Pugliese, Nikola Serbedzija, Martin Wirsing, Franco Zambonelli: A Life Cycle for the Development of Autonomic Systems: The e-Mobility Showcase,
In Proceedings of the 3rd Workshop on Challenges for Achieving Self-Awareness in Autonomic Systems, Philadelphia, USA, IEEE, September 2013
PDF, Link Sarimbekov A., Zheng Y., Ansaloni D., Bulej L., Marek L., Binder W., Tůma P., Qi A.: Productive Development of Dynamic Program Analysis Tools with DiSL,
In proceedings of the 22nd Australian Software Engineering Conference (ASWEC 2013), Melbourne, Australia, IEEE CS, ISBN: 978-0-7695-4995-8, ISSN: 1530-0803, pp. 11-19, June 2013
Link Malohlava M., Plášil F., Bureš T., Hnětynka P.: Interoperable DSL Families for Code Generation,
Software: Practice and Experience, Vol. 43, Iss. 5, pp. 479-499, John Wiley & Sons, Ltd, ISSN: 1097-024X, DOI: 10.1002/spe.2118, May 2013
PDF, Link Gerostathopoulos I., Bureš T., Hnětynka P.: Position Paper: Towards a Requirements-Driven Design of Ensemble-Based Component Systems,
In Proceedings of International Workshop on Hot Topics in Cloud Services, ICPE '13, Prague, Czech Republic, 2013
Link Martin Babka, Tomas Balyo, Keznikl J.: Finding Minimum Satisfying Assignments of Boolean Formulas,
Poster and abstract in Proceedings of The 26th International FLAIRS Conference 2013, St. Pete Beach, Florida, USA. AAAI, May 2013
PDF, Link Ansaloni D., Kell S., Zheng Y., Bulej L., Binder W., Tůma P.: Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine,
In proceedings of the 27th European Conference on Object-Oriented Programming (ECOOP 2013), Montpellier, France, Springer, LNCS 7920, ISBN: 978-3-642-39037-1, ISSN: 0302-9743, pp. 352-377, July 2013
Link Sarimbekov A., Kell S., Bulej L., Sewe A., Zheng Y., Ansaloni D., Binder W.: A Comprehensive Toolchain for Workload Characterization Across JVM Languages,
In proceedings of the 11th ACM/SIGPLAN Workshop on Program Analysis for Software Tools and Engineering (PASTE 2013), Seattle, WA, USA, ACM, ISBN: 978-1-4503-2128-0, pp. 9-16, June 2013
Link Babka M., Balyo T., Keznikl J.: Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas,
In Proceedings of SERA 2013, Prague, Czech Republic. IEEE CS, August 2013
PDF, Link Marek L., Kell S., Zheng Y., Bulej L., Tůma P., Binder W., Ansaloni D., Sarimbekov A., Sewe A.: ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform,
In Proceedings of the 12th International Conference on Generative Programming: Concepts & Experiences (GPCE'13), Indianapolis, IN, USA, ACM, ISBN: 978-1-4503-2373-4, pp. 105-114, October 2013
Link Barnat J., Benes N., Bureš T., Cerna I., Keznikl J., Plášil F.: Towards Verification of Ensemble-Based Component Systems,
In Proceedings of FACS 2013, LNCS 8348, pp 41-60, Springer, Nanchang, China, October 2013
PDF, Link Keznikl J., Bureš T., Plášil F., Gerostathopoulos I., Hnětynka P., Hoch N.: Design of Ensemble-Based Component Systems by Invariant Refinement,
In Proceedings of CBSE 2013, Vancouver, Canada, Best Research Paper Award, ACM, June 2013
PDF, Link Marek L., Zheng Y., Ansaloni D., Bulej L., Sarimbekov A., Binder W., Qi Z.: Introduction to Dynamic Program Analysis with DiSL (Demo paper),
In Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE 2013), Prague, Czech Republic, ACM, ISBN: 978-1-4503-1636-1, pp. 429-430, April 2013
Link Bulej L., Bureš T., Horký V., Keznikl J.: Adaptive Deployment in Ad-Hoc Systems Using Emergent Component Ensembles: Vision Paper,
In proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE 2013), Prague, Czech Republic, ACM, ISBN: 978-1-4503-1636-1, pp. 343-346, April 2013

Technical Reports

PDF Vinárek J., Hnětynka P., Šimko V., Kroha P.: Recovering Traceability Links between Code and Textual Specification through Automated Domain Model Extraction,
Tech. Report No. D3S-TR-2013-08, Dep. of Distributed and Dependable Systems, Charles University in Prague, December 2013
PDF Kroha P., Hnětynka P., Šimko V., Vinárek J.: Traceability in Requirement Specifications Using Natural Languages,
Tech. Report No. D3S-TR-2013-07, Dep. of Distributed and Dependable Systems, Charles University in Prague, December 2013
PDF Al Ali R., Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F.: DEECo Computational Model - I,
Tech. Report No. D3S-TR-2013-01, Dep. of Distributed and Dependable Systems, Charles University in Prague, February 2013
PDF Šimko V., Kroha P., Hnětynka P.: Implemented Domain Model Generation,
Tech. Report No. D3S-TR-2013-03, Dep. of Distributed and Dependable Systems, Charles University in Prague, April 2013
PDF Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F.: DEECo - an Ensemble-Based Component System,
Tech. Report No. D3S-TR-2013-02, Dep. of Distributed and Dependable Systems, Charles University in Prague, February 2013
PDF Bureš T., Gerostathopoulos I., Keznikl J., Plášil F.: Formalization of Invariant Patterns for the Invariant Refinement Method,
Tech. Report No. D3S-TR-2013-04, Dep. of Distributed and Dependable Systems, Charles University in Prague, February 2013

2012 (22)

Refereed (journals/proceedings)

Link Keznikl J., Bureš T., Plášil F., Kit M.: Towards Dependable Emergent Ensembles of Components: The DEECo Component Model,
Proceedings of WICSA/ECSA 2012, Helsinki, Finland, pp. 249-252, IEEE CS, ISBN 978-0-7695-4827-2, DOI 10.1109/WICSA-ECSA.212.39, August 2012
PDF Pop T., Plášil F., Matěj Outlý, Malohlava M., Bureš T.: Property Networks Allowing Oracle-based Mode-change Propagation in Hierarchical Components,
In proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE 2012), Bertinoro, Italy, ACM, ISBN: 978-1-4503-1345-2, pp. 93-102, June 2012
Link Kucera T., Hnětynka P., Kofroň J.: Automated deployment of hierarchical components,
In proceedings of SNPD 2012, Kyoto, Japan, SCI 443, Springer, pp. 117-128, ISSN 1860-949X, DOI 10.1007/978-3-642-32172-6_10, August 2012
PDF, Link Marek L., Villazón A., Zheng Y., Ansaloni D., Binder W., Qi Z.: DiSL: A Domain-Specific Language for Bytecode Instrumentation,
In Proceedings of the 11th International Conference on Aspect-oriented Software Development (AOSD 2012), Potsdam, Germany, ACM, ISBN: 978-1-4503-1092-5, pp. 239-250, March 2012
PDF, Link Ansaloni D., Binder W., Bockisch Ch., Bodden E., Hatun K., Marek L., Qi Z., Sarimbekov A., Sewe A., Tůma P., Zheng Y.: Challenges for Refinement and Composition of Instrumentations: Position Paper,
In Proceedings of Software Composition - 11th International Conference, SC 2012, Prague, Czech Republic, Springer, ISBN: 978-3-642-30563-4, pp. 86-96, May 2012
Link Bulej L., Bureš T., Horký V., Keznikl J., Tůma P.: Performance Awareness in Component Systems: Vision Paper,
In proceedings of the 26th IEEE Computer Software and Applications Conference Workshops (COMPSACW 2012), the 4th IEEE International Workshop on Component-based Design of Resource Constrained Systems (CORCS 2012), Izmir, Turkey, IEEE, ISBN: 978-1-4673-2714-5, pp. 514-519, July 2012
Link Hermann L., Bureš T., Hnětynka P., Malohlava M.: CoDIT: Bridging the Gap between System-Level and Component-Level Development,
In proceedings of SERA 2012, Shanghai, China, SCI 430, Springer, pp. 159-175, ISBN 978-3-642-30459-0, ISSN 1860-949X, DOI 10.1007/978-3-642-30460-6_12, May 2012
PDF Šimko V., Hnětynka P., Bureš T., Plášil F.: FOAM : A Lightweight Method for Verification of Use-Cases,
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Izmir, Turkey, IEEE CS, pp. 228-232, ISBN 978-0-7695-4790-9, DOI 10.1109/SEAA.2012.15, September 2012
PDF, Link Zheng Y., Ansaloni D., Marek L., Sewe A., Binder W., Villazón A., Tůma P., Qi Z., Mezini M.: Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation,
In Proceedings of the 50th International Conference on Objects, Models, Components, Patterns (TOOLS 2012), Prague, Czech Republic, Springer, ISBN: 978-3-642-30560-3, pp. 353-368, May 2012
PDF, Link Kell S., Ansaloni D., Binder W., Marek L.: The JVM is not observable enough (and what to do about it),
In Proceedings of the 6th workshop on Virtual Machines and Intermediate Languages (VMIL 2012), Tucson, AZ, USA, ACM, ISBN: 978-1-4503-1633-0, pp. 33-38, November 2012
Link Samuel Kounev, Philipp Reinecke, Fabian Brosig, Jeremy Bradley, Kaustubh Joshi, Babka V., Anton Stefanek, Stephen Gilmore: Providing Dependability and Resilience in the Cloud: Challenges and Opportunities,
Book Chapter in K. Wolter, A. Avritzer, A. van Moorsel, and M. Vieira: Resilience Assessment and Evaluation of Computing Systems, pp. 65-81, ISBN 978-3-642-29031-2, Springer Verlag, 2012
PDF, Link Marek L., Zheng Y., Ansaloni D., Sarimbekov A., Binder W., Tůma P., Qi Z.: Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis (Demo paper),
In Proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, Kyoto, Japan, Springer, ISBN: 978-3-642-35181-5, pp. 256-263, December 2012

Ph.D. Theses

PDF Malohlava M.: Variability of Execution Environments for Component-based Systems,
Ph.D. thesis, advisor: Tomas Bures, September 2012
PDF, Link Ježek P.: Hierarchical Component Models - A True Story,
Ph.D. thesis, advisor: Frantisek Plasil, September 2012

Technical Reports

PDF Šimko V., Hnětynka P., Bureš T., Plášil F.: Formal Verification of Annotated Use-Cases,
Tech. Report No. D3S-TR-2012-02, Dep. of Distributed and Dependable Systems, Charles University in Prague, February 2012
Malohlava M.: jPapaBench - a Realtime Benchmark,
Tech. Report No. D3S-TR-2012-01, Department of Distributed and Dependable Systems, Charles University in Prague, January 2012
PDF Keznikl J., Bureš T., Plášil F., Hnětynka P.: Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method),
Tech. Report No. D3S-TR-2012-03, Dep. of Distributed and Dependable Systems, Charles University in Prague, February 2012
PDF Bureš T., Hnětynka P., Kroha P., Šimko V.: Requirement Specifications Using Natural Languages,
Tech. Report No. D3S-TR-2012-05, Dep. of Distributed and Dependable Systems, Charles University in Prague, December 2012
PDF Bureš T., Hnětynka P., Keznikl J., Plášil F., Tůma P.: Towards a Periodic Table of Component Models,
Tech. Report No. D3S-TR-2012-07, Dep. of Distributed and Dependable Systems, Charles University in Prague, December 2012
PDF Šimko V., Kroha P., Hnětynka P.: Domain Model Generation With the Help of Supervised Machine Learning,
Tech. Report No. D3S-TR-2012-06, Dep. of Distributed and Dependable Systems, Charles University in Prague, December 2012

Nonrefereed

PDF Malohlava M., Hnětynka P., Bureš T.: SOFA 2 Component Framework and Its Ecosystem,
Extended abstract of the tutorial, To Appear in Post-conference Proceedings of FESCA 2012, 2012
PDF, Link Marek L., Zheng Y., Ansaloni D., Binder W., Qi Z., Tůma P.: DiSL: an extensible language for efficient and comprehensive dynamic program analysis,
Invited talk at DSAL '12, Proceedings of the seventh workshop on Domain-Specific Aspect Languages, Potsdam, Germany, ACM, ISBN: 978-1-4503-1128-1, pp. 27-28, March 2012

2011 (15)

Refereed (journals/proceedings)

PDF Šimko V., Hauzar D., Bureš T., Hnětynka P., Plášil F.: Verifying Temporal Properties of Use-Cases in Natural Language,
Postproceedings of 8th International Symposium on Formal Aspects of Component Software (FACS 2011) conference, Oslo, Norway, LNCS, Springer, September 2011
Link Pop T., Keznikl J., Malohlava M., Bureš T., Hnětynka P., Hošek P.: Introducing Support for Embedded and Real-time Devices into Existing Hierarchical Component System: Lessons Learned,
In Proceedings of 9th ACIS International Conference on Software Engineering Research, Management and Applications (SERA2011), Baltimore, Maryland, USA, pp. 3-11, ISBN 978-1-4577-1028-5, DOI 10.1109/SERA.2011.14, August 2011
Link Hnětynka P., Murphy L., Murphy J.: Comparing the Service Component Architecture and Fractal Component Model,
The Computer Journal, 54 (7), Oxford University Press, 2011 (IF 1.394), DOI: 10.1093/comjnl/bxq046, July 2011
Link Francu J., Hnětynka P.: Automated Generation of Implementation from Textual System Requirements,
In Software Engineering Techniques (postproceedings of CEE-SET 2008, Brno, Czech Republic), LNCS 4980, Springer, pp. 34-47, ISBN 978-3-642-22385-3, ISSN 0302-9743, DOI 10.1007/978-3-642-22386-0_3, September 2011
PDF, Link Babka V., Tůma P.: Can Linear Approximation Improve Performance Prediction ?,
Proceedings of EPEW 2011, Borrowdale, UK, Springer-Verlag LNCS 6977, ISBN 978-3-642-24748-4, ISSN 0302-9743, pp. 250-264, October 2011
PDF, Link Keznikl J., Malohlava M., Bureš T., Hnětynka P.: Extensible Polyglot Programming Support in Existing Component Frameworks,
In Proceedings of 37th Euromicro Conference on Software Engineering and Advanced Applications, Oulu, Finland, pp. 107 - 115, ISBN 978-1-4577-1027-8, DOI 10.1109/SEAA.2011.25, August 2011
Link Hnětynka P., Plášil F.: Using Meta-modeling in Design and Implementation of Component-based Systems: The SOFA Case-study,
Software: Practice and Experience, 44 (11), pp. 1185-1201, ISSN 0038-0644, Wiley, (IF 0.573), DOI 10.1002/spe.1036, October 2011
The pre-peer reviewed version of the article can be downloaded here.
PDF, Link Bureš T., Ježek P., Malohlava M., Poch T., Šerý O.: Strengthening Component Architectures by Modeling Fine-grained Entities,
In Proceedings of 37th Euromicro Conference on Software Engineering and Advanced Applications, Oulu, Finland, pp. 124 - 128, ISBN 978-1-4577-1027-8, DOI 10.1109/SEAA.2011.27, August 2011

Technical Reports

PDF Keznikl J., Malohlava M., Marek L., Tůma P.: Ferdinand Project Middleware List,
Tech. Report No. 2011/2, Dep. of Distributed and Dependable Systems, Charles University in Prague, January 2011
PDF Malohlava M., Plášil F., Bureš T., Hnětynka P.: Interoperable DSL Families for Code Generation,
Tech. Report No. 2011/4, Dep. of Distributed and Dependable Systems, Charles University in Prague, April 2011
PDF Pop T., Bureš T., Hnětynka P.: Case Studies for Component Based Development for Real-time and Embedded Devices,
Tech. Report No. 2011/10, Dep. of Distributed and Dependable Systems, Charles University in Prague, December 2011
PDF Matěj Outlý, Pop T., Malohlava M., Bureš T.: Mode Change in Real-time Component Systems - Suitable Form of Run-Time Variability in Resource Constrained Environments,
Tech. Report No. 2011/7, Dep. of Distributed and Dependable Systems, Charles University in Prague, September 2011
PDF Šimko V.: Patterns In Specification Documents,
Tech. Report No. 2011/6, Dep. of Distributed and Dependable Systems, Charles University in Prague, July 2011
PDF Babka V., Bulej L., Libič P., Marek L., Martinec T., Podzimek A., Tůma P.: Resource Impact Analysis,
Q-ImPrESS Project Deliverable D3.4, January 2011

Nonrefereed

Kofroň J., Plášil F.: Evolving SOA in the Q-ImPrESS Project,
Invited talk at WADT 2010, Proceedings of WADT 2010, Springer Verlag, LNCS 7137, November 2011
(preliminary version available here)

2010 (12)

Refereed (journals/proceedings)

Link Hošek P., Pop T., Bureš T., Hnětynka P., Malohlava M.: Comparison of Component Frameworks for Real-time Embedded Systems,
In proceedings of CBSE 2010, Prague, Czech Republic, LNCS 6092, Springer, pp. 21-36, ISSN 0302-9743, ISBN 978-3-642-13237-7, June 2010
PDF Kolb E., Šerý O., Weiss R.: Applicability of the BLAST Model Checker: An Industrial Case Study,
In Proceedings of PSI'09, LNCS 5947, ISBN 978-3-642-11485-4, pp. 218-229, January 2010
PDF Parízek P., Plášil F.: Assume-Guarantee Verification of Software Components in SOFA 2 Framework,
In IET Software, volume 4, issue 3, ISSN 1751-8806, June 2010
PDF Parízek P., Yuldashev N.: Extraction of Component-Environment Interaction Model Using State Space Traversal,
In Proceedings of the 25th ACM Symposium on Applied Computing (SAC 2010), SE track, ACM, March 2010
Link, PDF Šimko V., Hnětynka P., Bureš T.: From textual use-cases to component-based applications,
In proceedings of SNPD 2010, London, UK, Studies in Computational Intelligence (SCI), Springer, June 2010
Link Becker S., Hauck M., Trifu M., Krogmann K., Kofroň J.: Reverse Engineering Component Models for Quality Predictions,
in Proceedings of the 14th European Conference on Software Maintenance and Reengineering, European Projects Track, (c) IEEE, ISBN: 978-0-7695-4321-5, March 2010
(preliminary version available here)
PDF, Link Babka V., Tůma P., Bulej L.: Validating Model-Driven Performance Predictions On Random Software Systems,
In proceedings of the 6th International Conference on the Quality of Software Architectures (QoSA 2010), Prague, Czech Republic, Springer, LNCS 6093, ISBN: 978-3-642-13820-1, ISSN: 0302-9743, pp. 3-19, June 2010

Ph.D. Theses

PDF Šerý O.: Automated Verification of Software,
Ph.D. thesis, advisor: Frantisek Plasil, September 2010
PDF Poch T.: Towards Thread Aware Component Specifications,
Ph.D. thesis, advisor: Frantisek Plasil, September 2010

Technical Reports

PDF Petr Hošek, Pop T., Malohlava M., Hnětynka P., Bureš T.: Supporting real-time features in a hierarchical component system,
Tech. Report No. 2010/5, Dep. of Distributed and Dependable Systems, Charles University in Prague, December 2010
PDF Babka V., Bulej L., Ciancone A., Filieri A., Hauck M., Libič P., Marek L., Stammel J., Tůma P.: Prediction Validation,
Q-ImPrESS Project Deliverable D4.2, July 2010

Master Theses

PDF Keznikl J.: SOFA 2 runtime support for dynamic languages,
Master Thesis, advisor: Michal Malohlava, August 2010

2009 (11)

Refereed (journals/proceedings)

PDF, Link Babka V., Tůma P.: Investigating Cache Parameters of x86 Family Processors,
In Proceedings of SPEC Benchmark Workshop 2009, Austin, TX, USA, Awarded with Kaivalya Dixit Award. Springer-Verlag, LNCS 5419, ISBN 978-3-540-93798-2, ISSN 0302-9743, pp. 77-96, January 2009
PDF Masek K., Hnětynka P., Bureš T.: Bridging the component-based and service-oriented worlds,
In proceedings of EUROMICRO SEAA 2009, Patras, Greece, IEEE CS, ISBN 978-0-7695-3784-9, pp. 47-54, August 2009
PDF, PDF, Link Babka V., Libič P., Tůma P.: Timing Penalties Associated with Cache Sharing,
In Proceedings of MASCOTS 2009, London, UK, IEEE, ISBN: 978-1-4244-4926-2, ISSN: 1526-7539, pp. 583-586, September 2009
PDF Kofroň J., Poch T., Šerý O.: TBP: Code-Oriented Component Behavior Specification,
In Proceedings of SEW-32, IEEE, ISBN 978-0-7695-3617-0, pp. 75-83, Greece, January 2009
PDF Kebrt M., Šerý O.: UnitCheck: Unit Testing and Model Checking Combined,
In Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), LNCS 5799, ISBN 978-3-642-04760-2, pp. 97-103, October 2009
Link Bureš T., Hala J., Hnětynka P.: Using Connectors to Address Transparent Distribution in Enterprise Systems — Pitfalls and Options,
In Proceedings of SNPD 2009, Daegu, Korea, Studies in Computational Intelligence 209 (SCI), Springer, ISSN 1860-949X, ISBN 978-3-642-01202-0, pp. 81-92, May 2009
PDF, Link Babka V., Marek L., Tůma P.: When Misses Differ: Investigating Impact of Cache Misses on Observed Performance,
In Proceedings of ICPADS 2009, Shenzhen, China, IEEE, ISBN: 978-0-7695-3900-3, ISSN: 1521-9097, pp. 112-119, December 2009
Link Bureš T., Hnětynka P., Malohlava M.: Using a product line for creating component systems,
In Proceedings of the 2009 ACM symposium of Applied Computing (SAC'09), Honolulu, Hawaii, USA, ACM, ISBN:978-1-60558-166-8, March 2009
PDF, Link Libič P., Tůma P., Bulej L.: Issues in Performance Modeling of Applications with Garbage Collection,
In proceedings of the 1st international workshop on Quality of Service-Oriented Software Systems (QUASOSS 2009), Amsterdam, Netherlands, ACM, ISBN 978-1-60558-709-7, pp. 3-10, August 2009

Technical Reports

PDF Bulej L., Marek L., Tůma P.: Object Instance Profiling,
Tech. Report No. 2009/7, Dep. of SW Engineering, Charles University in Prague, November 2009

Master Theses

PDF Marek L.: Parallel Processing and Software Performance,
Master thesis, advisor: Petr Tuma, January 2009

2008 (12)

Refereed (journals/proceedings)

PDF Malohlava M., Bureš T.: Language for reconfiguring runtime infrastructure of component-based systems,
In Proceedings of MEMICS 2008, Znojmo, Czech Republic, ISBN 978-80-7355-082-0, November 2008
PDF, Link Parízek P., Adámek J.: Checking Session-Oriented Interactions between Web Services,
In Proceedings of 34th EUROMICRO SEAA conference, IEEE Computer Society, ISBN 978-0-7695-3276-9, pp. 3-10, September 2008
PDF Procházka M., Ward R., Tůma P., Hnětynka P., Adámek J.: A Component-Oriented Framework for Spacecraft On-Board Software,
Proceedings of DASIA 2008, DAta Systems In Aerospace, Palma de Mallorca, European Space Agency Report Nr. SP-665, ISBN 978-92-9221-229-2, May 2008
PDF, Link Bulej L., Bureš T., Coupaye T., Děcký M., Ježek P., Parízek P., Plášil F., Poch T., Rivierre N., Šerý O., Tůma P.: CoCoME in Fractal,
Book chapter in The Common Component Modeling Example: Comparing Software Component Models, Springer, LNCS 5153, ISBN: 978-3-540-85288-9, ISSN: 0302-9743, pp. 357-387, August 2008
PDF, Link Bureš T., Děcký M., Hnětynka P., Kofroň J., Parízek P., Plášil F., Poch T., Šerý O., Tůma P.: CoCoME in SOFA,
Book chapter in The Common Component Modeling Example: Comparing Software Component Models, Springer, LNCS 5153, ISBN: 978-3-540-85288-9, ISSN: 0302-9743, pp. 388-417, August 2008
PDF Bureš T., Malohlava M., Hnětynka 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, February 2008
Link Adámek J., Hnětynka P.: Perspectives in Component-based Software Engineering,
in proceedings of the 2008 International Workshop on Software Engineering in East and South Europe (SEESE), Leipzig, Germany, Copyright (C) ACM, New York, NY, USA, ISBN 978-1-60558-076-0, pp. 35-42, May 2008
Link Bureš T., Hnětynka P.: Safe Systems with Software Components in SOFA 2,
ERCIM News 75, published by ERCIM EEIG, Sophia-Antipolis Cedex, ISSN 0926-4981, pp. 27-28, October 2008
PDF Hnětynka P., Plášil F.: The power of MOF-based meta-modeling of components,
In proceedings of ASEA 2008, Hainan Island, China, IEEE CS, ISBN 978-0-7695-3432-9, pp. 67-72, December 2008
Kapová L., Bureš T., Hnětynka P.: Preserving Intentions in SOA Business Process Development,
In proceedings of SERA 2008, Prague, Czech Republic, Studies in Computational Intelligence 150 (SCI), Springer, ISSN 1860-949X, ISBN 978-3-540-70774-5, pp. 59-72, August 2008
(preliminary version available here)

Technical Reports

PDF Parízek P., Adámek J.: Modeling and Verification of Session-Oriented Interactions between Web Services: Compliance of BPEL with Session Protocols,
Tech. Report No. 2008/2, Dep. of SW Engineering, Charles University in Prague, January 2008
PDF Babka V., Bulej L., Děcký M., Kraft J., Libič P., Marek L., Seceleanu C., Tůma P.: Resource Usage Modeling,
Q-ImPrESS Project Deliverable D3.3, September 2008

2007 (12)

Refereed (journals/proceedings)

PDF, Link Parízek P., Plášil F., Kofroň J.: Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker,
In Proceedings of 30th IEEE/NASA Software Engineering Workshop (SEW-30), IEEE Computer Society, ISBN 0-7695-2624-1, ISSN 1550-6215, pp. 133-141, January 2007
PDF Adámek J.: Verification of Software Components: Addressing Unbounded Parallelism,
published in the International Journal of Computer and Information Science, Vol. 8, Num. 2, pp. 300-309, ISSN 1525-9293, June 2007
PDF, Link Parízek P., Plášil F.: Specification and Generation of Environment for Model Checking of Software Components,
In Proceedings of International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA 2006), ENTCS, Vol. 176, Issue 2, ISSN 1571-0661, pp. 143-154, May 2007
PDF Šerý O., Plášil F.: Slicing of Component Behavior Specification with Respect to Their Composition,
In Proceedings of 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE 2007), LNCS 4608, July 2007
PDF Bureš T., Hnětynka P., Plášil F.: Runtime Concepts of Hierarchical Software Components,
In International Journal of Computer & Information Science, Vol. 8, No. S, ISSN 1525-9293, pp. 454-463, September 2007
PDF Bureš T., Hnětynka P., Plášil 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, August 2007
PDF Kofroň J.: Checking Software Component Behavior Using Behavior Protocols and Spin,
In proceedings of Applied Computing 2007, Seoul, Korea, ISBN 1-59593-480-4, pp. 1513-1517, March 2007

Ph.D. Theses

PDF, Link Kofroň J.: Behavior Protocols Extensions,
Ph.D. thesis, advisor: Frantisek Plasil, September 2007
PDF Bulej L.: Connector-based Performance Data Collection for Component Applications,
Ph.D. Thesis, advisor: Petr Tuma, July 2007

Technical Reports

PDF Šerý O., Plášil F.: Slicing behavior specification of components,
Tech. Report No. 2007/1, Dep. of SW Engineering, Charles University in Prague, January 2007

Nonrefereed

PDF Babka V., Děcký M., Tůma P.: Performance in CoCoME,
Poster, Intel 12th EMEA Academic Forum, Intel Corporation, 2200 Mission College Blvd., Santa Clara, CA, USA, June 2007
PDF Bureš T., Děcký M., Hnětynka P., Kofroň J., Parízek P., Plášil F., Poch T., Šerý O., Tůma P.: CoCoME in SOFA 2.0,
Poster, Intel 12th EMEA Academic Forum, Intel Corporation, 2200 Mission College Blvd., Santa Clara, CA, USA, June 2007

2006 (13)

Refereed (journals/proceedings)

Link Hnětynka P., Plášil 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, June 2006
(preliminary version available here)
PDF Kofroň J., Adámek J., Bureš T., Ježek P., Mencl V., Parízek P., Plášil F.: Checking Fractal Component Behavior Using Behavior Protocols,
Presented at the 5th Fractal Workshop (part of ECOOP'06), July 3rd, 2006, Nantes, France, July 2006
PDF Barros T., Henrio L., Cansado A., Madelaine E., Morel M., Mencl V., Plášil F.: Extension of the Fractal ADL for the Specification of Behaviours of Distributed Components,
accepted for poster presentation at the 5th Fractal Workshop (part of ECOOP'06), July 3rd, 2006, Nantes, France, July 2006
PDF, PDF, Link Bulej L., Bureš T.: Eliminating Execution Overhead of Disabled Optional Features in Connectors,
In proceedings of the 3rd European Workshop on Software Architectures (EWSA 2006), Nantes, France, Springer, LNCS 4344, ISBN: 978-3-540-69271-3, ISSN: 0302-9743, pp. 50-65, September 2006
PDF Kalibera T., Lehotsky J., Majda D., Repcek B., Tomcanyi M., Tomecek A., Tůma P., Urban J.: Automated Benchmarking and Analysis Tool,
in proceedings of First International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2006), Pisa, Italy, Copyright (C) ACM, ISBN 1-59593-504-5, October 2006
PDF Adámek J.: Addressing Unbounded Parallelism in Verification of Software Components,
in Proceedings of the Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2006), Las Vegas, Nevada, USA, published by IEEE Computer Society, June 2006
PDF Bureš T., Hnětynka P., Plášil 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, August 2006
PDF Mencl V., Polak M.: UML 2.0 Components and Fractal: An Analysis,
accepted to the 5th Fractal Workshop (part of ECOOP'06), July 3rd, 2006, Nantes, France, July 2006
PDF, Link Ježek P., Kofroň J., Plášil F.: Model Checking of Component Behavior Specification: A Real Life Experience,
In Electronic Notes in Theoretical Computer Science, Vol. 160, pp. 197-210, Elsevier B.V., ISSN: 1571-0661, August 2006

Ph.D. Theses

PDF, PDF Bureš T.: Generating Connectors for Homogeneous and Heterogeneous Deployment,
Ph.D. Thesis, advisor: Frantisek Plasil, September 2006
PDF Adámek J.: Behavior Composition in Component Systems,
Ph.D. Thesis, advisor: Frantisek Plasil, September 2006

Technical Reports

PDF Bulej L., Bureš T.: Addressing Static Execution Overhead in Connectors with Disabled Optional Features,
Tech. Report No. 2006/6, Dep. of SW Engineering, Charles University, Prague, June 2006

Master Theses

PDF, ZIP, WWW Drazan J.: Natural Language Processing of Textual Use Cases,
Master thesis, advisor: Vladimir Mencl, February 2006

2005 (15)

Refereed (journals/proceedings)

PDF Galik O., Bureš 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., September 2005
PDF, Link Bulej L., Bureš T.: Using Connectors for Deployment of Heterogeneous Applications in the Context of OMG D&C Specification,
In proceedings of the 1st International Conference on Interoperability of Enterprise Software and Applications (INTEROP-ESA 2005), Geneva, Switzerland, ISBN: 978-1-84628-151-8, pp. 349-360, February 2005
PDF Plášil F.: Enhancing Component Specification by Behavior Description - the SOFA Experience,
Proceedings of the 4th International Symposium on Information and Communication Technologies (WISICT 2005), January 3rd-6th, 2005, Cape Town, South Africa, A volume in the ACM international conference proceedings series, published by Computer Science Press, Trinity College Dublin, Ireland, ISBN 0-9544145-6-X, pp. 185-190, January 2005
PDF Mach M., Plášil F., Kofroň J.: Behavior Protocol Verification: Fighting State Explosion,
Published in the International Journal of Computer and Information Science, Vol.6, Number 1, ACIS, ISSN 1525-9293, pp. 22-30, March 2005
PDF Hnětynka P.: A Model-driven Environment for Component Deployment,
Proceedings of SERA 2005, Mount Pleasant, Michigan, USA, IEEE CS, ISBN 0-7695-2297-1, pp. 6-13, August 2005
Link Adámek J., Plášil 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, September 2005
(preliminary version available here)
PDF Sobr L., Tůma P.: SOFAnet: Middleware for Software Distribution over Internet,
in proceedings of Symposium on Applications and the Internet (SAINT 2005), Trento, Italy, Copyright (C) IEEE, Piscataway, New Jersey, USA, ISBN 0-7695-2262-9, pp. 48-53, February 2005
PDF, Link Mencl V., Bureš T.: Microcomponent-Based Component Controllers: A Foundation for Component Aspects,
in Proceedings of 12th Asia-Pacific Software Engineering Conference (APSEC 2005), Dec 15-17, 2005, Taipei, Taiwan, pp. 729-738, ISBN 0-7695-2465-6, ISSN 1530-1362, IEEE Computer Society Press, December 2005

Ph.D. Theses

PDF Hnětynka P.: Making deployment process of distributed component-based software unified,
Ph.D. Thesis, advisor: Frantisek Plasil, September 2005

Technical Reports

PDF Kofroň J.: Enhancing Behavior Protocols with Atomic Actions,
Tech. Report No. 2005/8, Dep. of SW Engineering, Charles University, Prague, November 2005
PDF Galik O., Bureš T.: Handling Heterogeneity in Connector Generation,
Tech. Report No. 2005/2, Dep. of SW Engineering, Charles University, Prague, June 2005
PDF Bureš T.: Automated Synthesis of Connectors for Heterogeneous Deployment,
Tech. Report No. 2005/4, Dep. of SW Engineering, Charles University, Prague, August 2005
PDF Bulej L., Bureš T.: Deploying Heterogeneous Applications using OMG D&C and Software Connectors,
Tech. Report No. 2005/10, Dep. of SW Engineering, Charles University, Prague, November 2005

Master Theses

PDF, ZIP, WWW Samek J.: Employing OCL for specifying behavior compliance,
Master thesis, advisor: Vladimir Mencl, September 2005
PDF, ZIP, WWW Polak M.: UML 2.0 Components,
Master thesis, advisor: Vladimir Mencl, September 2005

2004 (11)

Refereed (journals/proceedings)

PDF Hnětynka P., Plášil F.: Distributed Versioning Model for MOF,
Proceedings of WISICT 2004, Cancun, Mexico, A volume in the ACM international conference proceedings series, published by Computer Science Press, Trinity College Dublin Ireland, ISBN 0-9544145-3-5, pp. 489-494, January 2004
PDF Adámek J., Plášil F.: Erroneous Architecture is a Relative Concept,
in Proceedings of Software Engineering and Applications (SEA) conference, Cambridge, MA, USA, published by ACTA Press, ISBN 0-88986-425-X, ISSN 1482-7905, pp. 715-720, November 2004
PDF Mach M., Plášil F.: Addressing State Explosion in Behavior Protocol Verification,
Proceedings of SNPD'04, Beijing, China, June 30 - July 2, 2004, ACIS, ISBN 0-9700776-8-8, pp. 327-333, June 2004
PDF Hnětynka P., Píše M.: Hand-written vs. MOF-based Metadata Repositories: The SOFA Experience,
Proceedings of ECBS 2004, Brno, Czech Republic, IEEE CS, ISBN 0-7695-2125-8, pp. 329-336, May 2004
PDF, Link Bureš T., Plášil 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 Hnětynka P.: Making Deployment of Distributed Component-based Software Unified,
Proceedings of CSSE 2004 (part of ASE 2004), Linz, Austria, Austrian Computer Society, ISBN 3-85403-180-7, pp. 157-161, September 2004
PDF Adámek J., Plášil F.: Partial Bindings of Components - any Harm?,
Presented at the SACT 2004 Workshop, Busan, Korea (held in conjunction with the APSEC 2004 conference), and published in the Proceedings of APSEC 2004, IEEE Computer Society, ISBN 0-7695-2245-9, ISSN 1530-1362, pp. 632-639, November 2004

Ph.D. Theses

PDF, PDF Mencl V.: Use Cases: Behavior Assembly, Behavior Composition and Reasoning,
Ph.D. Thesis, advisor: Frantisek Plasil, June 2004

Technical Reports

PDF Bulej L., Bureš T.: Addressing Heterogeneity in OMG D&C-based Deployment,
Tech. Report No. 2004/7, Dep. of SW Engineering, Charles University, Prague, November 2004
PDF Hnětynka P.: Component Model for Unified Deployment of Distributed Component-based Software,
Tech. Report No. 2004/4, Dep. of SW Engineering, Charles University, Prague, June 2004
PDF Adámek J., Plášil F.: Static Checking for Missing Bindings of Components,
Tech. Report No. 2004/3, Dep. of SW Engineering, Charles University, Prague, March 2004

2003 (11)

Refereed (journals/proceedings)

PDF, WWW Hnětynka P., Tůma P.: Fighting Class Name Clashes in Java Component Systems,
Proceedings of JMLC 2003, Klagenfurt, Austria, Copyright (C) Springer-Verlag, Berlin, LNCS2789, ISSN-0302-9743, pp. 106-109, August 2003
PDF Plášil F., Mencl V.: Getting "Whole Picture" Behavior in a Use Case Model,
in Proceedings of IDPT 2003, Austin, Texas, U.S.A., ISSN 1090-9389, abstract pp. 23, full paper on CD in session-4/p-4-4.pdf, published by Society for Design and Process Science, Grandview, Texas, awarded with Rudolf Christian Karl Diesel Best Paper Award, also published in Transactions of the SDPS: Journal of Integrated Design and Process Science, vol. 7, no. 4, pp. 63-79, December 2003
PDF, PDF Adámek J., Plášil F.: Behavior Protocols Capturing Errors and Updates,
in Proceedings of the Second International Workshop on Unanticipated Software Evolution (USE 2003), ETAPS, published by University of Warsaw, Poland, pp. 17-25, April 2003
PDF Plášil F., Mencl V.: Getting "Whole Picture" Behavior in a Use Case Model,
in Transactions of the SDPS: Journal of Integrated Design and Process Science, vol. 7, no. 4, pp. 63-79, Dec 2003, ISSN-1092-0617, publisher: Society for Design and Process Science, Grandview, Texas, slightly modified version of paper published in Proceedings of IDPT 2003, December 2003
PDF Bureš T., Plášil F.: Scalable Element-Based Connectors,
Proceedings of SERA 2003, San Francisco, USA, ISBN 0-9700776-6-1, Copyright by The International Association for Computer & Information Science (ACIS), pp. 198-204, June 2003
PDF, PDF Adámek J.: Static Analysis of Component Systems Using Behavior Protocols,
in OOPSLA 2003 Companion, Anaheim, CA, USA, published by ACM, ISBN 1-58113-751-6, pp. 116-117, October 2003

Ph.D. Theses

PDF Brada P.: Specification-Based Component Substitutability and Revision Identification,
Ph.D. Thesis, advisor: Frantisek Plasil, August 2003

Technical Reports

PDF Bulej L., Bureš T.: A Connector Model Suitable for Automatic Generation of Connectors,
Tech. Report No. 2003/1, Dep. of SW Engineering, Charles University, Prague, January 2003
PDF Bureš T., Plášil F.: Composing Connectors of Elements,
Tech. Report No. 2003/3, Dep. of SW Engineering, Charles University, Prague, May 2003
PDF Hnětynka P., Tůma P.: Managing Class Names in Java Component Systems with Dynamic Update,
Tech. Report No. 2003/2, Dep. of SW Engineering, Charles University, Prague, February 2003

Master Theses

PDF, ZIP Mach M.: Model Checking of Behavior Protocols,
Master Thesis, advisor: Frantisek Plasil, September 2003

2002 (14)

Refereed (journals/proceedings)

PDF, WWW Kalibera T., Tůma P.: Distributed Component System Based On Architecture Description: The SOFA Experience,
Proceedings of DOA 2002, Irvine, CA, USA, Copyright (C) Springer-Verlag, pp. 981-994, LNCS2519, ISBN 3-540-00106-9, ISSN 0302-9743, October 2002
WWW Plášil F., Višňovský S.: Behavior Protocols for Software Components,
IEEE Transactions on Software Engineering, vol. 28, no. 11, November 2002
(preliminary version available here)
PDF Procházka M., Plášil F.: Transactions in Software Components: Container-Interposed Transactions,
International Journal for Computer and Information Science (a slightly modified version of the paper presented at SNPD 2001), Vol. 3, No. 2, March 2002
PDF Brada P.: Metadata Support for Safe Component Upgrades,
Proceedings of Compsac'02, the 26th Annual International Computer Software & Applications Conference, Oxford, England, IEEE CS Press, August 2002

Ph.D. Theses

PDF Bálek D.: Connectors in Software Architectures,
Ph.D. Thesis, advisor: Frantisek Plasil, March 2002
PDF Procházka M.: Advanced Transactions in Component-Based Software Architectures,
Ph.D. Thesis, Charles University, University of Evry, February 2002
PDF Višňovský S.: Modeling Software Components Using Behavior Protocols,
Ph.D. Thesis, advisor: Frantisek Plasil, December 2002

Technical Reports

PDF Adámek J., Plášil F.: Behavior Protocols: Tolerating Faulty Architectures and Supporting Dynamic Updates,
Technical Report 02/10, Department of Computer Science, University of New Hampshire, NH, U.S.A., October 2002
PDF Plášil F., Mencl V.: Use Cases: Assembling "Whole Picture" Behavior,
Technical Report 02/11, Department of Computer Science, University of New Hampshire, NH, U.S.A., November 2002
PDF Brada P.: The ENT Model: A General Model for Software Interface Structuring,
Technical report DCSE/TR-2002-10, DCSE, University of West Bohemia, Pilsen, Czech Republic, April 2002

Master Theses

PDF Bureš T.: Generator of Connectors for SOFA/DCUP,
Master Thesis, advisor: Frantisek Plasil, September 2002
PDF Bulej L.: Generator of Connectors for SOFA/DCUP,
Master Thesis, advisor: Petr Tuma, June 2002
PDF, Link Cifka M.: Visual Development of Software Components,
Master Thesis, advisor: Petr Tuma, September 2002
PDF, Link Kalibera T.: SOFA Support in C++ Environments,
Master Thesis, advisor: Petr Tuma, January 2002

2001 (8)

Refereed (journals/proceedings)

PDF Procházka M., Plášil F.: Container-Interposed Transactions,
Proceedings of the Component-Based Software Engineering special session of the SNPD 2001 Conference, Nagoya, Japan, August 2001
PDF, PDF Mencl V.: Autonomous Points in Component Composition,
Extended abstract of the Poster presented at OOPSLA 2001, in the Conference Companion, ACM ISBN 1-58113-441-X, pp. 83-84, Tampa, FL, USA, October 2001
PDF Brada P.: Component Revision Identification Based on IDL/ADL Component Specification,
Poster presentation. Proceedings of the ESEC/FSE 2001, Vienna, Austria, ACM Press, August 2001
PDF, GZIP Bálek D., Plášil F.: Software Connectors and Their Role in Component Deployment,
Proceedings of DAIS'01, Krakow, Kluwer, September 2001
PDF Brada P.: Towards Automated Component Compatibility Assessment,
Presented at the 6th International Workshop on Component-Oriented Programming (part of ECOOP'2001), 2001

Technical Reports

PDF Mencl V., Adámek J., Buble A., Hnětynka P., Višňovský S.: Enhancing EJB Component Model,
Tech. Report No. 2001/7, Dep. of SW Engineering, Charles University, Prague, December 2001
PDF Mencl V.: Managing Configuration of Update-enabled Software Components,
Tech. Report No. 2001/5, Dep. of SW Engineering, Charles University, Prague, October 2001
PDF Mencl V., Hnětynka P.: Managing Evolution of Component Specifications using a Federation of Repositories,
Tech. Report No. 2001/2, Dep. of SW Engineering, Charles University, Prague, June 2001

2000 (4)

Refereed (journals/proceedings)

PDF Blair G., Blair L., Issarny V., Tůma P., Zarras A.: The Role of Software Architecture in Constraining Adaptation in Component-based Middleware Platforms,
Proceedings of Middleware 2000, IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing, Hudson River Valley (NY), USA. Springer Verlag, LNCS, April 2000

Technical Reports

PDF Plášil F., Višňovský S., Bešta M.: Behavior Protocols,
Tech. Report No. 2000/7, Dep. of SW Engineering, Charles University, Prague, August 2000
PDF Bálek D., Plášil F.: Software Connectors: A Hierarchical Model,
Tech. Report No. 2000/2, Dep. of SW Engineering, Charles University, Prague, Revised 11/25/2000, November 2000
PDF Brada P.: SOFA Component Revision Identification,
Tech. Report No. 2000/9, Dep. of SW Engineering, Charles University, Prague, 2000

1999 (7)

Refereed (journals/proceedings)

PDF Plášil F., Višňovský S., Bešta M.: Bounding Component Behavior via Protocols,
Proceedings of TOOLS USA '99, CS IEEE, TOOLS 30, pp. 387-398, August 1999
PDF Brada P.: Component Change and Version Identification in SOFA,
Proceedings of SOFSEM'99, Czech Republic, Springer-Verlag, LNCS, 1999
Tůma P., Issarny V., Zarras A.: Using Meta-Level Architectural Description Towards the Systematic Synthesis of Middleware,
Proceedings of the Reflection'99 conference, St Malo, France (part of project ASTER, www-rocq.inria.fr/solidor/work/aster.html, done during a postdoc stay at IRISA/INRIA Rennes), July 1999

Technical Reports

PDF, PDF Plášil F., Višňovský S., Bešta M.: Behavior Protocols and Components,
Tech. Report No. 99/2, Dep. of SW Engineering, Charles University, Prague, 1999
PDF Hoa D. N.: Dynamic Aspects in SOFA/DCUP,
Tech. Report No. 99/7, Dep. of SW Engineering, Charles University, Prague, June 1999

Master Theses

PDF Višňovský S.: Checking Semantic Compatibility of SOFA/DCUP components,
Master Thesis, advisor: Miloslav Besta, 1999
ZIP, Link Gergič J.: A Versioning Model for SOFA/DCUP Architecture,
Master Thesis, advisor: Frantisek Plasil, 1999

1998 (3)

Refereed (journals/proceedings)

PDF, PDF Plášil F., Bálek D., Janeček R.: SOFA/DCUP: Architecture for Component Trading and Dynamic Updating,
Proceedings of ICCDS'98, Annapolis, Maryland, USA, IEEE CS Press, May 1998
Broy M., Deimel A., Henn J., Koskimies K., Plášil F., Pomberger G., Pree W., Szyperski C.: What characterizes a (software) component?,
Software Concepts & Tools (vol. 19, no. 1), 1998

Master Theses

PDF, PostScript Mencl V.: Component Definition Language,
Master Thesis, advisor: Nguyen Duy Hoa, 1998

1997 (1)

Technical Reports

PDF, PDF Plášil F., Bálek D., Janeček R.: DCUP: Dynamic Component Updating in Java/CORBA Environment,
Tech. Report No. 97/10, Dep. of SW Engineering, Charles University, Prague, 1997
Modified on 2013-12-03