Barbora Buhnova

According to our database, Barbora Buhnova authored at least 134 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Forensic experts' view of forensic-ready software systems: A qualitative study.

Lukas Daubner, Barbora Buhnova, Tomás Pitner

J. Softw. Evol. Process., May, 2024

European Network For Gender Balance in Informatics (EUGAIN): Activities and Results.

Letizia Jaccheri, Barbora Buhnova, Birgit Penzenstadler, Karima Boudaoud, Valentina Lenarduzzi

CoRR, 2024

Exploring Trust Black-Swan Blindness in Social Internet of Vehicles (SIoV).

Hind Bangui, Barbora Buhnova, Dasa Kusniráková

Proceedings of the 12th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems, 2024

Scenarios for Trust Management in Swarm Robotics.

Daniel Vojnar, Adela Bierska, Barbora Buhnova

Proceedings of the 6th IEEE/ACM International Workshop on Robotics Software Engineering, 2024

Forensic-Ready Analysis Suite: A Tool Support for Forensic-Ready Software Systems Design.

Lukas Daubner, Sofija Maksovic, Raimundas Matulevicius, Barbora Buhnova, Tomás Sedlácek

Proceedings of the Research Challenges in Information Science, 2024

Towards Anthropomorphic Trust Management for Digital Society.

Hind Bangui, Barbora Buhnova

Proceedings of the 21st IEEE International Conference on Software Architecture, 2024

Trust Management Framework for Multi-Robot Systems.

Daniel Vojnar, Adela Bierska, Barbora Buhnova

Proceedings of the 19th Conference on Computer Science and Intelligence Systems, 2024

Digital Twin Design for Autonomous Drones.

Danish Iqbal, Barbora Buhnova

Proceedings of the 19th Conference on Computer Science and Intelligence Systems, 2024

Taxonomy of Governance Mechanisms for Trust Management In Smart Dynamic Ecosystems.

Dasa Kusniráková, Barbora Buhnova

Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, 2024

Achieving Adaptive Safety via Trust Building in Autonomous Ecosystems.

David Halasz, Barbora Buhnova

Proceedings of the Technological Innovation for Human-Centric Systems, 2024

Beyond Classroom: Making a Difference in Diversity in Tech.

Barbora Buhnova

Proceedings of the Equity, 2024

2023

Trust management in social Internet of Things across domains.

Hind Bangui, Barbora Buhnova, Dasa Kusniráková, David Halasz

Internet Things, October, 2023

Addressing insider attacks via forensic-ready risk management.

Lukas Daubner, Martin Macák, Raimundas Matulevicius, Barbora Buhnova, Sofija Maksovic, Tomás Pitner

J. Inf. Secur. Appl., March, 2023

Future Vision of Dynamic Certification Schemes for Autonomous Systems.

Dasa Kusniráková, Barbora Buhnova

CoRR, 2023

Beyond Classroom: Making a Difference in Diversity in Tech.

Barbora Buhnova

CoRR, 2023

Detecting Masquerading Traitors from Process Visualization of Computer Usage.

Martin Macák, Radek Oslejsek, Barbora Buhnova

Proceedings of the 22nd IEEE International Conference on Trust, 2023

Trustworthy Execution in Untrustworthy Autonomous Systems.

David Halasz, Suyash Shandilya, Barbora Buhnova

Proceedings of the 22nd IEEE International Conference on Trust, 2023

Survey on Trust in Software Engineering for Autonomous Dynamic Ecosystems.

Barbora Buhnova, David Halasz, Danish Iqbal, Hind Bangui

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

Deep-Learning based Trust Management with Self-Adaptation in the Internet of Behavior.

Hind Bangui, Emilia Cioroaica, Mouzhi Ge, Barbora Buhnova

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

Towards the Concept of Trust Assurance Case.

Emilia Cioroaica, Barbora Buhnova, Daniel Schneider, Emrah Tomur, Ioannis Sorokos, Thomas Kuhn

Proceedings of the 5th IEEE/ACM International Workshop on Robotics Software Engineering, 2023

A Model of Qualitative Factors in Forensic-Ready Software Systems.

Lukas Daubner, Raimundas Matulevicius, Barbora Buhnova

Proceedings of the Research Challenges in Information Science: Information Science and the Connected World, 2023

CopAS: A Big Data Forensic Analytics System.

Martin Macák, Tomás Rebok, Matus Stovcik, Mouzhi Ge, Bruno Rossi, Barbora Buhnova

