Error Estimation in Model-Driven Development for Real-Time Software. - Oana Florescu; Jeroen Voeten; Jinfeng Huang; Henk Corporaal (FDL, 2004)

A Unified Model for Analysis of Real-Time Properties. - Oana Florescu; Jeroen Voeten; Henk Corporaal (ISoLA (Preliminary proceedings), 2004)

Synthesis for Unified Control- and Data-Oriented Models. - Oana Florescu; Jeroen Voeten; Henk Corporaal (FDL, 2005)

Reusing Real-Time Systems Design Experience. - Oana Florescu; Jeroen Voeten; Marcel Verhoef; Henk Corporaal (FDL, 2006)

Strengthening Property Preservation in Concurrent Real-Time Systems. - Oana Florescu; Jinfeng Huang; Jeroen Voeten; Henk Corporaal (RTCSA, 2006)

Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems. - Oana Florescu; Menno de Hoon; Jeroen Voeten; Henk Corporaal (SAMOS, 2006)

Software/Hardware Engineering with the Parallel Object-Oriented Specification Language. - Bart D. Theelen; Oana Florescu; Marc Geilen; Jinfeng Huang; P. H. A. van der Putten; Jeroen Voeten (MEMOCODE, 2007)

Patterns for Automatic Generation of Soft Real-time System Models. - Oana Florescu; Jeroen Voeten; Bart D. Theelen; Henk Corporaal (Simul., 2009)

Error computation for predictable real-time software synthesis. - Jeroen Voeten; Oana Florescu; Jinfeng Huang; Henk Corporaal (Simul., 2011)