Frederik Gossen

15 papers Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2023 J jnl
Algebraic aggregation of random forests: towards explainability and rapid evaluation.
Int. J. Softw. Tools Technol. Transf.
Frederik Gossen, Bernhard Steffen
2021 J jnl
Formal Methods Boost Experimental Performance for Explainable AI.
IT Prof.
Frederik Gossen, Tiziana Margaria, Bernhard Steffen
2020 J jnl
Towards Explainability in Machine Learning: The Formal Methods Way.
IT Prof.
Frederik Gossen, Tiziana Margaria, Bernhard Steffen
2019 — ch.
A Model-Driven and Generative Approach to Holistic Security.
Resilience of Cyber-Physical Systems
Frederik Gossen, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen
2019 J jnl
ADD-Lib: Decision Diagrams in Practice.
CoRR
Frederik Gossen, Alnis Murtovi, Philip Zweihoff, Bernhard Steffen
2019 J jnl
Aggressive Aggregation: a New Paradigm for Program Optimization.
CoRR
Frederik Gossen, Marc Jasper, Alnis Murtovi, Bernhard Steffen
2019 — ch.
Language-Driven Engineering: From General-Purpose to Purpose-Specific Languages.
Computing and Software Science
Bernhard Steffen, Frederik Gossen, Stefan Naujokat, Tiziana Margaria
2019 J jnl
Large Random Forests: Optimisation for Rapid Evaluation.
CoRR
Frederik Gossen, Bernhard Steffen
2018 — conf
Computational Thinking: Learning by Doing with the Cinco Adventure Game Tool.
COMPSAC (1)
Frederik Gossen, Dennis Kühn, Tiziana Margaria, Anna-Lena Lamprecht
2018 — conf
DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering.
ISoLA (1)
Frederik Gossen, Tiziana Margaria, Alnis Murtovi, Stefan Naujokat, Bernhard Steffen
2017 J jnl
Generating Real-time Decision Systems with the new miAamics.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Frederik Gossen, Tiziana Margaria
2017 — conf
Securing C/C++ applications with a SEcube™-based model-driven approach.
DTIS
Frederik Gossen, Johannes Neubauer, Bernhard Steffen
2016 — conf
Comprehensible people recognition using the Kinect's face and skeleton model.
AQTR
Frederik Gossen, Tiziana Margaria
2015 — conf
Bayesian recognition of human identities from continuous visual features for safe and secure access in healthcare environments.
DTIS
Frederik Gossen
2014 — conf
Head Pose Normalization for Recognition of Human Identities Using Color and Depth Data.
ISoLA (Revised Selected Papers)
Frederik Gossen