Proceedings of the 8th International Conference on Internet of Things, 2023

Adopting the Actor Model for Antifragile Serverless Architectures.

Marcel Mraz, Hind Bangui, Bruno Rossi, Barbora Buhnova

Proceedings of the 18th International Conference on Software Technologies, 2023

Conceptual Framework for Adaptive Safety in Autonomous Ecosystems.

David Halasz, Barbora Buhnova

Proceedings of the 18th International Conference on Software Technologies, 2023

Rethinking Certification for Higher Trust and Ethical Safeguarding of Autonomous Systems.

Dasa Kusniráková, Barbora Buhnova

Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

Digital Twins for Trust Building in Autonomous Drones Through Dynamic Safety Evaluation.

Danish Iqbal, Barbora Buhnova, Emilia Cioroaica

Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

A Case Study on the Impact of Forensic-Ready Information Systems on the Security Posture.

Lukas Daubner, Raimundas Matulevicius, Barbora Buhnova, Matej Antol, Michal Ruzicka, Tomás Pitner

Proceedings of the Advanced Information Systems Engineering, 2023

Deep-Learning based Reputation Model for Indirect Trust Management.

Hind Bangui, Mouzhi Ge, Barbora Buhnova

Proceedings of the 14th International Conference on Ambient Systems, 2023

Social Internet of Things: Ethical AI Principles in Trust Management.

Hind Bangui, Barbora Buhnova, Mouzhi Ge

Proceedings of the 14th International Conference on Ambient Systems, 2023

2022

On Autonomous Dynamic Software Ecosystems.

Rafael Capilla, Emilia Cioroaica, Barbora Buhnova, Jan Bosch

IEEE Trans. Engineering Management, 2022

Better Scrum through Essence.

Ivar Jacobson, Jeff Sutherland, Brian Kerr, Barbora Buhnova

Softw. Pract. Exp., 2022

Frustrations Steering Women Away From Software Engineering.

Lucia Happe, Barbora Buhnova

IEEE Softw., 2022

Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation.

Danny Weyns, Ilias Gerostathopoulos, Barbora Buhnova, Nicolás Cardozo, Emilia Cioroaica, Ivana Dusparic, Lars Grunske, Pooyan Jamshidi, Christine Julien, Judith Michael, Gabriel A. Moreno, Shiva Nejati, Patrizio Pelliccione, Federico Quin, Genaína Nunes Rodrigues, Bradley R. Schmerl, Marco Vieira, Thomas Vogel, Rebekka Wohlrab

ACM SIGSOFT Softw. Eng. Notes, 2022

Forensic-Ready Risk Management Concepts.

Lukas Daubner, Martin Macák, Raimundas Matulevicius, Barbora Buhnova, Sofija Maksovic, Tomás Pitner

CoRR, 2022

A hybrid machine learning model for intrusion detection in VANET.

Hind Bangui, Mouzhi Ge, Barbora Buhnova

Computing, 2022

Lightweight intrusion detection for edge computing networks using deep forest and bio-inspired algorithms.

Hind Bangui, Barbora Buhnova

Comput. Electr. Eng., 2022

Process mining usage in cybersecurity and software reliability analysis: A systematic literature review.

Martin Macák, Lukas Daubner, Mohammadreza Fani Sani, Barbora Buhnova

Array, 2022

Model-based Approach for Building Trust in Autonomous Drones through Digital Twins.

Danish Iqbal, Barbora Buhnova

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

A Paradigm for Safe Adaptation of Collaborating Robots.

Emilia Cioroaica, Barbora Buhnova, Emrah Tomur

Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2022

Towards trusting the ethical evolution of autonomous dynamic ecosystems.

Emilia Cioroaica, Barbora Buhnova, Emrah Tomur

Proceedings of the 1st Workshop on Software Engineering for Responsible AI, 2022

The concept of ethical digital identities.

Emilia Cioroaica, Barbora Buhnova, Frank Jacobi, Daniel Schneider

Proceedings of the 1st Workshop on Software Engineering for Responsible AI, 2022

Process Mining Analysis of Puzzle-Based Cybersecurity Training.

Martin Macák, Radek Oslejsek, Barbora Buhnova

Proceedings of the ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8, 2022

Shifting towards Antifragile Critical Infrastructure Systems.

Hind Bangui, Barbora Buhnova, Bruno Rossi

Proceedings of the 7th International Conference on Internet of Things, 2022

Blockchain Patterns in Critical Infrastructures: Limitations and Recommendations.

Hind Bangui, Barbora Buhnova

