Johannes Kanig

According to our database, Johannes Kanig authored at least 13 papers between 2007 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Making Proofs of Floating-Point Programs Accessible to Regular Developers.

Claire Dross, Johannes Kanig

Proceedings of the Software Verification - 13th International Conference, 2021

2020

Recursive Data Structures in SPARK.

Claire Dross, Johannes Kanig

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Call Me Back, I Have a Type Invariant.

M. Anthony Aiello, Johannes Kanig, Taro Kurita

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2016

Adding Decision Procedures to SMT Solvers Using Axioms with Triggers.

Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich

J. Autom. Reason., 2016

2015

Bridging the Gap between Testing and Formal Verification in Ada Development.

Claude Marché, Johannes Kanig

ERCIM News, 2015

2014

Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification.

Johannes Kanig, Roderick Chapman, Cyrille Comar, Jérôme Guitton, Yannick Moy, Emyr Rees

Proceedings of the Tests and Proofs - 8th International Conference, 2014

2012

Hi-Lite: the convergence of compiler technology and program verification.

Johannes Kanig, Edmond Schonberg, Claire Dross

Proceedings of the 2012 ACM Conference on High Integrity Language Technology, 2012

Leading-edge ada verification technologies: combining testing and verification with GNATTest and GNATProve - the hi-lite project.

Johannes Kanig

Proceedings of the 2012 ACM Conference on High Integrity Language Technology, 2012

Reasoning with Triggers.

Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich

Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012

Integration von Formaler Verifikation und Test.

Cyrille Comar, Johannes Kanig, Yannick Moy

Proceedings of the Automotive, 2012

2011

Hi-Lite - Verification by Contract.

Johannes Kanig, Jérôme Guitton, Yannick Moy

Softwaretechnik-Trends, 2011

2009

Faire bonne figure avec MLPOST.

Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer

Stud. Inform. Univ., 2009

2007

CC(X): Semantic Combination of Congruence Closure with Solvable Theories.

Sylvain Conchon, Evelyne Contejean, Johannes Kanig, Stéphane Lescuyer

Proceedings of the 5th International Workshop on Satisfiability Modulo Theories, 2007