BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Austria
1 × Croatia
1 × Finland
1 × France
1 × Italy
1 × Sweden
1 × Switzerland
2 × Canada
4 × USA
Collaborated with:
T.Bures P.Hnetynka I.Gerostathopoulos J.Keznikl M.Kit T.Poch P.Parizek O.Sery D.Skoda M.Besta S.Visnovsky J.Kleindienst P.Tuma V.Matena O.Kovac R.A.Ali T.Pop M.Outly M.Malohlava A.Knauss A.Hujecek N.Hoch
Talks about:
compon (12) system (5) model (4) adapt (4) base (4) architectur (3) behavior (3) ensembl (3) physic (3) cyber (3)

♂ Person: Frantisek Plasil

DBLP DBLP: Plasil:Frantisek

Facilitated 10 volumes:

CBSE 2015PrCo
CBSE 2013PrCo
CBSE 2013SCo
CBSE 2011PrCo
CBSE 2010Ed
CBSE 2010GCh
CBSE 2010OCh
CBSE 2010PrCo
QoSA 2010Ed
QoSA 2008Ed

Contributed to:

CBSE 20152015
ECSA 20152015
CBSE 20142014
ECSA 20142014
WICSA 20142014
CBSE 20132013
CBSE 20122012
WICSA/ECSA 20122012
CBSE 20092009
TOOLS Europe 20082008
CBSE 20072007
CBSE 20062006
TOOLS USA 19991999
OOPSLA 19961996
ECSA 20162016

Wrote 16 papers:

CBSE-2015-KitPMBK #communication #component #optimisation
Employing Domain Knowledge for Optimizing Component Communication (MK, FP, VM, TB, OK), pp. 59–64.
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.
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.
CBSE-2012-PopPOMB #co-evolution #component #network
Property networks allowing oracle-based mode-change propagation in hierarchical components (TP, FP, MO, MM, TB), pp. 93–102.
WICSA-ECSA-2012-KezniklBPK #component #towards
Towards Dependable Emergent Ensembles of Components: The DEECo Component Model (JK, TB, FP, MK), pp. 249–252.
CBSE-2009-PochP #behaviour #component #legacy #specification
Extracting Behavior Specification of Components in Legacy Applications (TP, FP), pp. 87–103.
TOOLS-EUROPE-2008-ParizekP #component #modelling #process
Modeling of Component Environment in Presence of Callbacks and Autonomous Activities (PP, FP), pp. 2–21.
CBSE-2007-SeryP #behaviour #component #composition #slicing #specification
Slicing of Component Behavior Specification with Respect to Their Composition (OS, FP), pp. 189–202.
CBSE-2006-HnetynkaP #component #configuration management #modelling
Dynamic Reconfiguration and Access to Services in Hierarchical Component Models (PH, FP), pp. 352–359.
TOOLS-USA-1999-PlasilBV #behaviour #bound #component #protocol
Bounding Component Behavior via Protocols (FP, MB, SV), pp. 387–398.
OOPSLA-1996-KleindienstPT #corba #implementation #lessons learnt #persistent
Lessons Learned from Implementing the CORBA Persistent Object Service (JK, FP, PT), pp. 150–167.
ECSA-2016-Gerostathopoulos #adaptation #architecture #cyber-physical #self
Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems (IG, DS, FP, TB, AK), pp. 113–128.

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.