Barbora Buhnova

Orcid: 0000-0003-4205-101X

Affiliations:
  • Masaryk University, Brno, Czech Republic


According to our database1, Barbora Buhnova authored at least 121 papers between 2006 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Trust management in social Internet of Things across domains.
Internet Things, October, 2023

Addressing insider attacks via forensic-ready risk management.
J. Inf. Secur. Appl., March, 2023

Future Vision of Dynamic Certification Schemes for Autonomous Systems.
CoRR, 2023

Beyond Classroom: Making a Difference in Diversity in Tech.
CoRR, 2023

Survey on Trust in Software Engineering for Autonomous Dynamic Ecosystems.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

Deep-Learning based Trust Management with Self-Adaptation in the Internet of Behavior.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

A Model of Qualitative Factors in Forensic-Ready Software Systems.
Proceedings of the Research Challenges in Information Science: Information Science and the Connected World, 2023

CopAS: A Big Data Forensic Analytics System.
Proceedings of the 8th International Conference on Internet of Things, 2023

Adopting the Actor Model for Antifragile Serverless Architectures.
Proceedings of the 18th International Conference on Software Technologies, 2023

Conceptual Framework for Adaptive Safety in Autonomous Ecosystems.
Proceedings of the 18th International Conference on Software Technologies, 2023

Rethinking Certification for Higher Trust and Ethical Safeguarding of Autonomous Systems.
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.
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.
Proceedings of the Advanced Information Systems Engineering, 2023

Deep-Learning based Reputation Model for Indirect Trust Management.
Proceedings of the 14th International Conference on Ambient Systems, 2023

Social Internet of Things: Ethical AI Principles in Trust Management.
Proceedings of the 14th International Conference on Ambient Systems, 2023

2022
On Autonomous Dynamic Software Ecosystems.
IEEE Trans. Engineering Management, 2022

Better Scrum through Essence.
Softw. Pract. Exp., 2022

Frustrations Steering Women Away From Software Engineering.
IEEE Softw., 2022

Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation.
ACM SIGSOFT Softw. Eng. Notes, 2022

Forensic-Ready Risk Management Concepts.
CoRR, 2022

A hybrid machine learning model for intrusion detection in VANET.
Computing, 2022

Lightweight intrusion detection for edge computing networks using deep forest and bio-inspired algorithms.
Comput. Electr. Eng., 2022

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

Towards the Concept of Trust Assurance Case.
Proceedings of the IEEE International Conference on Trust, 2022

Model-based Approach for Building Trust in Autonomous Drones through Digital Twins.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

A Paradigm for Safe Adaptation of Collaborating Robots.
Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2022

Towards trusting the ethical evolution of autonomous dynamic ecosystems.
Proceedings of the 1st Workshop on Software Engineering for Responsible AI, 2022

The concept of ethical digital identities.
Proceedings of the 1st Workshop on Software Engineering for Responsible AI, 2022

Process Mining Analysis of Puzzle-Based Cybersecurity Training.
Proceedings of the ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8, 2022

Shifting towards Antifragile Critical Infrastructure Systems.
Proceedings of the 7th International Conference on Internet of Things, 2022

Blockchain Patterns in Critical Infrastructures: Limitations and Recommendations.
Proceedings of the 17th International Conference on Software Technologies, 2022

A Conceptual Antifragile Microservice Framework for Reshaping Critical Infrastructures.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

Predictive Simulation within the Process of Building Trust.
Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022

Rethinking Safety in Autonomous Ecosystems.
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.
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.
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.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2022

Business Process Model and Notation for Forensic-Ready Software Systems.
Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, 2022

Trust Management in the Internet of Everything.
Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

AI-Based Software Defect Prediction for Trustworthy Android Apps.
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.
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.
Proceedings of the 11th International Conference on Data Science, 2022

DISDA: Digital Service Design Architecture for Smart City Ecosystems.
Proceedings of the 12th International Conference on Cloud Computing and Services Science, 2022

Scenarios for Process-Aware Insider Attack Detection in Manufacturing.
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.
Proceedings of the Artificial Intelligence, 2022

2021
Towards faster big data analytics for anti-jamming applications in vehicular ad-hoc network.
Trans. Emerg. Telecommun. Technol., 2021

Using process mining for Git log analysis of projects in a software development course.
Educ. Inf. Technol., 2021

Effective measures to foster girls' interest in secondary computer science education.
Educ. Inf. Technol., 2021

Goals within Trust-based Digital Ecosystems.
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.
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.
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).
Proceedings of the ECSA 2021 Companion Volume, 2021

Fog Based Energy Efficient Process Framework for Smart Building.
Proceedings of the EASE 2021: Evaluation and Assessment in Software Engineering, 2021

A Hybrid Data-driven Model for Intrusion Detection in VANET.
Proceedings of the 12th International Conference on Ambient Systems, 2021

Recent Advances in Machine-Learning Driven Intrusion Detection in Transportation: Survey.
Proceedings of the 12th International Conference on Ambient Systems, 2021

Cybersecurity Analysis via Process Mining: A Systematic Literature Review.
Proceedings of the Advanced Data Mining and Applications - 17th International Conference, 2021

Game Achievement Analysis: Process Mining Approach.
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.
J. Syst. Softw., 2020

