default search action
Premek Brada
Person information
- affiliation: University of West Bohemia in Pilsen, CZ
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j7]Sebastian Hönel
, Petr Picha
Activity-Based Detection of (Anti-)Patterns: An Embedded Case Study of the Fire Drill. e Informatica Softw. Eng. J. 18(1): 240106 (2024) - [c63]Danny Weyns, Ilias Gerostathopoulos, Nadeem Abbas, Jesper Andersson, Stefan Biffl, Premek Brada, Thomas Bures, Amleto Di Salle, Matthias Galster, Patricia Lago, Grace A. Lewis, Marin Litoiu, Angelika Musil, Juergen Musil, Panos Patros, Patrizio Pelliccione:
Self-Adaptation in Industry: A Survey. Software Engineering 2024: 59-60 - 2023
- [j6]Sangita De
Derivation of Optimized Threshold of Semantic Alignment Metrics for Intepretation of Interoperability and Reusability of Cross-enterprise Vehicle Service Interface Models. Informatica (Slovenia) 47(7) (2023) - [j5]Danny Weyns
Self-Adaptation in Industry: A Survey. ACM Trans. Auton. Adapt. Syst. 18(2): 5:1-5:44 (2023) - 2022
- [c62]Petr Picha
Process anti-pattern detection - a case study. EuroPLoP 2022: 5:1-5:18 - [c61]Danny Weyns
Preliminary Results of a Survey on the Use of Self-Adaptation in Industry. SEAMS 2022: 70-76 - [i3]Danny Weyns, Ilias Gerostathopoulos, Nadeem Abbas, Jesper Andersson, Stefan Biffl, Premek Brada, Tomás Bures, Amleto Di Salle
Preliminary Results of a Survey on the Use of Self-Adaptation in Industry. CoRR abs/2204.06816 (2022) - [i2]Danny Weyns, Ilias Gerostathopoulos, Nadeem Abbas, Jesper Andersson, Stefan Biffl, Premek Brada, Tomás Bures
Self-Adaptation in Industry: A Survey. CoRR abs/2211.03116 (2022) - 2021
- [c60]Sangita De
The Empirical Evaluation of Semantic Alignment Quality Metrics for Vehicle Domain Component Frameworks Interface Ontologies. FLAIRS 2021 - 2020
- [c59]Sangita De
Semantic Mapping of Component Framework Interface Ontologies for Interoperability of Vehicle Applications. ANT/EDI40 2020: 813-818 - [c58]Lenka Simeckova, Premek Brada, Petr Picha
SPEM-Based Process Anti-Pattern Models for Detection in Project Data. SEAA 2020: 89-92 - [c57]Zdenek Vales, Premek Brada:
Service API Modeling and Comparison: A Technology-Independent Approach. SEAA 2020: 158-161 - [c56]Premek Brada, Richard Lipka, Lukas Holy, Kamil Jezek:
Interactive System Architecture Exploration: Case Studies with the IMiGEr Tool. VISIGRAPP (3: IVAPP) 2020: 288-293 - [c55]Michal Kepka
An open system for monitoring environmental phenomena: poster abstract. SenSys 2020: 659-660
2010 – 2019
- 2019
- [c54]Petr Picha
Software process anti-pattern detection in project data. EuroPLoP 2019: 20:1-20:12 - [c53]Premek Brada, Petr Picha
Software process anti-patterns catalogue. EuroPLoP 2019: 28:1-28:10 - [c52]Lukas Holy, Petr Picha
Software Engineering Projects Analysis using Interactive Multimodal Graph Explorer - IMiGEr. VISIGRAPP (3: IVAPP) 2019: 330-337 - [c51]Sangita De, Jürgen Mottok, Premek Brada, Michael Niklas:
Towards Semantic Model-to-model Mapping of Cross-Domain Component Interfaces for Interoperability of Vehicle Applications. MDE4IoT/ModComp@MoDELS 2019: 57-64 - [c50]Sangita De, Michael Niklas, Jürgen Mottok, Premek Brada:
A Semantic Analysis of Interface Description Models of Heterogeneous Vehicle Application Frameworks: An Approach Towards Synergy Exploration. MODELSWARD 2019: 394-401 - 2017
- [j4]Jens Dietrich, David J. Pearce, Kamil Jezek, Premek Brada:
Contracts in the Wild: A Study of Java Programs (Artifact). Dagstuhl Artifacts Ser. 3(2): 06:1-06:4 (2017) - [c49]Jens Dietrich
Contracts in the Wild: A Study of Java Programs. ECOOP 2017: 9:1-9:29 - [c48]Tomas Potuzak, Richard Lipka, Premek Brada:
Interface-based Semi-automated Testing of Software Components. FedCSIS 2017: 1335-1344 - [c47]Petr Picha
Towards Architect's Activity Detection through a Common Model for Project Pattern Analysis. ICSA Workshops 2017: 175-178 - 2016
- [j3]Jens Dietrich
What Java developers know about compatibility, and why this matters. Empir. Softw. Eng. 21(3): 1371-1396 (2016) - [c46]Pavel Herout, Premek Brada:
UML-Test Application for Automated Validation of Students' UML Class Diagram. CSEE&T 2016: 222-226 - [c45]Petr Picha
ALM Tool Data Usage in Software Process Metamodeling. SEAA 2016: 1-8 - [c44]Jakub Danek, Premek Brada
Finding Optimal Compatible Set of Software Components Using Integer Linear Programming. SOFSEM 2016: 457-468 - 2015
- [j2]Kamil Jezek, Jens Dietrich
How Java APIs break - An empirical study. Inf. Softw. Technol. 65: 129-146 (2015) - [j1]Premek Brada
Repository and meta-data design for efficient component consistency verification. Sci. Comput. Program. 97: 349-365 (2015) - [c43]Pavel Herout, Premysl Brada:
Duck Testing Enhancements for Automated Validation of Student Programmes - How to Automatically Test the Quality of Implementation of Students' Programmes. CSEDU (1) 2015: 228-234 - [c42]Richard Lipka, Toma Potuak, Premek Brada, Petr Hnetynka
A Method for Semi-automated Generation of Test Scenarios Based on Use Cases. EUROMICRO-SEAA 2015: 241-244 - 2014
- [c41]Jens Dietrich
Broken promises: An empirical study into evolution problems in Java programs caused by library upgrades. CSMR-WCRE 2014: 64-73 - [i1]Jens Dietrich
What Java Developers Know About Compatibility, And Why This Matters. CoRR abs/1408.2607 (2014) - 2013
- [c40]Kamil Jezek, Lukas Holy, Premek Brada
Supplying Compiler's Static Compatibility Checks by the Analysis of Third-Party Libraries. CSMR 2013: 375-378 - [c39]Jaroslav Snajberk, Lukas Holy, Premek Brada
Visualization of Component-Based Applications Structure Using AIVA. CSMR 2013: 409-412 - [c38]Richard Lipka, Tomas Potuzak
Verification of SimCo - Simulation tool for testing of component-based application. EUROCON 2013: 467-474 - [c37]Kamil Jezek, Lukas Holy, Antonin Slezacek, Premek Brada
Software Components Compatibility Verification Based on Static Byte-Code Analysis. EUROMICRO-SEAA 2013: 145-152 - [c36]Lukas Holy, Jaroslav Snajberk, Premek Brada
A Visualization Tool for Reverse-Engineering of Complex Component Applications. ICSM 2013: 500-503 - [c35]Richard Lipka, Tomas Potuzak
SimCo - Hybrid Simulator for Testing of Component Based Applications. SOFSEM 2013: 420-431 - [c34]Kamil Jezek, Lukas Holy, Premek Brada
Static component compatibility visualisation for various component models. VL/HCC 2013: 191-192 - 2012
- [c33]Premek Brada
Ensuring Component Application Consistency on Small Devices: A Repository-Based Approach. EUROMICRO-SEAA 2012: 109-116 - [c32]Tomas Potuzak
Testing a Component-Based Application for Road Traffic Crossroad Control Using the SimCo Simulation Framework. EUROMICRO-SEAA 2012: 175-182 - [c31]Lukas Holy, Jaroslav Snajberk, Premek Brada:
Evaluating Component Architecture Visualization Tools - Criteria and Case Study. GRAPP/IVAPP 2012: 737-742 - [c30]Jaroslav Snajberk, Premek Brada:
ComAV - A Component Application Visualization Tool - Use of Reverse Engineering and Interactivity in Visualization for Component Software Comprehension. GRAPP/IVAPP 2012: 755-758 - [c29]Lukas Holy, Kamil Jezek, Jaroslav Snajberk, Premek Brada
Lowering Visual Clutter in Large Component Diagrams. IV 2012: 36-41 - [c28]Jaroslav Snajberk, Lukas Holy, Premek Brada
AIVA vs UML: Comparison of Component Application Visualizations in a Case-study. IV 2012: 54-61 - [c27]Kamil Jezek, Premek Brada
Enhancing OSGi with Explicit, Vendor Independent Extra-Functional Properties. TOOLS (50) 2012: 108-123 - [c26]Lukas Holy, Jaroslav Snajberk, Premek Brada
Visual clutter reduction for UML component diagrams: A tool presentation. VL/HCC 2012: 253-254 - [c25]Kamil Jezek, Lukas Holy, Premek Brada
Dependency injection refined by extra-functional properties. VL/HCC 2012: 255-256 - [c24]Jaroslav Snajberk, Kamil Jezek, Premek Brada
An Advanced Interactive Visualization Approach with extra functional properties. VL/HCC 2012: 267-268 - 2011
- [c23]Tomas Potuzak
Design of a Component-Based Simulation Framework for Component Testing Using SpringDM. ECBS-EERC 2011: 167-168 - [c22]Kamil Jezek, Premek Brada:
Correct Matching of Components with Extra-functional Properties - A Framework Applicable to a Variety of Component Models. ENASE 2011: 155-166 - [c21]Kamil Jezek, Premek Brada
Formalisation of a Generic Extra-Functional Properties Framework. ENASE (Selected Papers) 2011: 203-217 - [c20]Jaroslav Snajberk, Premek Brada:
Interactive Component Visualization - Visual Representation of Component-based Applications using the ENT Meta-model. ENASE 2011: 218-225 - [c19]Lukas Holy, Premek Brada
Viewport for Component Diagrams. GD 2011: 443-444 - [c18]Kamil Jezek, Premek Brada:
Extra-functional Properties Framework with Configuration based on Deployment Environment - Tool Demonstration and Case-study. KMIS 2011: 322-325 - [c17]Premek Brada
Enhanced Type-based Component Compatibility Using Deployment Context Information. FESCA@ETAPS 2011: 17-31 - [c16]Jaroslav Snajberk, Premek Brada
ENT: A Generic Meta-Model for the Description of Component-Based Applications. FESCA@ETAPS 2011: 59-73 - 2010
- [c15]Kamil Jezek, Premek Brada:
Compatibility Verification of Components in Terms of Functional and Extra-functional Properties - Tool Support. ICEIS (3) 2010: 510-514 - [c14]Jaroslav Snajberk, Premek Brada:
Implementation of a data layer for the visualization of component-based applications. ITAT 2010: 55-62 - [c13]Jaroslav Bauml, Premek Brada
Reconstruction of Type Information from Java Bytecode for Component Compatibility. Bytecode@ETAPS 2010: 3-18 - [c12]Kamil Jezek, Premek Brada
Towards Context Independent Extra-functional Properties Descriptor for Components. FESCA@ETAPS 2010: 55-71
2000 – 2009
- 2009
- [c11]Premek Brada
A Look at Current Component Models from the Black-Box Perspective. EUROMICRO-SEAA 2009: 388-395 - [c10]Jaroslav Bauml, Premek Brada
Automated Versioning in OSGi: A Mechanism for Component Software Consistency Guarantee. EUROMICRO-SEAA 2009: 428-435 - 2008
- [c9]Premek Brada:
The CoSi Component Model: Reviving the Black-Box Nature of Components. CBSE 2008: 318-333 - [c8]Premysl Brada
Enhanced OSGi Bundle Updates to Prevent Runtime Exceptions. EUROMICRO-SEAA 2008: 92-99 - 2007
- [c7]Jirí Hynek, Premek Brada:
On the Evolution of Computer Terminology and the SPOT On-Line Dictionary Project. ELPUB 2007: 257-268 - 2006
- [c6]Premysl Brada
Practical Verification of Component Substitutability Using Subtype Relation. EUROMICRO-SEAA 2006: 38-45 - 2004
- [c5]Petr Grillinger, Premysl Brada
Simulation Approach to Embedded System Programming and Testing. ECBS 2004: 248-254 - [c4]Premysl Brada
High-Level Simulation of Embedded Systems: Experiences from the FIT Project. ISORC 2004: 245-248 - 2002
- [c3]Premysl Brada
Metadata Support for Safe Component Upgrades. COMPSAC 2002: 1017-1021 - 2001
- [c2]Premysl Brada:
Component revision identification based on IDL/ADL component specification. ESEC / SIGSOFT FSE 2001: 297-298
1990 – 1999
- 1999
- [c1]Premysl Brada
Component Change and Version Identification in SOFA. SOFSEM 1999: 360-368
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-06 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: