Luthfi Darmawan

Available identifiers

zbMath Open darmawan.luthfiMaRDI QIDQ2883082

List of research outcomes

Publication	Date of Publication	Type
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption	2018-05-31	Paper
Interval-Based Resource Usage Verification: Formalization and Prototype	2012-11-02	Paper
A framework for verification and debugging of resource usage properties: resource usage verification	2012-05-11	Paper

Research outcomes over time

This page was built for person: Luthfi Darmawan