A Cross-Domain Comparative Study of Big Data Architectures.
Int. J. Cooperative Inf. Syst., 2020

Towards Process Mining Utilization in Insider Threat Detection from Audit Logs.
Proceedings of the Seventh International Conference on Social Networks Analysis, 2020

Improving Big Data Clustering for Jamming Detection in Smart Mobility.
Proceedings of the ICT Systems Security and Privacy Protection, 2020

Verification of forensic readiness in software development: a roadmap.
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.
Proceedings of the 5th International Conference on Internet of Things, 2020

Big Data Processing Tools Navigation Diagram.
Proceedings of the 5th International Conference on Internet of Things, 2020

Simulation Games Platform for Unintentional Perpetrator Attack Vector Identification.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

Building trust in the untrustable.
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.
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.
Proceedings of the 2020 Federated Conference on Computer Science and Information Systems, 2020

Girl-Friendly Computer Science Classroom: Czechitas Experience Report.
Proceedings of the Software Architecture - 14th European Conference, 2020

Towards verifiable evidence generation in forensic-ready systems.
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.
Int. J. Organ. Collect. Intell., 2019

STRAIT: a tool for automated software reliability growth analysis.
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.
Proceedings of the 15th International Wireless Communications & Mobile Computing Conference, 2019

Industrial Involvement in Information System Education: Lessons Learned from a Software Quality Course.
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.
Proceedings of the 4th International Conference on Internet of Things, 2019

Design of Scalable and Resilient Applications using Microservice Architecture in PaaS Cloud.
Proceedings of the 14th International Conference on Software Technologies, 2019

(Do not) trust in ecosystems.
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.
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.
Proceedings of the 2nd International Workshop on Gender Equality in Software Engineering, 2019

PaaSArch: Quality Evaluation Tool for PaaS Cloud Applications Using Generated Prototypes.
Proceedings of the IEEE International Conference on Software Architecture Companion, 2019

Towards creation of a reference architecture for trust-based digital ecosystems.
Proceedings of the 13th European Conference on Software Architecture, 2019

Assisting women in career change towards software engineering: experience from Czechitas NGO.
Proceedings of the 13th European Conference on Software Architecture, 2019

Scaling Big Data Applications in Smart City with Coresets.
Proceedings of the 8th International Conference on Data Science, 2019

2018
Big Data for Internet of Things: A Survey.
Future Gener. Comput. Syst., 2018

Exploring Big Data Clustering Algorithms for Internet of Things Applications.
Proceedings of the 3rd International Conference on Internet of Things, 2018

Message from the General Chair and PC Chairs of ICSA 2018.
Proceedings of the IEEE International Conference on Software Architecture, 2018

2017
Multi-Criteria Decision Analysis Methods in the Mobile Cloud Offloading Paradigm.
J. Sens. Actuator Networks, 2017

Modelling System of Systems Interface Contract Behaviour.
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.
Proceedings of the Environmental Software Systems. Computer Science for Environmental Protection, 2017

System for Collection and Processing of Smart Home Sensor Data.
Proceedings of the 2017 IEEE International Conference on Software Architecture Workshops, 2017

Quality Evaluation of PaaS Cloud Application Design Using Generated Prototypes.
Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

Welcome Message from the Tool Demonstrations Chairs of ICSA 2017.
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.
SIGMETRICS Perform. Evaluation Rev., 2016

Architectural Tactics for the Design of Efficient PaaS Cloud Applications.
Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016

Anomaly detection in Smart Grid data: An experience report.
Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

Local load optimization in smart grids with Bayesian networks.
Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

2015
Grid Mind: Prolog-Based Simulation Environment for Future Energy Grids.
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.
Softw. Syst. Model., 2014

Guest editorial to the Special Issue on Component-Based Software Engineering and Software Architecture.
Sci. Comput. Program., 2014

Failure data collection for reliability prediction models: a survey.
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.
Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, 2014

2013
Software Architecture Optimization Methods: A Systematic Literature Review.
IEEE Trans. Software Eng., 2013

2012
Architecture-Based Reliability Prediction with the Palladio Component Model.
IEEE Trans. Software Eng., 2012

Preface.
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.
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.
Sci. Comput. Program., 2011

Reliability-driven deployment optimization for embedded systems.
J. Syst. Softw., 2011

Reliability prediction for fault-tolerant software architectures.
Proceedings of the 7th International Conference on the Quality of Software Architectures, 2011

2010
Preface.
Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2010

State dependence in performance evaluation of component-based software systems.
Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, 2010

Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems.
Proceedings of the Research into Practice, 2010

Parameterized Reliability Prediction for Component-Based Software Architectures.
Proceedings of the Research into Practice, 2010

Performance-driven stepwise refinement of component-based architectures.
Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems, 2010

2009
Partial Order Reduction for State/Event LTL.
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2008
Formal verification of systems with an unlimited number of components.
IET Softw., 2008

A Case Study in Parallel Verification of Component-Based Systems.
Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 2008

2007
Subject-observer specification with component-interaction automata.
Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

Effective verification of systems with a dynamic number of components.
Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

Component-Interaction Automata Approach (CoIn).
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.
ACM SIGSOFT Softw. Eng. Notes, 2006

Component Substitutability via Equivalencies of Component-Interaction Automata.
Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006


  Loading...