Proceedings of the 17th International Conference on Software Technologies, 2022

A Conceptual Antifragile Microservice Framework for Reshaping Critical Infrastructures.

Hind Bangui, Bruno Rossi, Barbora Buhnova

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

Predictive Simulation within the Process of Building Trust.

Emilia Cioroaica, Barbora Buhnova, Thomas Kuhn

Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022

Rethinking Safety in Autonomous Ecosystems.

David Halasz, Barbora Buhnova

Proceedings of the Position Papers of the 17th Conference on Computer Science and Intelligence Systems, 2022

An Integrated Checklist for Architecture Design of Critical Software Systems.

Adela Bierska, Barbora Buhnova, Hind Bangui

Proceedings of the Position Papers of the 17th Conference on Computer Science and Intelligence Systems, 2022

Applying Process Discovery to Cybersecurity Training: An Experience Report.

Martin Macák, Radek Oslejsek, Barbora Buhnova

Proceedings of the IEEE European Symposium on Security and Privacy, 2022

BPMN4FRSS: An BPMN Extension to Support Risk-Based Development of Forensic-Ready Software Systems.

Lukas Daubner, Raimundas Matulevicius, Barbora Buhnova, Tomás Pitner

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2022

Business Process Model and Notation for Forensic-Ready Software Systems.

Lukas Daubner, Raimundas Matulevicius, Barbora Buhnova, Tomás Pitner

Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, 2022

Trust Management in the Internet of Everything.

Barbora Buhnova

Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

AI-Based Software Defect Prediction for Trustworthy Android Apps.

Saadia Sadaf, Danish Iqbal, Barbora Buhnova

Proceedings of the EASE 2022: The International Conference on Evaluation and Assessment in Software Engineering 2022, Gothenburg, Sweden, June 13, 2022

Evaluating Code Improvements in Software Quality Course Projects.

Stanislav Chren, Martin Macák, Bruno Rossi, Barbora Buhnova

Proceedings of the EASE 2022: The International Conference on Evaluation and Assessment in Software Engineering 2022, Gothenburg, Sweden, June 13, 2022

Interoperability-oriented Quality Assessment for Czech Open Data.

Dasa Kusniráková, Mouzhi Ge, Leonard Walletzký, Barbora Buhnova

Proceedings of the 11th International Conference on Data Science, 2022

DISDA: Digital Service Design Architecture for Smart City Ecosystems.

Mouzhi Ge, Barbora Buhnova

Proceedings of the 12th International Conference on Cloud Computing and Services Science, 2022

Scenarios for Process-Aware Insider Attack Detection in Manufacturing.

Martin Macák, Radek Vaclavek, Dasa Kusniráková, Raimundas Matulevicius, Barbora Buhnova

Proceedings of the ARES 2022: The 17th International Conference on Availability, Reliability and Security, Vienna,Austria, August 23, 2022

A Cross-Domain Landscape of ICT Services in Smart Cities.

Barbora Buhnova, Terezia Kazickova, Mouzhi Ge, Leonard Walletzký, Francesco Caputo, Luca Carrubbo

Proceedings of the Artificial Intelligence, 2022

2021

Towards faster big data analytics for anti-jamming applications in vehicular ad-hoc network.

Hind Bangui, Mouzhi Ge, Barbora Buhnova, Le Hong Trang

Trans. Emerg. Telecommun. Technol., 2021

Using process mining for Git log analysis of projects in a software development course.

Martin Macák, Daniela Kruzelova, Stanislav Chren, Barbora Buhnova

Educ. Inf. Technol., 2021

Effective measures to foster girls' interest in secondary computer science education.

Lucia Happe, Barbora Buhnova, Anne Koziolek, Ingo Wagner

Educ. Inf. Technol., 2021

Goals within Trust-based Digital Ecosystems.

Emilia Cioroaica, Akanksha Purohit, Barbora Buhnova, Daniel Schneider

Proceedings of the 9th IEEE/ACM Joint International Workshop on Software Engineering for Systems-of-Systems and 15th Workshop on Distributed Software Development, 2021

Bridging Trust in Runtime Open Evaluation Scenarios.

Emilia Cioroaica, Barbora Buhnova, Eda Marchetti, Daniel Schneider, Thomas Kuhn

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021

Identification of Unintentional Perpetrator Attack Vectors using Simulation Game: A Case Study.

Martin Macák, Stefan Bojnak, Barbora Buhnova

Proceedings of the 16th Conference on Computer Science and Intelligence Systems, 2021

