Olav Bunte: Cracking OIL — A formal perspective on an industrial DSL for modelling control software
On September 5, 2024, Olav Bunte will defend his dissertation, titled ‘Cracking OIL — A formal perspective on an industrial DSL for modelling control software’, which is available via https://research.tue.nl/nl/publications/cracking-oil-a-formal-perspective-on-an-industrial-dsl-for-modell. The defence marks the successful conclusion of the VOICE-B project, a collaboration between TU/e and Canon Production Printing.
Mark Bouwman: Supporting Railway Standardisation with Formal Verification
On October 23, 2023, Mark Bouwman will defend his thesis titled ‘Supporting Railway Standardisation with Formal Verification’, which is available via https://research.tue.nl/en/publications/supporting-railway-standardisation-with-formal-verification. The defence marks a milestone in the FormaSig project, a collaboration between TU/e, UT, ProRail and Deutsche Bahn.
Maurice Laveaux: Accelerated Verification of Concurrent Systems
On November 22, 2022, Maurice Laveaux will defend his thesis titled ‘Accelerated Verification of Concurrent Systems’, which is available via https://research.tue.nl/en/publications/accelerated-verification-of-concurrent-systems. The defence will also be streamed online via MS Teams. The link to the stream is available on request from m.laveaux@tue.nl.