| 2008 |
|---|
| 11 | EE | Cristina Cerschi Seceleanu,
Paul Pettersson,
Hans Hansson:
Message from the CORCS 2008 Workshop Organizers.
COMPSAC 2008: 1295 |
| 10 | EE | Cristina Cerschi Seceleanu,
Paul Pettersson,
Hans Hansson:
CORCS 2008 Workshop Organization.
COMPSAC 2008: 1296 |
| 9 | EE | Aneta Vulgarakis,
Cristina Cerschi Seceleanu:
Embedded Systems Resources: Views on Modeling and Analysis.
COMPSAC 2008: 1321-1328 |
| 8 | EE | Fevzi Belli,
Cristina Cerschi Seceleanu:
Panel Description: 40 Years of Software Engineering.
COMPSAC 2008: 7 |
| 7 | EE | Cristina Cerschi Seceleanu,
Paul Pettersson,
Hans Hansson:
Scheduling Timed Modules for Correct Resource Sharing.
ICST 2008: 102-111 |
| 2005 |
|---|
| 6 | EE | Cristina Cerschi Seceleanu:
Designing Controllers for Reachability.
COMPSAC (1) 2005: 196-203 |
| 5 | EE | Cristina Cerschi Seceleanu:
Formal Development of Real-Time Priority-Based Schedulers.
ECBS 2005: 263-270 |
| 2004 |
|---|
| 4 | EE | Cristina Cerschi Seceleanu,
Tiberiu Seceleanu:
Modular Design of Reactive Systems.
COMPSAC 2004: 265-271 |
| 3 | EE | Ralph-Johan Back,
Cristina Cerschi Seceleanu:
Contracts and Games in Controller Synthesis for Discrete Systems.
ECBS 2004: 307-315 |
| 2 | EE | Cristina Cerschi Seceleanu,
Tiberiu Seceleanu:
Synchronization Can Improve Reactive Systems Control and Modularity.
J. UCS 10(10): 1429-1468 (2004) |
| 2002 |
|---|
| 1 | EE | Ralph-Johan Back,
Cristina Cerschi Seceleanu,
Jan Westerholm:
Symbolic Simulation of Hybrid Systems.
APSEC 2002: 147- |
