Computer Science

Rodin Aarssen, MSc
- r.t.a.aarssentuenl
- Mathematics and Computer Science, Software Engineering and Technology - Promovendus
- Mathematics and Computer Science, Formal System Analysis - Promovendus
Persoon: Prom. : Promovendus
Arne A. Aarts, MSc
- a.a.aartstuenl
- Mathematics and Computer Science, Security - Promovendus
Persoon: Prom. : Promovendus
20182018
Henk Y. Alkema, MSc
- h.y.alkematuenl
- Mathematics and Computer Science, Algorithms - Promovendus
Persoon: Prom. : Promovendus
20202021

4 Afgelopen

SECREDAS GA 783119
den Hartog, J. I., Etalle, S., Zannone, N., Sheikhalishahi, M., Cappers, B. C. M., Dupont, G., Le, D., Gankhuyag, G., Clark, S., Aarts, A. A., Ravidas, S. & Zambon-Mazzocato, E.
1/05/18 → 31/10/21
Project: Onderzoek direct
GEARS: GPU Enabled Accelerated Reasoning about System designs
Wijs, A. J., Wijs, A. J. & Mahmoud, M. O.
11/08/17 → 31/01/22
Project: Onderzoek direct
OptiLight
Linnartz, J. M. G., Bonarius, J. H., de Kort, Y. A. W., Smolders, K. C. H. J., Vogels, I. M. L. C., Peeters, S. T., Dangol, R., Kruisselbrink, T. W., Özçelebi, T. & de Kort, Y. A. W.
1/11/16 → 31/10/20
Project: Onderzoek direct

Survey of Approaches for Postprocessing of Static Analysis Alarms
Muske, T. & Serebrenik, A., apr. 2023, In: ACM Computing Surveys. 55, 3, 39 blz., 48.
Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

Open Access
4 Downloads (Pure)
Agglomerative Clustering of Growing Squares
Castermans, T., Speckmann, B., Staals, F. & Verbeek, K., jan. 2022, In: Algorithmica. 84, 1, blz. 216-233 18 blz.
Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

Open Access
Bestand
1 Citaat (Scopus)

19 Downloads (Pure)
Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones
Bloemen, V., van Zelst, S., van der Aalst, W., van Dongen, B. & van de Pol, J., jan. 2022, In: Information Systems. 103, 13 blz., 101456.
Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

Open Access
Bestand

BlackHat’s lab
Luca Allodi (Manager) & Ganduulga Gankhuyag (Manager)
Security
Uitrusting/faciliteit: Onderzoekslaboratorium
Geometry Lab
Willem Sonke (Manager)
Algorithms, Geometry and Applications
Uitrusting/faciliteit: Onderzoekslaboratorium
IoT lab
Sandro Etalle (Manager), Luca Allodi (Manager) & Nicola Zannone (Manager)
Security
Uitrusting/faciliteit: Onderzoekslaboratorium

Lindholmen Dataset of UML Models
Chaudron, M. R. V. (Ontwerper), Hebig, R. (Ontwerper), Robles, G. (Ontwerper) & Ho-Quang, T. (Ontwerper), Personal, 2017
http://models-db.com
Dataset
Dataset of the paper "Self-Admitted Technical Debt Practices: A Comparison Between Industry and Open-Source"
Zampetti, F. (Bijdrager), Fucci, G. (Bijdrager), Serebrenik, A. (Bijdrager) & Di Penta, M. (Bijdrager), Zenodo, 6 jul. 2021
DOI: 10.5281/zenodo.5076096
Dataset
Data, software and scripts related to the Process PLS methodology manuscript
van Kollenburg, G. (Eigenaar), Offermans, T. (Bijdrager) & Bouman, R. (Bijdrager), Mendeley Data, 22 okt. 2021
DOI: 10.17632/9x9h7fr4kn
Dataset

2020 IEEE Security & Privacy Best Paper Award
Allodi, Luca (Ontvanger), Chotza, T. (Ontvanger), Panina, Katia (Ontvanger) & Zannone, Nicola (Ontvanger), 2020
Prijs: Anders › Werk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.) › Wetenschappelijk
ACM ICPC European Founders Award
Verhoeff, Tom (Ontvanger), mrt. 2004
Prijs: Anders › Werk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.) › Wetenschappelijk
Best 2-pager Executive Summary Eventpad European Venture Program 2018
Cappers, Bram C.M. (Ontvanger), 31 aug. 2018
Prijs: Anders › Werk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.) › Wetenschappelijk

