BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kofron:Jan

Facilitated 2 volumes:

CBSE 2013SCo
QoSA 2010Ed

Contributed to:

ECOOP 20152015
SEFM 20142014
CSMR 20102010
SAC 20072007
FASE 20162016
WICSA 20162016

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.