Author:Julien Signoles

Publications
Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper) Julien Signoles In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper) Julien Signoles, Nikolai Kosmatov and Kostyantyn Vorobyov In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools