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 × Czech Republic
1 × France
1 × Ireland
1 × Italy
1 × USA
Collaborated with:
David Gesvindr F.Brosch H.Koziolek R.H.Reussner N.Benes I.Cerná J.Rosecky F.Prochazka S.Chren L.Fabriková Ondrej Gasior R.Oslejsek I.Meedeniya A.Aleti L.Grunske I.Gorton N.A.Ernst C.A.Szyperski L.Brim J.Sochor P.Vareková
Talks about:
reliabl (5) architectur (4) predict (3) compon (3) applic (3) base (3) softwar (2) energi (2) design (2) model (2)

Person: Barbora Buhnova

DBLP DBLP: Buhnova:Barbora

Facilitated 3 volumes:

CBSE 2013SCo
QoSA 2012Ed
CBSE 2010PrCo

Contributed to:

ICLP TC 20152015
QoSA 20142014
CBSE 20122012
QoSA/ISARCS 20112011
QoSA 20102010
IFM 20092011
WICSA 20162016
ICSA 20172017
ICSA 20182018

Wrote 10 papers:

ICLP-2015-RoseckyPB #energy #grid #prolog #simulation
Grid Mind: Prolog-Based Simulation Environment for Future Energy Grids (JR, FP, BB), pp. 18–31.
QoSA-2014-BuhnovaCF #modelling #overview #predict #reliability
Failure data collection for reliability prediction models: a survey (BB, SC, LF), pp. 83–92.
CBSE-2012-BenesBCO #analysis #component #development #model checking #probability #reliability
Reliability analysis in component-based development via probabilistic model checking (NB, BB, IC, RO), pp. 83–92.
QoSA-ISARCS-2011-BroschBKR #architecture #fault tolerance #predict #reliability
Reliability prediction for fault-tolerant software architectures (FB, BB, HK, RHR), pp. 75–84.
QoSA-2010-BroschKBR #architecture #component #predict #reliability
Parameterized Reliability Prediction for Component-Based Software Architectures (FB, HK, BB, RHR), pp. 36–51.
QoSA-2010-MeedeniyaBAG #architecture #embedded #energy #optimisation #reliability
Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems (IM, BB, AA, LG), pp. 52–67.
IFM-J-2009-BenesBBCSV11 #automaton #component #ltl #partial order #reduction
Partial order reduction for state/event LTL with application to component-interaction automata (NB, LB, BB, IC, JS, PV), pp. 877–890.
WICSA-2016-GesvindrB #architecture #as a service #design #performance
Architectural Tactics for the Design of Efficient PaaS Cloud Applications (DG, BB), pp. 158–167.
ICSA-2017-GesvindrBG #as a service #design #evaluation #prototype #quality #using
Quality Evaluation of PaaS Cloud Application Design Using Generated Prototypes (DG, BB, OG), pp. 31–40.
ICSA-2018-GortonBES
Message from the General Chair and PC Chairs of ICSA 2018 (IG, BB, NAE, CAS), p. ix.

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.