FD Boer, V Serbanescu, R Hähnle, L Henrio, J Rochas, CC Din, ...

ACM Computing Surveys (CSUR) 50 (5), 1-39, 2017

S Brandauer, E Castegren, D Clarke, K Fernandez-Reyes, EB Johnsen, ...

Formal Methods for Multicore Programming: 15th International School on …, 2015

K Fernandez-Reyes, D Clarke, DS McCain

Coordination Models and Languages: 18th IFIP WG 6.1 International Conference …, 2016

S Blessing, K Fernandez-Reyes, AM Yang, S Drossopoulou, T Wrigstad

Proceedings of the 9th ACM SIGPLAN International Workshop on Programming …, 2019

K Fernandez-Reyes, D Clarke, L Henrio, EB Johnsen, T Wrigstad

Leibniz International Proceedings in Informatics 134, 2019

K Fernandez-Reyes, D Clarke, E Castegren, HP Vo

Coordination Models and Languages: 20th IFIP WG 6.1 International Conference …, 2018

K Fernandez-Reyes, D Clarke, J Hornbach

Proceedings of the 21st ACM/IEEE International Conference on Model Driven …, 2018

K Fernandez-Reyes, IO Gariano, J Noble, E Greenwood-Thessman, ...

Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas …, 2021

E Castegren, D Clarke, K Fernandez-Reyes, T Wrigstad, AM Yang

Proceedings of the 8th ACM SIGPLAN International Workshop on Programming …, 2018

E Castegren, K Fernandez-Reyes

Proceedings of the 12th ACM SIGPLAN International Conference on Software …, 2019

K Fernandez-Reyes, D Clarke, L Henrio, EB Johnsen, T Wrigstad

Dagstuhl Artifacts Ser. 5 (2), 01:1-01:2, 2019

K Fernandez-Reyes, D Clarke

TyDe 2017, September 3, Oxford, UK, 2017

K Fernandez-Reyes, IO Gariano, J Noble, T Wrigstad

arXiv preprint arXiv:1909.01465, 2019

I Huang, J Högberg, K Fernandez-Reyes, T Wrigstad

Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, 24-32, 2024

IA Andin, R Niskanen, P Dimitrov, K Fernandez-Reyes

Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang, 2-13, 2023

S Meier, S Mover, BYE Chang, K Fernandez-Reyes, D Clarke, L Henrio, ...

Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2019

K Fernandez-Reyes, D Clarke