Search the dblp DataBase

Publications of Author

1. Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal
   Strengthening Property Preservation in Concurrent Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   RTCSA, 2006, pp:106-109 [Conf]
   
2. Oana Florescu, Menno de Hoon, Jeroen Voeten, Henk Corporaal
   Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems. [Citation Graph (0, 0)][DBLP]
   SAMOS, 2006, pp:206-215 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   MEMOCODE, 2007, pp:139-148 [Conf]
   
4. 
   A Unified Model for Analysis of Real-Time Properties. [Citation Graph (, )][DBLP]
   
   
5. 
   Reusing Real-Time Systems Design Experience. [Citation Graph (, )][DBLP]
   
   
6. 
   Synthesis for Unified Control- and Data-Oriented Models. [Citation Graph (, )][DBLP]
   
   
7. 
   Error Estimation in Model-Driven Development for Real-Time Software. [Citation Graph (, )][DBLP]