Louis C. M. van Gool

According to our database1, Louis C. M. van Gool authored at least 12 papers between 2001 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2005
2010
2015
2020
2025
0
1
2
3
4
1
1
1
1
1
1
1
2
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
OIL: an industrial case study in language engineering with Spoofax.
Softw. Syst. Model., February, 2025

2024
Formalising the Industrial Language SMMT in mCRL2.
Proceedings of the Formal Methods for Industrial Critical Systems, 2024

2023
Taming complexity of industrial printing systems using a constraint-based DSL: An industrial experience report.
Softw. Pract. Exp., October, 2023

On the Preservation of Properties When Changing Communication Models.
Proceedings of the SOFSEM 2023: Theory and Practice of Computer Science, 2023

2022
Formal verification of OIL component specifications using mCRL2.
Int. J. Softw. Tools Technol. Transf., 2022

2021
Configuration Space Exploration for Digital Printing Systems.
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Real-Time Collaborative Modeling across Language Workbenches - a Case on Jetbrains MPS and Eclipse Spoofax.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

JetBrains MPS as Core DSL Technology for Developing Professional Digital Printers.
Proceedings of the Domain-Specific Languages in Practice: with JetBrains MPS, 2021

2018
Migrating custom DSL implementations to a language workbench (tool demo).
Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

2006
Compositional MDA.
Proceedings of the Model Driven Engineering Languages and Systems, 2006

2002
Consistent specification of interface suites in UML.
Softw. Syst. Model., 2002

2001
A Specification Model for Interface Suites.
Proceedings of the «UML» 2001, 2001


  Loading...