Alex Gerdes

Publication Activity (10 Years)

Years Active: 2008-2018
Publications (10 Years): 3

Top Topics

Functional Programming

Intelligent Tutoring Systems

Automatically Generate

Top Venues

Erlang Workshop

Int. J. Artif. Intell. Educ.

Publications

Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, Meng Wang
Understanding formal specifications through good examples. Erlang Workshop (2018)
Maximilian Algehed, Patrik Jansson, Sólrún Halla Einarsdóttir, Alex Gerdes
Saint: An API-Generic Type-Safe Interpreter. TFP (2018)
Alex Gerdes, Bastiaan Heeren, Johan Jeuring, L. Thomas van Binsbergen
Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback. Int. J. Artif. Intell. Educ. 27 (1) (2017)
Ulf Norell, Alex Gerdes
Attribute grammars in Erlang. Erlang Workshop (2015)
Thomas Arts, Kirill Bogdanov, Alex Gerdes, John Hughes
Graphical editing support for QuickCheck models. ICST Workshops (2015)
Alex Gerdes, John Hughes, Nicholas Smallbone, Meng Wang
Linking unit tests and properties. Erlang Workshop (2015)
Martin A. Skoglund, Hans Svensson, Henrik Eriksson, Thomas Arts, Rolf Johansson, Alex Gerdes
Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models. SAFECOMP Workshops (2014)
Johan Jeuring, L. Thomas van Binsbergen, Alex Gerdes, Bastiaan Heeren
Model solutions and properties for diagnosing student programs in Ask-Elle. CSERC (2014)
Rolf Johansson, Hans Eriksson, Hans Svensson, Kenneth Östberg, Thomas Arts, Alex Gerdes, Martin A. Skoglund
Don't Judge Software by Its (Code) Coverage. CARS@SAFECOMP (2013)
Thomas Arts, Alex Gerdes, Magnus Kronqvist
Requirements on automatically generated random test cases. FedCSIS (2013)
Johan Jeuring, Alex Gerdes, Bastiaan Heeren
Ask-Elle: A Haskell Tutor - Demonstration. EC-TEL (2012)
Alex Gerdes, Johan Jeuring, Bastiaan Heeren
An interactive functional programming tutor. ITiCSE (2012)
Alex Gerdes, Bastiaan Heeren, Johan Jeuring
Teachers and Students in Charge - Using Annotated Model Solutions in a Functional Programming Tutor. EC-TEL (2012)
Johan Jeuring, Alex Gerdes, Bastiaan Heeren
A Programming Tutor for Haskell. CEFP (2011)
Alex Gerdes, Bastiaan Heeren, Johan Jeuring
Properties of Exercise Strategies IWS (2010)
Alex Gerdes, Johan Jeuring, Bastiaan Heeren
Using strategies for assessment of programming exercises. SIGCSE (2010)
Bastiaan Heeren, Johan Jeuring, Alex Gerdes
Specifying Rewrite Strategies for Interactive Exercises. Math. Comput. Sci. 3 (3) (2010)
Alex Gerdes, Bastiaan Heeren, Johan Jeuring
Constructing Strategies for Programming. CSEDU (1) (2009)
Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes
Specifying Strategies for Exercises. AISC/MKM/Calculemus (2008)
Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira
Comparing libraries for generic programming in haskell. Haskell (2008)