D3S Publications

Publications sorting and grouping Sort publications by and group them by

ASCENS (11)

2013

PDF Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F.: DEECo - an Ensemble-Based Component System,
Accepted for publication in Proceedings of CBSE 2013, Vancouver, Canada, June 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 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
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
Link Bulej L., Bureš T., Horký V., Keznikl J.: Adaptive Deployment in Ad-Hoc Systems Using Emergent Component Ensembles: Vision Paper,
Accepted for publication in Proceedings of ICPE 2013, Prague, Czech Republic. ACM, April 2013
PDF Keznikl J., Bureš T., Plášil F., Gerostathopoulos I., Hnětynka P., Nicklas Hoch: Design of Ensemble-Based Component Systems by Invariant Refinement,
Accepted for publication in Proceedings of CBSE 2013, Vancouver, Canada, June 2013

2012

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
Link Keznikl J., Bureš T., Plášil F., Hnětynka P.: Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method),
Accepted for publication in Software and Systems Modeling, DOI: 10.1007/s10270-012-0274-8, July 2012
Link Bulej L., Bureš T., Horký V., Keznikl J., Tůma P.: Performance Awareness in Component Systems: Vision Paper,
In Proceedings of COMPSAC 2012, Izmir, Turkey, July 2012
PDF, Link Bulej L., Bureš T., Keznikl J., Koubková A., Podzimek A., Tůma P.: Capturing Performance Assumptions using Stochastic Performance Logic,
In Proceedings of ICPE 2012, Boston, USA. ACM, ISBN 978-1-4503-1202-8, pp. 311-322, April 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 CBSE '12 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

Collegium Informaticum (20)

2010

PDF Poch T.: Towards Thread Aware Component Specifications,
Ph.D. thesis, advisor: Frantisek Plasil, September 2010

2009

PDF Kofroň J., Poch T., Šerý O.: Making Components Fit: SPINing,
In Proceedings of SEW-32, IEEE, ISBN 978-0-7695-3617-0, pp. 65-74, Greece, January 2009

2008

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
Link Babka V., Bulej L., Děcký M., Holub V., Tůma P.: Teaching Operating Systems: Student Assignments and the Software Engineering Perspective,
In the 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. 71-77, May 2008
PDF Babka V.: Resource Sharing in QPN-based Performance Models,
In the Proceedings of WDS'08, edited by J. Safrankova and J. Pavlu, June 2008

2007

Holub V.: Identifying Representatives for Interfering Automata,
in Proceedings of 1st Digital Communications and Computer Applications (DCCA2007), ISBN 625-3-2007, pp. 1178-1185, Irbid, Jordan, March 2007
PDF Matousek T., Ježek P.: DeSpec: Modeling the Windows Driver Environment,
Accepted for publication in Proceedings of FESCA, ETAPS'07, Braga, Portugal, ENTCS, March 2007

2006

PDF, PostScript Holub V.: On Distributed Verification of Generalized Interaction Models of Software Components,
presented on 20th European Conference on Object-Oriented Programming (ECOOP 2006) Doctoral Symposium, July 2006
PDF, PDF, Link Kalibera T., Tůma P.: Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results,
in proceedings of Third European Performance Engineering Workshop (EPEW 2006), Budapest, Hungary, Copyright (C) Springer-Verlag, Berlin, LNCS 4054, ISBN 3-540-35362-3, ISSN 0302-9743, pp. 63-77., June 2006
PDF, PostScript Holub V.: State Dependances in Interfering Automata,
in Proceedings of the 15th Annual Conference of Doctoral Students - WDS 2006, ISBN 80-86732-84-3, June 2006
PDF Kofroň J.: Software Component Verification: On Translating Behavior Protocols to Promela,
Tech. Report No. 2006/11, Dep. of SW Engineering, Charles University in Prague, October 2006
PDF Kofroň J.: Behavior Protocols: Fighting the "Spearhead" Problem,
In the Proceedings of WDS'06, edited by J. Safrankova and J. Pavlu, MATFYZPRESS, Prague, 2006, pp. 130-134, ISBN 80-86732-84-3, Czech Republic, June 2006
PDF Kalibera T., Lehotsky J., Majda D., Repcek B., Tomcanyi M., Tomecek A., Tůma P., Urban J.: Automated Benchmarking and Analysis Tool,
Tech. Report No. 2006/8. Dept. of SW Engineering, Charles University,Prague, June 2006
PDF Kofroň J.: Extending Behavior Protocols With Data and Multisynchronization,
Tech. Report No. 2006/10, Dep. of SW Engineering, Charles University in Prague, October 2006

2005

