Computer-Aided Program Development Group

Publikationen

  • P. Brunet, D. Pous, I. Stucke: 
    Cardinalities of Finite Relations in Coq (Rough Diamond). To appear in the ITP 2016 proceedings.
  • R. Berghammer, N. Danilenko, P. Höfner, I. Stucke: 
    Cardinality of Relations with Applications. To appear in the Journal of Discrete Mathematics.
  • R. Berghammer, P. Höfner, I. Stucke: 
    Cardinality of relations and relational approximation algorithms. To appear in the Journal of Logical and Algebraic Methods in Programming.
  • Rudolf Berghammer, Insa Stucke, Michael Winter:
    Investigating and Computing Bipartitions with Algebraic Means. RAMiCS 2015, LNCS 9348, pp. 257-274. Springer 2015
  • Rudolf Berghammer, Peter Höfner, Insa Stucke:
    Tool-Based Verification of a Relational Vertex Coloring Program. RAMiCS 2015, LNCS 9348, pp. 275-292. Springer 2015
  • Rudolf Berghammer, Peter Höfner, Insa Stucke:
    Automated Verification of Relational While-Programs. RAMiCS 2014, LNCS 8248, pp. 309-326. Springer 2014