František Plášil (photo)

František Plášil

Full Professor, Vice-Chair

Department of Distributed and Dependable Systems
School of Informatics
Faculty of Mathematics and Physics
Charles University, Prague
Malostranské nám. 25
118 00  Prague
Czech Republic
phone: +420 2 2191 4266
fax: +420 2 2191 4323
email: plasil _at_ d3s.mff.cuni.cz

Present Position

Full Professor, Department of Distributed and Dependable Systems, Vice-Chair
Faculty of Mathematics and Physics
Charles University, Prague

Research Topics

Current

Recent

Projects

Past projects

Publications

2016 (2)

Refereed (journals/proceedings)

PDF Gerostathopoulos I., Škoda D., Plášil F., Bureš T., Knauss A.: Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems,
In Proceedings of ECSA 2016, Istanbul, Turkey, LNCS 9839, Springer, to appear, September 2016
PDF Gerostathopoulos I., Bureš T., Hnětynka P., Keznikl J., Kit M., Plášil F., Plouzeau N.: Self-Adaptation in Software-Intensive Cyber-Physical Systems: from System Goals to Architecture Configurations,
Accepted for publication in Journal of Systems and Software (Special issue on adaptive and reconfigurable software systems and architectures), March 2016

2015 (9)

Refereed (journals/proceedings)

Link, Link Šimko V., Hauzar D., Hnětynka P., Bureš T., Plášil F.: Formal Verification of Annotated Textual Use-Cases,
The Computer Journal 58(7), pp. 1495-1529, doi:10.1093/comjnl/bxu068, July 2015
PDF Kit M., Plášil F., Matěna V., Bureš T., Kovac O.: Employing Domain Knowledge for Optimizing Component Communication,
Accepted for publication in Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering, May 2015
PDF, Link Kit M., Gerostathopoulos I., Bureš T., Hnětynka P., Plášil F.: An Architecture Framework for Experimentations with Self-Adaptive Cyber-Physical Systems,
In Proceedings of SEAMS 2015, Firenze, Italy, pp. 93-96, IEEE, doi:10.1109/SEAMS.2015.28, May 2015
PDF, Link Bureš T., Gerostathopoulos I., Keznikl J., Plášil F., Tůma P.: Formalization of Invariant Patterns for the Invariant Refinement Method,
Software, Services and Systems, v. 8950 of LNCS. Springer, pp. 602-618, 2015
PDF, Link Bureš T., Krijt F., Plášil F., Hnětynka P., Jiráček Z.: Towards Intelligent Ensembles,
In Proceedings of the 9th European Conference on Software Architecture Workshops (ECSAW 2015). Article No. 17. ACM., September 2015
PDF Gerostathopoulos I., Bureš T., Hnětynka P., Hujecek A., Plášil F., Škoda D.: Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems,
In Proceedings of ECSA 2015, Dubrovnik/Cavtat, Croatia, pp. 45-52, LNCS 9278, Springer, doi: 10.1007/978-3-319-23727-5_4, September 2015
PDF, Link Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F.: The Invariant Refinement Method,
Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 405–428, LNCS 8998, Springer, doi:10.1007/978-3-319-16310-9_12, 2015

Technical Reports

PDF Gerostathopoulos I., Bureš T., Hnětynka P., Adam Hujecek, Plášil F., Škoda D.: Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems,
Tech. Report No. D3S-TR-2015-01, Dep. of Distributed and Dependable Systems, Charles University in Prague, April 2015
PDF Gerostathopoulos I., Bureš T., Hnětynka P., Keznikl J., Kit M., Plášil F., Noel Plouzeau: Self-Adaptation in Cyber-Physical Systems: from System Goals to Architecture Configurations,
Tech. Report No. D3S-TR-2015-02, Dep. of Distributed and Dependable Systems, Charles University in Prague, April 2015

2014 (9)