PDF, PostScript Holub V.: Enhancing Behavior Protocols with Exceptions,
in Proceedings of the 14th Annual Conference of Doctoral Students - WDS 2005, pp. 30-35, ISBN 80-86732-59-2, June 2005
PDF, PDF, PDF Kalibera T., Bulej L., Tůma P.: Automated Detection of Performance Regressions: The Mono Experience,
in proceedings of the 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2005), Atlanta, GA, USA, Copyright (C) IEEE, Piscataway, New Jersey, USA, ISBN 0-7695-2458-3, ISSN 1526-7539, pp. 183-190, September 2005
PDF, PDF Kalibera T., Bulej L., Tůma P.: Benchmark Precision and Random Initial State,
in Proceedings of the 2005 International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS 2005), Cherry Hill, NJ, USA, Copyright (C) SCS, San Diego, CA, USA, pp. 853-862, ISBN 1-56555-300-4, July 2005
PDF, Link Kalibera T., Bulej L., Tůma P.: Quality Assurance in Performance: Evaluating Mono Benchmark Results,
in proceedings of the Second International Workshop on Software Quality (SOQUA 2005), Erfurt, Germany, Copyright (C) Springer-Verlag, Berlin, LNCS3712, ISBN 3-540-29033-8, ISSN 0302-9743, pp. 271-288, September 2005
PDF, PDF, PDF Kalibera T., Bulej L., Tůma P.: Mono Regression Benchmarking,
in proceedings of WDS'05, MatfyzPress, Charles University, Prague, Czech Republic, pp. 19-24, ISBN 80-86732-59-2, September 2005
PDF Kofroň J.: Performance Improvements of Behavior Protocol Checking,
in Proceedings of WDS'05, Edited by Jana Safrankova, MATFYZPRESS, Prague, 2005, pp. 25-30, ISBN 80-86732-59-2, Czech Republic, June 2005

Ferdinand (21)

2013

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 European Conference on Object-Oriented Programming, ECOOP 2013, Montpellier, France, Springer, July 2013
Martin Babka, Tomas Balyo, Keznikl J.: Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas,
Accepted for publication in Proceedings of SERA 2013, Prague, Czech Republic. IEEE CS, August 2013
Sarimbekov A., Kell S., Bulej L., Sewe A., Zheng Y., Ansaloni D., Binder W.: A Comprehensive Toolchain for Workload Characterization Across JVM Languages,
Accepted for publication in Proceedings of 11th ACM/SIGPLAN Workshop on Program Analysis for Software Tools and Engineering, PASTE 2013, Seattle, WA, USA, ACM, June 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
Link Bulej L., Bureš T., Horký V., Keznikl J.: Adaptive Deployment in Ad-Hoc Systems Using Emergent Component Ensembles: Vision Paper,
Accepted for publication in Proceedings of ICPE 2013, Prague, Czech Republic. ACM, April 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 '13, Prague, Czech Republic, ACM, ISBN: 978-1-4503-1636-1, pp. 429-430, April 2013
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,
Accepted for publication in Proceedings of 22nd Australasian Software Engineering Conference, ASWEC 2013, Melbourne, Australia, IEEE, June 2013

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
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 Babka V., Tůma P.: Computer Memory: Why We Should Care What Is Under The Hood,
Invited Paper, To Appear in Post-conference proceedings of MEMICS 2011, Springer LNCS 7119, ISBN 978-3-642-25928-9, January 2012
Link Keznikl J., Bureš T., Plášil F., Hnětynka P.: Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method),
Accepted for publication in Software and Systems Modeling, DOI: 10.1007/s10270-012-0274-8, July 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 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
Link Bulej L., Bureš T., Horký V., Keznikl J., Tůma P.: Performance Awareness in Component Systems: Vision Paper,
In Proceedings of COMPSAC 2012, Izmir, Turkey, July 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 Objects, Models, Components, Patterns - 50th International Conference, TOOLS 2012, Prague, Czech Republic, Springer, ISBN: 978-3-642-30560-3, pp. 353-368, May 2012
PDF, Link Bulej L., Bureš T., Keznikl J., Koubková A., Podzimek A., Tůma P.: Capturing Performance Assumptions using Stochastic Performance Logic,
In Proceedings of ICPE 2012, Boston, USA. ACM, ISBN 978-1-4503-1202-8, pp. 311-322, April 2012
PDF, Link Kell S., Ansaloni D., Binder W., Marek L.: The JVM is not observable enough (and what to do about it),
Accepted for publication in Proceedings of the 6th workshop on Virtual Machines and Intermediate Languages, VMIL 2012, Tucson, Arizona, USA, ACM, November 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
PDF, Link Babka V., Libič P., Martinec T., Tůma P.: On The Accuracy of Cache Sharing Models,
In Proceedings of ICPE 2012, Boston, USA, Awarded with Best Student Paper Award. ACM, ISBN 978-1-4503-1202-8, pp. 21-32, April 2012

2011

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, 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

