Christian Joubert

Learn More
Educational process mining is an emerging field in the educational data mining (EDM) discipline, concerned with discovering, analyzing, and improving educational processes based on information hidden in datasets and logs. These data are recorded by educational systems in different forms and at different levels of granularity. Often, process discovery and(More)
This paper presents a practical Java program analysis framework that is obtained by combining a Java virtual machine with a general–purpose verification toolbox that we previously extended. In our methodology , Datalog clauses are used to specify complex interprocedural program analyses involving dynamically created objects. After extracting an initial set(More)
  • 1