Refereed (journals/proceedings)

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. Springer, pp. 250-266. Best Research Paper Award, 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, pp. 610-611 (poster and extended abstract), June 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 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
PDF, WWW Gerostathopoulos I., Keznikl J., Bureš T., Kit M., Plášil F.: Software Engineering for Software-Intensive Cyber-Physical Systems,
In Proceedings of the 44th Annual Meeting of the German Informatics Society – 44. Gesellschaft für Informatik Jahrestagung (INFORMATIK 2014). Gesellschaft für Informatik, Bohn, pp. 1179-1190, September 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, pp. 87-90, April 2014

Technical Reports

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

2013 (8)

Refereed (journals/proceedings)

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 16th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2013), Vancouver, Canada. ACM, pp. 81-90, 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 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
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 16th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2013), Vancouver, Canada. ACM, pp. 91-100. ACM Distinguished Paper Award, June 2013

Technical Reports

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

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

Technical Reports

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

2011 (4)

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

Technical Reports

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

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

Refereed (journals/proceedings)

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

Books

Link Grunske L., Reussner R., Plášil F. (Eds.): Component-Based Software Engineering,
Proceedings of the 13th International Symposium, CBSE 2010, Prague, Czech Republic, ISBN: 978-3-642-13237-7, June 2010
Link Heineman G. T., Kofroň J., Plášil F. (Eds.): Research into Practice - Reality and Gaps,
Proceedings of the 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, ISBN: 978-3-642-13820-1, June 2010

2009 (2)

Refereed (journals/proceedings)

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

2008 (7)

Refereed (journals/proceedings)

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

Books

Link Becker S., Plášil F., Reussner R. (Eds.): Quality of Software Architectures: Models and Architectures,
Proceedings of the 4th International Conference on the Quality of Software Architectures (QoSA 2008), Springer, LNCS 5281, 2008
Link Rausch A., Reussner R., Mirandola R., Plášil F. (Eds.): The Common Component Modeling Example: Comparing Software Component Models,
Lecture Notes in Computer Science, ISBN 978-3-540-85288-9, Springer LNCS 5153, August 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, 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, 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 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, 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
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, 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

Books

Link van Leeuwen J., Italiano G. F., van der Hoek W., Meinel C., Sack H., Plášil F. (Eds.): SOFSEM 2007: Theory and Practice of Computer Science,
Proceedings of the 33rd Conference on Current Trends in Theory and Practice of Computer Science, Springer LNCS 4362, 2007

Technical Reports

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

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

Technical Reports

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

2005 (7)

Refereed (journals/proceedings)

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

Technical Reports

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 Hnětynka P., Plášil F., Bureš T., Mencl V., Kapová L.: SOFA 2.0 metamodel,
Tech. Report No. 2005/11 (preliminary version), Dep. of SW Engineering, Charles University, 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

2004 (7)

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

Technical Reports

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

Refereed (journals/proceedings)

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

Technical Reports

PDF Bureš T., Plášil F.: Composing Connectors of Elements,
Tech. Report No. 2003/3, Dep. of SW Engineering, Charles University, Prague, May 2003

2002 (5)

Refereed (journals/proceedings)

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

Books

WWW Grosky W. I., Plášil F. (Eds.): SOFSEM 2002: Theory and Practice of Informatics,
Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics, Springer LNCS 2540, November 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

2001 (2)

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, GZIP Bálek D., Plášil F.: Software Connectors and Their Role in Component Deployment,
Proceedings of DAIS'01, Krakow, Kluwer, September 2001

2000 (2)

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

1999 (2)

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

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

1998 (4)

Refereed (journals/proceedings)

PDF Plášil F., Stal M.: An architectural view of distributed objects and components in CORBA, Java RMI and COM/DCOM,
Software Concepts & Tools (vol. 19, no. 1), Springer Verlag, 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
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

Technical Reports

PDF Plášil F., Tůma P., Buble A.: CORBA Benchmarking,
Tech. Report No. 98/7, Dep. of SW Engineering, Charles University, Prague (in a slightly modified form submitted to OMG as the Charles University Response to ORBOS Benchmark RFI as the OMG document bench/98-10-04), October 1998

1997 (3)

Refereed (journals/proceedings)

ZIP Plášil F., Mikusik D.: Inheriting Synchronization Protocols via Sound Enrichment Rules,
Proceedings of Joint Modular Programming Languages Conference, Springer LNCS 1204, a contribution to the inheritance anomaly problem, March 1997

