A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification. - Pedro López-García 001; Luthfi Darmawan; Francisco Bueno (ICLP (Technical Communications), 2010)

Evaluating LTL Satisfiability Solvers. - Viktor Schuppan; Luthfi Darmawan (ATVA, 2011)

Interval-Based Resource Usage Verification: Formalization and Prototype. - Pedro López-García 001; Luthfi Darmawan; Francisco Bueno; Manuel V. Hermenegildo (FOPARA, 2011)

Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. - Pedro López-García 001; Luthfi Darmawan; Maximiliano Klemen; Umer Liqat; Francisco Bueno; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2018)