Head Pose Normalization for Recognition of Human Identities Using Color and Depth Data. - Frederik Gossen (ISoLA (Revised Selected Papers), 2014)

Bayesian recognition of human identities from continuous visual features for safe and secure access in healthcare environments. - Frederik Gossen (DTIS, 2015)

Comprehensible people recognition using the Kinect's face and skeleton model. - Frederik Gossen; Tiziana Margaria (AQTR, 2016)

Securing C/C++ applications with a SEcube™-based model-driven approach. - Frederik Gossen; Johannes Neubauer; Bernhard Steffen (DTIS, 2017)

Generating Real-time Decision Systems with the new miAamics. - Frederik Gossen; Tiziana Margaria (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2017)

Computational Thinking: Learning by Doing with the Cinco Adventure Game Tool. - Frederik Gossen; Dennis Kühn; Tiziana Margaria; Anna-Lena Lamprecht (COMPSAC (1), 2018)

DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering. - Frederik Gossen; Tiziana Margaria; Alnis Murtovi; Stefan Naujokat; Bernhard Steffen (ISoLA (1), 2018)

A Model-Driven and Generative Approach to Holistic Security. - Frederik Gossen; Tiziana Margaria; Johannes Neubauer; Bernhard Steffen (Resilience of Cyber-Physical Systems, 2019)

Large Random Forests: Optimisation for Rapid Evaluation. - Frederik Gossen; Bernhard Steffen (CoRR, 2019)

Aggressive Aggregation: a New Paradigm for Program Optimization. - Frederik Gossen; Marc Jasper; Alnis Murtovi; Bernhard Steffen (CoRR, 2019)

ADD-Lib: Decision Diagrams in Practice. - Frederik Gossen; Alnis Murtovi; Philip Zweihoff; Bernhard Steffen (CoRR, 2019)

Language-Driven Engineering: From General-Purpose to Purpose-Specific Languages. - Bernhard Steffen; Frederik Gossen; Stefan Naujokat; Tiziana Margaria (Computing and Software Science, 2019)

Towards Explainability in Machine Learning: The Formal Methods Way. - Frederik Gossen; Tiziana Margaria; Bernhard Steffen (IT Prof., 2020)

Formal Methods Boost Experimental Performance for Explainable AI. - Frederik Gossen; Tiziana Margaria; Bernhard Steffen (IT Prof., 2021)

Algebraic aggregation of random forests: towards explainability and rapid evaluation. - Frederik Gossen; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2023)