Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
Vingerafdruk
Verdiep u in de onderzoeksgebieden waarop Olav Bunte actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
- 1 Soortgelijke profielen
Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar
Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
Onderzoeksoutput
-
OIL: an industrial case study in language engineering with Spoofax
Bunte, O. (Corresponding author), Denkers, J. (Corresponding author), van Gool, L. C. M., Vinju, J. J., Visser, E., Willemse, T. A. C. & Zaidman, A., feb. 2025, In: Software and Systems Modeling. 24, 1, blz. 139-182 44 blz.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand2 Downloads (Pure) -
Cracking OIL: A Formal Perspective on an Industrial DSL for Modelling Control Software
Bunte, O., 5 sep. 2024, Eindhoven: Eindhoven University of Technology. 243 blz.Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)
Open AccessBestand173 Downloads (Pure) -
On the Preservation of Properties When Changing Communication Models
Bunte, O. (Corresponderende auteur), van Gool, L. C. M. & Willemse, T. A. C., 1 jan. 2023, SOFSEM 2023: Theory and Practice of Computer Science: 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15–18, 2023, Proceedings. Gasieniec, L. (uitgave). Springer, blz. 239-253 15 blz. (Lecture Notes in Computer Science (LNCS); vol. 13878 ).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand1 Citaat (Scopus)1 Downloads (Pure) -
Formal verification of OIL component specifications using mCRL2
Bunte, O. (Corresponding author), van Gool, L. C. M. (Corresponding author) & Willemse, T. A. C. (Corresponding author), jun. 2022, In: International Journal on Software Tools for Technology Transfer. 24, 3, blz. 441-472 32 blz.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand3 Citaten (Scopus)140 Downloads (Pure) -
Formal Verification of OIL Component Specifications using mCRL2
Bunte, O., van Gool, L. C. M. & Willemse, T. A. C., 2020, Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings. ter Beek, M. H. & Nickovic, D. (uitgave). Springer, blz. 231-251 21 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12327 LNCS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
3 Citaten (Scopus)
Datasets
-
mCRL2 release 201808.0
Bunte, O. (Bijdrager), Groote, J. F. (Bijdrager), Keiren, J. J. A. (Bijdrager), Laveaux, M. (Bijdrager), Neele, T. (Bijdrager), de Vink, E. P. (Bijdrager), Wesselink, W. (Bijdrager), Wijs, A. (Bijdrager) & Willemse, T. A. C. (Bijdrager), Zenodo, 2 sep. 2018
DOI: 10.5281/zenodo.2555055, https://zenodo.org/record/2555055
Dataset
Cursussen
Scriptie
-
Quantitative model checking on probabilistic systems using pLμ
Bunte, O. (Auteur), Willemse, T. A. C. (Afstudeerdocent 1), 18 dec. 2017Scriptie/Masterproef: Master
Bestand