Lionel van den Berg

According to our database, Lionel van den Berg authored at least 5 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

2022

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

2007

Introducing Time in an Industrial Application of Model-Checking.

Lionel van den Berg, Paul A. Strooper, Kirsten Winter

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

2006

An Automated Approach for the Interpretation of Counter-Examples.

Lionel van den Berg, Paul A. Strooper, Wendy Johnston

Proceedings of the Workshop on Verification and Debugging, 2006

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

Proceedings of the FM 2006: Formal Methods, 2006