Projects per year
Organisation 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.
Collaborations and top research areas from the last five years
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
-
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
Schmid, T., Kappé, T. & Silva, A., 17 Apr 2023, Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. Wies, T. (ed.). Springer, p. 309-336 28 p. (Lecture Notes in Computer Science (LNCS), Vol. 13990).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
Analyzing the Role of Ukrainian and Russian Diaspora in Disinformation Campaigns
Maathuis, C., de Ridder, C. & Stuurman, S., 5 May 2023, Proceedings of the 10th European Conference on Social Media. Dr Iwona Lupa-Wójcik & Dr Marta Czyżewska (eds.). Academic Conferences International Limited, Vol. 10. p. 153-162 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
Balanced-by-Construction Regular and ω-Regular Languages
Edixhoven, L. & Jongmans, S-S., Feb 2023, In: International Journal of Foundations of Computer Science. 34, 2&3, p. 117-144 28 p.Research output: Contribution to journal › Article › Academic › peer-review
Datasets
-
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
-
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
Prizes
-
Best paper award
Jonker, Hugo (Recipient) & van der Meer, Vincent (Recipient), 2023
Prize: Prize (including medals and awards) › Academic
-
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
Activities
-
University of Cape Town
Jesse Heyninck (Visiting researcher)
1 Jul 2023 → 30 Jun 2028Activity: External appointment / Visiting an external institution types › Visiting researcher › Academic
-
University of Warsaw
Tobias Kappé (Visiting researcher)
6 Feb 2023 → 10 Feb 2023Activity: External appointment / Visiting an external institution types › Visiting researcher › Academic
-
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
-