Umer Liqat
- Towards Energy Consumption Verification via Static Analysis
2015/12/31 by Pedro López-García, Pedro Lopez-Garcia, Remy Haemmerle +9 · 1 voice
Computer Science · #Embedded Systems Design Techniques #Parallel Computing and Optimization Techniques #Real-Time Systems Scheduling #cs.DC #cs.LO #cs.PL
- Interval-based Resource Usage Verification by Translation into Horn\n Clauses and an Application to Energy Consumption
2018/03/12 by Pedro López-García, Lopez-Garcia, Pedro, Luthfi Darmawan +9 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL)