Vladimir Mencl: photo

Vladimir Mencl, Ph.D.

Researcher
Distributed Systems Research Group
Department of Software Engineering,
Faculty of Mathematics and Physics ,
Charles University, Prague, Czech Republic,
Malostranske namesti 25
11800 Praha
Czech Republic

email: vladimir.mencl <at> gmail.com

I am away.
I am now working for Research and Education Advanced Network New Zealand (REANNZ).

Charles University logo Faculty of Mathematics and Physics logo

[Research] [Projects] [Theses & projects supervised] [Publications] [Education] [Teaching] [Resume] [Related work] [Personal]

Research interests and activities

Current and recent involvement: Research interests:

Projects

Theses and student projects supervised

Recent thesis and projects:

Publications

Refereed (journals/proceedings)
PDF WWW Chen, X., Liu, Z., Mencl, V. : Separation of Concerns and Consistent Integration in Requirements Modelling ,
in Proceedings of SOFSEM 2007, January 20 - 26, 2007, Harrachov, Czech Republic, LNCS 4362, pp. 819-831, DOI 10.1007/978-3-540-69507-3_71, Springer, Jan 2007
PDF WWW 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, Jan 2007
PDF Liu, Z., Mencl, V. , Ravn, A. P., Yang, L.: Harnessing Theories for Tool Support ,
Accepted for publication in Proceedings of 2nd International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006), 15-19 November 2006, Cyprus, IEEE Computer Society, Nov 2006
PDF Kofron, J. , Adamek, J. , Bures, T. , Jezek, P. , Mencl, V. , Parizek, P. , Plasil, 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
PDF Mencl, V. , Polak, M.: UML 2.0 Components and Fractal: An Analysis ,
accepted to the 5th Fractal Workshop (part of ECOOP'06), July 3rd, 2006, Nantes, France, Jul 2006
PDF Barros, T., Henrio, L., Cansado, A., Madelaine, E., Morel, M., Mencl, V. , Plasil, 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
PDF WWW Mencl, V. , Bures, T. : Microcomponent-Based Component Controllers: A Foundation for Component Aspects ,
in Proceedings of 12 th 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, Dec 2005
PDF Mencl, V. , Plasil, F. , Adamek, 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
PDF WWW 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, Nov 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, Sep 2004
PDF Plasil, 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 Plasil, 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
PDF Mencl, V. : Autonomous Points in Component Composition ,
Extended abstract of the Poster presented at OOPSLA 2001, in the Conference Companion, ACM ISBN 1-58113-441-X, pp. 83-84, Tampa, FL, USA, Oct 2001
Nonrefereed (proceedings/slides)
PDF Adamek, J. , Bures, T. , Jezek, P. , Kofron, J. , Mencl, V. , Parizek, P. , Plasil, F. : Real-life Behavior Specification of Software Components ,
Presented at the 11th EMEA Academic Forum, Dublin, Ireland, May 2006
PDF Mencl, V. : Microcomponent-Based Component Controllers: A Foundation for Component Aspects ,
presented at Seminar of UNU-IIST, Macao (slides), Sep 2005
WWW Mencl, V. : From Textual Use Cases to Behaviour Specifications ,
ERCIM News No. 59, October 2004, published by ERCIM EEIG, Sophia-Antipolis Cedex, ISSN 0926-4981, pp. 64-65, Oct 2004
PDF WWW Mencl, V. : Specifying Component Behavior with Port State Machines ,
presented at Colloquium CIS-TU Berlin and Fraunhofer-ISST, Berlin (slides), Apr 2004
PDF Mencl, V. : From Textual Use Cases to Behavior Specifications ,
presented at Colloquium CIS-TU Berlin and Fraunhofer-ISST, Berlin (slides), Apr 2004
PDF Plasil, F. , Mencl, V. : Getting "Whole Picture" Behavior in a Use Case Model ,
Presented at CS900 Colloquium seminar, Dept. of CS, University of New Hampshire, Durham, NH, U.S.A. (slides), Dec 2003
PDF Mencl, V. : Specifying Component Behavior with Port State Machines ,
Slides presented at the Compositional Verification of UML Models workshop held on Oct 21, 2003 at the UML 2003 Conference , San Francisco, CA, U.S.A., Oct 2003
PDF WWW Plasil, F. , Mencl, V. : Getting "Whole Picture" Behavior from Use Cases ,
presented at Informatics Colloquium, Masaryk University, Brno (slides), Apr 2003
PS.GZ Mencl, V. , Hnetynka, P. : Managing Type Information in an Evolving Environment ,
Week of Doctoral Students WDS 2000, Faculty of Mathematics and Physics, Jun 2000
PDF Pospisil, R., Prochazka, M. , Mencl, V. : On Performance of Enterprise JavaBeans ,
Presented at the Objekty'99 conference, Prague, Nov 1999
PS.GZ Mencl, V. , Petrova, Z., Plasil, F. : Update description language (position paper) ,
Week of Doctoral Students WDS 99, Faculty of Mathematics and Physics, Jun 1999
Books (coauthor/editor)
WWW de Boer, F., Mencl, V. : Proceedings of the Third International Workshop on Formal Aspects of Component Software (FACS 2006) ,
Electronic Notes in Theoretical Computer Science, Volume 182, Jun 2007
Technical reports
PDF WWW WWW de Boer, F., Mencl, V. : Preliminary Proceedings of the Third International Workshop on Formal Aspects of Component Software FACS'06, Prague, Czech Republic September 20-22, 2006 ,
Technical Report 344, UNU-IIST, P.O.Box 3058, Macau, Sep 2006
PDF WWW Liu, Z., Mencl, V. , Ravn, A. P., Yang, L.: Harnessing Theories for Tool Support ,
Technical Report 343, UNU-IIST, P.O.Box 3058, Macau, Aug 2006
PDF Hnetynka, P. , Plasil, F. , Bures, T. , Mencl, V. , Kapova, L. : SOFA 2.0 metamodel ,
Tech. Report No. 2005/11 (preliminary version), Dep. of SW Engineering, Charles University, Dec 2005
PDF Mencl, V. : Converting Textual Use Cases into Behavior Specifications ,
Tech. Report No. 2004/5, Dept. of SW Engineering, Charles University, Prague, Aug 2004
PDF Mencl, V. : Enhancing Component Behavior Specifications with Port State Machines ,
Tech. Report No. 2003/4, Dept. of SW Engineering, Charles University, Prague, Sep 2003
PDF Plasil, 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
PDF Mencl, V. , Adamek, J. , Buble, A., Hnetynka, P. , Visnovsky, S.: Enhancing EJB Component Model ,
Tech. Report No. 2001/7, Dep. of SW Engineering, Charles University, Prague, Dec 2001
PDF Mencl, V. : Managing Configuration of Update-enabled Software Components ,
Tech. Report No. 2001/5, Dep. of SW Engineering, Charles University, Prague, Oct 2001
PDF Mencl, V. , Hnetynka, P. : Managing Evolution of Component Specifications using a Federation of Repositories ,
Tech. Report No. 2001/2, Dep. of SW Engineering, Charles University, Prague, Jun 2001
PhD thesis
PDF PDF Mencl, V. : Use Cases: Behavior Assembly, Behavior Composition and Reasoning ,
Ph.D. Thesis, advisor: Frantisek Plasil, Jun 2004
Master thesis
PDF PS Mencl, V. : Component Definition Language ,
Master Thesis, advisor: Nguyen Duy Hoa, 1998

Education

Teaching

Professional CV

Related work

Personal



Last updated Aug 12, 2020
You are visitor number 31611 since 16 Nov 05.