Full Professor, Vice-Chair
|
Keznikl J., Bureš T., Plášil F., Hnětynka P.: Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method), Tech. Report No. 2012/1, Dep. of Distributed and Dependable Systems, Charles University in Prague, Feb 2012 |
|
Š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, Sep 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, Oct 2011 The pre-peer reviewed version of the article can be downloaded here. |
| 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, Sep 2011 (preliminary version available here) |
|
Keznikl J., Bureš T., Plášil F., Hnětynka P.: Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method), submitted, Aug 2011 |
|
|
Malohlava M., Plášil F., Bureš T., Hnětynka P.: Interoperable DSL Families for Code Generation, submitted, Apr 2011 |
|
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, Apr 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, Nov 2011 (preliminary version available here) |
|
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, Jun 2010 |
| 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, Jun 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, Jun 2010 |
|
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, Jun 2009 |
|
|
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, Jan 2009 |
| 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, Aug 2008 |
|
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, Aug 2008 |
|
|
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, Aug 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, Jun 2008 |
|
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, Dec 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, Aug 2008 |
| 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 |
| 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, Jan 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, Jun 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 |
|
Š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, Jul 2007 |
|
|
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, Aug 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, Aug 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, Nov 2007 |
|
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, Sep 2007 |
| 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 |
|
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, Mar 2007 |
|
|
Šerý O., Plášil F.: Slicing behavior specification of components, Tech. Report No. 2007/1, Dep. of SW Engineering, Charles University in Prague, Jan 2007 |
|
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, Jun 2007 |
| 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, Jun 2006 (preliminary version available here) |
|
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, Jul 2006 |
|
|
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, Jul 2006 |
|
|
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, Aug 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, Aug 2006 |
|
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, Jan 2006 |
|
|
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, Sep 2006 |
|
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, Jan 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, Sep 2005 (preliminary version available here) |
|
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, Feb 2005 |
|
|
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, Mar 2005 |
|
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, Dec 2005 |
|
|
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, Nov 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, Oct 2005 |
|
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, Nov 2004 |
|
|
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, Jan 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, Dec 2004 |
|
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, Jun 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 |
|
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, Nov 2004 |
|
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, Mar 2004 |
|
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, Dec 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, Apr 2003 |
|
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, Dec 2003 |
|
|
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, Jun 2003 |
|
Bureš T., Plášil F.: Composing Connectors of Elements, Tech. Report No. 2003/3, Dep. of SW Engineering, Charles University, Prague, May 2003 |
| WWW |
Plášil F., Višňovský S.: Behavior Protocols for Software Components, IEEE Transactions on Software Engineering, vol. 28, no. 11, Nov 2002 (preliminary version available here) |
|
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, Mar 2002 |
| 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, Nov 2002 |
|
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., Oct 2002 |
|
|
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., Nov 2002 |
|
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, Aug 2001 |
|
| PDF, GZIP |
Bálek D., Plášil F.: Software Connectors and Their Role in Component Deployment, Proceedings of DAIS'01, Krakow, Kluwer, Sep 2001 |
|
Plášil F., Višňovský S., Bešta M.: Behavior Protocols, Tech. Report No. 2000/7, Dep. of SW Engineering, Charles University, Prague, Aug 2000 |
|
|
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, Nov 2000 |
|
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, Aug 1999 |
| 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 |
|
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 |
|
| PDF, PDF |
Plášil F., Bálek D., Janeček R.: SOFA/DCUP: Architecture for Component Trading and Dynamic Updating, Proceedings of ICCDS'98, Annapolis, Maryland, USA, IEEE CS Press, May 1998 |
|
Broy M., Deimel A., Henn J., Koskimies K., Plášil F., Pomberger G., Pree W., Szyperski C.: What characterizes a (software) component?, Software Concepts & Tools (vol. 19, no. 1), 1998 |
|
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), Oct 1998 |
| 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, Mar 1997 |
|
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 |
| 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 |
| 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, Dec 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, Oct 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, Oct 1996 |
|
Casavant T. L., Tvrdik P., Plášil F. (Eds.): Parallel Computers: Theory and Practice, IEEE Press, 1996 |
| 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 |
|
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 |
|
Plášil F.: Employing Multiple Inheritance in the Objix Microkernel, In Proceedings of Third IWOOOS '93, IEEE CS Press, Asheville, North Carolina, Dec 1993 |
|
Plášil F., Staudek J.: Operating Systems, SNTL Praha (in Czech), 1992 |
| 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 |
| 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 |
| 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 |