Dennis Kühn

According to our database, Dennis Kühn authored at least 3 papers between 2014 and 2018.

Collaborative distances:

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

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

A fully model-based approach to the design of the SEcube™ community web app.

Steve Boßelmann, Dennis Kühn, Tiziana Margaria

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

2014

Guided Domain-Specific Tailoring of jABC4.

Dennis Kühn, Johannes Neubauer

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