Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
Persoonlijk profiel
Research profile
Als manager van het Project Development Office focus ik, samen met een toegewijd team, op het leveren van kwaliteitsondersteuning voor onderzoek en onderzoekers van de faculteit Wiskunde en Informatica.
Quote
Excellent onderzoek heeft excellente onderzoeksondersteuning nodig.
Academic background
Joost studeerde Informatica aan de TU/e en schreef een Master thesis over programma verificatie met behulp van generic language technology en model checking. In 2008 startte Joost als onderzoeker en projectleider bij het Laboratory for Quality Software aan de TU/e waar hij werkte aan consultancy projecten voor industrie op get gebied van software kwaliteit. In 2014 werd Joost onderdeel van het Project Development Office bij de faculteit Wiskunde en Informatica als projectontwikkelaar en projectmanager. Sinds 2018 is hij de manager van het Project Development Office.
Vingerafdruk
Verdiep u in de onderzoeksgebieden waarop Joost M.A.M. Gabriels actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
- 1 Soortgelijke profielen
Onderzoeksoutput
- 3 Conferentiebijdrage
-
Towards modular verification of threaded concurrent executable code generated from DSL models
Bosnacki, D., van den Brand, M. G. J., Gabriels, J. M. A. M., Jacobs, B., Kuiper, R., Roede, S., Wijs, A. J. & Zhang, D., 2016, Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Braga, C. & Csaba Ölveczky, P. (uitgave). Dordrecht: Springer, blz. 141-160 20 blz. (Lecture Notes in Computer Science; vol. 9539).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
7 Citaten (Scopus) -
Managing the co-evolution of software artifacts
Gabriels, J. M. A. M., Holten, D. H. R., Klabbers, M. D., van Ravensteijn, W. J. P. & Serebrenik, A., 2012, Proceedings of the 17th Dutch Testing Day (Enschede, The Netherlands, November 29, 2011). Stoelinga, M. & Timmer, M. (uitgave). Enschede: Twente University, blz. 15-17 (CTIT Workshop Proceedings Series; vol. WP 12-01).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand129 Downloads (Pure) -
Process diagnostics : a method based on process mining
Bozkaya, M., Gabriels, J. M. A. M. & Werf, van der, J. M. E. M., 2009, Proceedings International Conference on Information, Process, and Knowledge Management (eKNOW 2009, Cancun, Mexico, February 1-7, 2009). IEEE Computer Society, blz. 22-27Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
103 Citaten (Scopus)2 Downloads (Pure)
Scriptie
-
Model checking the ATerm library
Gabriels, J. M. A. M. (Auteur), van den Brand, M. G. J. (Afstudeerdocent 1) & van de Pol, J. C. (Afstudeerdocent 2), 31 jan. 2008Scriptie/Masterproef: Master
Bestand