Frederik Gossen

According to our database, Frederik Gossen authored at least 15 papers between 2014 and 2023.

Collaborative distances:

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

2023

Algebraic aggregation of random forests: towards explainability and rapid evaluation.

Frederik Gossen, Bernhard Steffen

Int. J. Softw. Tools Technol. Transf., June, 2023

2021

Formal Methods Boost Experimental Performance for Explainable AI.

Frederik Gossen, Tiziana Margaria, Bernhard Steffen

IT Prof., 2021

2020

Towards Explainability in Machine Learning: The Formal Methods Way.

Frederik Gossen, Tiziana Margaria, Bernhard Steffen

IT Prof., 2020

2019

Language-Driven Engineering: From General-Purpose to Purpose-Specific Languages.

Bernhard Steffen, Frederik Gossen, Stefan Naujokat, Tiziana Margaria

Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

ADD-Lib: Decision Diagrams in Practice.

Frederik Gossen, Alnis Murtovi, Philip Zweihoff, Bernhard Steffen

CoRR, 2019

Aggressive Aggregation: a New Paradigm for Program Optimization.

Frederik Gossen, Marc Jasper, Alnis Murtovi, Bernhard Steffen

CoRR, 2019

Large Random Forests: Optimisation for Rapid Evaluation.

Frederik Gossen, Bernhard Steffen

CoRR, 2019

A Model-Driven and Generative Approach to Holistic Security.

Frederik Gossen, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen

Proceedings of the Resilience of Cyber-Physical Systems, 2019

2018

DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering.

Frederik Gossen, Tiziana Margaria, Alnis Murtovi, Stefan Naujokat, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Computational Thinking: Learning by Doing with the Cinco Adventure Game Tool.

Frederik Gossen, Dennis Kühn, Tiziana Margaria, Anna-Lena Lamprecht

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017

Generating Real-time Decision Systems with the new miAamics.

Frederik Gossen, Tiziana Margaria

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2017

Securing C/C++ applications with a SEcube™-based model-driven approach.

Frederik Gossen, Johannes Neubauer, Bernhard Steffen

Proceedings of the 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era, 2017

2016

Comprehensible people recognition using the Kinect's face and skeleton model.

Frederik Gossen, Tiziana Margaria

Proceedings of the IEEE International Conference on Automation, 2016

2015

Bayesian recognition of human identities from continuous visual features for safe and secure access in healthcare environments.

Frederik Gossen

Proceedings of the 10th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, 2015

2014

Head Pose Normalization for Recognition of Human Identities Using Color and Depth Data.

Frederik Gossen

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2014