• 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 21 matches

• 2013
• 
  Suad Alagic:
  Automatic versus interactive program verification. HILT 2013: 87-88
• 
  Nikolaj S. Bjørner:
  Satisfiability modulo theories for high integrity development. HILT 2013: 5-6
• 
  Jeff Boleng, Ricky E. Sward:
  Service-oriented architecture (SOA) concepts and implementations. HILT 2013: 11-12
• 
  Kyle Carter, Adam Foltzer, Joe Hendrix, Brian Huffman, Aaron Tomb:
  SAW: the software analysis workbench. HILT 2013: 15-18
• 
  Sagar Chaki:
  Bounded model checking of high-integrity software. HILT 2013: 9-10
• 
  Pierre Courtieu, Maria-Virginia Aponte, Tristan Crolard, Zhi Zhang, Robby, Jason Belt, John Hatcliff, Jérôme Guitton, Trevor Jennings:
  Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq. HILT 2013: 21-22
• 
  Steven Doran, Stephanie E. August:
  Reddo: a model driven engineering toolset for embedded software development. HILT 2013: 47-48
• 
  Pavlos Efstathopoulos, Andrew Hawthorn:
  Optimizing verification effort with SPARK 2014. HILT 2013: 19-20
• 
  John B. Goodenough:
  Building confidence in system behavior. HILT 2013: 49-50
• 
  Ethan K. Jackson:
  Engineering domain-specific languages with formula 2.0. HILT 2013: 3-4
• 
  Brian R. Larson, John Hatcliff, Kim R. Fowler, Julien Delange:
  Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device. HILT 2013: 65-84
• 
  Francesco Logozzo:
  Practical specification and verification with code contracts. HILT 2013: 7-8
• 
  Francesco Logozzo:
  Technology for inferring contracts from code. HILT 2013: 13-14
• 
  Stephen Michell, Brad Moore, Luís Miguel Pinho:
  Real-time programming on accelerator many-core processors. HILT 2013: 23-36
• 
  Anitha Murugesan, Michael W. Whalen, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
  Compositional verification of a medical device system. HILT 2013: 51-64
• 
  S. Tucker Taft:
  Tutorial: proving safety of parallel / multi-threaded programs. HILT 2013: 1-2
• 
  S. Tucker Taft:
  Bringing safe, dynamic parallel programming to the spark verifiable subset of ada. HILT 2013: 37-40
• 
  Donald T. Ward, David A. Redman, Bruce A. Lewis:
  An approach to integration of complex systems: the SAVI virtual integration process. HILT 2013: 43-46
• 
  Michael W. Whalen:
  Up and out: scaling formal analysis using model-based development and architecture modeling. HILT 2013: 41-42
• 
  Jeannette M. Wing:
  Formal methods: an industrial perspective. HILT 2013: 85-86
• 
  Jeff Boleng, S. Tucker Taft:
  Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013. ACM 2013, ISBN 978-1-4503-2467-0 [contents]