Alex Gerdes

According to our database, Alex Gerdes authored at least 20 papers between 2008 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Saint: An API-Generic Type-Safe Interpreter.

Maximilian Algehed, Patrik Jansson, Sólrún Halla Einarsdóttir, Alex Gerdes

Proceedings of the Trends in Functional Programming - 19th International Symposium, 2018

Understanding formal specifications through good examples.

Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, Meng Wang

Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, 2018

2017

Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback.

Alex Gerdes, Bastiaan Heeren, Johan Jeuring, L. Thomas van Binsbergen

Int. J. Artif. Intell. Educ., 2017

2015

Graphical editing support for QuickCheck models.

Thomas Arts, Kirill Bogdanov, Alex Gerdes, John Hughes

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Attribute grammars in Erlang.

Ulf Norell, Alex Gerdes

Proceedings of the 14th ACM SIGPLAN Workshop on Erlang 2015, 2015

Linking unit tests and properties.

Alex Gerdes, John Hughes, Nicholas Smallbone, Meng Wang

Proceedings of the 14th ACM SIGPLAN Workshop on Erlang 2015, 2015

2014

Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models.

Martin A. Skoglund, Hans Svensson, Henrik Eriksson, Thomas Arts, Rolf Johansson, Alex Gerdes

Proceedings of the Computer Safety, Reliability, and Security, 2014

Model solutions and properties for diagnosing student programs in Ask-Elle.

Johan Jeuring, L. Thomas van Binsbergen, Alex Gerdes, Bastiaan Heeren

Proceedings of the Computer Science Education Research Conference, 2014

2013

Don't Judge Software by Its (Code) Coverage.

Rolf Johansson, Hans Eriksson, Hans Svensson, Kenneth Östberg, Thomas Arts, Alex Gerdes, Martin A. Skoglund

Proceedings of the SAFECOMP 2013, 2013

Requirements on automatically generated random test cases.

Thomas Arts, Alex Gerdes, Magnus Kronqvist

Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

2012

An interactive functional programming tutor.

Alex Gerdes, Johan Jeuring, Bastiaan Heeren

Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

Ask-Elle: A Haskell Tutor - Demonstration.

Johan Jeuring, Alex Gerdes, Bastiaan Heeren

Proceedings of the 21st Century Learning for 21st Century Skills, 2012

Teachers and Students in Charge - Using Annotated Model Solutions in a Functional Programming Tutor.

Alex Gerdes, Bastiaan Heeren, Johan Jeuring

Proceedings of the 21st Century Learning for 21st Century Skills, 2012

2011

A Programming Tutor for Haskell.

Johan Jeuring, Alex Gerdes, Bastiaan Heeren

Proceedings of the Central European Functional Programming School - 4th Summer School, 2011

2010

Specifying Rewrite Strategies for Interactive Exercises.

Bastiaan Heeren, Johan Jeuring, Alex Gerdes

Math. Comput. Sci., 2010

Properties of Exercise Strategies

Alex Gerdes, Bastiaan Heeren, Johan Jeuring

Proceedings of the Proceedings International Workshop on Strategies in Rewriting, 2010

Using strategies for assessment of programming exercises.

Alex Gerdes, Johan Jeuring, Bastiaan Heeren

Proceedings of the 41st ACM technical symposium on Computer science education, 2010

2009

Constructing Strategies for Programming.

Alex Gerdes, Bastiaan Heeren, Johan Jeuring

Proceedings of the CSEDU 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, March 23-26, 2009, 2009

2008

Comparing libraries for generic programming in haskell.

Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira

Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

Specifying Strategies for Exercises.

Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008