Premek Brada

Orcid: 0000-0001-5617-6396

Affiliations:
  • University of West Bohemia in Pilsen, CZ


According to our database1, Premek Brada authored at least 70 papers between 1999 and 2024.

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

2024
Activity-Based Detection of (Anti-)Patterns: An Embedded Case Study of the Fire Drill.
e Informatica Softw. Eng. J., 2024

Self-Adaptation in Industry: A Survey.
Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

2023
Self-Adaptation in Industry: A Survey.
ACM Trans. Auton. Adapt. Syst., June, 2023

Derivation of Optimized Threshold of Semantic Alignment Metrics for Intepretation of Interoperability and Reusability of Cross-enterprise Vehicle Service Interface Models.
Informatica (Slovenia), 2023

2022
Preliminary Results of a Survey on the Use of Self-Adaptation in Industry.
Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2022

Process anti-pattern detection - a case study.
Proceedings of the 27th European Conference on Pattern Languages of Programs, 2022

2021
The Empirical Evaluation of Semantic Alignment Quality Metrics for Vehicle Domain Component Frameworks Interface Ontologies.
Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, 2021

2020
An open system for monitoring environmental phenomena: poster abstract.
Proceedings of the SenSys '20: The 18th ACM Conference on Embedded Networked Sensor Systems, 2020

Interactive System Architecture Exploration: Case Studies with the IMiGEr Tool.
Proceedings of the 15th International Joint Conference on Computer Vision, 2020

Service API Modeling and Comparison: A Technology-Independent Approach.
Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020

SPEM-Based Process Anti-Pattern Models for Detection in Project Data.
Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020

Semantic Mapping of Component Framework Interface Ontologies for Interoperability of Vehicle Applications.
Proceedings of the 11th International Conference on Ambient Systems, 2020

2019
A Semantic Analysis of Interface Description Models of Heterogeneous Vehicle Application Frameworks: An Approach Towards Synergy Exploration.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

Towards Semantic Model-to-model Mapping of Cross-Domain Component Interfaces for Interoperability of Vehicle Applications.
Proceedings of the Joint Proceedings of the Workshop on Model-Driven Engineering for the Internet of Things (MDE4IoT) & of the Workshop on Interplay of Model-Driven and Component-Based Software Engineering (ModComp) Co-located with the IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), 2019

Software Engineering Projects Analysis using Interactive Multimodal Graph Explorer - IMiGEr.
Proceedings of the 14th International Joint Conference on Computer Vision, 2019

Software process anti-pattern detection in project data.
Proceedings of the 24th European Conference on Pattern Languages of Programs, 2019

Software process anti-patterns catalogue.
Proceedings of the 24th European Conference on Pattern Languages of Programs, 2019

2017
Contracts in the Wild: A Study of Java Programs (Artifact).
Dagstuhl Artifacts Ser., 2017

Towards Architect's Activity Detection through a Common Model for Project Pattern Analysis.
Proceedings of the 2017 IEEE International Conference on Software Architecture Workshops, 2017

Interface-based Semi-automated Testing of Software Components.
Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, 2017

Contracts in the Wild: A Study of Java Programs.
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016
What Java developers know about compatibility, and why this matters.
Empir. Softw. Eng., 2016

Finding Optimal Compatible Set of Software Components Using Integer Linear Programming.
Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

ALM Tool Data Usage in Software Process Metamodeling.
Proceedings of the 42th Euromicro Conference on Software Engineering and Advanced Applications, 2016

UML-Test Application for Automated Validation of Students' UML Class Diagram.
Proceedings of the 29th IEEE International Conference on Software Engineering Education and Training, 2016

2015
Repository and meta-data design for efficient component consistency verification.
Sci. Comput. Program., 2015

How Java APIs break - An empirical study.
Inf. Softw. Technol., 2015

A Method for Semi-automated Generation of Test Scenarios Based on Use Cases.
Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

Duck Testing Enhancements for Automated Validation of Student Programmes - How to Automatically Test the Quality of Implementation of Students' Programmes.
Proceedings of the CSEDU 2015, 2015

2014
Broken promises: An empirical study into evolution problems in Java programs caused by library upgrades.
Proceedings of the 2014 Software Evolution Week, 2014

2013
Static component compatibility visualisation for various component models.
Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

SimCo - Hybrid Simulator for Testing of Component Based Applications.
Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013

