Premek Brada - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 42 from 42

2013

A Visualization Tool for Reverse-Engineering of Complex Component ApplicationsLukas Holy, Jaroslav Snajberk, Premek Brada, Kamil Jezek. ICSM 2013: 500-503 [doi]

Supplying Compiler's Static Compatibility Checks by the Analysis of Third-Party LibrariesKamil Jezek, Lukas Holy, Premek Brada. CSMR 2013: 375-378 [doi]

Static component compatibility visualisation for various component modelsKamil Jezek, Lukas Holy, Premek Brada. vl 2013: 191-192 [doi]

Verification of SimCo - Simulation tool for testing of component-based applicationRichard Lipka, Tomas Potuzak, Premek Brada, Pavel Herout. eurocon 2013: 467-474 [doi]

SimCo - Hybrid Simulator for Testing of Component Based ApplicationsRichard Lipka, Tomas Potuzak, Premek Brada, Pavel Herout. sofsem 2013: 420-431 [doi]

Visualization of Component-Based Applications Structure Using AIVAJaroslav Snajberk, Lukas Holy, Premek Brada. CSMR 2013: 409-412 [doi]

2012

Ensuring Component Application Consistency on Small Devices: A Repository-Based ApproachPremek Brada, Kamil Jezek. euromicro 2012: 109-116 [doi]

Viewport for Component DiagramsHoly, Lukas, Premek Brada. In Graph Drawing. Volume 7034 of Lecture Notes in Computer Science (LNCS), pages 443-444, Springer Berlin / Heidelberg, 2012.

Visual clutter reduction for UML component diagrams: A tool presentationLukas Holy, Jaroslav Snajberk, Premek Brada. vl 2012: 253-254 [doi]

Lowering Visual Clutter in Large Component DiagramsLukas Holy, Kamil Jezek, Jaroslav Snajberk, Premek Brada. IV 2011: 36-41 [doi]

Evaluating Component Architecture Visualization Tools - Criteria and Case StudyLukas Holy, Jaroslav Snajberk, Premek Brada. grapp 2012: 737-742

Enhancing OSGi with Explicit, Vendor Independent Extra-Functional PropertiesKamil Jezek, Premek Brada, Lukas Holy. TOOLS 2012: 108-123 [doi]

Dependency injection refined by extra-functional propertiesKamil Jezek, Lukas Holy, Premek Brada. vl 2012: 255-256 [doi]

Testing a Component-Based Application for Road Traffic Crossroad Control Using the SimCo Simulation FrameworkTomas Potuzak, Richard Lipka, Premek Brada, Pavel Herout. euromicro 2012: 175-182 [doi]

AIVA vs UML: Comparison of Component Application Visualizations in a Case-studyJaroslav Snajberk, Lukas Holy, Premek Brada. IV 2011: 54-61 [doi]

ComAV - A Component Application Visualization Tool - Use of Reverse Engineering and Interactivity in Visualization for Component Software ComprehensionJaroslav Snajberk, Premek Brada. grapp 2012: 755-758

An Advanced Interactive Visualization Approach with extra functional propertiesJaroslav Snajberk, Kamil Jezek, Premek Brada. vl 2012: 267-268 [doi]

2011

2010

Reconstruction of Type Information from Java Bytecode for Component CompatibilityJaroslav Bauml, Premek Brada. In Proceedings of the 5th workshop on Bytecode Semantics, Verification, Analysis and Transformation (Satellite Event of ETAPS 2010). Electronic Notes in Theoretical Computer Science, Paphos, Cyprus, March 2010.

Towards Context Independent Extra-functional Properties Descriptor for ComponentsKamil Jezek, Premek Brada, Petr Stepan. ENTCS, 264(1):55-71, 2010. [doi]

Compatibility Verification of Components in Terms of Functional and Extra-functional Properties - Tool SupportKamil Jezek, Premek Brada. ICEIS 2010: 510-514

Towards Context Independent Extra-Functional Properties Descriptor for ComponentsKamil Ježek, Premek Brada, Petr Štěpán. In Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA). 2010:

Implementation of a data layer for the visualization of component-based applicationsJaroslav Snajberk, Premek Brada. dimacs 2010: 55-62 [doi]

2009

Automated Versioning in OSGi: A Mechanism for Component Software Consistency GuaranteeJaroslav Bauml, Premek Brada. euromicro 2009: 428-435 [doi]

Automated Versioning in OSGi: a Mechanism for Component Software Consistency GuaranteeJaroslav Bauml, Premek Brada. In Proceedings of Euromicro SEAA. 2009:

A Look at Current Component Models from the Black-Box PerspectivePremek Brada. euromicro 2009: 388-395 [doi]

A Look at Current Component Models from the Black-box PerspectivePremek Brada. In Proceedings of 35th Euromicro Conference on Software Engineering and Advanced Applications. 2009:

Implementation of Language for Extra-functional Properties for Reusable Software ComponentsKamil Ježek, Premek Brada. In Proceedings of 35th Euromicro conference Work in Progress session. 2009:

2008

Enhanced OSGi Bundle Updates to Prevent Runtime ExceptionsPremek Brada. seaa 2008: 92-99 [doi]

The CoSi Component Model: Reviving the Black-Box Nature of ComponentsPremek Brada. cbse 2008: 318-333 [doi]

2007

On the Evolution of Computer Terminology and the SPOT On-Line Dictionary ProjectJiri Hynek, Premek Brada. elpub 2007: 257-268 [doi]

2006

Practical Verification of Component Substitutability Using Subtype RelationPremek Brada, Lukas Valenta. euromicro 2006: 38-45 [doi]

2004

High-Level Simulation of Embedded Systems: Experiences from the FIT ProjectPremek Brada, Petr Grillinger, Stanislav Racek. isorc 2004: 245-248 [doi]

Simulation Approach to Embedded System Programming and TestingPetr Grillinger, Premek Brada, Stanislav Racek. ECBS 2004: 248-254 [doi]

2002

Metadata Support for Safe Component UpgradesPremek Brada. compsac 2002: 1017-1021 [doi]

2001

Component revision identification based on IDL/ADL component specificationPremek Brada. ESEC/FSE 2001: 297-298 [doi]

1999

Component Change and Version Identification in SOFAPremek Brada. sofsem 1999: 360-368 [doi]

Component Change and Version Identification in SOFAPremek Brada. In Proceedings of SOFSEM'99. 1999:

Sign in or sign up to see more results.

runs on WebDSL