Tomáš Poch, Ph.D.

Researcher

View Tomáš Poch's profile on LinkedIn
Ph.D. student having a talk
Dept. of Distributed and Dependable Systems
Faculty of Mathematics an Physics,
Charles University,
Malostranske namesti 25
118 00 Prague 1,
Czech Republic

phone:(+420) 2 2191 4285
email:poch at d3s.mff.cuni.cz

Research interests

Software verification, model checking, distributed model checking, process algebras, component-based software architectures, component behavior specification, refinement, extraction of behavior specification from code, static analysis, compiler construction

Professional CV

Available in PDF format:

Academic experience

Education


Publications [dblp]

2013 (1)

Refereed (journals/proceedings)
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

2011 (1)

Refereed (journals/proceedings)
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

2010 (1)

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

2009 (4)

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., 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
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
Technical Reports
PDF Bureš T., Ježek P., Malohlava M., Poch T., Šerý O.: Fine-grained Entities in Component Architectures,
Tech. Report No. 2009/5, Dep. of SW Engineering, Charles University in Prague, June 2009

2008 (2)

Refereed (journals/proceedings)
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

2007 (1)

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

Refereed (journals/proceedings)
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
Master Theses
PDF Poch T.: Distributed Behavior Protocol Checker,
Master thesis, advisor: Jan Kofron, September 2006