BabelTrace: A Collection of Transducers for Trace Validation. - Aouatef Mrad; Samatar Ahmed; Sylvain Hallé; Éric Beaudet (RV, 2012)

The Relational Database Engine: An Efficient Validator of Temporal Properties on Event Traces. - Jason Vallet; Aouatef Mrad; Sylvain Hallé; Éric Beaudet (EDOC Workshops, 2013)