GAČR 102 (21)

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

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
PDF Mencl V., Plášil F., Adámek J.: Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective,
in Proceedings of the Software Engineering (SE) 2005 conference, Feb. 15-17, 2005, Innsbruck, Austria, ISBN 0-88986-466-7, ISSN 1027-2666, pp. 193-201, ACTA Press, February 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 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
PDF, Link Bulej L., Kalibera T., Tůma P.: Repeated Results Analysis for Middleware Regression Benchmarking,
in Performance Evaluation: An International Journal, Performance Modeling and Evaluation of High-Performance Parallel and Distributed Systems, vol. 60, pg. 345-358, Elsevier B.V., ISSN 0166-5316, May 2005
Ježek P., Kofroň J., Plášil F.: Model Checking of Component Behavior Specification: A Real Life Experience,
Published in Preliminary Proceedings of International Workshop on Formal Aspects of Component Software (FACS'05), Macao, October 24-25, 2005, UNI-IIST Report No. 333, October 2005
PDF Adámek J.: Modeling Unbounded Parallelism Using Behavior Protocols,
Tech. Report No. 2005/7, Dep. of SW Engineering, Charles University, Prague, November 2005

2004

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 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 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, Link Mencl V.: Specifying Component Behavior with Port State Machines,
Electronic Notes in Theoretical Computer Science, vol. 101C pp. 129-153, Proceedings of the Workshop on the Compositional Verification of UML Models (CVUML, Oct 21, 2003, part of UML 2003), Edited by F. de Boer and M. Bonsangue, ISSN 1571-0661, Elsevier Science, November 2004
PDF, PDF, Link Bulej L., Kalibera T., Tůma P.: Regression Benchmarking with Simple Middleware Benchmarks,
in proceedings of the 2004 International Performance Computing and Communications Conference (IPCCC 2004), International Workshop on Middleware Performance, Phoenix, AZ, USA, Copyright (C) 2004 IEEE, Piscataway, New Jersey, USA, pp. 771-776, ISBN 0-7803-8396-6, ISSN 1097-2641, April 2004

2003

PDF Mencl V.: Enhancing Component Behavior Specifications with Port State Machines,
Tech. Report No. 2003/4, Dept. of SW Engineering, Charles University, Prague, September 2003
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 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
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
PDF Gergič J.: Towards a Versioning Model for Component-based Software Assembly,
Proceedings of ICSM 2003, Amsterdam, Netherlands, published by IEEE Computer Society, ISBN 0-7695-1905-9, pp. 138-147, October 2003

GAČR 1489 (10)

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
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

2012

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
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
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., 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
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

2011

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
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
PDF Šimko V.: Patterns In Specification Documents,
Tech. Report No. 2011/6, Dep. of Distributed and Dependable Systems, Charles University in Prague, July 2011

GAČR 201 (27)

2005

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 Galik O., Bureš T.: Handling Heterogeneity in Connector Generation,
Tech. Report No. 2005/2, Dep. of SW Engineering, Charles University, Prague, June 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, PDF, PDF Kalibera T., Bulej L., Tůma P.: Automated Detection of Performance Regressions: The Mono Experience,
in proceedings of the 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2005), Atlanta, GA, USA, Copyright (C) IEEE, Piscataway, New Jersey, USA, ISBN 0-7695-2458-3, ISSN 1526-7539, pp. 183-190, September 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, PDF Kalibera T., Bulej L., Tůma P.: Benchmark Precision and Random Initial State,
in Proceedings of the 2005 International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS 2005), Cherry Hill, NJ, USA, Copyright (C) SCS, San Diego, CA, USA, pp. 853-862, ISBN 1-56555-300-4, July 2005
PDF Parízek P., Plášil F.: Specification and Generation of Environment for Model Checking of Software Components,
Tech. Report No. 2005/5, Dep. of SW Engineering, Charles University, November 2005
PDF, Link Kalibera T., Bulej L., Tůma P.: Quality Assurance in Performance: Evaluating Mono Benchmark Results,
in proceedings of the Second International Workshop on Software Quality (SOQUA 2005), Erfurt, Germany, Copyright (C) Springer-Verlag, Berlin, LNCS3712, ISBN 3-540-29033-8, ISSN 0302-9743, pp. 271-288, September 2005

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 Mencl V.: Deriving Behavior Specifications from Textual Use Cases,
in Proceedings of Workshop on Intelligent Technologies for Software Engineering (WITSE04, Sep 21, 2004, part of ASE 2004), Linz, Austria, ISBN 3-85403-180-7, pp. 331-341, Oesterreichische Computer Gesellschaft, September 2004
PDF, PDF, Link Kalibera T., Bulej L., Tůma P.: Generic Environment for Full Automation of Benchmarking,
in proceedings of Net.ObjectDays 2004, First International Workshop on Software Quality (SOQUA 2004), Erfurt, Germany, Copyright (C) 2004 tranSIT GmbH Ilmenau, Germany, pp. 35-41, ISBN 3-9808628-3-6 ; also in Testing of Component-Based Systems and Software Quality, Proceedings of SOQUA 2004 and TECOS 2004, LNI 58, GI 2004, pp. 125-132, ISBN 3-88579-387-3, ISSN 1617-5468, September 2004
PDF Mencl V.: Converting Textual Use Cases into Behavior Specifications,
Tech. Report No. 2004/5, Dept. of SW Engineering, Charles University, Prague, August 2004
PDF, PostScript Plášil F., Holub V.: Exceptions in Component Interaction Protocols - a necessity,
in Architecting Systems with Trustworthy Components: International Seminar, LNCS Volume 3938, (C) Springer-Verlag, ISBN 3-540-35800-5, DOI 10.1007/11786160, pre-print version, December 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 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, 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, PDF Kofroň J.: Model Checking of SOFA Behavior Protocols,
In proceedings of WDS'04, MatfyzPress, Charles University, Prague, Czech Republic, 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
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
PDF, PDF Kalibera T.: Regression Benchmarking Environment,
in proceedings of WDS'04, MatfyzPress, Charles University, Prague, Czech Republic, pp. 174-178, ISBN 80-86732-32-0, June 2004

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 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 Tůma P.: Modern Software Architectures: Novel Solutions or Old Hats ?,
Proceedings of the Annual Database Conference, Brno, Czech Republic, Masarykova univerzita, Brno, ISBN-80-210-3215-4, pp. 151-162, October 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
Tůma P.: Modern Software Architectures: Novel Solutions or Old Hats?,
in proceedings of the Annual Database Conference (DATAKON 2003), Brno, Czech Republic, published by Masaryk University in Brno, Czech Republic, ISBN 80-210-3215-4, pp. 151-162, October 2003