Summary: Architecture Design Evaluation of PaaS Cloud Applications using Generated Prototypes (short paper).

David Gesvindr, Ondrej Gasior, Barbora Buhnova

Proceedings of the ECSA 2021 Companion Volume, 2021

Fog Based Energy Efficient Process Framework for Smart Building.

Danish Iqbal, Barbora Buhnova

Proceedings of the EASE 2021: Evaluation and Assessment in Software Engineering, 2021

A Hybrid Data-driven Model for Intrusion Detection in VANET.

Hind Bangui, Mouzhi Ge, Barbora Buhnova

Proceedings of the 12th International Conference on Ambient Systems, 2021

Recent Advances in Machine-Learning Driven Intrusion Detection in Transportation: Survey.

Hind Bangui, Barbora Buhnova

Proceedings of the 12th International Conference on Ambient Systems, 2021

Cybersecurity Analysis via Process Mining: A Systematic Literature Review.

Martin Macák, Lukas Daubner, Mohammadreza Fani Sani, Barbora Buhnova

Proceedings of the Advanced Data Mining and Applications - 17th International Conference, 2021

Game Achievement Analysis: Process Mining Approach.

Martin Macák, Lukas Daubner, Julia Jamnicka, Barbora Buhnova

Proceedings of the Advanced Data Mining and Applications - 17th International Conference, 2021

2020

Architecture design evaluation of PaaS cloud applications using generated prototypes: PaaSArch Cloud Prototyper tool.

David Gesvindr, Ondrej Gasior, Barbora Buhnova

J. Syst. Softw., 2020

A Cross-Domain Comparative Study of Big Data Architectures.

Martin Macák, Mouzhi Ge, Barbora Buhnova

Int. J. Cooperative Inf. Syst., 2020

Towards Process Mining Utilization in Insider Threat Detection from Audit Logs.

Martin Macák, Ivan Vanat, Michal Merjavy, Tomás Jevocin, Barbora Buhnova

Proceedings of the Seventh International Conference on Social Networks Analysis, 2020

Improving Big Data Clustering for Jamming Detection in Smart Mobility.

Hind Bangui, Mouzhi Ge, Barbora Buhnova

Proceedings of the ICT Systems Security and Privacy Protection, 2020

Verification of forensic readiness in software development: a roadmap.

Lukas Daubner, Martin Macák, Barbora Buhnova, Tomás Pitner

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

The Suitability of Graph Databases for Big Data Analysis: A Benchmark.

Martin Macák, Matus Stovcik, Barbora Buhnova

Proceedings of the 5th International Conference on Internet of Things, 2020

Big Data Processing Tools Navigation Diagram.

Martin Macák, Hind Bangui, Barbora Buhnova, András J. Molnár, Csaba István Sidló

Proceedings of the 5th International Conference on Internet of Things, 2020

Simulation Games Platform for Unintentional Perpetrator Attack Vector Identification.

Martin Macák, Agata Kruzikova, Lukas Daubner, Barbora Buhnova

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

Building trust in the untrustable.

Emilia Cioroaica, Barbora Buhnova, Thomas Kuhn, Daniel Schneider

Proceedings of the ICSE-SEIS '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Society, Seoul, South Korea, 27 June, 2020

Reference Architecture for Trust-Based Digital Ecosystems.

Emilia Cioroaica, Stanislav Chren, Barbora Buhnova, Thomas Kuhn, Dimitar Dimitrov

Proceedings of the 2020 IEEE International Conference on Software Architecture Companion, 2020

How well a multi-model database performs against its single-model variants: Benchmarking OrientDB with Neo4j and MongoDB.

Martin Macák, Matus Stovcik, Barbora Buhnova, Michal Merjavy

Proceedings of the 2020 Federated Conference on Computer Science and Information Systems, 2020

Girl-Friendly Computer Science Classroom: Czechitas Experience Report.

Barbora Buhnova, Lucia Happe

Proceedings of the Software Architecture - 14th European Conference, 2020

Towards verifiable evidence generation in forensic-ready systems.

Lukas Daubner, Martin Macák, Barbora Buhnova, Tomás Pitner

Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

2019

A Research Roadmap of Big Data Clustering Algorithms for Future Internet of Things.

Hind Bangui, Mouzhi Ge, Barbora Buhnova

Int. J. Organ. Collect. Intell., 2019

STRAIT: a tool for automated software reliability growth analysis.

Stanislav Chren, Radoslav Micko, Barbora Buhnova, Bruno Rossi

