| 2010 | DATE | Graphical Model Debugger Framework for embedded systems. | Kebin Zeng, Yu Guo, Christo Angelov |
| 2010 | ICINCO | Reusable State Machine Components for Embedded Control Systems. | Krzysztof Sierszecki, Feng Zhou, Christo Angelov |
| 2009 | MODELS | Formal Design Models for Distributed Embedded Control Systems. | Christo Angelov, Krzysztof Sierszecki, Yu Guo |
| 2008 | COMPSAC | A (Re)Configuration Mechanism for Resource-Constrained Embedded Systems. | Yu Guo, Krzysztof Sierszecki, Christo Angelov |
| 2008 | RTCSA | Verification of COMDES-II Systems Using UPPAAL with Model Transformation. | Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Christo Angelov |
| 2008 | RTCSA | A Run-Time Environment Supporting Real-Time Execution of Embedded Control Applications. | Krzysztof Sierszecki, Christo Angelov, Xu Ke |
| 2008 | SEAA | Reconfigurable State Machine Components for Embedded Applications. | Christo Angelov, Xu Ke, Yu Guo, Krzysztof Sierszecki |
| 2008 | SEAA | A Software Framework for Hard Real-Time Distributed Embedded Systems. | Christo Angelov, Krzysztof Sierszecki, Feng Zhou |
| 2007 | RTCSA | COMDES-II: A Component-Based Framework for Generative Development of Distributed Real-Time Control Systems. | Xu Ke, Krzysztof Sierszecki, Christo Angelov |
| 2005 | EUC | Design Models for Reusable and Reconfigurable State Machines. | Christo Angelov, Krzysztof Sierszecki, Nicolae Marian |
| 2004 | APSEC | A Software Framework for Component-Based Embedded Applications. | Christo Angelov, Krzysztof Sierszecki |