2007 |
7 | EE | Bart D. Theelen,
Oana Florescu,
Marc Geilen,
Jinfeng Huang,
P. H. A. van der Putten,
Jeroen Voeten:
Software/Hardware Engineering with the Parallel Object-Oriented Specification Language.
MEMOCODE 2007: 139-148 |
2006 |
6 | EE | Oana Florescu,
Jeroen Voeten,
Marcel Verhoef,
Henk Corporaal:
Reusing Real-Time Systems Design Experience.
FDL 2006: 375-381 |
5 | EE | Oana Florescu,
Jinfeng Huang,
Jeroen Voeten,
Henk Corporaal:
Strengthening Property Preservation in Concurrent Real-Time Systems.
RTCSA 2006: 106-109 |
4 | EE | Oana Florescu,
Menno de Hoon,
Jeroen Voeten,
Henk Corporaal:
Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems.
SAMOS 2006: 206-215 |
2005 |
3 | EE | Oana Florescu,
Jeroen Voeten,
Henk Corporaal:
Synthesis for Unified Control- and Data-Oriented Models.
FDL 2005: 531-543 |
2004 |
2 | EE | Oana Florescu,
Jeroen Voeten,
Jinfeng Huang,
Henk Corporaal:
Error Estimation in Model-Driven Development for Real-Time Software.
FDL 2004: 228-240 |
1 | | Oana Florescu,
Jeroen Voeten,
Henk Corporaal:
A Unified Model for Analysis of Real-Time Properties.
ISoLA (Preliminary proceedings) 2004: 220-226 |