GAČR 266 (13)

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.

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 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, Link Parízek P., Kalibera T.: Efficient Detection of Errors in Java Components Using Random Environment and Restarts,
In Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2010), LNCS, vol. 6015, ISBN 978-3-642-12001-5, ISSN 0302-8743, March 2010
PDF Kalibera T., Parízek P., Haddad G., Leavens G., Vitek J.: Challenge Benchmarks for Verification of Real-time Programs,
In Proceedings of 4th ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV'10), ACM, ISBN 978-1-60558-890-2, January 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
Link Ficek M., Pop T., Dufková K., Vláčil P., Kencl L., Tomek M.: Performance Study of Active Tracking in a Cellular Network using a Modular Signaling Platform,
Proceedings of the 8th international conference on Mobile systems, applications, and services, June 2010

2009

PDF Poch T., Plášil F.: Extracting Behavior Specification of Components in Legacy Applications,
In Proceedings of the 12th International Symposium on Component Based Software Engineering (CBSE 2009), LNCS 5582, ISBN 978-3-642-02413-9, pp. 87-103, June 2009
PDF Šerý O.: Enhanced Property Specification and Verification in BLAST,
In Proceedings of FASE 2009, LNCS 5503, pp. 456-469, York, UK, March 2009
PDF Kofroň J., Plášil F., Šerý O.: Modes in component behavior specification via EBP and their application in product lines,
In Information and Software Technology 51/1, pp. 31-41, Elsevier, January 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, Link Parízek P., Kalibera T.: Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs,
In Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009), LNCS, vol. 5825, ISBN 978-3-642-04569, November 2009

2008

PDF Plšek A., Adámek J.: Carmen: Software Component Model Checker,
in Proceedings of QoSA 2008, Karlsruhe, Germany, Springer, LNCS 5281, ISBN 978-3-540-87878-0, ISSN 0302-9743, pp. 71-85, October 2008

GAČR 312 (14)

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 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
Link Pop T., Hnětynka P., Malohlava M., Hošek P., Bureš T.: Comparison of Component Frameworks for Real-Time Embedded Systems,
Accepted for publication in Knowledge and Information Systems (KAIS), DOI 10.1007/s10115-013-0627-9, 2013
PDF, Link Poch T., Šerý O., Plášil F., Kofroň J.: Threaded Behavior Protocols,
Formal Aspects of Computing, Volume 25, Issue 4 , pp 543-572, ISSN 0934-5043, Springer-Verlag, July 2013

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
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 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 Jančík P., Parízek P., Kofroň J.: BeJC: Checking Compliance beetween Java Implementation and Behavior Specification,
In Proceedings of WCOP 2012, Bertinoro, Italy, 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 CBSE '12 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

2011

