Premek Brada - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2011

Reconstruction of Type Information from Java Bytecode for Component CompatibilityJaroslav Bauml, Premek Brada. ENTCS, 264(4):3-18, 2011. [doi]

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.

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 Jezek, Premek Brada, Petr Stepan. ENTCS, 264(1):55-71, 2010. [doi]

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:

2009

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

Automated Versioning in OSGi: A Mechanism for Component Software Consistency GuaranteeJaroslav Bauml, Premek Brada. euromicro 2009: 428-435 [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:

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

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

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

Enhanced OSGi Bundle Updates to Prevent Runtime ExceptionsPremek Brada. seaa 2008: 92-99 [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: