Christo Angelov

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
Component-based analysis of embedded control applications.
ISSE, 2012

2010
Specification of Embedded Control Systems Behaviour Using Actor Interface Automata.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2010

Simulink analysis of component-based embedded applications.
Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2010

Reusable State Machine Components for Embedded Control Systems.
Proceedings of the ICINCO 2010, 2010

Building a Software Development Environment for Embedded Systems.
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.
Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications, 2010

Graphical Model Debugger Framework for embedded systems.
Proceedings of the Design, Automation and Test in Europe, 2010

2009
Formal Design Models for Distributed Embedded Control Systems.
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.
Proceedings of the International Conference on Embedded Software and Systems, 2009

2008
A Software Framework for Hard Real-Time Distributed Embedded Systems.
Proceedings of the 34th Euromicro Conference on Software Engineering and Advanced Applications, 2008

Reconfigurable State Machine Components for Embedded Applications.
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.
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.
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.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007
A Timed Multitasking Architecture for Distributed Embedded Systems.
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.
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.
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.
Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

A Component-Based Framework for Distributed Control Systems.
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.
Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

2005
A Jitter-Free Operational Environment for Dependable Embedded Systems.
Proceedings of the From Specification to Embedded Systems Application [International Embedded Systems Symposium, 2005

Design Models for Reusable and Reconfigurable State Machines.
Proceedings of the Embedded and Ubiquitous Computing, 2005

2004
A Jitter-Free Kernel for Hard Real-Time Systems.
Proceedings of the Embedded Software and Systems, First International Conference, 2004

Component-Based Design of Embedded Software: An Analysis of Design Issues.
Proceedings of the Scientific Engineering of Distributed Java Applications, 2004

A Software Framework for Component-Based Embedded Applications.
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.
Future Generation Comp. Syst., 2003


  Loading...