This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
The application of functional networks in the automotive industry is still very slowly adopted into their development processes. Reasons for this are manifold. A functional networ...
Solving problems raised by heterogeneous ontologies can be achieved by matching the ontologies and processing the resulting alignments. This is typical of data mediation in which ...
Source code coupling and change history are two important data sources for change coupling analysis. The popularity of public open source projects in recent years makes both sourc...
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
Raul Fechete, Georg Kienesberger, Johann Blieberge...