Person: Barbora Buhnova

DBLP: Buhnova:Barbora

Facilitated 3 volumes:

SCo

Ed

PrCo

Contributed to:

2015

2014

2012

2011

2010

2011

2016

2017

2018

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.