Aouatef Mrad
According to our database1,
Aouatef Mrad
authored at least 2 papers
between 2012 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2013
The Relational Database Engine: An Efficient Validator of Temporal Properties on Event Traces.
Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference Workshops, 2013
2012
Proceedings of the Runtime Verification, Third International Conference, 2012