E-LIB Suche - Ergebnisse für: van Gool, Louis

1

Taming complexity of industrial printing systems using a co..:

Denkers, Jasper ; Brunner, Marvin ; van Gool, Louis...
Software: Practice and Experience. 53 (2023) 10 - p. 2026-2064 , 2023

Link: https://doi.org/10.1002/..

2

JetBrains MPS as Core DSL Technology for Developing Profess..:

, In: Domain-Specific Languages in Practice,

Schindler, Eugen ; Moneva, Hristina ; van Pinxten, Joost... - p. 53-91 , 2021

Link: https://doi.org/10.1007/..

3

Configuration Space Exploration for Digital Printing System:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Denkers, Jasper ; Brunner, Marvin ; van Gool, Louis. - p. 423-442 , 2021

Link: https://doi.org/10.1007/..

4

Migrating custom DSL implementations to a language workbenc..:

, In: Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering,

Denkers, Jasper ; van Gool, Louis ; Visser, Eelco - p. 205-209 , 2018

Link: https://dl.acm.org/doi/1..

5

Compositional MDA:

, In: Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems,

van Gool, Louis ; Punter, Teade ; Hamilton, Marc. - p. 126-139 , 2006

Link: https://dl.acm.org/doi/1..

6

Compositional MDA:

, In: Model Driven Engineering Languages and Systems; Lecture Notes in Computer Science,

van Gool, Louis ; Punter, Teade ; Hamilton, Marc. - p. 126-139 , 2006

Link: https://doi.org/10.1007/..

7

OIL: an industrial case study in language engineering with ..:

Bunte, Olav ; Denkers, Jasper ; van Gool, Louis C. M....
Software and Systems Modeling. , 2024

Link: https://doi.org/10.1007/..

8

On the Preservation of Properties When Changing Communicati..:

, In: Lecture Notes in Computer Science; SOFSEM 2023: Theory and Practice of Computer Science,

Bunte, Olav ; van Gool, Louis C. M. ; Willemse, Tim A. C. - p. 239-253 , 2023

Link: https://doi.org/10.1007/..

9

Formal verification of OIL component specifications using m..:

Bunte, Olav ; van Gool, Louis C. M. ; Willemse, Tim A. C.
International Journal on Software Tools for Technology Transfer. 24 (2022) 3 - p. 441-472 , 2022

Link: https://doi.org/10.1007/..

10

Formal Verification of OIL Component Specifications using m..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Bunte, Olav ; Gool, Louis C. M. van ; Willemse, Tim A. C. - p. 231-251 , 2020

Link: https://doi.org/10.1007/..

11

Configuration Space Exploration for Digital Printing System:

Denkers, Jasper ; Brunner, Marvin ; van Gool, Louis.
http://arxiv.org/abs/2112.02945. , 2021

Link: http://arxiv.org/abs/211..

12

On the Preservation of Properties when Changing Communicati..:

Bunte, Olav ; van Gool, Louis C. M ; Willemse, Tim A. C
http://arxiv.org/abs/2210.06196. , 2022

Link: http://arxiv.org/abs/221..

13

Compositional MDA:

Gool, LCM Louis van ; Punter, HT Teade ; Hamilton, M. , 2006

Link: http://repository.tue.nl..

14

Formalising interface specifications:

Gool, LCM Louis van , 2006

Link: http://repository.tue.nl..

15

Plug-ins for ISpec:

Gool, LCM Louis van ; Jonkers, HBM ; Luit, EJ Erik.. , 2004

Link: http://repository.tue.nl..