Obserwuj
Frederik Gossen
Frederik Gossen
TU Dortmund University, University of Limerick
Zweryfikowany adres z tu-dortmund.de - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Language-driven engineering: from general-purpose to purpose-specific languages
B Steffen, F Gossen, S Naujokat, T Margaria
Computing and Software Science: State of the Art and Perspectives, 311-344, 2019
572019
Computational thinking: learning by doing with the Cinco adventure game tool
F Gossen, D Kühn, T Margaria, AL Lamprecht
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC …, 2018
282018
DSLs for decision services: a tutorial introduction to language-driven engineering
F Gossen, T Margaria, A Murtovi, S Naujokat, B Steffen
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
252018
Algebraic aggregation of random forests: towards explainability and rapid evaluation
F Gossen, B Steffen
International Journal on Software Tools for Technology Transfer, 1-19, 2021
192021
Towards explainability in machine learning: The formal methods way
F Gossen, T Margaria, B Steffen
IT Professional 22 (4), 8-12, 2020
192020
Securing C/C++ applications with a SEcube™-based model-driven approach
F Gossen, J Neubauer, B Steffen
2017 12th International Conference on Design & Technology of Integrated …, 2017
132017
A model-driven approach to continuous practices for modern cloud-based web applications
T Tegeler, F Gossen, B Steffen
2019 9th International Conference on Cloud Computing, Data Science …, 2019
112019
A model-driven and generative approach to holistic security
F Gossen, T Margaria, J Neubauer, B Steffen
Resilience of Cyber-Physical Systems: From Risk Modelling to Threat …, 2019
92019
Add-lib: Decision diagrams in practice
F Gossen, A Murtovi, P Zweihoff, B Steffen
arXiv preprint arXiv:1912.11308, 2019
82019
Bayesian recognition of human identities from continuous visual features for safe and secure access in healthcare environments
F Gossen
2015 10th International Conference on Design & Technology of Integrated …, 2015
72015
Towards explainability in machine learning: the formal methods way. IT Prof. 22 (4), 8–12 (2020)
F Gossen, T Margaria, B Steffen
62020
Large random forests: Optimisation for rapid evaluation
F Gossen, B Steffen
arXiv preprint arXiv:1912.10934, 2019
62019
The java library for algebraic decision diagrams
F Gossen, A Murtovi, J Linden, B Steffen
62019
Comprehensible people recognition using the Kinect's face and skeleton model
F Gossen, T Margaria
2016 IEEE International Conference on Automation, Quality and Testing …, 2016
62016
Formal methods boost experimental performance for explainable AI
F Gossen, T Margaria, B Steffen
IT Professional 23 (6), 8-12, 2021
52021
Aggressive aggregation: a new paradigm for program optimization
F Gossen, M Jasper, A Murtovi, B Steffen
arXiv preprint arXiv:1912.11281, 2019
52019
Generating Optimal Decision Functions from Rule Specifications
F Gossen, T Margaria
Electronic Communications of the EASST 74, 2018
5*2018
Modelling the people recognition pipeline in access control systems
F Gossen, T Margaria, T Göke
Труды Института системного программирования РАН 28 (2), 205-220, 2016
22016
Aggressive aggregation:(Domain-specific) program optimisation with algebraic decision diagrams
FJ Gossen
Dissertation, Dortmund, Technische Universität, 2021, 2021
12021
Head pose normalization for recognition of human identities using color and depth data
F Gossen
Leveraging Applications of Formal Methods, Verification, and Validation: 6th …, 2016
12016
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20