17 Aangemelde presentatie
11 Congres
11 Genodigd spreker
9 Workshop, seminar, cursus of expositie
Meer

Stack Overflow Posts as Source of Library Features
Camilo Velázquez-Rodríguez (Spreker), Eleni Constantinou (Spreker) & Coen de Roover (Spreker)
8 dec. 2021
Activiteit: Types gesprekken of presentaties › Aangemelde presentatie › Wetenschappelijk
Curriculum Analysis Tool
Adam Watkins (Spreker)
5 okt. 2021
Activiteit: Types gesprekken of presentaties › Plenaire spreker › Professioneel
Challenge Based Learning - An Overview
Adam Watkins (Spreker)
18 feb. 2021
Activiteit: Types gesprekken of presentaties › Genodigd spreker › Professioneel

STEM Pride: Alexander Serebrenik
Alexander Serebrenik
4/06/22
1 item van Media-aandacht
Pers / media: Vakinhoudelijk commentaar
Pride in STEM: Alexander Serebrenik
Alexander Serebrenik
3/06/22
1 item van Media-aandacht
Pers / media: Vakinhoudelijk commentaar
Metaprogramming for maintenance at Philips
Jurgen J. Vinju
2/06/22
1 item van Media-aandacht
Pers / media: Vakinhoudelijk commentaar

Computational Geometry
Bettina Speckmann (Onderzoeker) & Martijn Luyk (Content manager)
Impact: Research Topic/Theme (at group level)
Geovisualization
Bettina Speckmann (Onderzoeker) & Martijn Luyk (Content manager)
Impact: Research Topic/Theme (at group level)
Massive Data
Bettina Speckmann (Onderzoeker) & Martijn Luyk (Content manager)
Impact: Research Topic/Theme (at group level)

(In)security of video surveillance systems in building automation systems
Auteur: Yeh, M. M., 29 okt. 2018
Begeleider: den Hartog, J. (Afstudeerdocent 1), Constante, E. (Externe persoon) (Externe coach) & Dagrada, M. (Externe persoon) (Externe coach)
Scriptie/Masterproef: Master

Bestand
3D Face Reconstruction Using Deep Learning
Auteur: Jawahar, P., 20 jan. 2020
Begeleider: Medeiros de Carvalho, R. (Afstudeerdocent 1), Gallucci, A. (Afstudeerdocent 2) & Vanschoren, J. (Afstudeerdocent 2)
Scriptie/Masterproef: Master

Bestand
3D fingerprint detection in ancient museum sculptures from CT data
Auteur: Sanders, S. J. C., 25 nov. 2019
Begeleider: van Liere, R. (Afstudeerdocent 1) & Jalba, A. C. (Afstudeerdocent 2)
Scriptie/Masterproef: Master

Bestand

Computer Science

Vingerafdruk

Netwerk

Duik in details

Rodin Aarssen, MSc

Arne A. Aarts, MSc

Henk Y. Alkema, MSc

SECREDAS GA 783119

GEARS: GPU Enabled Accelerated Reasoning about System designs

OptiLight

Survey of Approaches for Postprocessing of Static Analysis Alarms

Agglomerative Clustering of Growing Squares

Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones

BlackHat’s lab

Geometry Lab

IoT lab

Lindholmen Dataset of UML Models

Dataset of the paper "Self-Admitted Technical Debt Practices: A Comparison Between Industry and Open-Source"

Data, software and scripts related to the Process PLS methodology manuscript

2020 IEEE Security & Privacy Best Paper Award

ACM ICPC European Founders Award

Best 2-pager Executive Summary Eventpad European Venture Program 2018

Stack Overflow Posts as Source of Library Features

Curriculum Analysis Tool

Challenge Based Learning - An Overview

STEM Pride: Alexander Serebrenik

Pride in STEM: Alexander Serebrenik

Metaprogramming for maintenance at Philips

Computational Geometry

Geovisualization

Massive Data

(In)security of video surveillance systems in building automation systems

3D Face Reconstruction Using Deep Learning

3D fingerprint detection in ancient museum sculptures from CT data

Computer Science

Vingerafdruk

Netwerk

Profielen

projecten

Onderzoeksoutput

Uitrusting

Datasets

Prijzen

Activiteiten

Knipsels

Impacts

Scripties/Masterproeven