 | 2011 |
|---|
| 9 |       | Jeroen Voeten,
Oana Florescu,
Jinfeng Huang,
Henk Corporaal:
Error computation for predictable real-time software synthesis.
Simulation 87(4): 334-350 (2011) |
| 2009 |
|---|
| 8 | | Oana Florescu,
Jeroen Voeten,
Bart D. Theelen,
Henk Corporaal:
Patterns for Automatic Generation of Soft Real-time System Models.
Simulation 85(11-12): 709-734 (2009) |
| 2007 |
|---|
| 7 | | 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 | | Oana Florescu,
Jeroen Voeten,
Marcel Verhoef,
Henk Corporaal:
Reusing Real-Time Systems Design Experience.
FDL 2006: 375-381 |
| 5 | | Oana Florescu,
Jinfeng Huang,
Jeroen Voeten,
Henk Corporaal:
Strengthening Property Preservation in Concurrent Real-Time Systems.
RTCSA 2006: 106-109 |
| 4 | | 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 | | Oana Florescu,
Jeroen Voeten,
Henk Corporaal:
Synthesis for Unified Control- and Data-Oriented Models.
FDL 2005: 531-543 |
| 2004 |
|---|
| 2 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page