| 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 |
| 1 | Petr Grillinger | [4] [5] |
| 2 | Stanislav Racek | [4] [5] |
| 3 | Lukas Valenta | [6] |