Oana Florescu
According to our database1,
Oana Florescu
authored at least 9 papers
between 2004 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2011
2009
2007
Software/Hardware Engineering with the Parallel Object-Oriented Specification Language.
Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007
2006
Proceedings of the Embedded Computer Systems: Architectures, 2006
Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006
Proceedings of the Forum on specification and Design Languages, 2006
2005
Proceedings of the Forum on specification and Design Languages, 2005
2004
A Unified Model for Analysis of Real-Time Properties.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004
Proceedings of the Forum on specification and Design Languages, 2004