MCI Mads Clausen Institute SDU

Home

Research

Teaching

People

Presentations

Publications

Recent Presentations of the MCI Software Engineering Group

2008

1. Xu Ke: COMDES-II: A Software Framework for Component-Based Design and Analysis of Real-Time Control Systems. Ph.D. Thesis Defence, Sonderborg, Denmark, Oct 2008 [PDF]

2. J. Berthing: Component-Based Design of Safe Real-Time Kernels for Embedded Systems. Ph.D. Thesis Defence, Sonderborg, Denmark, Sept 2008 [PDF]

3. C. Angelov: A Software Framework for Hard Real-Time Distributed Embedded Systems. 34th EUROMICRO Conference on Software Engineering and Advanced Applications SEAA 2008, Parma, Italy, Sept 2008 [PDF]

4. C. Angelov: Reconfigurable State Machine Components for Embedded Applications. 34th EUROMICRO Conference on Software Engineering and Advanced Applications SEAA 2008, Parma, Italy, Sept 2008 [PDF]

5. Yu Guo: COMDES Development Toolset. 5th International Workshop on Formal Aspects of Component Software FACS'08, Malaga, Spain, Sept 2008 [PDF]

6. Xu Ke: A Run-Time Environment Supporting Real-Time Execution of Embedded Control Applications. 14th International IEEE Conference on Embedded and Real-Time Computing Systems and Applications RTCSA 2008, Kaohsiung, Taiwan, Aug 2008 [PDF]

7. Yu Guo: A (Re)Configuration Mechanism for Resource-Constrained Embedded Systems. 1st IEEE International Workshop on Component-Based Design of Resource-Constrained Systems CORCS 2008, Turku, Finland, July/Aug 2008 [PDF]

2007

1. J. Berthing: Component-Based Design of Safe Real-Time Kernels for Embedded Systems. 33rd EUROMICRO Conference SEAA 2007, Lübeck, Germany, Aug 2007 [PDF]

2. J. Berthing: A Timed Multitasking Architecture for Distributed Embedded Systems. IEEE Second International Symposium on Industrial Embedded Systems SIES'2007, Lisbon, Portugal, July 2007 [PDF]

3. K. Sierszecki: Component-Based Design of Software for Embedded Systems. Ph.D. Thesis Defence, Sonderborg, Denmark, June 2007 [PDF]

4. Xu Ke: Introduction to COMDES-II. From Models to Code. Mälardalen Research and Technology Centre Seminar, Västerås, Sweden, Mar 2007 [PDF]

2006

1. C. Angelov: MCI Software Engineering Group: Areas of Expertise and Directions of Research. DaNES Meeting, Copenhagen, Dec 2006 [PDF]

2. Xu Ke, Yu Guo: COMDES-II - Formal Definition, Software Engineering and Experimental Validation. Case Study: Production Cell Case Study. MoDES Meeting, Copenhagen, Oct 2006 [PDF]

3. Xu Ke: Generative Programming for a Component-based Framework of Distributed Embedded Systems. 6th OOPSLA Workshop on Domain-Specific Modeling, Portland, Oregon, USA, Oct 2006 [PDF]

4. C. Angelov: Distributed Timed Multitasking: a Model of Computation for Hard Real-Time Distributed Systems. 5th IFIP Working Conference on Distributed and Parallel Embedded Systems DIPES'2006, Braga, Portugal, Oct 2006 [PDF]

5. C. Angelov: A Component-Based Framework for Distributed Control Systems. 32nd Euromicro Conference on Software Engineering and Advanced Applications EUROMICRO SEAA'2006, Dubrovnik, Croatia, Aug/Sept 2006 [PDF]

6. C. Angelov: A Formal Component Framework for Distributed Embedded Systems. 9th International Symposium on Component-Based Software Engineering CBSE'2006, Västerås, Sweden, June/July 2006 [PDF]

7. C. Angelov: Component-Based Design of Software for Distributed Embedded Systems. MoDES Seminar, Aalborg, May 2006 [PDF]

8. K. Sierszecki: Component-Based Design of Software for Embedded Systems. A Reconfigurable State Machine. IT Conference SummIT'06, Aalborg, March 2006 [PDF]

9. J. Berthing: Component-Based Design of Safe Real-Time Kernels for Dependable Embedded Systems. Eliminating Jitter in Embedded Systems. IT Conference SummIT'06, Aalborg, March 2006 [PDF]

10. C. Angelov: Software Architecture for Wireless Sensor Networks. MCI Software Engineering Group Seminar, Soenderborg, March 2006 [PDF]

11. C. Angelov: A Component Framework for Distributed Embedded Systems. MCI/CPD/CSI Seminar on Model-Based Development of Embedded Systems, Soenderborg, February 2006 [PDF]

2005

1. C. Angelov: Design Models for Reusable and Reconfigurable State Machines. 2005 IFIP International Conference on Embedded and Ubiquitous Computing EUC'2005, Nagasaki, Japan, Dec 2005 [PDF]

2. C. Angelov: MCI Software Engineering Group: an Overview of Research and Development Activities. MCI/Danfoss Seminar, September 2005 [PDF]

3. J. Berthing: A Jitter-Free Operational Environment for Dependable Embedded Systems. International Embedded Systems Symposium IESS'2005, Manaus, Brazil, August 2005 [PDF]

2004

1. J. Berthing: A Jitter-Free Kernel for Hard Real-Time Systems. 1st International Conference on Embedded Software and System ICESS’2004, Hangzhou, China, Dec 2004

2. K. Sierszecki: A Software Framework for Component-Based Embedded Applications. Asia-Pacific Software Engineering Conference APSEC’2004, Busan, Korea, Dec 2004 [PDF]

3. C. Angelov: Component-Based Design of Embedded Software: an Analysis of Design Issues. International Workshop on Scientific Engineering of Distributed Java Applications FIDJI’2004, Luxembourg, Nov 2004 [PDF]

4. K. Sierszecki: Component-Based Design of Software for Distributed Embedded Systems. 10th IEEE International Conference on Methods and Models in Automation and Robotics MMAR’2004, Medzyzdroje, Poland, Sept 2004 [PDF]

5. K. Sierszecki: COMDES Demo. International Seminar on Industrial Production Methods for Dependable Embedded Software: Model-based Design and Verification, Sonderborg, Denmark, June 2004 [PDF]

6. C. Angelov: Component-Based Design of Software for Distributed Embedded Systems. International Seminar on Industrial Production Methods for Dependable Embedded Software: Model-based Design and Verification, Sonderborg, Denmark, June 2004 [PDF]