Oliver Westphal, wissenschaftlicher Mitarbeiter

M.Sc. Oliver Westphal

Informatik / AI

Anschrift
Lotharstr. 65 (LF)
47057 Duisburg
Raum
LF 232
Telefon
+49 203 379 2677
Telefax
+49 203 379 3557
E-Mail
oliver.westphal@uni-due.de
Webseite
https://www.uni-due.de/fmi/westphal

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.

    Artikel in Zeitschriften

  • Westphal, Oliver; Voigtländer, Janis
    Automatically testing console I/O behavior of student submissions in Haskell
    In: Journal of Functional Programming, Jg. 35, 2025, e18
    DOI (Open Access)
  • Westphal, Oliver
    Intent Preserving Generation of Diverse and Idiomatic (Code-)Artifacts
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 424, 2025, S. 109 – 129
    DOI, Online Volltext (Open Access)

    • Beiträge in Sammelwerken und Tagungsbänden

  • Westphal, Oliver
    A Framework for Generating Diverse Haskell-I/O Exercise Tasks
    In: Functional and Constraint Logic Programming / 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020 / Hanus, Michael; Sacerdoti Coen, Claudio (Hrsg.). Cham: Springer, 2021, S. 97 – 114
    DOI, Online Volltext (Open Access)
  • Westphal, Oliver; Voigtländer, Janis
    Describing Console I/O Behavior for Testing Student Submissions in Haskell
    TFPIE 2019 - Trends in Functional Programming in Education, 11. June 2019, Vancouver, Canada,
    In: Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education / Hage, Jurriaan (Hrsg.), 2020, S. 19 – 36
    DOI (Open Access)
  • Westphal, Oliver; Voigtländer, Janis
    Implementing, and Keeping in Check, a DSL Used in E-Learning
    In: Functional and Logic Programming: Proceedings / 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020 / Nakano, Keisuke; Sagonas, Konstantinos (Hrsg.). Cham: Springer, 2020, S. 179 – 197
    DOI
  • 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.): GI, 2019, S. 19 – 26
    DOI (Open Access)