Johannes Kanig

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 4

Top Topics

Formal Verification

Satisfiability Modulo Theories

Restrictive Assumptions

Efficient Data Structures

Top Venues

FM Workshops (1)

Publications

Claire Dross, Johannes Kanig
Making Proofs of Floating-Point Programs Accessible to Regular Developers. VSTTE (2021)
Claire Dross, Johannes Kanig
Recursive Data Structures in SPARK. CAV (2) (2020)
M. Anthony Aiello, Johannes Kanig, Taro Kurita
Call Me Back, I Have a Type Invariant. FM Workshops (1) (2019)
Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich
Adding Decision Procedures to SMT Solvers Using Axioms with Triggers. J. Autom. Reason. 56 (4) (2016)
Claude Marché, Johannes Kanig
Bridging the Gap between Testing and Formal Verification in Ada Development. ERCIM News 2015 (100) (2015)
Johannes Kanig, Roderick Chapman, Cyrille Comar, Jérôme Guitton, Yannick Moy, Emyr Rees
Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification. TAP@STAF (2014)
Cyrille Comar, Johannes Kanig, Yannick Moy
Integration von Formaler Verifikation und Test. Automotive - Safety & Security (2012)
Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich
Reasoning with Triggers. SMT@IJCAR (2012)
Johannes Kanig, Edmond Schonberg, Claire Dross
Hi-Lite: the convergence of compiler technology and program verification. HILT (2012)
Johannes Kanig
Leading-edge ada verification technologies: combining testing and verification with GNATTest and GNATProve - the hi-lite project. HILT (2012)
Johannes Kanig, Jérôme Guitton, Yannick Moy
Hi-Lite - Verification by Contract. Softwaretechnik-Trends 31 (3) (2011)
Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer
Faire bonne figure avec Mlpost. JFLA (2009)
Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer
Faire bonne figure avec MLPOST. Stud. Inform. Univ. 7 (2) (2009)
Sylvain Conchon, Evelyne Contejean, Johannes Kanig, Stéphane Lescuyer
CC(X): Semantic Combination of Congruence Closure with Solvable Theories. Electron. Notes Theor. Comput. Sci. 198 (2) (2008)