About
Louis C.M. van Gool is a Researcher at the Department of Mathematics and Computer Science at Eindhoven University of Technology. His work focuses on Formal Verification, Model Checking, and Concurrency Theory, particularly in industrial software contexts.
- Active in Formal Methods for industrial critical systems
- Contributions to Communication Models and Simulation Relations
- Specializes in Component-Based Software Verification
Recent research examines formal verification of industrial domain-specific languages, with a focus on SMMT and OIL case studies. His work bridges theoretical rigor with practical applications, particularly in deadlock freedom and property preservation across system changes.
Publications from 2020–2025 demonstrate expertise in mCRL2 framework applications for verifying industrial systems, including OIL component specifications and language engineering.
0Publications listed
Find Louis C.M. van Gool elsewhere
Related Searches
You Might Also Like
Olav BunteEindhoven University of Technology · Lecturer
Jeroen J.A. KeirenEindhoven University of Technology · Assistant Professor
Tim A.C. WillemseEindhoven University of Technology · Associate Professor
Wieger WesselinkEindhoven University of Technology · Assistant Professor
Tim A.C. WillemsEindhoven University of Technology · Professor
Tim WillemseEindhoven University of Technology · Associate Professor