Jump-Starting Software Engineering Careers
Furda, Andrei, Soro, Alessandro, Fielt, Erwin, Bartlett, Nicola, Fidge, Colin, Steineck, Jesse, van den Berg, Lionel
Published in IEEE software (01.09.2023)
Published in IEEE software (01.09.2023)
Get full text
Journal Article
Developing a Microservices Integration Layer for Next-Generation Rail Operations Centers
Furda, Andrei, van den Berg, Lionel, Reid, Graeme, Camera, Giancarlo, Pinasco, Matteo, Pautasso, Cesare, Zimmermann, Olaf
Published in IEEE software (01.09.2022)
Published in IEEE software (01.09.2022)
Get full text
Journal Article
An Automated Approach for the Interpretation of Counter-Examples
van den Berg, Lionel, Strooper, Paul, Johnston, Wendy
Published in Electronic notes in theoretical computer science (30.05.2007)
Published in Electronic notes in theoretical computer science (30.05.2007)
Get full text
Journal Article
Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking
Johnston, Wendy, Winter, Kirsten, van den Berg, Lionel, Strooper, Paul, Robinson, Peter
Published in FM 2006: Formal Methods (2006)
Published in FM 2006: Formal Methods (2006)
Get full text
Book Chapter
Conference Proceeding