Johannes Kanig

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