Oana Florescu

Publication Activity (10 Years)

Years Active: 2004-2011
Publications (10 Years): 0

Publications

Jeroen Voeten, Oana Florescu, Jinfeng Huang, Henk Corporaal
Error computation for predictable real-time software synthesis. Simul. 87 (4) (2011)
Oana Florescu, Jeroen Voeten, Bart D. Theelen, Henk Corporaal
Patterns for Automatic Generation of Soft Real-time System Models. Simul. 85 (11-12) (2009)
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)
Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal
Strengthening Property Preservation in Concurrent Real-Time Systems. RTCSA (2006)
Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk Corporaal
Reusing Real-Time Systems Design Experience. FDL (2006)
Oana Florescu, Menno de Hoon, Jeroen Voeten, Henk Corporaal
Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems. SAMOS (2006)
Oana Florescu, Jeroen Voeten, Henk Corporaal
Synthesis for Unified Control- and Data-Oriented Models. FDL (2005)
Oana Florescu, Jeroen Voeten, Henk Corporaal
A Unified Model for Analysis of Real-Time Properties. ISoLA (Preliminary proceedings) (2004)
Oana Florescu, Jeroen Voeten, Jinfeng Huang, Henk Corporaal
Error Estimation in Model-Driven Development for Real-Time Software. FDL (2004)