Personensuche

Personensuche

Bitte geben Sie den Namen der gesuchten Person ein.

Es wurde 1 Person gefunden.

Anschrift
Lotharstr. 65 (LF)
47057 Duisburg
Raum
LF 232

Funktionen

  • Wissenschaftliche/r Mitarbeiter/in, Formale Methoden der Informatik

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.

    Beiträge in Sammelwerken und Tagungsbänden

  • Kafa, Violet; Siegburg, Marcellus; Voigtländer, Janis
    Exercise task generation for UML class/object diagrams, via alloy model instance finding
    In: 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.), 2020, S. 112 - 128
    ISBN: 978-3-030-35628-6; 978-3-030-35629-3 ISSN: 1865-0937; 1865-0929
  • Siegburg, Marcellus; Voigtländer, Janis
    Generating diverse exercise tasks on UML class and object diagrams, using formalisations in Alloy
    In: Joint Proceedings of Modellierung 2020 Short, Workshop and Tools & Demo Papers / Modellierung C-2020, 19.-21.02.2020, Wien; / Michael, Judith; Bork, Dominik; Rehse, Jana-Rebecca; Striewe, Michael; Ullrich, Meike (Hrsg.), 2020
    ISSN: 1613-0073
  • Siegburg, Marcellus; Voigtländer, Janis; Westphal, Oliver
    Automatische Bewertung von Haskell-Programmieraufgaben
    In: 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.), 2019, S. 19 - 26