• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 14 matches

• 2021
• 
  Claire Dross, Johannes Kanig:
  Making Proofs of Floating-Point Programs Accessible to Regular Developers. VSTTE 2021: 7-24
• 2020
• 
  Claire Dross, Johannes Kanig:
  Recursive Data Structures in SPARK. CAV (2) 2020: 178-189
• 2019
• 
  M. Anthony Aiello, Johannes Kanig, Taro Kurita:
  Call Me Back, I Have a Type Invariant. FM Workshops (1) 2019: 325-336
• 2016
• 
  Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich:
  Adding Decision Procedures to SMT Solvers Using Axioms with Triggers. J. Autom. Reason. 56(4): 387-457 (2016)
• 2015
• 
  Claude Marché, Johannes Kanig:
  Bridging the Gap between Testing and Formal Verification in Ada Development. ERCIM News 2015(100) (2015)
• 2014
• 
  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: 142-157
• 2012
• 
  Cyrille Comar, Johannes Kanig, Yannick Moy:
  Integration von Formaler Verifikation und Test. Automotive - Safety & Security 2012: 133-148
• 
  Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich:
  Reasoning with Triggers. SMT@IJCAR 2012: 22-31
• 
  Johannes Kanig:
  Leading-edge ada verification technologies: combining testing and verification with GNATTest and GNATProve - the hi-lite project. HILT 2012: 5-6
• 
  Johannes Kanig, Edmond Schonberg, Claire Dross:
  Hi-Lite: the convergence of compiler technology and program verification. HILT 2012: 27-34
• 2011
• 
  Johannes Kanig, Jérôme Guitton, Yannick Moy:
  Hi-Lite - Verification by Contract. Softwaretechnik-Trends 31(3) (2011)
• 2009
• 
  Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer:
  Faire bonne figure avec MLPOST. Stud. Inform. Univ. 7(2): 225-252 (2009)
• 
  Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer:
  Faire bonne figure avec Mlpost. JFLA 2009: 477-507
• 2007
• 
  Sylvain Conchon, Evelyne Contejean, Johannes Kanig, Stéphane Lescuyer:
  CC(X): Semantic Combination of Congruence Closure with Solvable Theories. SMT@CAV 2007: 51-69