Éric Beaudet

According to our database, Éric Beaudet authored at least 2 papers between 2012 and 2013.

Collaborative distances:

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

2013

The Relational Database Engine: An Efficient Validator of Temporal Properties on Event Traces.

Jason Vallet, Aouatef Mrad, Sylvain Hallé, Éric Beaudet

Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference Workshops, 2013

2012

BabelTrace: A Collection of Transducers for Trace Validation.

Aouatef Mrad, Samatar Ahmed, Sylvain Hallé, Éric Beaudet

Proceedings of the Runtime Verification, Third International Conference, 2012