Books

Plášil F., Jeffery K. (Eds.): SOFSEM '97: Theory and Practice of Informatics,
Proceedings of the Conference on Current Trends in Theory and Practice of Informatics, Springer LNCS 1338, 1997

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

1996 (4)

Refereed (journals/proceedings)

PDF, GZIP Kleindienst J., Plášil F., Tůma P.: CORBA and Object Services,
Presented at SOFSEM'96, Invited Talk, Springer LNCS 1175, ISBN 3-540-61994-1, December 1996
PDF, GZIP Kleindienst J., Plášil F., Tůma P.: Lessons Learned from Implementing the CORBA Persistent Object Service,
Proceedings of OOPSLA'96, ACM SIGPLAN Notices, Volume 31, No 10, October 1996
PDF, GZIP Kleindienst J., Plášil F., Tůma P.: What We Are Missing in the Persistent Object Service Specification,
Presented at the OOPSLA'96 Workshop on Large Persistent and Distributed Systems, October 1996

Books

Casavant T. L., Tvrdik P., Plášil F. (Eds.): Parallel Computers: Theory and Practice,
IEEE Press, 1996

1995 (2)

Technical Reports

PDF, GZIP Kleindienst J., Plášil F., Tůma P.: Implementing CORBA Persistence Service,
Technical Report #117, 1995
PDF, GZIP Adamec J., Grof M., Kleindienst J., Plášil F., Tůma P.: Supporting Interoperability in CORBA via Object Services,
Technical Report #114, Charles University, Prague, 1995

1994 (1)

Refereed (journals/proceedings)

Plášil F., Grof M.: Using both Virtual 8086 and Protected Modes to Implement Objix Mikrokernel,
In Journal of Microcomputer Applications 17, pg. 381-396., 1994

1993 (1)

Refereed (journals/proceedings)

Plášil F.: Employing Multiple Inheritance in the Objix Microkernel,
In Proceedings of Third IWOOOS '93, IEEE CS Press, Asheville, North Carolina, December 1993

1992 (1)

Books

Plášil F., Staudek J.: Operating Systems,
SNTL Praha (in Czech), 1992

Teaching

Currently teaching

Taught within last 5 years

Professional Activities (since 1996)

International Journal Editor Board Membership

Professional Organization Membership (up to 2005)

International Organization Membership

Program Committee of International Conferences

EWSA 2006 Third European Workshop on Software Architecture, Languages, Styles, Models, Tools, and Applications, Nantes
SERA 2006 4th ACIS International Conference on Software Engineering Research, Management & Applications, Seattle
FORTE2006 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems, Paris
QoSA 2006 Second International Conference on the Quality of Software Architectures, Vasteras, Sweden
FACS 2006 Third International Workshop on Formal Aspects of Component Software, Prague
FESCA 2006 Formal Foundations of Embedded Software and Component-Based Software Architectures, Vienna
EDOC 2006 Tenth International IEEE EDOC Conference "The Enterprise Computing Conference", Hong Kong
QoSA 2005 First International Conference on the Quality of Software Architectures, Erfurt, Germany
EWSA 2005 Second European Workshop on Software Architecture Pisa, Italy
EDOC 2005 The 9th IEEE International EDOC Conference "The Enterprise Computing Conference", Enschede, The Netherlands
SERA 2003 1st ACIS International Conference on Software Engineering Research & Applications, San Francisco
USE 2003 Workshop on Unanticipated Software Evolution at ETAPS2003, Warsaw
USE 2002 First International Workshop on Unanticipated Software Evolution, Held in conjuction with ECOOP 2002, Malaga, Spain
HICSS-34 Hawaii International Conference on System Sciences, Minitrack on Trading of Intangible Goods, Hawaii, USA, 2001
HICSS-33 Hawaii International Conference on System Sciences, Minitrack on Trading of Intangible Goods, Hawaii, USA, 2000
FM'99 Formal Methods World Congress, Toulouse, France, 1999
Euro-PDS'98 IASTED Conference (2nd European Parallel and Distributed Systems Conference), Vienna, Austria, 1998
JMLC 1996 Conference (Joint Modular Language Conference), Linz, Austria
SOFSEM Annual Seminar on Current Trends in Theory and Practice of Informatics
2001 Piestany, Slovakia
1999 Milovy, Czech Republic
1998 Jasna dolina, Slovakia
1993-1996 Milovy, Czech Republic

