Luthfi Darmawan

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 2

Top Topics

Energy Consumption

Database Queries

Inductive Logic Programming

Top Venues

Theory Pract. Log. Program.

Publications

Pedro López-García, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo
Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption. CoRR (2018)
Pedro López-García, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. Theory Pract. Log. Program. 18 (2) (2018)
Pedro López-García, Luthfi Darmawan, Francisco Bueno, Manuel V. Hermenegildo
Interval-Based Resource Usage Verification: Formalization and Prototype. FOPARA (2011)
Viktor Schuppan, Luthfi Darmawan
Evaluating LTL Satisfiability Solvers. ATVA (2011)
Pedro López-García, Luthfi Darmawan, Francisco Bueno
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification. ICLP (Technical Communications) (2010)