default search action

combined dblp search
author search
venue search
publication search

ask others

HILT 2013: Pittsburgh, Pennsylvania, USA

> Home > Conferences and Workshops > HILT

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/2013
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

Pre-conference tutorials

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Taft13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Taft13
S. Tucker Taft:
Tutorial: proving safety of parallel / multi-threaded programs. 1-2
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Jackson13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Jackson13
Ethan K. Jackson:
Engineering domain-specific languages with formula 2.0. 3-4
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Bjorner13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Bjorner13
Nikolaj S. Bjørner:
Satisfiability modulo theories for high integrity development. 5-6
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Logozzo13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Logozzo13
Francesco Logozzo:
Practical specification and verification with code contracts. 7-8
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Chaki13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Chaki13
Sagar Chaki:
Bounded model checking of high-integrity software. 9-10
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/BolengS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/BolengS13
Jeff Boleng, Ricky E. Sward:
Service-oriented architecture (SOA) concepts and implementations. 11-12

Underlying formal verification technologies

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Logozzo13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Logozzo13a
Francesco Logozzo:
Technology for inferring contracts from code. 13-14

Formal verification toolsets

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/CarterFHHT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/CarterFHHT13
Kyle Carter, Adam Foltzer, Joe Hendrix, Brian Huffman, Aaron Tomb:
SAW: the software analysis workbench. 15-18
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/EfstathopoulosH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/EfstathopoulosH13
Pavlos Efstathopoulos, Andrew Hawthorn:
Optimizing verification effort with SPARK 2014. 19-20
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/CourtieuACZRBHG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/CourtieuACZRBHG13
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. 21-22

High integrity parallel programming

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/MichellMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/MichellMP13
Stephen Michell, Brad Moore, Luís Miguel Pinho:
Real-time programming on accelerator many-core processors. 23-36
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Taft13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Taft13a
S. Tucker Taft:
Bringing safe, dynamic parallel programming to the spark verifiable subset of ada. 37-40

Invited talk -- model-based engineering

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Whalen13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Whalen13
Michael W. Whalen:
Up and out: scaling formal analysis using model-based development and architecture modeling. 41-42

Model-based integration and code generation

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/WardRL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/WardRL13
Donald T. Ward, David A. Redman, Bruce A. Lewis:
An approach to integration of complex systems: the SAVI virtual integration process. 43-46
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/DoranA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/DoranA13
Steven Doran, Stephanie E. August:
Reddo: a model driven engineering toolset for embedded software development. 47-48

Keynote address -- building confidence

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Goodenough13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Goodenough13
John B. Goodenough:
Building confidence in system behavior. 49-50

Architecture-level design languages and compositional verification

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/MurugesanWRH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/MurugesanWRH13
Anitha Murugesan, Michael W. Whalen, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Compositional verification of a medical device system. 51-64
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/LarsonHFD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/LarsonHFD13
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. 65-84

Keynote address -- formal methods

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Wing13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Wing13
Jeannette M. Wing:
Formal methods: an industrial perspective. 85-86

Approaches to software safety and security

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Alagic13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Alagic13
Suad Alagic:
Automatic versus interactive program verification. 87-88

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.