Login / Signup
René S. Nilsson
ORCID
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 3
Top Topics
Code Generation
Provably Correct
Temporal Properties
Formal Methods
Top Venues
Int. J. Softw. Tools Technol. Transf.
Softw. Pract. Exp.
Comput.
</>
Publications
</>
Luís Diogo Couto
,
Peter W. V. Tran-Jørgensen
,
René S. Nilsson
,
Peter Gorm Larsen
Enabling continuous integration in a formal methods setting.
Int. J. Softw. Tools Technol. Transf.
22 (6) (2020)
Miran Hasanagic
,
Peter W. V. Tran-Jørgensen
,
René S. Nilsson
,
Peter Gorm Larsen
Realization of distributed system models using code generation extensions.
Softw. Pract. Exp.
49 (3) (2019)
Hugo Daniel Macedo
,
René S. Nilsson
,
Peter Gorm Larsen
The Harvest Coach Architecture: Embedding Deviation-Tolerance in a Harvest Logistic Solution.
Comput.
8 (2) (2019)