Collaborated with:D.Jovanovic G.Weissenbacher C.Jansen C.Matheja T.N.0001 F.Zuleger
Talks about:separ (2) logic (2) properti (1) symbol (1) robust (1) reason (1) unifi (1) small (1) model (1) autom (1)
Person: Jens Katelaan
DBLP: Katelaan:Jens
Contributed to:
2017
2018Wrote 2 papers:
- ESOP-2017-JansenKMNZ #logic #reasoning #robust
- Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic (CJ, JK, CM, TN0, FZ), pp. 611–638.
- IJCAR-2018-KatelaanJW #automation #logic #modelling
- A Separation Logic with Data: Small Models and Automation (JK, DJ, GW), pp. 455–471.