A Visualization Tool for Reverse-Engineering of Complex Component Applications.
Proceedings of the 2013 IEEE International Conference on Software Maintenance, 2013

Software Components Compatibility Verification Based on Static Byte-Code Analysis.
Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

Verification of SimCo - Simulation tool for testing of component-based application.
Proceedings of Eurocon 2013, 2013

Visualization of Component-Based Applications Structure Using AIVA.
Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

Supplying Compiler's Static Compatibility Checks by the Analysis of Third-Party Libraries.
Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

2012
An Advanced Interactive Visualization Approach with extra functional properties.
Proceedings of the 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, 2012

Dependency injection refined by extra-functional properties.
Proceedings of the 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, 2012

Visual clutter reduction for UML component diagrams: A tool presentation.
Proceedings of the 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, 2012

Enhancing OSGi with Explicit, Vendor Independent Extra-Functional Properties.
Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

AIVA vs UML: Comparison of Component Application Visualizations in a Case-study.
Proceedings of the 16th International Conference on Information Visualisation, 2012

Lowering Visual Clutter in Large Component Diagrams.
Proceedings of the 16th International Conference on Information Visualisation, 2012

ComAV - A Component Application Visualization Tool - Use of Reverse Engineering and Interactivity in Visualization for Component Software Comprehension.
Proceedings of the GRAPP & IVAPP 2012: Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications, 2012

Evaluating Component Architecture Visualization Tools - Criteria and Case Study.
Proceedings of the GRAPP & IVAPP 2012: Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications, 2012

Testing a Component-Based Application for Road Traffic Crossroad Control Using the SimCo Simulation Framework.
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012

Ensuring Component Application Consistency on Small Devices: A Repository-Based Approach.
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012

2011
ENT: A Generic Meta-Model for the Description of Component-Based Applications.
Proceedings of the 8th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2011

Enhanced Type-based Component Compatibility Using Deployment Context Information.
Proceedings of the 8th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2011

Extra-functional Properties Framework with Configuration based on Deployment Environment - Tool Demonstration and Case-study.
Proceedings of the KMIS 2011, 2011

Viewport for Component Diagrams.
Proceedings of the Graph Drawing - 19th International Symposium, 2011

Interactive Component Visualization - Visual Representation of Component-based Applications using the ENT Meta-model.
Proceedings of the ENASE 2011, 2011

Formalisation of a Generic Extra-Functional Properties Framework.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2011

Correct Matching of Components with Extra-functional Properties - A Framework Applicable to a Variety of Component Models.
Proceedings of the ENASE 2011, 2011

Design of a Component-Based Simulation Framework for Component Testing Using SpringDM.
Proceedings of the Second Eastern European Regional Conference on the Engineering of Computer Based Systems, 2011

2010
Towards Context Independent Extra-functional Properties Descriptor for Components.
Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2010

Reconstruction of Type Information from Java Bytecode for Component Compatibility.
Proceedings of the Fifth Workshop on Bytecode Semantics, 2010

Implementation of a data layer for the visualization of component-based applications.
Proceedings of the Conference on Theory and Practice of Information Technologies, 2010

Compatibility Verification of Components in Terms of Functional and Extra-functional Properties - Tool Support.
Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8, 2010

2009
A Look at Current Component Models from the Black-Box Perspective.
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

Automated Versioning in OSGi: A Mechanism for Component Software Consistency Guarantee.
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

2008
Enhanced OSGi Bundle Updates to Prevent Runtime Exceptions.
Proceedings of the 34th Euromicro Conference on Software Engineering and Advanced Applications, 2008

The CoSi Component Model: Reviving the Black-Box Nature of Components.
Proceedings of the Component-Based Software Engineering, 11th International Symposium, 2008

2007
On the Evolution of Computer Terminology and the SPOT On-Line Dictionary Project.
Proceedings of the Openness in Digital Publishing: Awareness, Discovery and Access - Proceedings of the 11th International Conference on Electronic Publishing held in Vienna, 2007

2006
Practical Verification of Component Substitutability Using Subtype Relation.
Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29, 2006

2004
High-Level Simulation of Embedded Systems: Experiences from the FIT Project.
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

Simulation Approach to Embedded System Programming and Testing.
Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

2002
Metadata Support for Safe Component Upgrades.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001
Component revision identification based on IDL/ADL component specification.
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

1999
Component Change and Version Identification in SOFA.
Proceedings of the SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27, 1999


  Loading...