Ondřej Šerý


Distributed Systems Research Group
Dept. of Distributed and Dependable Systems
Faculty of Mathematics and Physics
Charles University in Prague
Czech Republic
E-mail: ondrej.sery at d3s.mff.cuni.cz
Phone: +420 221 914 285
Private phone: +420 737 856 370
URL: http://d3s.mff.cuni.cz

View Ondrej Sery's profile on LinkedIn

News

Since November 2010, I work as a postdoctoral researcher at University of Lugano (USI) in the Formal Verification and Security Lab under supervision of Prof. Natasha Sharygina. I work on the PINCETTE EU-FP7 project. To contact me in Lugano try +41 (0)58 666 4307 or ondrej.sery at usi.ch.

Professional CV

Available in PDF format:

Research interests

Supervised theses

Teaching:

2008/2009:
NPRG132: Program Analysis and Code Verification
NPRG035: C# Language and .NET Framework
NPRG033/NPRG034: Academic Year Project
2007/2008:
NPRG032: Object Oriented Programming (only Czech)
NPRG029: Programming in C++ (only Czech)
NPRG033/NPRG034: Academic Year Project
2006/2007:
NPRG032: Object Oriented Programming
NPRG029: Programming in C++
NPRG033/NPRG034: Academic Year Project

Publications

2013 (2)

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
PDF Fedyukovich G., Šerý O., Sharygina N.: eVolCheck: Incremental Upgrade Checker for C,
Accepted for publication at the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '13), LNCS, 2013

2012 (5)

Refereed (journals/proceedings)

PDF Šerý O., Fedyukovich G., Sharygina N.: Interpolation-based Function Summaries in Bounded Model Checking,
In Proceedings of Haifa Verification Conference (HVC '11), LNCS 7261, Springer, 2012
PDF Rollini S. F., Šerý O., Sharygina N.: Leveraging Interpolant Strength in Model Checking,
In Proceedings of Computer Aided Verification (CAV '12), LNCS 7358, pp. 193-209, Springer, Berkeley, USA, 2012
PDF Šerý O., Fedyukovich G., Sharygina N.: FunFrog: Bounded Model Checking with Interpolation-based Function Summarization,
In Proceedings of Automated Technology for Verification and Analysis (ATVA '12), LNCS 7561, Springer, 2012
PDF Šerý O., Fedyukovich G., Sharygina N.: Incremental Upgrade Checking by Means of Interpolation-based Function Summaries,
In Proceedings of Formal Methods in Computer-Aided Design (FMCAD '12), IEEE, 2012

Nonrefereed

PDF Fedyukovich G., Šerý O., Sharygina N.: Function Summaries in Software Upgrade Checking,
Extended abstract, In Proceedings of Haifa Verification Conference (HVC '11), LNCS 7261, Springer, 2012

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

Refereed (journals/proceedings)

PDF Kolb E., Šerý O., Weiss R.: Applicability of the BLAST Model Checker: An Industrial Case Study,
In Proceedings of PSI'09, LNCS 5947, ISBN 978-3-642-11485-4, pp. 218-229, January 2010

Ph.D. Theses

PDF Šerý O.: Automated Verification of Software,
Ph.D. thesis, advisor: Frantisek Plasil, September 2010

2009 (7)

Refereed (journals/proceedings)

PDF Šerý O.: Enhanced Property Specification and Verification in BLAST,
In Proceedings of FASE 2009, LNCS 5503, pp. 456-469, York, UK, March 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
PDF, PDF Kofroň J., Parízek P., Šerý O.: On Teaching Formal Methods: Behavior Models and Code Analysis,
In Proceedings of the 2nd International FME Conference on Teaching Formal Methods (TFM 2009), LNCS 5846, ISBN 978-3-642-04911-8, Eindhoven, The Netherlands, The original publication is available at www.springerlink.com, November 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
PDF Kebrt M., Šerý O.: UnitCheck: Unit Testing and Model Checking Combined,
In Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), LNCS 5799, ISBN 978-3-642-04760-2, pp. 97-103, October 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 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
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

2007 (3)

Refereed (journals/proceedings)

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

Technical Reports

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

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

Technical Reports

PDF Hamrle M., Klacko T., Plch T., Šerý O., Tůma P.: P2 Skype Demo: How To Interact With Skype,
Tech. Report No. 2006/12, Dep. of SW Engineering, Charles University, December 2006

Master Theses

PDF Šerý O.: Model Checking and Reduction of Behavior Protocols,
Master thesis, advisor: Frantisek Plasil, May 2006

Personal interests