Luthfi Darmawan

According to our database, Luthfi Darmawan authored at least 4 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption.

Pedro López-García, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo

Theory Pract. Log. Program., 2018

2011

Interval-Based Resource Usage Verification: Formalization and Prototype.

Pedro López-García, Luthfi Darmawan, Francisco Bueno, Manuel V. Hermenegildo

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2011

Evaluating LTL Satisfiability Solvers.

Viktor Schuppan, Luthfi Darmawan

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification.

Pedro López-García, Luthfi Darmawan, Francisco Bueno

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010