Oliver Westphal, Doctoral Student

M.Sc. Oliver Westphal

Informatik / AI

Address
Lotharstr. 65 (LF)
47057 Duisburg
Room
LF 232
Phone
+49 203 379 2677
Fax
+49 203 379 3557
E-Mail
oliver.westphal@uni-due.de
Website
https://www.uni-due.de/fmi/westphal

Functions

  • 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.

    Journal articles

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

    • Book articles / Proceedings papers

  • 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 (Eds.). Cham: Springer, 2021, pp. 97 – 114
    DOI, Online Full Text (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: Vancouver, Canada and Krakow, Poland, 11th June 2019 and 12th February 2020 / Eighth International Workshop on Trends in Functional Programming in Education, 11th June 2019, Vancouver, Canada and Ninth International Workshop on Trends in Functional Programming in Education, 12th February 2020, Krakow, Poland / Hage, Jurriaan (Eds.). Waterloo: Open Publishing Association, 2020, pp. 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 (Eds.). Cham: Springer, 2020, pp. 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 (Eds.): GI, 2019, pp. 19 – 26
    DOI (Open Access)