Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Andrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Mike Whalen |
Resolute: an assurance case language for architecture models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 19-28, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 29-38, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 105-106, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | David Crocker |
Can C++ be made as safe as SPARK? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 5-12, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Hugues, Christophe Garion |
Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 39-46, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ed Seidewitz |
UML with meaning: executable modeling in foundational UML and the Alf action language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 61-68, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Robert L. Bocchino, Edward B. Gamble, Kim P. Gostelow, Raphael R. Some |
Spot: a programming language for verified flight software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 97-102, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tamás Szabó, Markus Voelter, Bernd Kolb, Daniel Ratiu, Bernhard Schätz |
mbeddr: extensible languages for embedded software development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 13-16, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Peter H. Feiler |
AADL and model-based engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 17-18, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michael B. Feldman, S. Tucker Taft (eds.) |
Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![ACM, 978-1-4503-3217-0 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anya Helene Bagge, Magne Haveraaen |
Specification of generic APIs, or: why algebraic may be better than pre/post. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 71-80, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Brian R. Larson |
Formal semantics for the PACEMAKER system specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 47-60, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | William Rathje, Brad Richards |
A framework for model checking UDP network programs with Java pathfinder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 81-86, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas D. Matsakis, Felix S. Klock II |
The rust language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 103-104, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | S. Tucker Taft, Brad Moore, Luís Miguel Pinho, Stephen Michell |
Safe parallel programming in ada with language extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 87-96, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ball |
Correctness via compilation to logic: a decade of verification at microsoft research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 69-70, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christine Anderson |
From Ada 9x to spaceport America: going where no one has gone before. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 1-2, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | John Barnes, S. Tucker Taft |
Ada 83 to Ada 2012: lessons learned over 30 years of language design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014, pp. 3-4, 2014, ACM, 978-1-4503-3217-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Logozzo |
Technology for inferring contracts from code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013, pp. 13-14, 2013, ACM, 978-1-4503-2467-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jeannette M. Wing |
Formal methods: an industrial perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013, pp. 85-86, 2013, ACM, 978-1-4503-2467-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ethan K. Jackson |
Engineering domain-specific languages with formula 2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013, pp. 3-4, 2013, ACM, 978-1-4503-2467-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | S. Tucker Taft |
Tutorial: proving safety of parallel / multi-threaded programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013, pp. 1-2, 2013, ACM, 978-1-4503-2467-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Michell, Brad Moore, Luís Miguel Pinho |
Real-time programming on accelerator many-core processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013, pp. 23-36, 2013, ACM, 978-1-4503-2467-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Donald T. Ward, David A. Redman, Bruce A. Lewis |
An approach to integration of complex systems: the SAVI virtual integration process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013, pp. 43-46, 2013, ACM, 978-1-4503-2467-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013, pp. 65-84, 2013, ACM, 978-1-4503-2467-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sagar Chaki |
Bounded model checking of high-integrity software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013, pp. 9-10, 2013, ACM, 978-1-4503-2467-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | John B. Goodenough 0002 |
Building confidence in system behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013, pp. 49-50, 2013, ACM, 978-1-4503-2467-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kyle Carter, Adam Foltzer, Joe Hendrix, Brian Huffman, Aaron Tomb |
SAW: the software analysis workbench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013, pp. 15-18, 2013, ACM, 978-1-4503-2467-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Anitha Murugesan, Michael W. Whalen, Sanjai Rayadurgam, Mats Per Erik Heimdahl |
Compositional verification of a medical device system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013, pp. 51-64, 2013, ACM, 978-1-4503-2467-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013, pp. 21-22, 2013, ACM, 978-1-4503-2467-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michael W. Whalen |
Up and out: scaling formal analysis using model-based development and architecture modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013, pp. 41-42, 2013, ACM, 978-1-4503-2467-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Logozzo |
Practical specification and verification with code contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013, pp. 7-8, 2013, ACM, 978-1-4503-2467-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Suad Alagic |
Automatic versus interactive program verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013, pp. 87-88, 2013, ACM, 978-1-4503-2467-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jeff Boleng, S. Tucker Taft (eds.) |
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![ACM, 978-1-4503-2467-0 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Steven Doran, Stephanie E. August |
Reddo: a model driven engineering toolset for embedded software development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013, pp. 47-48, 2013, ACM, 978-1-4503-2467-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | S. Tucker Taft |
Bringing safe, dynamic parallel programming to the spark verifiable subset of ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013, pp. 37-40, 2013, ACM, 978-1-4503-2467-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaj S. Bjørner |
Satisfiability modulo theories for high integrity development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013, pp. 5-6, 2013, ACM, 978-1-4503-2467-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pavlos Efstathopoulos, Andrew Hawthorn |
Optimizing verification effort with SPARK 2014. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013, pp. 19-20, 2013, ACM, 978-1-4503-2467-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jeff Boleng, Ricky E. Sward |
Service-oriented architecture (SOA) concepts and implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013, pp. 11-12, 2013, ACM, 978-1-4503-2467-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jason Belt, Patrice Chalin, John Hatcliff, Robby |
Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA, pp. 3-4, 2012, ACM, 978-1-4503-1505-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David S. Hardin, Konrad Slind, Michael W. Whalen, Tuan-Hung Pham |
A DSL for cross-domain security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA, pp. 53-62, 2012, ACM, 978-1-4503-1505-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shuai Li 0007, Frank Singhoff, Stéphane Rubini, Michel Bourdellès |
Applicability of real-time schedulability analysis on a software radio protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA, pp. 81-94, 2012, ACM, 978-1-4503-1505-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kelvin Nilsen |
Real-time Java in modernization of the aegis weapon system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA, pp. 63-70, 2012, ACM, 978-1-4503-1505-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Kanig, Edmond Schonberg, Claire Dross |
Hi-Lite: the convergence of compiler technology and program verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA, pp. 27-34, 2012, ACM, 978-1-4503-1505-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Guy L. Steele Jr. |
Programming language life cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA, pp. 95-96, 2012, ACM, 978-1-4503-1505-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Liskov |
Keynote presentation: Programming the turing machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA, pp. 23-24, 2012, ACM, 978-1-4503-1505-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Kanig |
Leading-edge ada verification technologies: combining testing and verification with GNATTest and GNATProve - the hi-lite project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA, pp. 5-6, 2012, ACM, 978-1-4503-1505-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | K. Rustan M. Leino |
Developing verified programs with Dafny. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA, pp. 9-10, 2012, ACM, 978-1-4503-1505-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bo Ingvar Sandén |
Hilt'12 tutorial overview / design of multitask software: the entity-life modeling approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA, pp. 1-2, 2012, ACM, 978-1-4503-1505-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Edmond Schonberg, Vincent Pucci |
Implementation of a simple dimensionality checking system in Ada 2012. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA, pp. 35-42, 2012, ACM, 978-1-4503-1505-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Geert Bosch |
Synchronization cannot be implemented as a library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA, pp. 73-80, 2012, ACM, 978-1-4503-1505-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | K. Rustan M. Leino |
Program proving using intermediate verification languages (IVLs) like boogie and why3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA, pp. 25-26, 2012, ACM, 978-1-4503-1505-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lennart Beringer, Randall Brukardt, Thomas Plum 0003, S. Tucker Taft |
Panel on compiler certification: should we trust our compiler? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA, pp. 103-104, 2012, ACM, 978-1-4503-1505-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ricky E. Sward, Jeff Boleng |
Service-oriented architecture (SOA) concepts and implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA, pp. 11-12, 2012, ACM, 978-1-4503-1505-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | S. Tucker Taft |
Tutorial: multicore programming using divide-and-conquer and work stealing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA, pp. 13-14, 2012, ACM, 978-1-4503-1505-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey O'Leary, Alok Srivastava |
FAA's controller pilot automatic data communication (data comm) system software development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA, pp. 71-72, 2012, ACM, 978-1-4503-1505-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kelvin Nilsen |
Tutorial overview: understanding dynamic memory management in safety critical java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA, pp. 15-22, 2012, ACM, 978-1-4503-1505-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dan Eilers, Tero Koskinen |
Adapting ACATS for use with run-time checks suppressed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA, pp. 97-102, 2012, ACM, 978-1-4503-1505-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ben Brosgol, Jeff Boleng, S. Tucker Taft (eds.) |
Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![ACM, 978-1-4503-1505-0 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kathleen Fisher |
HACMS: high assurance cyber military systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA, pp. 51-52, 2012, ACM, 978-1-4503-1505-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hristian Hristov Kirtchev |
A new robust and efficient implementation of controlled types in the GNAT compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA, pp. 43-50, 2012, ACM, 978-1-4503-1505-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nancy G. Leveson, Cody Harrison Fleming, John Thomas |
Safety of embedded software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HILT ![In: Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA, pp. 7-8, 2012, ACM, 978-1-4503-1505-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|