René S. Nilsson

Enabling continuous integration in a formal methods setting

Peter Gorm Larsen, Luis Diogo Couto, Peter W. V. Tran-Jørgensen, 2019, International Journal on Software Tools for Technology Transfer.

Realization of distributed system models using code generation extensions

Peter Gorm Larsen, René S. Nilsson, Peter Würtz Vinther Tran-Jørgensen, 2018, Softw. Pract. Exp..

Method and bench-marking framework for coverage path planning in arable farming

Kun Zhou, René S. Nilsson, Kun Zhou, 2020 .