Lionel van den Berg

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 2

Top Topics

Arithmetic Operations

Software Engineers

Development Efforts

Top Venues

Publications

Andrei Furda, Alessandro Soro, Erwin Fielt, Nicola Bartlett, Colin J. Fidge, Jesse Steineck, Lionel van den Berg
Jump-Starting Software Engineering Careers. IEEE Softw. 40 (5) (2023)
Andrei Furda, Lionel van den Berg, Graeme Reid, Giancarlo Camera, Matteo Pinasco
Developing a Microservices Integration Layer for Next-Generation Rail Operations Centers. IEEE Softw. 39 (5) (2022)
Lionel van den Berg, Paul A. Strooper, Wendy Johnston
An Automated Approach for the Interpretation of Counter-Examples. Electron. Notes Theor. Comput. Sci. 174 (4) (2007)
Lionel van den Berg, Paul A. Strooper, Kirsten Winter
Introducing Time in an Industrial Application of Model-Checking. FMICS (2007)
Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter J. Robinson
Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking. FM (2006)