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: Plasil:Frantisek
Facilitated 10 volumes:
PrCoPrCoSCoPrCoEdGChOChPrCo
EdEdContributed to:
2015
201520142014
201420132012
20122009
2008200720061999
19962016Wrote 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.