2008 |
7 | EE | Premysl Brada:
Enhanced OSGi Bundle Updates to Prevent Runtime Exceptions.
SEAA 2008: 92-99 |
2006 |
6 | EE | Premysl Brada,
Lukas Valenta:
Practical Verification of Component Substitutability Using Subtype Relation.
EUROMICRO-SEAA 2006: 38-45 |
2004 |
5 | EE | Petr Grillinger,
Premysl Brada,
Stanislav Racek:
Simulation Approach to Embedded System Programming and Testing.
ECBS 2004: 248-254 |
4 | EE | Premysl Brada,
Petr Grillinger,
Stanislav Racek:
High-Level Simulation of Embedded Systems: Experiences from the FIT Project.
ISORC 2004: 245-248 |
2002 |
3 | EE | Premysl Brada:
Metadata Support for Safe Component Upgrades.
COMPSAC 2002: 1017-1021 |
2001 |
2 | EE | Premysl Brada:
Component revision identification based on IDL/ADL component specification.
ESEC / SIGSOFT FSE 2001: 297-298 |
1999 |
1 | EE | Premysl Brada:
Component Change and Version Identification in SOFA.
SOFSEM 1999: 360-368 |