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)

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

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

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 Hauzar D., Kofroň J.: On Security Analysis of PHP Web Applications,
In Proceedings of STPSA 2012, Izmir, Turkey. IEEE, July 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

2011 (4)

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, September 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, October 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, September 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, November 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, March 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, June 2010

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 2016-08-01