Proceedings of the 16th International Conference on Mining Software Repositories, 2019

SeMLAS: An Efficient Secure Multi-Level Authentication Scheme for IoT-Based Smart Home Systems.

Bacem Mbarek, Barbora Buhnova, Tomás Pitner

Proceedings of the 15th International Wireless Communications & Mobile Computing Conference, 2019

Industrial Involvement in Information System Education: Lessons Learned from a Software Quality Course.

Stanislav Chren, Bruno Rossi, Barbora Buhnova, Mouzhi Ge, Tomás Pitner

Proceedings of the Information Systems Development: Information Systems Beyond 2020, 2019

Quality Management for Big 3D Data Analytics: A Case Study of Protein Data Bank.

Hind Bangui, Mouzhi Ge, Barbora Buhnova

Proceedings of the 4th International Conference on Internet of Things, 2019

Design of Scalable and Resilient Applications using Microservice Architecture in PaaS Cloud.

David Gesvindr, Jaroslav Davidek, Barbora Buhnova

Proceedings of the 14th International Conference on Software Technologies, 2019

(Do not) trust in ecosystems.

Emilia Cioroaica, Thomas Kuhn, Barbora Buhnova

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

Mistakes in UML diagrams: analysis of student projects in a software engineering course.

Stanislav Chren, Barbora Buhnova, Martin Macák, Lukas Daubner, Bruno Rossi

Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, 2019

Women want to learn tech: lessons from the Czechitas education project.

Barbora Buhnova, Dita Prikrylova

Proceedings of the 2nd International Workshop on Gender Equality in Software Engineering, 2019

PaaSArch: Quality Evaluation Tool for PaaS Cloud Applications Using Generated Prototypes.

David Gesvindr, Barbora Buhnova

Proceedings of the IEEE International Conference on Software Architecture Companion, 2019

Towards creation of a reference architecture for trust-based digital ecosystems.

Emilia Cioroaica, Stanislav Chren, Barbora Buhnova, Thomas Kuhn, Dimitar Dimitrov

Proceedings of the 13th European Conference on Software Architecture, 2019

Assisting women in career change towards software engineering: experience from Czechitas NGO.

Barbora Buhnova, Lucie Jurystova, Dita Prikrylova

Proceedings of the 13th European Conference on Software Architecture, 2019

Scaling Big Data Applications in Smart City with Coresets.

Le Hong Trang, Hind Bangui, Mouzhi Ge, Barbora Buhnova

Proceedings of the 8th International Conference on Data Science, 2019

2018

Big Data for Internet of Things: A Survey.

Mouzhi Ge, Hind Bangui, Barbora Buhnova

Future Gener. Comput. Syst., 2018

Exploring Big Data Clustering Algorithms for Internet of Things Applications.

Hind Bangui, Mouzhi Ge, Barbora Buhnova

Proceedings of the 3rd International Conference on Internet of Things, 2018

Message from the General Chair and PC Chairs of ICSA 2018.

Ian Gorton, Barbora Buhnova, Neil A. Ernst, Clemens A. Szyperski

Proceedings of the IEEE International Conference on Software Architecture, 2018

2017

Multi-Criteria Decision Analysis Methods in the Mobile Cloud Offloading Paradigm.

Hind Bangui, Mouzhi Ge, Barbora Buhnova, Said Rakrak, Said Raghay, Tomás Pitner

J. Sens. Actuator Networks, 2017

Modelling System of Systems Interface Contract Behaviour.

Oldrich Faldik, Richard John Payne, John S. Fitzgerald, Barbora Buhnova

Proceedings of the Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, 2017

Planning and Scheduling for Optimizing Communication in Smart Grids.

Miroslav Kadlec, Barbora Buhnova, Tomás Pitner

Proceedings of the Environmental Software Systems. Computer Science for Environmental Protection, 2017

System for Collection and Processing of Smart Home Sensor Data.

David Gesvindr, Jana Michalkova, Barbora Buhnova

Proceedings of the 2017 IEEE International Conference on Software Architecture Workshops, 2017

Quality Evaluation of PaaS Cloud Application Design Using Generated Prototypes.

David Gesvindr, Barbora Buhnova, Ondrej Gasior

Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

Welcome Message from the Tool Demonstrations Chairs of ICSA 2017.

Paris Avgeriou, Barbora Buhnova

Proceedings of the 2017 IEEE International Conference on Software Architecture Workshops, 2017

2016

Performance Challenges, Current Bad Practices, and Hints in PaaS Cloud Application Design.

