 | 2009 |
| 14 |  | Tiberiu Seceleanu,
Ivica Crnkovic,
Cristina Cerschi Seceleanu:
Transaction Level Control for Application Execution on the SegBus Platform.
COMPSAC (1) 2009: 537-542 |
| 13 |  | Cristina Cerschi Seceleanu,
Aneta Vulgarakis,
Paul Pettersson:
REMES: A Resource Model for Embedded Systems.
ICECCS 2009: 84-94 |
| 12 |  | Davor Slutej,
John Håkansson,
Jagadish Suryadevara,
Cristina Cerschi Seceleanu,
Paul Pettersson:
Analyzing a Pattern-Based Model of a Real-Time Turntable System.
Electr. Notes Theor. Comput. Sci. 253(1): 161-178 (2009) |
| 2008 |
| 11 |  | Cristina Cerschi Seceleanu,
Paul Pettersson,
Hans Hansson:
Message from the CORCS 2008 Workshop Organizers.
COMPSAC 2008: 1295 |
| 10 |  | Cristina Cerschi Seceleanu,
Paul Pettersson,
Hans Hansson:
CORCS 2008 Workshop Organization.
COMPSAC 2008: 1296 |
| 9 |  | Aneta Vulgarakis,
Cristina Cerschi Seceleanu:
Embedded Systems Resources: Views on Modeling and Analysis.
COMPSAC 2008: 1321-1328 |
| 8 |  | Fevzi Belli,
Cristina Cerschi Seceleanu:
Panel Description: 40 Years of Software Engineering.
COMPSAC 2008: 7 |
| 7 |  | Cristina Cerschi Seceleanu,
Paul Pettersson,
Hans Hansson:
Scheduling Timed Modules for Correct Resource Sharing.
ICST 2008: 102-111 |
| 2005 |
| 6 |  | Cristina Cerschi Seceleanu:
Designing Controllers for Reachability.
COMPSAC (1) 2005: 196-203 |
| 5 |  | Cristina Cerschi Seceleanu:
Formal Development of Real-Time Priority-Based Schedulers.
ECBS 2005: 263-270 |
| 2004 |
| 4 |  | Cristina Cerschi Seceleanu,
Tiberiu Seceleanu:
Modular Design of Reactive Systems.
COMPSAC 2004: 265-271 |
| 3 |  | Ralph-Johan Back,
Cristina Cerschi Seceleanu:
Contracts and Games in Controller Synthesis for Discrete Systems.
ECBS 2004: 307-315 |
| 2 |  | Cristina Cerschi Seceleanu,
Tiberiu Seceleanu:
Synchronization Can Improve Reactive Systems Control and Modularity.
J. UCS 10(10): 1429-1468 (2004) |
| 2002 |
| 1 |  | Ralph-Johan Back,
Cristina Cerschi Seceleanu,
Jan Westerholm:
Symbolic Simulation of Hybrid Systems.
APSEC 2002: 147- |