Fingerprint
Dive into the research topics where Louis C.M. van Gool is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
Formalising and analysing SMMT models using the mCRL2 toolset
van Laarhoven, J. E. P. M., Bunte, O., van Gool, L. C. M. & Willemse, T. A. C. (Corresponding author), Oct 2025, In: International Journal on Software Tools for Technology Transfer. 27, 5, p. 511-532 22 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile1 Link opens in a new tab Citation (Scopus)9 Downloads (Pure) -
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, p. 139-182 44 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile1 Link opens in a new tab Citation (Scopus)47 Downloads (Pure) -
Formalising the Industrial Language SMMT in mCRL2
van Laarhoven, J. E. P. M. (Corresponding author), Bunte, O., van Gool, L. C. M. & Willemse, T. A. C., 21 Aug 2024, Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings. Haxthausen, A. E. & Serwe, W. (eds.). Cham: Springer, p. 63-79 17 p. (Lecture Notes in Computer Science (LNCS); vol. 14952).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile1 Link opens in a new tab Citation (Scopus)19 Downloads (Pure) -
On the Preservation of Properties When Changing Communication Models
Bunte, O. (Corresponding author), 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. (ed.). Springer, p. 239-253 15 p. (Lecture Notes in Computer Science (LNCS); vol. 13878 ).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile1 Link opens in a new tab Citation (Scopus)30 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, p. 441-472 32 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile4 Link opens in a new tab Citations (Scopus)209 Downloads (Pure)
Thesis
-
Cylindrische componenten calculus
van Gool, L. C. M. (Author), van der Woude, J. C. S. P. (Supervisor 1), 30 Apr 2000Student thesis: Master
File