Christo Angelov

Publication Activity (10 Years)

Years Active: 2003-2012
Publications (10 Years): 0

Top Topics

Automatic Analysis

Top Venues

Innov. Syst. Softw. Eng.

Publications

Christo Angelov, Wei Guan, Nicolae Marian, Feng Zhou, Krzysztof Sierszecki, Søren Top
Component-based analysis of embedded control applications. Innov. Syst. Softw. Eng. 8 (1) (2012)
Krzysztof Sierszecki, Feng Zhou, Christo Angelov
Reusable State Machine Components for Embedded Control Systems. ICINCO (3) (2010)
Yu Guo, Wei Guan, Krzysztof Sierszecki, Christo Angelov
Building a Software Development Environment for Embedded Systems. GreenCom/CPSCom (2010)
Christo Angelov, Feng Zhou, Krzysztof Sierszecki
Specification of Embedded Control Systems Behaviour Using Actor Interface Automata. SEUS (2010)
Feng Zhou, Søren Top, Krzysztof Sierszecki, Christo Angelov
Simulink analysis of component-based embedded applications. MOMPES (2010)
Kebin Zeng, Yu Guo, Christo Angelov
Graphical Model Debugger Framework for embedded systems. DATE (2010)
Wei Guan, Krzysztof Sierszecki, Christo Angelov
Developing a Toolset Supporting the Construction of Reusable Components for Embedded Control Systems. GreenCom/CPSCom (2010)
Feng Zhou, Wei Guan, Krzysztof Sierszecki, Christo Angelov
Component-Based Design of Software for Embedded Control Systems: The Medical Ventilator Case Study. ICESS (2009)
Christo Angelov, Krzysztof Sierszecki, Yu Guo
Formal Design Models for Distributed Embedded Control Systems. ACES-MB@MoDELS (2009)
Yu Guo, Krzysztof Sierszecki, Christo Angelov
A (Re)Configuration Mechanism for Resource-Constrained Embedded Systems. COMPSAC (2008)
Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Christo Angelov
Verification of COMDES-II Systems Using UPPAAL with Model Transformation. RTCSA (2008)
Krzysztof Sierszecki, Christo Angelov, Xu Ke
A Run-Time Environment Supporting Real-Time Execution of Embedded Control Applications. RTCSA (2008)
Christo Angelov, Xu Ke, Yu Guo, Krzysztof Sierszecki
Reconfigurable State Machine Components for Embedded Applications. EUROMICRO-SEAA (2008)
Christo Angelov, Krzysztof Sierszecki, Feng Zhou
A Software Framework for Hard Real-Time Distributed Embedded Systems. EUROMICRO-SEAA (2008)
Xu Ke, Krzysztof Sierszecki, Christo Angelov
COMDES-II: A Component-Based Framework for Generative Development of Distributed Real-Time Control Systems. RTCSA (2007)
Christo Angelov, Jesper Berthing
A Timed Multitasking Architecture for Distributed Embedded Systems. SIES (2007)
Jesper Berthing, Christo Angelov
Component-Based Design of Safe Real-Time Kernels for Embedded Systems. EUROMICRO-SEAA (2007)
Christo Angelov, Xu Ke, Krzysztof Sierszecki
A Component-Based Framework for Distributed Control Systems. EUROMICRO-SEAA (2006)
Christo Angelov, Jesper Berthing
Distributed Timed Multitasking - A Model of Computation for Hard Real-Time Distributed Systems. DIPES (2006)
Christo Angelov, Krzysztof Sierszecki, Nicolae Marian, Jinpeng Ma
A Formal Component Framework for Distributed Embedded Systems. CBSE (2006)
Christo Angelov, Jesper Berthing, Krzysztof Sierszecki
A Jitter-Free Operational Environment for Dependable Embedded Systems. IESS (2005)
Christo Angelov, Krzysztof Sierszecki, Nicolae Marian
Design Models for Reusable and Reconfigurable State Machines. EUC (2005)
Christo Angelov, Jesper Berthing
A Jitter-Free Kernel for Hard Real-Time Systems. ICESS (2004)
Christo Angelov, Krzysztof Sierszecki
A Software Framework for Component-Based Embedded Applications. APSEC (2004)
Christo Angelov, Krzysztof Sierszecki, Nicolae Marian
Component-Based Design of Embedded Software: An Analysis of Design Issues. FIDJI (2004)
Christo Angelov, Roderick V. N. Melnik, Jacob Buur
The synergistic integration of mathematics, software engineering, and user-centred design: exploring new trends in education. Future Gener. Comput. Syst. 19 (8) (2003)