Oana Florescu

According to our database, Oana Florescu authored at least 9 papers between 2004 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Error computation for predictable real-time software synthesis.

Jeroen Voeten, Oana Florescu, Jinfeng Huang, Henk Corporaal

Simul., 2011

2009

Patterns for Automatic Generation of Soft Real-time System Models.

Oana Florescu, Jeroen Voeten, Bart D. Theelen, Henk Corporaal

Simul., 2009

2007

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

Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

2006

Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems.

Oana Florescu, Menno de Hoon, Jeroen Voeten, Henk Corporaal

Proceedings of the Embedded Computer Systems: Architectures, 2006

Strengthening Property Preservation in Concurrent Real-Time Systems.

Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal

Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

Reusing Real-Time Systems Design Experience.

Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk Corporaal

Proceedings of the Forum on specification and Design Languages, 2006

2005

Synthesis for Unified Control- and Data-Oriented Models.

Oana Florescu, Jeroen Voeten, Henk Corporaal

Proceedings of the Forum on specification and Design Languages, 2005

2004

A Unified Model for Analysis of Real-Time Properties.

Oana Florescu, Jeroen Voeten, Henk Corporaal

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Error Estimation in Model-Driven Development for Real-Time Software.

Oana Florescu, Jeroen Voeten, Jinfeng Huang, Henk Corporaal

Proceedings of the Forum on specification and Design Languages, 2004