Personensuche
Personensuche
Es wurde 1 Person gefunden.
Informatik / AI
Anschrift
Lotharstr. 65 (LF)
47057 Duisburg
47057 Duisburg
Raum
LF 232
Telefon
Telefax
Webseite
Funktionen
-
Wissenschaftliche/r Mitarbeiter/in, Formale Methoden der Informatik
Aktuelle Veranstaltungen
Keine aktuellen Veranstaltungen.
Vergangene Veranstaltungen (max. 10)
-
SoSe 2025
-
WiSe 2024
-
SoSe 2024
-
WiSe 2023
-
SoSe 2023
-
WiSe 2022
-
SoSe 2022
Die folgenden Publikationen sind in der Online-Universitätsbibliographie der Universität Duisburg-Essen verzeichnet. Weitere Informationen finden Sie gegebenenfalls auch auf den persönlichen Webseiten der Person.
-
Variation von Aufgabenstellungen zu Modellierung in der InformatikIn: Prüfungen digital gestalten: Technische und didaktische Konzepte für die Hochschullehre / Auferkorte-Michaelis, Nicole; Bonnes, Maiken; Hintze, Patrick; Liebscher, Julia (Hrsg.). Leverkusen: Verlag Barbara Budrich, 2025, S. 189 – 198DOI (Open Access)
-
A Report on Automatic Generation of Petri Net Exercise and Exam Task InstancesIn: Modellierung 2022 Satellite Events / Workshop zur Modellierung in der Hochschullehre (MoHoL), Juni 2022, Hamburg / Michael, Judith; Pfeiffer, Jérôme; Wortmann, Andreas (Hrsg.). Bonn: Gesellschaft für Informatik e.V., 2022, S. 197 – 204DOI, Online Volltext (Open Access)
-
Exercise Task Generation for UML Class/Object Diagrams, via Alloy Model Instance FindingIn: ICT Education: Revised Selected Papers / 48th Annual Conference of the Southern African Computer Lecturers’ Association, SACLA 2019, Northern Drakensberg, South Africa, July 15–17, 2019 / Tait, Bobby; Kroeze, Jan; Gruner, Stefan (Hrsg.). Cham: Springer, 2020, S. 112 – 128
-
Generating diverse exercise tasks on UML class and object diagrams, using formalisations in AlloyIn: Joint Proceedings of Modellierung 2020 Short, Workshop and Tools & Demo Papers / Modellierung 2020, 19.-21.02.2020, Wien / Michael, Judith; Bork, Dominik; Rehse, Jana-Rebecca; Striewe, Michael; Ullrich, Meike (Hrsg.). Aachen: RWTH Aachen, 2020, S. 89 – 100Online Volltext (Open Access)
-
Automatische Bewertung von Haskell-ProgrammieraufgabenIn: Proceedings of the Fourth Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2019), Essen, Germany, October 8-9, 2019 / Fourth Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2019), 08.-09.10. 2019, Essen / Strickroth, Sven; Striewe, Michael; Rod, Oliver (Hrsg.): GI, 2019, S. 19 – 26DOI (Open Access)