Projects per year
Organization profile
Layman's description
The research programme Towards High-Quality and Intelligent Software (THIS) aims at improving quality assurance technology for software engineering. It is composed of four program lines:
- Software Quality: This program line focuses on quality assurance techniques for software systems. Research concentrates on techniques for, or based on, automated testing, theorem proving, model checking, run-time verification and static analysis.
- Security & Privacy: This program line focuses on security of software and computer systems, and privacy-by-design.
- Artificial Intelligence: This program line focuses on methods for artificial intelligence (such as Bayesian models, machine learning and deep learning), responsible AI, and applications (smart services).
- Teaching & Learning: This program line focuses on learning-supporting tools and on computing education.
Fingerprint
Dive into the research topics where Research Program Towards High-Quality and Intelligent Software (THIS) is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
G Alpár
- Research Line Security and privacy (part of THIS program) - Senior Lecturer
- Research Line Teaching and learning (part of THIS program) - Senior Lecturer
- Department of Computer Science - Senior Lecturer
- Research Line Innovation (part of LIRS program) - Senior Lecturer
Person: Academic
-
Erik Barendsen
- Research Line Teaching and learning (part of THIS program) - Full Professor
- Department of Computer Science - Full Professor
Person: Honorary staff
-
Janneke Bolt, BFA
- Department of Computer Science - Lecturer
- Research Program Towards High-Quality and Intelligent Software (THIS) - Lecturer
Person: Academic
-
Adoption of digital communication technology by vulnerable citizens in urban areas
Bolman, C., Lechner, L., Dohmen, D., Blok, G., Hommersom, A., Strikwerda, L. & Hengst, T.
1/10/21 → …
Project: Research
-
Toward a safe and resilient city: Investigating the dynamics of police-bystander conflicts using advanced technologies
van Dam, K., Proost, K., van Dijke, R., Malsch, M., Maathuis, C., van Vuuren, T., Rosegaard, M., Kamphuis, W., Delahaij, R. & van Bruchem, M.
1/06/21 → 1/06/25
Project: PhD project
-
ABE Squared: Accurately Benchmarking Efficiency of Attribute-Based Encryption
Venema, M., de la Piedra, A. & Alpár, G., 15 Feb 2022, In: IACR Transactions on Cryptographic Hardware and Embedded Systems. 2022, 2, p. 192-239 48 p.Research output: Contribution to journal › Conference Article in journal › Academic › peer-review
Open Access -
An agent-based approach to automated game testing: an experience report
Prasetya, I. S. W. B., Ricós, F. P., Kifetew, F. M., Prandi, D., Shirzadehhajimahmood, S., Vos, T. E. J., Paska, P., Hovorka, K., Ferdous, R., Susi, A. & Davidson, J., 9 Nov 2022, A-TEST 2022: Proceedings of the 13th International Workshop on Automating Test Case Design, Selection and Evaluation. Akos Kiss, Beatriz Marin & Mehrdad Saadatmand (eds.). ACM Digital Library, p. 1-8Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
Cledou, G., Edixhoven, L., Jongmans, S-S. & Proença, J., Jun 2022, 36th European Conference on Object-Oriented Programming: ECOOP 2022. K. A. & J. V. (eds.). Schloss Dagstuhl - LZI GmbH, Vol. 222. p. 27:1-27:28 28 p. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 222).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access
Datasets
-
Metadata record for: Aachen-Heerlen annotated steel microstructure dataset
Iren, D. (Contributor), Krupp, U. (Contributor), Gorfer, J. (Contributor), Wesselmecking, S. (Contributor), Pujar, G. (Contributor), Bromuri, S. (Contributor) & Ackermann, M. (Contributor), figshare, 25 May 2021
DOI: 10.6084/m9.figshare.14045789.v1, https://doi.org/10.6084%2Fm9.figshare.14045789.v1
Dataset
-
Aachen-Heerlen Annotated Steel Microstructure Dataset
Pujar, G. (Contributor), Ackermann, M. (Contributor), Iren, D. (Creator), Krupp, U. (Creator), Bromuri, S. (Creator), Gorfer, J. (Creator) & Wesselmecking, S. (Creator), figshare, 19 May 2021
DOI: 10.6084/m9.figshare.c.5185004.v1, https://doi.org/10.6084%2Fm9.figshare.c.5185004.v1
Dataset
Prizes
-
Best paper award iFM 2022
de Gouw, Stijn (Recipient), 2022
Prize: Prize (including medals and awards) › Academic
-
OU Teacher of the year
Jonker, Hugo (Recipient), 2020
Prize: Prize (including medals and awards) › Academic
-
RRBM Honor Roll
Henkel, Alex (Recipient), Bromuri, Stefano (Recipient) & Iren, Deniz (Recipient), 2022
Prize: Prize (including medals and awards) › Academic
Activities
-
Machine learning and deep learning for the analysis of behavioral data
Frouke Hermens (Speaker)
26 Jan 2023Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Verantwoorde AI voor gemeenten
Reijer Passchier (Organiser), Vera Claassens (Organiser), Martine Hermans (Organiser) & Martijn van Otterlo (Organiser)
7 Feb 2023Activity: Attending or organising an event types › Organising an event › Professional
-
Machines: Machinery and Automation (Journal)
Frouke Hermens (Peer reviewer)
2023Activity: Publication peer-review and editorial work types › Editorial work journal › Academic
Press/Media
-
-
Onderzoekers Open Universiteit geciteerd in belangrijke klimaatrapporten IPCC
Jetse Stoorvogel, Lisanne Groen, Gibran Vita Garza, Dave Huitema, Stijn Neuteleers & Harald Vranken
28/04/22
1 Media contribution
Press/Media: OU News Channel
-