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 × 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 DBLP: Hnetynka:Petr

Facilitated 2 volumes:

CBSE 2014PrCo
CBSE 2009PrCo

Contributed to:

ECSA 20152015
CBSE 20142014
ECSA 20142014
CBSE 20132013
CBSE 20102010
SAC 20092009
CBSE 20062006
WCRE 20092009
WICSA 20162016

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.

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.