Follow
Sólrún Halla Einarsdóttir
Title
Cited by
Cited by
Year
Controlled time series generation for automotive software-in-the-loop testing using GANs
D Parthasarathy, K Bäckstrom, J Henriksson, S Einarsdóttir
2020 IEEE International Conference On Artificial Intelligence Testing …, 2020
62020
Into the Infinite-Theory Exploration for Coinduction
SH Einarsdóttir, M Johansson, J Åman Pohjola
5*
Examples and results from a BSc-level course on domain specific languages of mathematics
P Jansson, SH Einarsdóttir, C Ionescu
Electronic Proceedings in Theoretical Computer Science 295, 79-90, 2019
42019
Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing
SH Einarsdóttir, N Smallbone, M Johansson
IFL 2020: Proceedings of the 32nd Symposium on Implementation and …, 2020
22020
Saint: an API-generic type-safe interpreter
M Algehed, P Jansson, SH Einarsdóttir, A Gerdes
International Symposium on Trends in Functional Programming, 94-113, 2018
12018
Theory Exploration for Programs and Proofs
SH Einarsdóttir
PQDT-Global, 2022
2022
Theory Exploration on Infinite Structures
SH Einarsdóttir
2017
Towards Big Theory Exploration
SH Einarsdóttir, M Johansson
The system can't perform the operation now. Try again later.
Articles 1–8