Content available in repository
Content available in repository
Personal profile
Research profile
As manager of the Project Development Office I, together with a dedicated team, focus on providing quality research support for researchers at the department of Mathematics and Computer Science.
Quote
Excellent research requires excellent research support.
Academic background
Joost studied Computer Science at TU/e, completing a Master thesis on using generic language technology and model checking for program verification. In 2008, Joost joined the Laboratory for Quality Software at TU/e as a researcher and project leader where he worked on consultancy-like contract research projects on software quality. In 2014, Joost joined the Project Development Office at the department of Mathematics and Computer Science as a project developer and project manager. Since 2018 he is the manager of the Project Development Office.
Fingerprint
Dive into the research topics where Joost M.A.M. Gabriels is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Research output
- 3 Conference contribution
-
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. (eds.). Dordrecht: Springer, p. 141-160 20 p. (Lecture Notes in Computer Science; vol. 9539).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
7 Citations (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. (eds.). Enschede: Twente University, p. 15-17 (CTIT Workshop Proceedings Series; vol. WP 12-01).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile133 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, p. 22-27Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
104 Citations (Scopus)2 Downloads (Pure)
Thesis
-
Model checking the ATerm library
Gabriels, J. M. A. M. (Author), van den Brand, M. G. J. (Supervisor 1) & van de Pol, J. C. (Supervisor 2), 31 Jan 2008Student thesis: Master
File