Alex Gerdes - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Alex Gerdes' as author, editor, or advisor:

Attribute grammars in ErlangUlf Norell, Alex Gerdes. erlang 2015: 1-12 [doi]
Using strategies for assessment of programming exercisesAlex Gerdes, Johan Jeuring, Bastiaan Heeren. sigcse 2009: 441-445 [doi]
Linking unit tests and propertiesAlex Gerdes, John Hughes, Nicholas Smallbone, Meng Wang. erlang 2015: 19-26 [doi]
Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable ModelsMartin A. Skoglund, Hans Svensson, Henrik Eriksson, Thomas Arts, Rolf Johansson, Alex Gerdes. safecomp 2014: 19-26 [doi]
Understanding formal specifications through good examplesAlex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, Meng Wang. erlang 2018: 13-24 [doi]
Specifying Strategies for ExercisesBastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes. AISC 2008: 430-445 [doi]
Constructing Strategies for ProgrammingAlex Gerdes, Bastiaan Heeren, Johan Jeuring. csedu 2009: 65-72
Model solutions and properties for diagnosing student programs in Ask-ElleJohan Jeuring, L. Thomas van Binsbergen, Alex Gerdes, Bastiaan Heeren. cserc 2014: 31-40 [doi]
Ask-Elle: A Haskell Tutor - DemonstrationJohan Jeuring, Alex Gerdes, Bastiaan Heeren. ectel 2012: 453-458 [doi]
Specifying Rewrite Strategies for Interactive ExercisesBastiaan Heeren, Johan Jeuring, Alex Gerdes. mics, 3(3):349-370, 2010. [doi]
An interactive functional programming tutorAlex Gerdes, Johan Jeuring, Bastiaan Heeren. iticse 2012: 250-255 [doi]
Requirements on automatically generated random test casesThomas Arts, Alex Gerdes, Magnus Kronqvist. FedCSIS 2013: 1335-1342
Graphical editing support for QuickCheck modelsThomas Arts, Kirill Bogdanov, Alex Gerdes, John Hughes. icst 2015: 1-6 [doi]
Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated FeedbackAlex Gerdes, Bastiaan Heeren, Johan Jeuring, L. Thomas van Binsbergen. aiedu, 27(1):65-100, 2017. [doi]
Saint: An API-Generic Type-Safe InterpreterMaximilian Algehed, Patrik Jansson, Sólrún Halla Einarsdóttir, Alex Gerdes. sfp 2019: 94-113 [doi]
A Programming Tutor for HaskellJohan Jeuring, Alex Gerdes, Bastiaan Heeren. cefp 2012: 1-45 [doi]
Don't Judge Software by Its (Code) CoverageRolf Johansson, Hans Eriksson, Hans Svensson, Kenneth Östberg, Thomas Arts, Alex Gerdes, Martin A. Skoglund. safecomp 2013: [doi]
Teachers and Students in Charge - Using Annotated Model Solutions in a Functional Programming TutorAlex Gerdes, Bastiaan Heeren, Johan Jeuring. ectel 2012: 383-388 [doi]

runs on WebDSL