CAPJA - A Connector Architecture for Prolog and Java. - Ludwig Ostermayer; Frank Flederer; Dietmar Seipel (KESE@ECAI, 2014)

PPI - A Portable Prolog Interface for Java. - Ludwig Ostermayer; Frank Flederer; Dietmar Seipel (WLP/WFLP, 2014)

Source Code Verification for Embedded Systems using Prolog. - Frank Flederer; Ludwig Ostermayer; Dietmar Seipel; Sergio Montenegro 001 (WLP / WFLP, 2017)

CORFU - An Extended Model-Driven Framework for Small Satellite Software with Code Feedback. - Frank Flederer (2021)