Travelled to:
1 × Australia
1 × Austria
1 × Canada
1 × Finland
Collaborated with:
T.Bures F.Plasil I.Gerostathopoulos M.Kit P.Hnetynka R.A.Ali N.Hoch
Talks about:
compon (5) ensembl (3) system (3) base (3) architectur (1) inaccuraci (1) toward (1) physic (1) invari (1) gossip (1)
Person: Jaroslav Keznikl
DBLP: Keznikl:Jaroslav
Contributed to:
Wrote 5 papers:
- ECSA-2014-BuresGHKKP #component #cyber-physical
- Gossiping Components for Cyber-Physical Systems (TB, IG, PH, JK, MK, FP), pp. 250–266.
- WICSA-2014-AliBGKP #adaptation #architecture #estimation
- Architecture Adaptation Based on Belief Inaccuracy Estimation (RAA, TB, IG, JK, FP), pp. 87–90.
- CBSE-2013-BuresGHKKP #component #named
- DEECO: an ensemble-based component system (TB, IG, PH, JK, MK, FP), pp. 81–90.
- CBSE-2013-KezniklBPGHH #component #design #invariant #refinement
- Design of ensemble-based component systems by invariant refinement (JK, TB, FP, IG, PH, NH), pp. 91–100.
- WICSA-ECSA-2012-KezniklBPK #component #towards
- Towards Dependable Emergent Ensembles of Components: The DEECo Component Model (JK, TB, FP, MK), pp. 249–252.