default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHILT 2013: Pittsburgh, Pennsylvania, USA
- 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
- S. Tucker Taft:
Tutorial: proving safety of parallel / multi-threaded programs. 1-2 - Ethan K. Jackson:
Engineering domain-specific languages with formula 2.0. 3-4 - Nikolaj S. Bjørner:
Satisfiability modulo theories for high integrity development. 5-6 - Francesco Logozzo:
Practical specification and verification with code contracts. 7-8 - Sagar Chaki:
Bounded model checking of high-integrity software. 9-10 - Jeff Boleng, Ricky E. Sward:
Service-oriented architecture (SOA) concepts and implementations. 11-12
Underlying formal verification technologies
- Francesco Logozzo:
Technology for inferring contracts from code. 13-14
Formal verification toolsets
- Kyle Carter, Adam Foltzer, Joe Hendrix, Brian Huffman, Aaron Tomb:
SAW: the software analysis workbench. 15-18 - Pavlos Efstathopoulos, Andrew Hawthorn:
Optimizing verification effort with SPARK 2014. 19-20 - 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
- Stephen Michell, Brad Moore, Luís Miguel Pinho
:
Real-time programming on accelerator many-core processors. 23-36 - S. Tucker Taft:
Bringing safe, dynamic parallel programming to the spark verifiable subset of ada. 37-40
Invited talk -- model-based engineering
- Michael W. Whalen:
Up and out: scaling formal analysis using model-based development and architecture modeling. 41-42
Model-based integration and code generation
- Donald T. Ward, David A. Redman, Bruce A. Lewis:
An approach to integration of complex systems: the SAVI virtual integration process. 43-46 - Steven Doran, Stephanie E. August:
Reddo: a model driven engineering toolset for embedded software development. 47-48
Keynote address -- building confidence
- John B. Goodenough:
Building confidence in system behavior. 49-50
Architecture-level design languages and compositional verification
- Anitha Murugesan, Michael W. Whalen, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Compositional verification of a medical device system. 51-64 - 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
- Jeannette M. Wing:
Formal methods: an industrial perspective. 85-86
Approaches to software safety and security
- 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.
last updated on 2024-10-31 20:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
