Research Program Towards High-Quality and Intelligent Software (THIS)

Filter

2022
IVVES (Industrial-Grade Verification and Validation of Evolving Systems)
Aho, P., Vos, T. E. J., Sybrandi, O., Patrasoiu, S., Oikarinen, J., Valdes, O. R. & Hufkens, L. V., 19 May 2022. 8 p.
Research output: Contribution to conference › Paper › Academic

Open Access
One counterfactual does not make an explanation
Butz, R., Hommersom, A., Barenkamp, M. & van Ditmarsch, H., 2022, p. 1-11.
Research output: Contribution to conference › Paper › Academic

Open Access
Possibilistic Logic Underlies Abstract Dialectical Frameworks
Heyninck, J. L. A., Kern-Isberner, G., Rienstra, T., Skiba, K. & Thimm, M., 2022, p. 2655-2666.
Research output: Contribution to conference › Paper › Academic

Open Access
Theoretical Constructs for Design Lenses for Developing Cyberbullying Countering Games for Adolescences
Nieuwenhuize, A., Rahimi, E. & Maathuis, E. C., 21 Nov 2022.
Research output: Contribution to conference › Paper › Academic

Open Access
File
55 Downloads (Pure)
2021
Balanced-By-Construction Regular and ω-Regular Languages
Edixhoven, L. & Jongmans, S-S., 6 Aug 2021, p. 130-142. 13 p.
Research output: Contribution to conference › Paper › Academic
What is understandable in Bayesian network explanations?
Butz, R. S., Schulz, R., Hommersom, A. J. & van Eekelen, M. C. J. D., Oct 2021.
Research output: Contribution to conference › Paper › Academic

Open Access

Research output