Renate Eilers

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 3

Top Topics

Formal Language

Sound And Complete Axiomatization

Relational Data

Top Venues

Publications

Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei
Verifying Relational Properties using Trace Logic. CoRR (2019)
Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei
Verifying Relational Properties using Trace Logic. FMCAD (2019)
Renate Eilers, Jurriaan Hage, Wishnu Prasetya, Joost Bosman
[Research Paper] Fine-Grained Model Slicing for Rebel. SCAM (2018)