PDF Kofroň J., Jančík P., Parízek P.: Refinement between TBP and Java Implementation of Components,
Tech. Report No. 2011/5, Dep. of Distributed and Dependable Systems, Charles University in Prague, September 2011
PDF Jančík P., Parízek P., Kofroň J.: Advanced Debugging with JPF Inspector,
Local proceedings of MEMICS 2011, ISBN 978-80-214-4305-1, pp 43 - 50, September 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
Link Poch T., Šerý O., Plášil F., Kofroň J.: Threaded Behavior Protocols,
In Formal Aspects of Computing, Springer London, ISSN: 0934-5043, pp. 1-30, DOI: 10.1007/s00165-011-0194-3, IF 1.226, September 2011
(preliminary version available 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

GAČR 770 (19)

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

2009

PDF Kofroň J., Poch T., Šerý O.: Making Components Fit: SPINing,
In Proceedings of SEW-32, IEEE, ISBN 978-0-7695-3617-0, pp. 65-74, Greece, January 2009

2008

PDF, Link Parízek P., Plášil F.: Modeling of Component Environment in Presence of Callbacks and Autonomous Activities,
In Proceedings of TOOLS EUROPE 2008, Springer-Verlag, LNBIP, vol. 11, ISBN 3-540-69823-4, ISSN 1865-1348, pp. 2-21, June 2008
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,
Chapter in The Common Component Modeling Example: Comparing Software Component Models, Springer-Verlag, LNCS 5153, August 2008

2007

Holub V.: Identifying Representatives for Interfering Automata,
in Proceedings of 1st Digital Communications and Computer Applications (DCCA2007), ISBN 625-3-2007, pp. 1178-1185, Irbid, Jordan, March 2007
PDF Parízek P., Plášil F.: Heuristic Reduction of Parallelism in Component Environment,
Tech. Report No. 2007/2, Dep. of SW Engineering, Charles University in Prague, March 2007
PDF, PostScript Jambor M., Hrubý T., Tauš J., Krchák K., Holub V.: Implementation of a Linux Log-Structured File System with a Garbage Collector,
in Operating Systems Review special issue 41(1), ACM Press, ISSN 0163-5980, January 2007
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, Link Drazan J., Mencl V.: Improved Processing of Textual Use Cases: Deriving Behavior Specifications,
in Proceedings of SOFSEM 2007, January 20 - 26, 2007, Harrachov, Czech Republic, LNCS 4362, pp.856-868, DOI: 10.1007/978-3-540-69507-3_74, Springer, January 2007
PDF Hnětynka P., Bureš T.: Advanced Features of Hierarchical Component Models,
Invited talk, Proceedings of ISIM 2007, Hradec nad Moravici, Czech Republic, ISBN 978-80-7248-006-7, pp. 3 - 10, April 2007
PDF, Link Parízek P., Plášil F.: Modeling Environment for Component Model Checking from Hierarchical Architecture,
In Proceedings of Formal Aspects of Component Software (FACS'06), ENTCS, Vol. 182, ISSN 1571-0661, pp. 139-153, June 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 Š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
PDF, PostScript Holub V., Tůma P.: Streaming State Space: A Method of Distributed Model Verification,
in proceedings of 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE 2007), IEEE Computer Society Press, ISBN 978-0-7695-2856-4, pp. 356-368, Shanghai, China, June 2007
PDF, Link Parízek P., Plášil F.: Partial Verification of Software Components: Heuristics for Environment Construction,
In Proceedings of 33rd EUROMICRO SEAA conference, IEEE Computer Society, ISBN 0-7695-2977-1, ISSN 1089-6503, pp. 75-82, August 2007

2006

PDF Parízek P., Plášil F.: Modeling Environment for Component Model Checking from Hierarchical Architecture,
Published in Preliminary Proceedings of 3rd International Workshop on Formal Aspects of Component Software (FACS'06), Prague, Czech Republic, September 20-22, 2006, UNU-IIST Report No. 344, September 2006
PDF Parízek P., Plášil F., Kofroň J.: Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker,
Tech. Report No. 2006/2, Dep. of SW Engineering, Charles University, January 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
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)

GAUK 253297 - Pavel Jančík (1)

2012

PDF Jančík P., Parízek P., Kofroň J.: BeJC: Checking Compliance beetween Java Implementation and Behavior Specification,
In Proceedings of WCOP 2012, Bertinoro, Italy, 2012

GAUK 37811 - Tomáš Pop (7)

2013

Link Michal Ficek, Pop T., LukášK Kencl: Active Tracking in Mobile Networks: An In-depth View,
Accepted for publications in The International Journal of Computer and Telecommunications Networking (COMNET), 2013
Link Pop T., Hnětynka P., Malohlava M., Hošek P., Bureš T.: Comparison of Component Frameworks for Real-Time Embedded Systems,
Accepted for publication in Knowledge and Information Systems (KAIS), DOI 10.1007/s10115-013-0627-9, 2013
PDF Ježek P., Malohlava M., Pop T.: Automated Evaluation of Regular Lab Assignments: A Bittersweet Experience?,
Accepted for publication in proceedings of 26th International Conference on Software Engineering Education and Training (CSEE&T), San Francisco, USA. IEEE, May 2013

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 CBSE '12 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

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
PDF Pop T.: Towards Optimization of Mobile Device Energy Consumption Based on Code Offload,
Tech. Report No. 2011/11, 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

GAUK 431011 - David Hauzar (1)

2012

PDF Hauzar D., Kofroň J.: On Security Analysis of PHP Web Applications,
In Proceedings of STPSA 2012, Izmir, Turkey. IEEE, July 2012

Informační společnost (46)

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 Poch T.: Towards Thread Aware Component Specifications,
Ph.D. thesis, advisor: Frantisek Plasil, September 2010

2009

PDF, Link Libič P., Tůma P., Bulej L.: Issues in Performance Modeling of Applications with Garbage Collection,
In Proceedings of QUASOSS 2009, Amsterdam, Netherlands, ACM, ISBN 978-1-60558-709-7, pp. 3-10, August 2009
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 Kofroň J., Plášil F., Šerý O.: Modes in component behavior specification via EBP and their application in product lines,
In Information and Software Technology 51/1, pp. 31-41, Elsevier, January 2009
PDF, Link Parízek P., Adámek J., Kalibera T.: Automated Construction of Reasonable Environment for Java Components,
In Proceedings of the 6th International Workshop on Formal Engineering Approaches to Software Components and Architectures (FESCA 2009), ENTCS, vol. 253, issue 1, ISSN 1571-0661, pp. 145-160, October 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 Kofroň J., Parízek P., Šerý O.: On Teaching Formal Methods: Behavior Models and Code Analysis,
In Proceedings of the 2nd International FME Conference on Teaching Formal Methods (TFM 2009), LNCS 5846, ISBN 978-3-642-04911-8, Eindhoven, The Netherlands, The original publication is available at www.springerlink.com, November 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., 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
Link Ježek P., Bureš T., Hnětynka P.: Supporting Real-life Applications in Hierarchical Component Systems,
Accepted for publication in Proceedings of SERA 2009, Haikou, China, Studies in Computational Intelligence (SCI), Springer, December 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 Parízek P., Kalibera T.: Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs,
In Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009), LNCS, vol. 5825, ISBN 978-3-642-04569, November 2009

