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

phone: (+420) 221 914 232
fax: (+420) 221 914 323
email: mencl@dsrg.mff.cuni.cz

I am away.
I am now working on the BeSTGrid project at the University of Canterbury. Before that, I was a Visiting Researcher at the International Institute for Software Technology, United Nations University (UNU/IIST). Please contact me by email at the address provided above.

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

2007 (2)

Refereed (journals/proceedings)

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

Books

WWW de Boer F., Mencl V. (Eds.): Proceedings of the Third International Workshop on Formal Aspects of Component Software (FACS 2006),
Electronic Notes in Theoretical Computer Science, Volume 182, June 2007

2006 (3)

Refereed (journals/proceedings)

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 Mencl V., Polak M.: UML 2.0 Components and Fractal: An Analysis,
accepted to the 5th Fractal Workshop (part of ECOOP'06), July 3rd, 2006, Nantes, France, July 2006

2005 (3)

Refereed (journals/proceedings)

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

Technical Reports

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

2004 (4)

Refereed (journals/proceedings)

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

Ph.D. Theses

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

Technical Reports

PDF Mencl V.: Converting Textual Use Cases into Behavior Specifications,
Tech. Report No. 2004/5, Dept. of SW Engineering, Charles University, Prague, August 2004

2003 (3)

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

Technical Reports

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

2002 (1)

Technical Reports

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

Refereed (journals/proceedings)

PDF, PDF Mencl V.: Autonomous Points in Component Composition,
Extended abstract of the Poster presented at OOPSLA 2001, in the Conference Companion, ACM ISBN 1-58113-441-X, pp. 83-84, Tampa, FL, USA, October 2001

Technical Reports

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

1998 (1)

Master Theses

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

Education

Teaching

Professional CV

Related work

Personal



Last updated Sep 19, 2014
You are visitor number 20899 since 16 Nov 05.