Marcellus Siegburg, Doctoral Student

Lotharstr. 65 (LF)
47057 Duisburg
LF 232


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

The following publications are listed in the online university bibliography of the University of Duisburg-Essen. Further information may also be found on the person's personal web pages.

    Book articles / Proceedings papers

  • Brandt, André; Siegburg, Marcellus; Voigtländer, Janis; Wang, Ke
    A Report on Automatic Generation of Petri Net Exercise and Exam Task Instances
    In: Modellierung 2022 Satellite Events / Workshop zur Modellierung in der Hochschullehre (MoHoL), Juni 2022, Hamburg / Michael, Judith; Pfeiffer, Jérôme; Wortmann, Andreas (Eds.) 2022, pp. 197 - 204
  • 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 (Eds.) 2020, pp. 112 - 128
  • 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 2020, 19.-21.02.2020, Wien / Michael, Judith; Bork, Dominik; Rehse, Jana-Rebecca; Striewe, Michael; Ullrich, Meike (Eds.) 2020, pp. 89 - 100
  • 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 (Eds.) 2019, pp. 19 - 26