Skip Ribbon Commands

Skip to main content

Start

Sólrún Einarsdóttir

Staff

Sólrún Einarsdóttir

PhD student, Computing Science division, Department of Computer Science and Engineering.

slrn@chalmers.se Find me

Publications

Latest publications

2020
Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing

Author: Sólrún Einarsdóttir; Nicholas Smallbone; Moa Johansson

Published: 2020

Published in: ACM International Conference Proceeding Series

Publication type: Paper in proceeding
Controlled time series generation for automotive software-in-the-loop testing using GANs

Author: Dhasarathy Parthasarathy; Karl Bäckström; Jens Henriksson; Sólrún Einarsdóttir

Published: 2020

Published in: Proceedings - 2020 IEEE International Conference on Artificial Intelligence Testing, AITest 2020

Publication type: Paper in proceeding
2019
Examples and Results from a BSc-level course on domain specific languages of mathematics

Author: Patrik Jansson; Sólrún Einarsdóttir; Cezar Ionescu

Published: 2019

Published in: Electronic Proceedings in Theoretical Computer Science, EPTCS

Publication type: Paper in proceeding
Saint: an API-generic type-safe interpreter

Author: Maximilian Algehed; Patrik Jansson; Sólrún Einarsdóttir; Alex Gerdes

Published: 2019

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceeding
2018
Into the infinite - theory exploration for coinduction

Author: Sólrún Einarsdóttir; Moa Johansson; Johannes Åman Pohjala

Published: 2018

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceeding

Go to Chalmers publication library

Page manager Published: Fri 17 Dec 2021.