Projecten per jaar
Vingerafdruk
Netwerk
Profielen
-
Rodin Aarssen, MSc
- Mathematics and Computer Science, Software Engineering and Technology - Promovendus
- Mathematics and Computer Science, Formal System Analysis - Promovendus
Persoon: Prom. : Promovendus
-
Arne A. Aarts, MSc
- Mathematics and Computer Science, Security - Promovendus
Persoon: Prom. : Promovendus
-
Henk Y. Alkema, MSc
- Mathematics and Computer Science, Algorithms - Promovendus
Persoon: Prom. : Promovendus
projecten
- 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 Access4 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 AccessBestand1 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 AccessBestand
Uitrusting
-
BlackHat’s lab
Luca Allodi (Manager) & Ganduulga Gankhuyag (Manager)
SecurityUitrusting/faciliteit: Onderzoekslaboratorium
-
Geometry Lab
Willem Sonke (Manager)
Algorithms, Geometry and ApplicationsUitrusting/faciliteit: Onderzoekslaboratorium
-
IoT lab
Sandro Etalle (Manager), Luca Allodi (Manager) & Nicola Zannone (Manager)
SecurityUitrusting/faciliteit: Onderzoekslaboratorium
Datasets
-
Lindholmen Dataset of UML Models
Chaudron, M. R. V. (Ontwerper), Hebig, R. (Ontwerper), Robles, G. (Ontwerper) & Ho-Quang, T. (Ontwerper), Personal, 2017
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
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
Prijzen
-
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
Activiteiten
-
Stack Overflow Posts as Source of Library Features
Camilo Velázquez-Rodríguez (Spreker), Eleni Constantinou (Spreker) & Coen de Roover (Spreker)
8 dec. 2021Activiteit: Types gesprekken of presentaties › Aangemelde presentatie › Wetenschappelijk
-
Curriculum Analysis Tool
Adam Watkins (Spreker)
5 okt. 2021Activiteit: Types gesprekken of presentaties › Plenaire spreker › Professioneel
-
Challenge Based Learning - An Overview
Adam Watkins (Spreker)
18 feb. 2021Activiteit: Types gesprekken of presentaties › Genodigd spreker › Professioneel
Knipsels
-
STEM Pride: Alexander Serebrenik
4/06/22
1 item van Media-aandacht
Pers / media: Vakinhoudelijk commentaar
-
Pride in STEM: Alexander Serebrenik
3/06/22
1 item van Media-aandacht
Pers / media: Vakinhoudelijk commentaar
-
Metaprogramming for maintenance at Philips
2/06/22
1 item van Media-aandacht
Pers / media: Vakinhoudelijk commentaar
Impacts
-
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)
Scripties/Masterproeven
-
(In)security of video surveillance systems in building automation systems
Auteur: Yeh, M. M., 29 okt. 2018Begeleider: 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. 2020Begeleider: 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. 2019Begeleider: van Liere, R. (Afstudeerdocent 1) & Jalba, A. C. (Afstudeerdocent 2)
Scriptie/Masterproef: Master
Bestand