Renate Eilers

According to our database, Renate Eilers authored at least 2 papers between 2018 and 2019.

Collaborative distances:

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

2019

Verifying Relational Properties using Trace Logic.

Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

2018

[Research Paper] Fine-Grained Model Slicing for Rebel.

Renate Eilers, Jurriaan Hage, Wishnu Prasetya, Joost Bosman

Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, 2018