1. A brief account of runtime verification;Leucker;J. Log. Algebraic Program.,2009
2. The good, the bad, and the ugly, but how ugly is ugly?;Bauer,2007
3. Verifying data- and control-oriented properties combining static and runtime verification: theory and tools;Ahrendt;Form. Methods Syst. Des.,2017
4. The impact of regular expression denial of service (ReDoS) in practice: an empirical study at the ecosystem scale;Davis,2018
5. Automatic generation of self-monitoring mass from multiparty global session types in Jason;Ancona,2012