Jan Kofroň, Ph.D.
Assistant professor

Contact information
Department of Distributed and Dependable Systems
Faculty of Mathematics and Physics
Charles University in Prague, Czech Republic
Malostranské náměstí 25
118 00 Praha 1, Czech Republic
office: Malá Strana, room 309
phone:  +420 2 2191 4285
fax:  +420 2 2191 4323
e-mail:  jan.kofron@d3s.mff.cuni.cz
Jan Kofron

Education

  • Ph.D. in Software Systems, Faculty of Mathematics and Physics, Charles University, 2007
  • RNDr. in Software Systems, Faculty of Mathematics and Physics, Charles University, 2005
  • Mgr. (MS equivalent) in Computer Science, Faculty of Mathematics and Physics, Charles University, 2003

Research interests and activities

  • Code Model Checking
  • Behavior specifications
  • Web security

Teaching

  • My office hours (konzultační hodiny) are Wednesday, 14:00 – 15:00.
  • NSWI101 – Behavior Models and Verification
  • NSWI132 – Program Analysis and Code Verification
  • Past teaching:
    • NSWI101 – Behavior Models and Verification, 2008/2009
    • PRG032 – Object oriented programming (lab), 2007/2008
    • SWI101 – Behavior Models and Verification, 2007/2008
    • SWI101 – Behavior Models and Verification (lab), 2006/2007
    • PRG029 – Programming in C and C++ (lab), 2006/2007
    • SWI101 – Behavior Models and Verification (lab), 2005/2006
    • PRG029 – Programming in C and C++ (lab), 2005/2006
    • SWI101 – Behavior Models and Verification (lab), 2004/2005
    • PRG029 – Programming in C and C++ (lab), 2004/2005
    • PRG012 – Programming in C and C++ (lab), 2003/2004
    • PRG019 – Individual Software Project, 2003/2004
    • PRG029 – Programming in C and C++ (lab), 2003/2004

Projects

Current

Past


Publications

2011 (6)

Refereed (journals/proceedings)

PDF Jančík P., Parízek P., Kofroň J.: Advanced Debugging with JPF Inspector,
Local proceedings of MEMICS 2011, ISBN 978-80-214-4305-1, pp 43 - 50, Sep 2011
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)

Submitted

Hauzar D., Kofroň J.: Hunting Bugs Inside Web Applications,
submitted, Sep 2011

Technical Reports

PDF Hauzar D., Kofroň J.: Hunting Bugs Inside Web Applications,
Formal Verification of Object-Oriented Software, Technical report, Department of Informatics, KIT, 2011-26, Oct 2011
PDF Kofroň J., Jančík P., Parízek P.: Refinement between TBP and Java Implementation of Components,
Tech. Report No. 2011/5, Dep. of Distributed and Dependable Systems, Charles University in Prague, Sep 2011

Nonrefereed

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)

2010 (2)

Refereed (journals/proceedings)

Link Becker S., Hauck M., Trifu M., Krogmann K., Kofroň J.: Reverse Engineering Component Models for Quality Predictions,
in Proceedings of the 14th European Conference on Software Maintenance and Reengineering, European Projects Track, (c) IEEE, ISBN: 978-0-7695-4321-5, Mar 2010
(preliminary version available here)

Books

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

2009 (4)

Refereed (journals/proceedings)

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, Jan 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, Jan 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, Nov 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, Jan 2009

2008 (1)

Refereed (journals/proceedings)

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,
Chapter in The Common Component Modeling Example: Comparing Software Component Models, Springer-Verlag, LNCS 5153, Aug 2008

2007 (4)

Refereed (journals/proceedings)

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 Kofroň J.: Checking Software Component Behavior Using Behavior Protocols and Spin,
In proceedings of Applied Computing 2007, Seoul, Korea, ISBN 1-59593-480-4, pp. 1513-1517, Mar 2007

Ph.D. Theses

PDF, Link Kofroň J.: Behavior Protocols Extensions,
Ph.D. thesis, advisor: Frantisek Plasil, Sep 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, Jun 2007

2006 (6)

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

Technical Reports

PDF Kofroň J.: Extending Behavior Protocols With Data and Multisynchronization,
Tech. Report No. 2006/10, Dep. of SW Engineering, Charles University in Prague, Oct 2006
PDF Kofroň J.: Software Component Verification: On Translating Behavior Protocols to Promela,
Tech. Report No. 2006/11, Dep. of SW Engineering, Charles University in Prague, Oct 2006
PDF 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

Nonrefereed

PDF Kofroň J.: Behavior Protocols: Fighting the "Spearhead" Problem,
In the Proceedings of WDS'06, edited by J. Safrankova and J. Pavlu, MATFYZPRESS, Prague, 2006, pp. 130-134, ISBN 80-86732-84-3, Czech Republic, Jun 2006

2005 (3)

Refereed (journals/proceedings)

PDF 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

Technical Reports

PDF Kofroň J.: Enhancing Behavior Protocols with Atomic Actions,
Tech. Report No. 2005/8, Dep. of SW Engineering, Charles University, Prague, 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

Other/Personal
Modified on 2012-02-20