Christo Angelov

According to our database, Christo Angelov authored at least 26 papers between 2003 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

Component-based analysis of embedded control applications.

Christo Angelov, Wei Guan, Nicolae Marian, Feng Zhou, Krzysztof Sierszecki, Søren Top

Innov. Syst. Softw. Eng., 2012

2010

Specification of Embedded Control Systems Behaviour Using Actor Interface Automata.

Christo Angelov, Feng Zhou, Krzysztof Sierszecki

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2010

Simulink analysis of component-based embedded applications.

Feng Zhou, Søren Top, Krzysztof Sierszecki, Christo Angelov

Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2010

Reusable State Machine Components for Embedded Control Systems.

Krzysztof Sierszecki, Feng Zhou, Christo Angelov

Proceedings of the ICINCO 2010, 2010

Building a Software Development Environment for Embedded Systems.

Yu Guo, Wei Guan, Krzysztof Sierszecki, Christo Angelov

Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications, 2010

Developing a Toolset Supporting the Construction of Reusable Components for Embedded Control Systems.

Wei Guan, Krzysztof Sierszecki, Christo Angelov

Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications, 2010

Graphical Model Debugger Framework for embedded systems.

Kebin Zeng, Yu Guo, Christo Angelov

Proceedings of the Design, Automation and Test in Europe, 2010

2009

Formal Design Models for Distributed Embedded Control Systems.

Christo Angelov, Krzysztof Sierszecki, Yu Guo

Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), 2009

Component-Based Design of Software for Embedded Control Systems: The Medical Ventilator Case Study.

Feng Zhou, Wei Guan, Krzysztof Sierszecki, Christo Angelov

Proceedings of the International Conference on Embedded Software and Systems, 2009

2008

A Software Framework for Hard Real-Time Distributed Embedded Systems.

Christo Angelov, Krzysztof Sierszecki, Feng Zhou

Proceedings of the 34th Euromicro Conference on Software Engineering and Advanced Applications, 2008

Reconfigurable State Machine Components for Embedded Applications.

Christo Angelov, Xu Ke, Yu Guo, Krzysztof Sierszecki

Proceedings of the 34th Euromicro Conference on Software Engineering and Advanced Applications, 2008

A Run-Time Environment Supporting Real-Time Execution of Embedded Control Applications.

Krzysztof Sierszecki, Christo Angelov, Xu Ke

Proceedings of the Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, 2008

Verification of COMDES-II Systems Using UPPAAL with Model Transformation.

Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Christo Angelov

Proceedings of the Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, 2008

A (Re)Configuration Mechanism for Resource-Constrained Embedded Systems.

Yu Guo, Krzysztof Sierszecki, Christo Angelov

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

A Timed Multitasking Architecture for Distributed Embedded Systems.

Christo Angelov, Jesper Berthing

Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

COMDES-II: A Component-Based Framework for Generative Development of Distributed Real-Time Control Systems.

Xu Ke, Krzysztof Sierszecki, Christo Angelov

Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 2007

Component-Based Design of Safe Real-Time Kernels for Embedded Systems.

Jesper Berthing, Christo Angelov

Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), 2007

2006

Distributed Timed Multitasking - A Model of Computation for Hard Real-Time Distributed Systems.

Christo Angelov, Jesper Berthing

Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

A Component-Based Framework for Distributed Control Systems.

Christo Angelov, Xu Ke, Krzysztof Sierszecki

Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29, 2006

A Formal Component Framework for Distributed Embedded Systems.

Christo Angelov, Krzysztof Sierszecki, Nicolae Marian, Jinpeng Ma

Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

2005

A Jitter-Free Operational Environment for Dependable Embedded Systems.

Christo Angelov, Jesper Berthing, Krzysztof Sierszecki

Proceedings of the From Specification to Embedded Systems Application [International Embedded Systems Symposium, 2005

Design Models for Reusable and Reconfigurable State Machines.

Christo Angelov, Krzysztof Sierszecki, Nicolae Marian

Proceedings of the Embedded and Ubiquitous Computing, 2005

2004

A Jitter-Free Kernel for Hard Real-Time Systems.

Christo Angelov, Jesper Berthing

Proceedings of the Embedded Software and Systems, First International Conference, 2004

Component-Based Design of Embedded Software: An Analysis of Design Issues.

Christo Angelov, Krzysztof Sierszecki, Nicolae Marian

Proceedings of the Scientific Engineering of Distributed Java Applications, 2004

A Software Framework for Component-Based Embedded Applications.

Christo Angelov, Krzysztof Sierszecki

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003

The synergistic integration of mathematics, software engineering, and user-centred design: exploring new trends in education.

Christo Angelov, Roderick V. N. Melnik, Jacob Buur

Future Gener. Comput. Syst., 2003