Travelled to:
1 × Austria
1 × Canada
1 × Croatia
1 × Czech Republic
1 × Sweden
1 × USA
2 × France
Collaborated with:
T.Bures F.Plasil I.Gerostathopoulos M.Malohlava J.Keznikl D.Skoda M.Kit P.Hosek T.Pop J.Kofron R.A.Ali A.Hujecek N.Hoch N.Anquetil J.Royer P.André G.Ardourel T.Poch D.Petrascu V.Petrascu
Talks about:
system (7) compon (6) architectur (3) physic (3) cyber (3) product (2) ensembl (2) smart (2) model (2) adapt (2)
♂ Person: Petr Hnetynka
DBLP: Hnetynka:Petr
Facilitated 2 volumes:
Contributed to:
Wrote 10 papers:
- ECSA-2015-Gerostathopoulos #adaptation #cyber-physical
- Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems (IG, TB, PH, AH, FP, DS), pp. 45–52.
- CBSE-2014-BuresHP #architecture #continuation #modelling #product line #runtime
- Strengthening architectures of smart CPS by modeling them as runtime product-lines (TB, PH, FP), pp. 91–96.
- ECSA-2014-BuresGHKKP #component #cyber-physical
- Gossiping Components for Cyber-Physical Systems (TB, IG, PH, JK, MK, FP), pp. 250–266.
- 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.
- CBSE-2010-HosekPBHM #comparison #component #embedded #framework #realtime
- Comparison of Component Frameworks for Real-Time Embedded Systems (PH, TP, TB, PH, MM), pp. 21–36.
- SAC-2009-BuresHM #component #product line #using
- Using a product line for creating component systems (TB, PH, MM), pp. 501–508.
- CBSE-2006-HnetynkaP #component #configuration management #modelling
- Dynamic Reconfiguration and Access to Services in Hierarchical Component Models (PH, FP), pp. 352–359.
- WCRE-1999-AnquetilRAAHPPP99a #architecture #java #named #source code
- JavaCompExt: Extracting Architectural Elements from Java Source Code (NA, JCR, PA, GA, PH, TP, DP, VP), pp. 317–318.
- 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.