Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking. - Wendy Johnston; Kirsten Winter; Lionel van den Berg; Paul A. Strooper; Peter J. Robinson 001 (FM, 2006)

An Automated Approach for the Interpretation of Counter-Examples. - Lionel van den Berg; Paul A. Strooper; Wendy Johnston (V&D@FLoC, 2006)

Introducing Time in an Industrial Application of Model-Checking. - Lionel van den Berg; Paul A. Strooper; Kirsten Winter (FMICS, 2007)

Developing a Microservices Integration Layer for Next-Generation Rail Operations Centers. - Andrei Furda; Lionel van den Berg; Graeme Reid; Giancarlo Camera; Matteo Pinasco (IEEE Softw., 2022)

Jump-Starting Software Engineering Careers. - Andrei Furda; Alessandro Soro; Erwin Fielt; Nicola Bartlett; Colin J. Fidge; Jesse Steineck; Lionel van den Berg (IEEE Softw., 2023)