Christo Angelov

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