Frank Flederer

According to our database, Frank Flederer authored at least 4 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

CORFU - An Extended Model-Driven Framework for Small Satellite Software with Code Feedback.

Frank Flederer

PhD thesis, 2021

2017

Source Code Verification for Embedded Systems using Prolog.

Frank Flederer, Ludwig Ostermayer, Dietmar Seipel, Sergio Montenegro

Proceedings of the Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, 2017

2014

PPI - A Portable Prolog Interface for Java.

Ludwig Ostermayer, Frank Flederer, Dietmar Seipel

Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, 2014

CAPJA - A Connector Architecture for Prolog and Java.

Ludwig Ostermayer, Frank Flederer, Dietmar Seipel

Proceedings of 10th Workshop on Knowledge Engineering and Software Engineering (KESE10) co-located with 21st European Conference on Artificial Intelligence (ECAI 2014), 2014