![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Christo Angelov
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2012
- [j2]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): 79-92 (2012) - 2003
- [j1]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): 1299-1307 (2003)
Conference and Workshop Papers
- 2010
- [c24]Kebin Zeng, Yu Guo, Christo Angelov:
Graphical Model Debugger Framework for embedded systems. DATE 2010: 87-92 - [c23]Wei Guan, Krzysztof Sierszecki, Christo Angelov:
Developing a Toolset Supporting the Construction of Reusable Components for Embedded Control Systems. GreenCom/CPSCom 2010: 879-884 - [c22]Yu Guo, Wei Guan, Krzysztof Sierszecki, Christo Angelov:
Building a Software Development Environment for Embedded Systems. GreenCom/CPSCom 2010: 916-921 - [c21]Krzysztof Sierszecki, Feng Zhou, Christo Angelov:
Reusable State Machine Components for Embedded Control Systems. ICINCO (3) 2010: 166-171 - [c20]Feng Zhou, Søren Top
, Krzysztof Sierszecki, Christo Angelov:
Simulink analysis of component-based embedded applications. MOMPES 2010: 61-68 - [c19]Christo Angelov, Feng Zhou, Krzysztof Sierszecki:
Specification of Embedded Control Systems Behaviour Using Actor Interface Automata. SEUS 2010: 167-178 - 2009
- [c18]Feng Zhou, Wei Guan, Krzysztof Sierszecki, Christo Angelov:
Component-Based Design of Software for Embedded Control Systems: The Medical Ventilator Case Study. ICESS 2009: 157-163 - [c17]Christo Angelov, Krzysztof Sierszecki, Yu Guo:
Formal Design Models for Distributed Embedded Control Systems. ACES-MB@MoDELS 2009 - 2008
- [c16]Yu Guo, Krzysztof Sierszecki, Christo Angelov:
A (Re)Configuration Mechanism for Resource-Constrained Embedded Systems. COMPSAC 2008: 1315-1320 - [c15]Krzysztof Sierszecki, Christo Angelov, Xu Ke:
A Run-Time Environment Supporting Real-Time Execution of Embedded Control Applications. RTCSA 2008: 61-68 - [c14]Xu Ke, Paul Pettersson
, Krzysztof Sierszecki, Christo Angelov:
Verification of COMDES-II Systems Using UPPAAL with Model Transformation. RTCSA 2008: 153-160 - [c13]Christo Angelov, Xu Ke, Yu Guo, Krzysztof Sierszecki:
Reconfigurable State Machine Components for Embedded Applications. EUROMICRO-SEAA 2008: 51-58 - [c12]Christo Angelov, Krzysztof Sierszecki, Feng Zhou:
A Software Framework for Hard Real-Time Distributed Embedded Systems. EUROMICRO-SEAA 2008: 385-392 - 2007
- [c11]Jesper Berthing, Christo Angelov:
Component-Based Design of Safe Real-Time Kernels for Embedded Systems. EUROMICRO-SEAA 2007: 129-136 - [c10]Xu Ke, Krzysztof Sierszecki, Christo Angelov:
COMDES-II: A Component-Based Framework for Generative Development of Distributed Real-Time Control Systems. RTCSA 2007: 199-208 - [c9]Christo Angelov, Jesper Berthing:
A Timed Multitasking Architecture for Distributed Embedded Systems. SIES 2007: 102-109 - 2006
- [c8]Christo Angelov, Krzysztof Sierszecki, Nicolae Marian, Jinpeng Ma:
A Formal Component Framework for Distributed Embedded Systems. CBSE 2006: 206-221 - [c7]Christo Angelov, Xu Ke, Krzysztof Sierszecki:
A Component-Based Framework for Distributed Control Systems. EUROMICRO-SEAA 2006: 20-27 - [c6]Christo Angelov, Jesper Berthing:
Distributed Timed Multitasking - A Model of Computation for Hard Real-Time Distributed Systems. DIPES 2006: 145-154 - 2005
- [c5]Christo Angelov, Krzysztof Sierszecki, Nicolae Marian:
Design Models for Reusable and Reconfigurable State Machines. EUC 2005: 152-163 - [c4]Christo Angelov, Jesper Berthing, Krzysztof Sierszecki:
A Jitter-Free Operational Environment for Dependable Embedded Systems. IESS 2005: 277-288 - 2004
- [c3]Christo Angelov, Krzysztof Sierszecki:
A Software Framework for Component-Based Embedded Applications. APSEC 2004: 655-662 - [c2]Christo Angelov, Krzysztof Sierszecki, Nicolae Marian:
Component-Based Design of Embedded Software: An Analysis of Design Issues. FIDJI 2004: 1-11 - [c1]Christo Angelov, Jesper Berthing:
A Jitter-Free Kernel for Hard Real-Time Systems. ICESS 2004: 388-394
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint