Search dblp for Publications

export results for "Johannes Kanig"

 download as .bib file

@inproceedings{DBLP:conf/vstte/DrossK21,
  author       = {Claire Dross and
                  Johannes Kanig},
  editor       = {Roderick Bloem and
                  Rayna Dimitrova and
                  Chuchu Fan and
                  Natasha Sharygina},
  title        = {Making Proofs of Floating-Point Programs Accessible to Regular Developers},
  booktitle    = {Software Verification - 13th International Conference, {VSTTE} 2021,
                  New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop,
                  {NSV} 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13124},
  pages        = {7--24},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-95561-8\_2},
  doi          = {10.1007/978-3-030-95561-8\_2},
  timestamp    = {Sun, 02 Oct 2022 16:17:05 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/DrossK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/DrossK20,
  author       = {Claire Dross and
                  Johannes Kanig},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Recursive Data Structures in {SPARK}},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {178--189},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_11},
  doi          = {10.1007/978-3-030-53291-8\_11},
  timestamp    = {Wed, 12 Aug 2020 15:15:44 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/DrossK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/AielloKK19,
  author       = {M. Anthony Aiello and
                  Johannes Kanig and
                  Taro Kurita},
  editor       = {Emil Sekerinski and
                  Nelma Moreira and
                  Jos{\'{e}} N. Oliveira and
                  Daniel Ratiu and
                  Riccardo Guidotti and
                  Marie Farrell and
                  Matt Luckcuck and
                  Diego Marmsoler and
                  Jos{\'{e}} Creissac Campos and
                  Troy Astarte and
                  Laure Gonnord and
                  Antonio Cerone and
                  Luis Couto and
                  Brijesh Dongol and
                  Martin Kutrib and
                  Pedro Monteiro and
                  David Delmas},
  title        = {Call Me Back, {I} Have a Type Invariant},
  booktitle    = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
                  October 7-11, 2019, Revised Selected Papers, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12232},
  pages        = {325--336},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-54994-7\_24},
  doi          = {10.1007/978-3-030-54994-7\_24},
  timestamp    = {Mon, 05 Feb 2024 20:31:40 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/AielloKK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/DrossCKP16,
  author       = {Claire Dross and
                  Sylvain Conchon and
                  Johannes Kanig and
                  Andrei Paskevich},
  title        = {Adding Decision Procedures to {SMT} Solvers Using Axioms with Triggers},
  journal      = {J. Autom. Reason.},
  volume       = {56},
  number       = {4},
  pages        = {387--457},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-015-9352-2},
  doi          = {10.1007/S10817-015-9352-2},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/DrossCKP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ercim/MarcheK15,
  author       = {Claude March{\'{e}} and
                  Johannes Kanig},
  title        = {Bridging the Gap between Testing and Formal Verification in Ada Development},
  journal      = {{ERCIM} News},
  volume       = {2015},
  number       = {100},
  year         = {2015},
  url          = {http://ercim-news.ercim.eu/en100/r-i/bridging-the-gap-between-testing-and-formal-verification-in-ada-development},
  timestamp    = {Wed, 22 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ercim/MarcheK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/KanigCCGMR14,
  author       = {Johannes Kanig and
                  Roderick Chapman and
                  Cyrille Comar and
                  J{\'{e}}r{\^{o}}me Guitton and
                  Yannick Moy and
                  Emyr Rees},
  editor       = {Martina Seidl and
                  Nikolai Tillmann},
  title        = {Explicit Assumptions - {A} Prenup for Marrying Static and Dynamic
                  Program Verification},
  booktitle    = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
                  UK, July 24-25, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8570},
  pages        = {142--157},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09099-3\_11},
  doi          = {10.1007/978-3-319-09099-3\_11},
  timestamp    = {Tue, 23 Jun 2020 17:47:28 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/KanigCCGMR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/automotiveSS/ComarKM12,
  author       = {Cyrille Comar and
                  Johannes Kanig and
                  Yannick Moy},
  editor       = {Erhard Pl{\"{o}}dereder and
                  Peter Dencker and
                  Herbert Klenk and
                  Hubert B. Keller and
                  Silke Spitzer},
  title        = {Integration von Formaler Verifikation und Test},
  booktitle    = {Automotive - Safety {\&} Security 2012, Sicherheit und Zuverl{\"{a}}ssigkeit
                  f{\"{u}}r automobile Informationstechnik, 14.-15. November 2012,
                  Karlsruhe, Proceedings},
  series       = {{LNI}},
  volume       = {{P-210}},
  pages        = {133--148},
  publisher    = {{GI}},
  year         = {2012},
  url          = {https://dl.gi.de/handle/20.500.12116/17553},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automotiveSS/ComarKM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/DrossCKP12,
  author       = {Claire Dross and
                  Sylvain Conchon and
                  Johannes Kanig and
                  Andrei Paskevich},
  editor       = {Pascal Fontaine and
                  Amit Goel},
  title        = {Reasoning with Triggers},
  booktitle    = {10th International Workshop on Satisfiability Modulo Theories, {SMT}
                  2012, Manchester, UK, June 30 - July 1, 2012},
  series       = {EPiC Series in Computing},
  volume       = {20},
  pages        = {22--31},
  publisher    = {EasyChair},
  year         = {2012},
  url          = {https://doi.org/10.29007/3c1n},
  doi          = {10.29007/3C1N},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/DrossCKP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Kanig12,
  author       = {Johannes Kanig},
  editor       = {Ben Brosgol and
                  Jeff Boleng and
                  S. Tucker Taft},
  title        = {Leading-edge ada verification technologies: combining testing and
                  verification with GNATTest and GNATProve - the hi-lite project},
  booktitle    = {Proceedings of the 2012 {ACM} Conference on High Integrity Language
                  Technology, {HILT} '12, December 2-6, 2012, Boston, Massachusetts,
                  {USA}},
  pages        = {5--6},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2402676.2402680},
  doi          = {10.1145/2402676.2402680},
  timestamp    = {Fri, 25 Mar 2022 14:21:18 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Kanig12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/KanigSD12,
  author       = {Johannes Kanig and
                  Edmond Schonberg and
                  Claire Dross},
  editor       = {Ben Brosgol and
                  Jeff Boleng and
                  S. Tucker Taft},
  title        = {Hi-Lite: the convergence of compiler technology and program verification},
  booktitle    = {Proceedings of the 2012 {ACM} Conference on High Integrity Language
                  Technology, {HILT} '12, December 2-6, 2012, Boston, Massachusetts,
                  {USA}},
  pages        = {27--34},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2402676.2402690},
  doi          = {10.1145/2402676.2402690},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/KanigSD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stt/KanigGM11,
  author       = {Johannes Kanig and
                  J{\'{e}}r{\^{o}}me Guitton and
                  Yannick Moy},
  title        = {Hi-Lite - Verification by Contract},
  journal      = {Softwaretechnik-Trends},
  volume       = {31},
  number       = {3},
  year         = {2011},
  url          = {http://pi.informatik.uni-siegen.de/stt/31\_3/01\_Fachgruppenberichte/ada/6-kanig\_guitton\_moy-hilite-final.pdf},
  timestamp    = {Tue, 23 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stt/KanigGM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siu/BardouFKL09,
  author       = {Romain Bardou and
                  Jean{-}Christophe Filli{\^{a}}tre and
                  Johannes Kanig and
                  St{\'{e}}phane Lescuyer},
  title        = {Faire bonne figure avec {MLPOST}},
  journal      = {Stud. Inform. Univ.},
  volume       = {7},
  number       = {2},
  pages        = {225--252},
  year         = {2009},
  url          = {http://studia.complexica.net/index.php?option=com\_content\&view=article\&id=134},
  timestamp    = {Fri, 23 Sep 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siu/BardouFKL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfla/BardouFKL09,
  author       = {Romain Bardou and
                  Jean{-}Christophe Filli{\^{a}}tre and
                  Johannes Kanig and
                  St{\'{e}}phane Lescuyer},
  editor       = {Alan Schmitt},
  title        = {Faire bonne figure avec Mlpost},
  booktitle    = {{JFLA} 2009, Vingti{\`{e}}mes Journ{\'{e}}es Francophones des
                  Langages Applicatifs, Saint Quentin sur Is{\`{e}}re, France, January
                  31 - February 3, 2009. Proceedings},
  series       = {Studia Informatica Universalis},
  volume       = {7.2},
  pages        = {477--507},
  year         = {2009},
  timestamp    = {Sat, 19 Sep 2009 22:08:04 +0200},
  biburl       = {https://dblp.org/rec/conf/jfla/BardouFKL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ConchonCKL08,
  author       = {Sylvain Conchon and
                  Evelyne Contejean and
                  Johannes Kanig and
                  St{\'{e}}phane Lescuyer},
  editor       = {Sava Krstic and
                  Albert Oliveras},
  title        = {{CC(X):} Semantic Combination of Congruence Closure with Solvable
                  Theories},
  booktitle    = {Proceedings of the 5th International Workshop on Satisfiability Modulo
                  Theories, SMT@CAV 2007, Berlin, Germany, July 1-2, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {198},
  number       = {2},
  pages        = {51--69},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.080},
  doi          = {10.1016/J.ENTCS.2008.04.080},
  timestamp    = {Mon, 13 Feb 2023 09:31:37 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ConchonCKL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.