Oana Florescu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2004–2007
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | MEMOCODE | 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 |
| 2006 | FDL | Reusing Real-Time Systems Design Experience. | Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk Corporaal |
| 2006 | RTCSA | Strengthening Property Preservation in Concurrent Real-Time Systems. | Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal |
| 2005 | FDL | Synthesis for Unified Control- and Data-Oriented Models. | Oana Florescu, Jeroen Voeten, Henk Corporaal |
| 2004 | FDL | Error Estimation in Model-Driven Development for Real-Time Software. | Oana Florescu, Jeroen Voeten, Jinfeng Huang, Henk Corporaal |
| 2004 | ISoLA | A Unified Model for Analysis of Real-Time Properties. | Oana Florescu, Jeroen Voeten, Henk Corporaal |