Travelled to:1 × Czech Republic
1 × France
1 × Korea
1 × Spain
Collaborated with:D.Hauzar ∅ S.Becker M.Hauck M.Trifu K.Krogmann T.Bures P.Hnetynka R.A.Ali D.Skoda P.Jancík L.Alt G.Fedyukovich A.E.J.Hyvärinen N.Sharygina
Talks about:behavior (2) compon (2) applic (2) php (2) interpolato (1) architectur (1) framework (1) protocol (1) approach (1) variabl (1)
♂ Person: Jan Kofron
DBLP: Kofron:Jan
Facilitated 2 volumes:
SCo
EdContributed to:
2015
2014
2010
2007
2016
2016Wrote 6 papers:
- ECOOP-2015-HauzarK #framework #php #static analysis
- Framework for Static Analysis of PHP Applications (DH, JK), pp. 689–711.
- SEFM-2014-HauzarK #named #php #verification #web
- WeVerca: Web Applications Verification for PHP (DH, JK), pp. 296–301.
- CSMR-2010-BeckerHTKK #component #modelling #predict #quality #reverse engineering
- Reverse Engineering Component Models for Quality Predictions (SB, MH, MT, KK, JK), pp. 194–197.
- SAC-2007-Kofron #behaviour #component #protocol #using
- Checking software component behavior using behavior protocols and spin (JK), pp. 1513–1517.
- FASE-2016-JancikAFHKS #named
- PVAIR: Partial Variable Assignment InterpolatoR (PJ, LA, GF, AEJH, JK, NS), pp. 419–434.
- WICSA-2016-BuresHKAS #approach #architecture #physics #statistics
- Statistical Approach to Architecture Modes in Smart Cyber Physical Systems (TB, PH, JK, RAA, DS), pp. 168–177.