default search action

combined dblp search
author search
venue search
publication search

ask others

HILT 2014: Portland, Oregon, 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/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/2014
Michael B. Feldman, S. Tucker Taft:
Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014. ACM 2014, ISBN 978-1-4503-3217-0

Monday keynote address

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Anderson14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Anderson14
Christine Anderson:
From Ada 9x to spaceport America: going where no one has gone before. 1-2

Enhancing and evolving embedded systems languages for safety

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/BarnesT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/BarnesT14
John Barnes, S. Tucker Taft:
Ada 83 to Ada 2012: lessons learned over 30 years of language design. 3-4
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Crocker14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Crocker14
David Crocker:
Can C++ be made as safe as SPARK? 5-12
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/SzaboVKRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/SzaboVKRS14
Tamás Szabó, Markus Voelter, Bernd Kolb, Daniel Ratiu, Bernhard Schätz:
mbeddr: extensible languages for embedded software development. 13-16

Model-based engineering

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Feiler14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Feiler14
Peter H. Feiler:
AADL and model-based engineering. 17-18
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/GacekBCSW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/GacekBCSW14
Andrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Mike Whalen:
Resolute: an assurance case language for architecture models. 19-28

Behavioral modeling and code generation

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/AhmadLBZD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/AhmadLBZD14
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. 29-38
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/HuguesG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/HuguesG14
Jérôme Hugues, Christophe Garion:
Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models. 39-46
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Larson14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Larson14
Brian R. Larson:
Formal semantics for the PACEMAKER system specification. 47-60
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Seidewitz14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Seidewitz14
Ed Seidewitz:
UML with meaning: executable modeling in foundational UML and the Alf action language. 61-68

Tuesday keynote address

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Ball14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Ball14
Thomas Ball:
Correctness via compilation to logic: a decade of verification at microsoft research. 69-70

Applying formal methods

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/BaggeH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/BaggeH14
Anya Helene Bagge, Magne Haveraaen:
Specification of generic APIs, or: why algebraic may be better than pre/post. 71-80
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/RathjeR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/RathjeR14
William Rathje, Brad Richards:
A framework for model checking UDP network programs with Java pathfinder. 81-86

Safe programming languages for the multicore era (I)

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/TaftMPM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/TaftMPM14
S. Tucker Taft, Brad Moore, Luís Miguel Pinho, Stephen Michell:
Safe parallel programming in ada with language extensions. 87-96
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/BocchinoGGS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/BocchinoGGS14
Robert L. Bocchino, Edward B. Gamble, Kim P. Gostelow, Raphael R. Some:
Spot: a programming language for verified flight software. 97-102
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/MatsakisK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/MatsakisK14
Nicholas D. Matsakis, Felix S. Klock II:
The rust language. 103-104

Safe programming languages for the multicore era (II)

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/BocchinoMTLS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/BocchinoMTLS14
Robert Bocchino, Nicholas D. Matsakis, S. Tucker Taft, Brian Larson, Ed Seidewitz:
Panel summary: finding safety in numbers: new languages for safe multicore programming and modeling. 105-106

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.