Program Chair of International Conferences

SOFSEM'06 chair of the track Dependable software and systems (33th Annual Conference on Current Trends in Theory and Practice of Informatics ), Milovy, Czech Republic
SOFSEM'02 co-chair (29th Annual Conference on Current Trends in Theory and Practice of Informatics), Milovy, Czech Republic
SOFSEM'97 co-chair (24th Annual Conference on Current Trends in Theory and Practice of Informatics), Milovy, Czech Republic

Executive Board Membership

CV / Profile

Education/Degrees

2000
Full Professor in Computer Science, Faculty of Mathematics and Physics, Charles University, Prague
1984
Associate Professor in Computer Science, Czech University of Technology, Prague
1978
Ph.D. in Computer Science, Czech University of Technology, Prague
Thesis: A Model of Processes and Monitors Identification
1965
M.Sc. in Computer Science, Czech University of Technology, Prague
Thesis: Control Program for punch card reader on Ural-2 computer
1960-65
Studies of Electrical Engineering at the Czech University of Technology, Prague, Czechoslovakia

Employment Record

2002 (two semesters)
Visiting Professor, University of New Hampshire, Department of Computer Science, Durham, NH, USA
1999 - 2000 (two semesters)
Visiting Associate Professor, Wayne State University, Department of Computer Science, Detroit, USA
since 1995
Researcher, Czech Academy of Sciences, Institute of Computer Science, Prague, Czech Republic
1996 - 1999 (spring semester)
Associate Professor, Masaryk University, Faculty of Informatics, Department of Computer Systems and Communications, Brno, Czech Republic
1992 - 94 (one semester/year)
Visiting Professor. Forschungsinstitut fuer Mikroprocessortechnik, University of Linz, Austria
1990 - 91
Visiting Associate Professor. University of Denver, Dept. of Math. and Computer Sci., USA
1989-90
Visiting Assistant Professor. University of Denver, Dept. of Math. and Computer Sci., USA
1984-94
Associate Professor. Czech University of Technology, Faculty of Electrical Engineering, Department of Computer Science and Engineering, Prague, Czechoslovakia
1969-84
Assistant Professor. Czech University of Technology, Faculty of Electrical Engineering, Department of Computer Science and Engineering, Prague, Czechoslovakia
1965-69
System Programmer. Research Institute for Medical Electronics, Prague, Czechoslovakia

PhD Students (graduated)

Korbar, J. 1985 - 1989 An Imperative model of Concurrency
Zemanek, P. 1986 - 1989 A Stochastic Model of Concurrency
Bartos, R. 1987 - 1996 Univ. of Denver, CO, USA
Fanta, R. 1992 - 2000 Wayne State Univ., MI, USA
Tuma, P. 1994 - 1997 Persistency in CORBA
Kleindienst, J. 1992 - 1998 The Bean Channel, Java Distributed Event Model
Balek, D. 1994 - 2002 The Role of Connectors in Component-Based Programming
Besta, M. 1999 - 2005 Wayne State Univ., MI, USA
Brada, P. 1995 - 2003 Versioning in Software Component Models
Prochazka, M. 1997 - 2002 Transactions in Software Components, Univ. of Evry, France
Visnovsky, S. 1999 - 2002 Modeling Software Components Using Behavior Protocols
Mencl, V. 1998 - 2004 Use Cases: Behavior Assembly, Behavior Composition and Reasoning
Hnetynka, P. 2000 - 2005 Making Deployment Process of Distributed Component-Based Software Unified
Adamek, J. 2001 - 2006 Behavior Composition in Component Systems
Bures, T. 2002 - 2006 Creating Connectors for Homogenous and Heterogenous Deployment

Awards