Jan Kofroň, Ph.D.
Assistant professor

Contact information

Jan Kofron
Department of Distributed and Dependable Systems
Faculty of Mathematics and Physics
Charles University
Malostranské náměstí 25
118 00 Praha 1, Czech Republic

office: Malá Strana, office 309
phone:  +420 9 5155 4285
fax:  +420 9 5155 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. (MSc. equivalent) in Computer Science, Faculty of Mathematics and Physics, Charles University, 2003

Research interests and activities

  • Code Model Checking
  • Source code verification and analysis
  • Security of web applications

Teaching

  • My office hours (konzultační hodiny) are Thursday, 14:00 – 15:00.

Projects

Current

Past


Publications (last five years)

2017 (1)

Refereed (journals/proceedings)

Link Jančík P., Kofroň J.: On Partial State Matching,
Formal Aspects Of Computing, 29(5), Springer London, Print ISSN 0934-5043, Online ISSN 1433-299X, DOI 10.1007/s00165-016-0413-z, pp 777--803, September 2017

2016 (3)

Refereed (journals/proceedings)

Link, PDF Jančík P., Alt L., Fedyukovich G., Hyvärinen A. E. J., Kofroň J., Sharygina N.: PVAIR: Partial Variable Assignment InterpolatoR,
In proceedings of FASE'16, Eindhoven, Netherlands. The final publication is available at link.springer.com., April 2016
Link Jančík P., Kofroň J.: Dead Variable Analysis for Multi-Threaded Heap Manipulating Programs,
In proceedings of 31st ACM Symposium on Applied Computing, Pisa, Italy, ACM, April 2016
Link Bureš T., Hnětynka P., Kofroň J., Al Ali R., Škoda D.: Statistical Approach to Architecture Modes in Smart Cyber Physical Systems,
Proceedings of WICSA 2016, Venice, Italy, IEEE, pp. 168-177, doi: 10.1109/WICSA.2016.33, April 2016

2015 (3)

Refereed (journals/proceedings)

PDF Hauzar D., Kofroň J.: Framework for Static Analysis of PHP Applications,
In Proceedings of the 29th European Conference on Object-Oriented Programming (ECOOP 2015), July 2015
Link Dhaminda B. Abeywickrama, Jacques Combaz, Horký V., Keznikl J., Kofroň J., Alberto Lluch Lafuente, Michele Loreti, Andrea Margheri, Philip Mayer, Valentina Monreale, Ugo Montanari, Carlo Pinciroli, Tůma P., Andrea Vandin, Emil Vassev: Tools for Ensemble Design and Runtime,
Software Engineering for Collective Autonomic Systems: Results from the ASCENS Project. no. 8998 in LNCS, pp. 291-322, Springer, 2015

Technical Reports

PDF Bureš T., Hnětynka P., Kofroň J., Al Ali R., Škoda D.: Statistical Approach to Architecture Modes in Smart Cyber Physical Systems,
Tech. Report No. D3S-TR-2015-04, Dep. of Distributed and Dependable Systems, Charles University in Prague, December 2015

2014 (3)

Refereed (journals/proceedings)

PDF Hauzar D., Kofroň J.: WeVerca: Web Applications Verification for PHP (Tool Paper),
In proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM'14), Grenoble, France. LNCS, September 2014
PDF Jančík P., Kofroň J., Rollini S. F., Sharygina N.: On Interpolants and Variable Assignments,
In proc. of Formal Methods in Computer-Aided Design 2014, Lausanne, Switzerland, October 2014
PDF Hauzar D., Kofroň J., Baštecký P.: Data-flow Analysis of Programs with Associative Arrays,
In Proceedings of the International Workshop on Engineering Safety and Security Systems (ESSS'14), Singapore, EPTCS, May 2014

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

Technical Reports

PDF Jančík P., Kofroň J.: On Partial Variable Assignment Interpolants,
Tech. Report No. D3S-TR-2013-05, Dep. of Distributed and Dependable Systems, Charles University in Prague, November 2013

2012 (3)

Refereed (journals/proceedings)

Link Kucera T., Hnětynka P., Kofroň J.: Automated deployment of hierarchical components,
In proceedings of SNPD 2012, Kyoto, Japan, SCI 443, Springer, pp. 117-128, ISSN 1860-949X, DOI 10.1007/978-3-642-32172-6_10, August 2012
PDF Jančík P., Parízek P., Kofroň J.: BeJC: Checking Compliance beetween Java Implementation and Behavior Specification,
In Proceedings of WCOP 2012, Bertinoro, Italy, 2012
PDF Hauzar D., Kofroň J.: On Security Analysis of PHP Web Applications,
In Proceedings of STPSA 2012, Izmir, Turkey. IEEE, July 2012

Other/Personal

Logo of Faculty of Mathematics and Physics
  • Phone: +420 951 554 267, +420 951 554 236
  • Email: info<at-sign>d3s.mff.cuni.cz
  •  
  • How to find us?
Modified on 2017-08-16