References in zbMATH (referenced in 13 articles )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. Amir-Mohammadian, Sepehr; Kari, Chadi: Correct audit logging in concurrent systems (2020)
  2. Ibrahim Abdelaziz, Julian Dolby, James P. McCusker, Kavitha Srinivas: Graph4Code: A Machine Interpretable Knowledge Graph for Code (2020) arXiv
  3. Wüstholz, Valentin; Olivo, Oswaldo; Heule, Marijn J. H.; Dillig, Isil: Static detection of DoS vulnerabilities in programs that use regular expressions (2017)
  4. de Boer, Frank S.; de Gouw, Stijn: Combining monitoring with run-time assertion checking (2014) ioport
  5. Lee, Inyong; Jeong, Soonki; Yeo, Sangsoo; Moon, Jongsub: A novel method for SQL injection attack detection based on removing SQL query attribute values (2012)
  6. Huynh, Toan; Miller, James: An empirical investigation into open source web applications’ implementation vulnerabilities (2010) ioport
  7. Aktug, Irem; Dam, Mads; Gurov, Dilian: Provably correct runtime monitoring (2009)
  8. Chen, Feng; Roşu, Grigore: Parametric trace slicing and monitoring (2009)
  9. Güleşir, Gürcan; van den Berg, Klaas; Bergmans, Lodewijk; Akşit, Mehmet: Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems (2009) ioport
  10. Mäkelä, Sami; Leppänen, Ville: Client-based cohesion metrics for Java programs (2009)
  11. Volanschi, Eugen-Nicolae: A portable compiler-integrated approach to permanent checking. (2008) ioport
  12. Volanschi, Nic: A portable compiler-integrated approach to permanent checking (2008) ioport
  13. Moerbeek, Mirjam; Van Breukelen, Gerard J. P.; Berger, Martin: A comparison of estimation methods for multilevel logistic models (2003)