David Gesvindr, Barbora Buhnova

SIGMETRICS Perform. Evaluation Rev., 2016

Architectural Tactics for the Design of Efficient PaaS Cloud Applications.

David Gesvindr, Barbora Buhnova

Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016

Anomaly detection in Smart Grid data: An experience report.

Bruno Rossi, Stanislav Chren, Barbora Buhnova, Tomás Pitner

Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

Local load optimization in smart grids with Bayesian networks.

Stanislav Chren, Barbora Buhnova

Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

2015

Grid Mind: Prolog-Based Simulation Environment for Future Energy Grids.

Jan Rosecky, Filip Procházka, Barbora Buhnova

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

2014

Stateful component-based performance models.

Lucia Happe, Barbora Buhnova, Ralf H. Reussner

Softw. Syst. Model., 2014

Guest editorial to the Special Issue on Component-Based Software Engineering and Software Architecture.

Barbora Buhnova, Antonio Vallecillo, Nenad Medvidovic, Magnus Larsson, Javier López, Jorge Cuéllar

Sci. Comput. Program., 2014

Failure data collection for reliability prediction models: a survey.

Barbora Buhnova, Stanislav Chren, Lucie Fabriková

Proceedings of the QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

Overview of Research Challenges towards Smart Grid Quality by Design.

David Gesvindr, Barbora Buhnova, Jan Rosecky

Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, 2014

2013

Software Architecture Optimization Methods: A Systematic Literature Review.

Aldeida Aleti, Barbora Buhnova, Lars Grunske, Anne Koziolek, Indika Meedeniya

IEEE Trans. Software Eng., 2013

2012

Architecture-Based Reliability Prediction with the Palladio Component Model.

Franz Brosch, Heiko Koziolek, Barbora Buhnova, Ralf H. Reussner

IEEE Trans. Software Eng., 2012

Preface.

Barbora Buhnova, Lucia Kapová Happe, Jan Kofron

Proceedings of the Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2012

Reliability analysis in component-based development via probabilistic model checking.

Nikola Benes, Barbora Buhnova, Ivana Cerna, Radek Oslejsek

Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012

2011

Partial order reduction for state/event LTL with application to component-interaction automata.

Nikola Benes, Lubos Brim, Barbora Buhnova, Ivana Cerná, Jiri Sochor, Pavlína Vareková

Sci. Comput. Program., 2011

Reliability-driven deployment optimization for embedded systems.

Indika Meedeniya, Barbora Buhnova, Aldeida Aleti, Lars Grunske

J. Syst. Softw., 2011

Reliability prediction for fault-tolerant software architectures.

Franz Brosch, Barbora Buhnova, Heiko Koziolek, Ralf H. Reussner

Proceedings of the 7th International Conference on the Quality of Software Architectures, 2011

2010

State dependence in performance evaluation of component-based software systems.

Lucia Kapová, Barbora Buhnova, Anne Martens, Jens Happe, Ralf H. Reussner

Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, 2010

Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems.

Indika Meedeniya, Barbora Buhnova, Aldeida Aleti, Lars Grunske

Proceedings of the Research into Practice, 2010

Parameterized Reliability Prediction for Component-Based Software Architectures.

Franz Brosch, Heiko Koziolek, Barbora Buhnova, Ralf H. Reussner

Proceedings of the Research into Practice, 2010

Performance-driven stepwise refinement of component-based architectures.

Lucia Kapová, Barbora Buhnova

Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems, 2010

2009

Preface.

Jens Happe, Barbora Zimmerová

Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009

Partial Order Reduction for State/Event LTL.

Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2008

Formal verification of systems with an unlimited number of components.

Pavlína Vareková, Barbora Zimmerová, Pavel Moravec, Ivana Cerná

IET Softw., 2008

A Case Study in Parallel Verification of Component-Based Systems.

Nikola Benes, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová

Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 2008

2007

Subject-observer specification with component-interaction automata.

Pavlína Vareková, Barbora Zimmerová

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

Effective verification of systems with a dynamic number of components.

Pavlína Vareková, Pavel Moravec, Ivana Cerná, Barbora Zimmerová

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

Component-Interaction Automata Approach (CoIn).

Barbora Zimmerová, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

2006

Component-interaction automata as a verification-oriented component-based system specification.

Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerová

ACM SIGSOFT Softw. Eng. Notes, 2006

Component Substitutability via Equivalencies of Component-Interaction Automata.

Ivana Cerná, Pavlína Vareková, Barbora Zimmerová

Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006