research
∙
07/05/2022
Empirical Evaluation of Project Scheduling Algorithms for Maximization of the Net Present Value
This paper presents an empirical performance analysis of three project s...
share
research
∙
06/09/2022
ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation
In this work, we describe and evaluate the first model checker for verif...
research
∙
12/31/2018