2008

PDF Malohlava M., Plšek A., Loiret F., Merle P., Seinturier L.: Introducing Distribution into a RTSJ-based Component Framework,
In Proceedings of 2nd Junior Researcher Workshop on Real-Time Computing, Rennes, France, October 2008
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 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,
Chapter in The Common Component Modeling Example: Comparing Software Component Models, Springer-Verlag, LNCS 5153, August 2008
Link Mirandola R., Plášil F.: CoCoTA - Common Component Task,
Chapter in The Common Component Modeling Example: Comparing Software Component Models, Springer-Verlag, LNCS 5153, August 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
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

2007

PDF Babka V., Tůma P.: Effects of Memory Sharing on Contemporary Processor Architectures,
Proceedings of Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007), Znojmo, Czech Republic, October 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
PDF Matousek T., Ježek P.: DeSpec: Modeling the Windows Driver Environment,
Accepted for publication in Proceedings of FESCA, ETAPS'07, Braga, Portugal, ENTCS, March 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 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 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, PostScript Holub V., Plášil F.: Reducing Component Systems' Behavior Specification,
in proceedings of XXVI International Conference of the Chilean Computer Science Society, IEEE Computer Science Press, Iquique, Chile, November 2007
PDF, Link Babka V., Děcký M., Tůma P.: Resource Sharing in Performance Models,
Proceedings of Fourth European Performance Engineering Workshop (EPEW 2007), Berlin, Germany, September 27-28, 2007, Springer-Verlag, LNCS 4748, 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

2006

PDF, PDF, Link Kalibera T., Tůma P.: Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results,
in proceedings of Third European Performance Engineering Workshop (EPEW 2006), Budapest, Hungary, Copyright (C) Springer-Verlag, Berlin, LNCS 4054, ISBN 3-540-35362-3, ISSN 0302-9743, pp. 63-77., June 2006
PDF Parízek P., Plášil F., Kofroň J.: Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker,
Tech. Report No. 2006/2, Dep. of SW Engineering, Charles University, January 2006
PDF Kofroň J.: Software Component Verification: On Translating Behavior Protocols to Promela,
Tech. Report No. 2006/11, Dep. of SW Engineering, Charles University in Prague, October 2006
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
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 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 Kalibera T., Lehotsky J., Majda D., Repcek B., Tomcanyi M., Tomecek A., Tůma P., Urban J.: Automated Benchmarking and Analysis Tool,
Tech. Report No. 2006/8. Dept. of SW Engineering, Charles University,Prague, June 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
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, Copyright (C) Springer-Verlag, Berlin, LNCS 4344, ISBN 978-3-540-69271-3, ISSN 0302-9743, pp. 50-65, September 2006
PDF, Link Šerý O., Poch T., Safrata P., Brom C.: Level-Of-Detail in Behaviour of Virtual Humans,
In Proceedings of Current Trends in Theory and Practice of Computer Science January 21 - 27, 2006 Merin, Czech Republic, LNCS 3831, pp. 565-574, (C) Springer-Verlag, January 2006
PDF Kofroň J.: Extending Behavior Protocols With Data and Multisynchronization,
Tech. Report No. 2006/10, Dep. of SW Engineering, Charles University in Prague, October 2006

2005

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.: 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 Parízek P., Plášil F.: Specification and Generation of Environment for Model Checking of Software Components,
Tech. Report No. 2005/5, Dep. of SW Engineering, Charles University, November 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
Ježek P., Kofroň J., Plášil F.: Model Checking of Component Behavior Specification: A Real Life Experience,
Published in Preliminary Proceedings of International Workshop on Formal Aspects of Component Software (FACS'05), Macao, October 24-25, 2005, UNI-IIST Report No. 333, October 2005
PDF, PDF, PDF Kalibera T., Bulej L., Tůma P.: Mono Regression Benchmarking,
in proceedings of WDS'05, MatfyzPress, Charles University, Prague, Czech Republic, pp. 19-24, ISBN 80-86732-59-2, September 2005

OSIRIS (1)

2010

PDF Poch T.: Towards Thread Aware Component Specifications,
Ph.D. thesis, advisor: Frantisek Plasil, September 2010

PRVOUK (2)

2012

PDF, Link Podzimek A., Děcký M., Bulej L., Tůma P.: A Non-Intrusive Read-Copy-Update for UTS,
Published in the Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2012), IEEE Computer Society, ISBN 978-1-4673-4565-1, December 2012
PDF Hauzar D., Kofroň J.: On Security Analysis of PHP Web Applications,
In Proceedings of STPSA 2012, Izmir, Turkey. IEEE, July 2012

Q-ImPrESS (19)

2011

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)
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

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
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 Šerý O.: Automated Verification of Software,
Ph.D. thesis, advisor: Frantisek Plasil, September 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 Poch T.: Towards Thread Aware Component Specifications,
Ph.D. thesis, advisor: Frantisek Plasil, September 2010
PDF, Link Babka V., Tůma P., Bulej L.: Validating Model-Driven Performance Predictions On Random Software Systems,
In the Proceedings of the Sixth International Conference on the Quality of Software Architectures (QoSA 2010, federate event of CompArch 2010), Springer-Verlag, LNCS 6093, ISBN 978-3-642-13820-1, ISSN 0302-9743, pp. 3-19, 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 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

2009

PDF, Link Libič P., Tůma P., Bulej L.: Issues in Performance Modeling of Applications with Garbage Collection,
In Proceedings of QUASOSS 2009, Amsterdam, Netherlands, ACM, ISBN 978-1-60558-709-7, pp. 3-10, August 2009
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, 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
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
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
PDF Marek L.: Parallel Processing and Software Performance,
Master thesis, advisor: Petr Tuma, January 2009

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

RELATE (1)

2013

PDF Gerostathopoulos I., Bureš T., Hnětynka P.: Position Paper: Towards a requirements-driven design of ensemble-based component systems,
Accepted for publication in Proceedings of International Workshop on Hot Topics in Cloud Services, ICPE 2013, Prague, Czech Republic, 2013

Res Informatica (15)

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

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
Link Plšek A., Loiret F., Malohlava M.: Component-Oriented Development for Real-Time Java,
A book chapter in the book Distributed, Embedded and Real-time Java Systems. Editors: T. Higuera-Toledano and A. Wellings, ISBN 978-1-4419-8157-8, DOI 10.1007/978-1-4419-8158-5_11, February 2012
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 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 CBSE '12 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
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
PDF, Link Babka V., Libič P., Martinec T., Tůma P.: On The Accuracy of Cache Sharing Models,
In Proceedings of ICPE 2012, Boston, USA, Awarded with Best Student Paper Award. ACM, ISBN 978-1-4503-1202-8, pp. 21-32, April 2012

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
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

2010

Link Ficek M., Pop T., Dufková K., Vláčil P., Kencl L., Tomek M.: Performance Study of Active Tracking in a Cellular Network using a Modular Signaling Platform,
Proceedings of the 8th international conference on Mobile systems, applications, and services, June 2010
PDF, Link Babka V., Tůma P., Bulej L.: Validating Model-Driven Performance Predictions On Random Software Systems,
In the Proceedings of the Sixth International Conference on the Quality of Software Architectures (QoSA 2010, federate event of CompArch 2010), Springer-Verlag, LNCS 6093, ISBN 978-3-642-13820-1, ISSN 0302-9743, pp. 3-19, June 2010

2009

PDF, Link Libič P., Tůma P., Bulej L.: Issues in Performance Modeling of Applications with Garbage Collection,
In Proceedings of QUASOSS 2009, Amsterdam, Netherlands, ACM, ISBN 978-1-60558-709-7, pp. 3-10, August 2009
Link Loiret F., Malohlava M., Plšek A., Merle P., Seinturier L.: Constructing Domain-Specific Component Frameworks through Architecture Refinement,
In Proceedings of the 35th Euromicro Conference, Patras, Greece, 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, 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

Specifický výzkum 2010 (3)

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.

2010

PDF Poch T.: Towards Thread Aware Component Specifications,
Ph.D. thesis, advisor: Frantisek Plasil, September 2010
PDF, Link Babka V., Tůma P., Bulej L.: Validating Model-Driven Performance Predictions On Random Software Systems,
In the Proceedings of the Sixth International Conference on the Quality of Software Architectures (QoSA 2010, federate event of CompArch 2010), Springer-Verlag, LNCS 6093, ISBN 978-3-642-13820-1, ISSN 0302-9743, pp. 3-19, June 2010

Specifický výzkum 2011 (8)

2012

PDF Babka V., Tůma P.: Computer Memory: Why We Should Care What Is Under The Hood,
Invited Paper, To Appear in Post-conference proceedings of MEMICS 2011, Springer LNCS 7119, ISBN 978-3-642-25928-9, January 2012
PDF, Link Babka V., Libič P., Martinec T., Tůma P.: On The Accuracy of Cache Sharing Models,
In Proceedings of ICPE 2012, Boston, USA, Awarded with Best Student Paper Award. ACM, ISBN 978-1-4503-1202-8, pp. 21-32, April 2012

2011

PDF Hauzar D., Kofroň J.: Hunting Bugs Inside Web Applications,
Formal Verification of Object-Oriented Software, Technical report, Department of Informatics, KIT, 2011-26, October 2011
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
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 Poch T., Šerý O., Plášil F., Kofroň J.: Threaded Behavior Protocols,
In Formal Aspects of Computing, Springer London, ISSN: 0934-5043, pp. 1-30, DOI: 10.1007/s00165-011-0194-3, IF 1.226, September 2011
(preliminary version available here)
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, 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

Specifický výzkum 2012 (12)

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, Link Poch T., Šerý O., Plášil F., Kofroň J.: Threaded Behavior Protocols,
Formal Aspects of Computing, Volume 25, Issue 4 , pp 543-572, ISSN 0934-5043, Springer-Verlag, July 2013

2012

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
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
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, Link Podzimek A., Děcký M., Bulej L., Tůma P.: A Non-Intrusive Read-Copy-Update for UTS,
Published in the Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2012), IEEE Computer Society, ISBN 978-1-4673-4565-1, December 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., 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
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
Link Bulej L., Bureš T., Horký V., Keznikl J., Tůma P.: Performance Awareness in Component Systems: Vision Paper,
In Proceedings of COMPSAC 2012, Izmir, Turkey, July 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 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

