HILT

Publications

2014

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014 HILT (2014)
Thomas Ball
Correctness via compilation to logic: a decade of verification at microsoft research. HILT (2014)
Robert Bocchino, Nicholas Matsakis, S. Tucker Taft, Brian Larson, Ed Seidewitz
Panel summary: finding safety in numbers: new languages for safe multicore programming and modeling. HILT (2014)
Peter H. Feiler
AADL and model-based engineering. HILT (2014)
Christine Anderson
From Ada 9x to spaceport America: going where no one has gone before. HILT (2014)
S. Tucker Taft, Brad Moore, Luís Miguel Pinho, Stephen Michell
Safe parallel programming in ada with language extensions. HILT (2014)
William Rathje, Brad Richards
A framework for model checking UDP network programs with Java pathfinder. HILT (2014)
Ed Seidewitz
UML with meaning: executable modeling in foundational UML and the Alf action language. HILT (2014)
David Crocker
Can C++ be made as safe as SPARK? HILT (2014)
Nicholas D. Matsakis, Felix S. Klock II
The rust language. HILT (2014)
Jérôme Hugues, Christophe Garion
Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models. HILT (2014)
Robert L. Bocchino, Edward B. Gamble, Kim P. Gostelow, Raphael R. Some
Spot: a programming language for verified flight software. HILT (2014)
Anya Helene Bagge, Magne Haveraaen
Specification of generic APIs, or: why algebraic may be better than pre/post. HILT (2014)
Tamás Szabó, Markus Voelter, Bernd Kolb, Daniel Ratiu, Bernhard Schätz
mbeddr: extensible languages for embedded software development. HILT (2014)
Brian R. Larson
Formal semantics for the PACEMAKER system specification. HILT (2014)
Ehsan Ahmad, Brian R. Larson, Stephen C. Barrett, Naijun Zhan, Yunwei Dong
Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling. HILT (2014)
John Barnes, S. Tucker Taft
Ada 83 to Ada 2012: lessons learned over 30 years of language design. HILT (2014)
Andrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Mike Whalen
Resolute: an assurance case language for architecture models. HILT (2014)

2013

2012