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
172020
Template-based theory exploration: discovering properties of functional programs by testing
SH Einarsdóttir, N Smallbone, M Johansson
Proceedings of the 32nd Symposium on Implementation and Application of …, 2020
82020
Into the Infinite-Theory Exploration for Coinduction
SH Einarsdóttir, M Johansson, J Åman Pohjola
7*
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
LOL: A library of lemma templates for data-driven conjecturing
SH Einarsdóttir, M Johansson, N Smallbone
Work-in-progress papers presented at the 15th Conference on Intelligent …, 2022
22022
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
22018
Theory Exploration for Programs and Proofs
SH Einarsdóttir
PQDT-Global, 2022
2022
Theory Exploration on Infinite Structures
SH Einarsdóttir
2017
Towards neuro-symbolic conjecturing
SH Einarsdóttir, M Johansson, N Smallbone
Towards Big Theory Exploration
SH Einarsdóttir, M Johansson
The system can't perform the operation now. Try again later.
Articles 1–10