svv267312 (2)

2013

Link Pop T., Hnětynka P., Malohlava M., Hošek P., Bureš T.: Comparison of Component Frameworks for Real-Time Embedded Systems,
Accepted for publication in Knowledge and Information Systems (KAIS), DOI 10.1007/s10115-013-0627-9, 2013
PDF Ježek P., Malohlava M., Pop T.: Automated Evaluation of Regular Lab Assignments: A Bittersweet Experience?,
Accepted for publication in proceedings of 26th International Conference on Software Engineering Education and Training (CSEE&T), San Francisco, USA. IEEE, May 2013

Výzkumný záměr (22)

2011

PDF Hauzar D., Kofroň J.: Hunting Bugs Inside Web Applications,
Formal Verification of Object-Oriented Software, Technical report, Department of Informatics, KIT, 2011-26, October 2011
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
PDF Kofroň J., Jančík P., Parízek P.: Refinement between TBP and Java Implementation of Components,
Tech. Report No. 2011/5, 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

2010

PDF, Link Parízek P., Kalibera T.: Efficient Detection of Errors in Java Components Using Random Environment and Restarts,
In Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2010), LNCS, vol. 6015, ISBN 978-3-642-12001-5, ISSN 0302-8743, March 2010
Kalibera T., Hagelberg J., Maj P., Pizlo F., Titzer B., Vitek J.: A Family of Real-time Java Benchmarks,
To appear in Concurrency and Computation: Practice and Experience, Wiley, August 2010
PDF Děcký M.: A Road to a Formally Verified General-Purpose Operating System,
In the Proceedings of the 1st International Symposium on Architecting Critical Systems (federate event of CompArch 2010), pp. 72 - 88, LNCS 6150, Springer-Verlag, ISBN 978-3-642-13555-2, June 2010
PDF Kalibera T., Parízek P., Haddad G., Leavens G., Vitek J.: Challenge Benchmarks for Verification of Real-time Programs,
In Proceedings of 4th ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV'10), ACM, ISBN 978-1-60558-890-2, January 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
PDF Poch T.: Towards Thread Aware Component Specifications,
Ph.D. thesis, advisor: Frantisek Plasil, September 2010
Kalibera T.: Replicating Real-Time Garbage Collector,
To appear in Concurrency and Computation: Practice and Experience, Wiley, August 2010

2009

PDF, PDF Kofroň J., Parízek P., Šerý O.: On Teaching Formal Methods: Behavior Models and Code Analysis,
In Proceedings of the 2nd International FME Conference on Teaching Formal Methods (TFM 2009), LNCS 5846, ISBN 978-3-642-04911-8, Eindhoven, The Netherlands, The original publication is available at www.springerlink.com, November 2009
Link Ježek P., Bureš T., Hnětynka P.: Supporting Real-life Applications in Hierarchical Component Systems,
Accepted for publication in Proceedings of SERA 2009, Haikou, China, Studies in Computational Intelligence (SCI), Springer, December 2009
PDF Kalibera T., Pizlo F., Hosking A. L., Vitek J.: Scheduling Hard Real-time Garbage Collection,
In Proceedings of the 30th IEEE Real-Time Systems Symposium (RTSS), IEEE, December 2009
PDF Hocko M., Kalibera T.: Reducing Performance Non-determinism via Cache-aware Page Allocation Strategies,
Accepted at First Joint WOSP/SIPEW International Conference on Performance Engineering, September 2009

2008

Link Babka V., Bulej L., Děcký M., Holub V., Tůma P.: Teaching Operating Systems: Student Assignments and the Software Engineering Perspective,
In the 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. 71-77, 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

2006

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
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, Copyright (C) Springer-Verlag, Berlin, LNCS 4344, ISBN 978-3-540-69271-3, ISSN 0302-9743, pp. 50-65, September 2006

2004

PDF, PostScript Plášil F., Holub V.: Exceptions in Component Interaction Protocols - a necessity,
in Architecting Systems with Trustworthy Components: International Seminar, LNCS Volume 3938, (C) Springer-Verlag, ISBN 3-540-35800-5, DOI 10.1007/11786160, pre-print version, December 2004

Grant

ASCENS

Collegium Informaticum (finished: 2008)

Ferdinand

GAČR 102 (finished: 2005)

GAČR 1489

GAČR 201 (finished: 2005)

GAČR 266 (finished: 2010)

GAČR 312

GAČR 770 (finished: 2008)

GAUK 253297 - Pavel Jančík

GAUK 37811 - Tomáš Pop

GAUK 431011 - David Hauzar

Informační společnost (finished: 2009)

OSIRIS

PRVOUK

Q-ImPrESS (finished: 2010)

RELATE

Res Informatica (finished: 2011)

Specifický výzkum 2010

Specifický výzkum 2011

Specifický výzkum 2012

svv267312
Please create a new [Grant] entry in publications/.meta.Grants.It will be used for rendering a proper textual desription.

Výzkumný záměr (finished: 2011)
Modified on 2010-11-30