| 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.  |
HILT  |
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. |
HILT |
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. |
HILT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | David Crocker |
Can C++ be made as safe as SPARK? |
HILT |
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. |
HILT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ed Seidewitz |
UML with meaning: executable modeling in foundational UML and the Alf action language. |
HILT |
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. |
HILT |
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. |
HILT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter H. Feiler |
AADL and model-based engineering. |
HILT |
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 |
HILT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Anya Helene Bagge, Magne Haveraaen |
Specification of generic APIs, or: why algebraic may be better than pre/post. |
HILT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian R. Larson |
Formal semantics for the PACEMAKER system specification. |
HILT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | William Rathje, Brad Richards |
A framework for model checking UDP network programs with Java pathfinder. |
HILT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas D. Matsakis, Felix S. Klock II |
The rust language. |
HILT |
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. |
HILT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball |
Correctness via compilation to logic: a decade of verification at microsoft research. |
HILT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Anderson |
From Ada 9x to spaceport America: going where no one has gone before. |
HILT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | John Barnes, S. Tucker Taft |
Ada 83 to Ada 2012: lessons learned over 30 years of language design. |
HILT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Logozzo |
Technology for inferring contracts from code. |
HILT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing |
Formal methods: an industrial perspective. |
HILT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ethan K. Jackson |
Engineering domain-specific languages with formula 2.0. |
HILT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Tucker Taft |
Tutorial: proving safety of parallel / multi-threaded programs. |
HILT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Michell, Brad Moore, Luís Miguel Pinho |
Real-time programming on accelerator many-core processors. |
HILT |
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. |
HILT |
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. |
HILT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sagar Chaki |
Bounded model checking of high-integrity software. |
HILT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | John B. Goodenough 0002 |
Building confidence in system behavior. |
HILT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyle Carter, Adam Foltzer, Joe Hendrix, Brian Huffman, Aaron Tomb |
SAW: the software analysis workbench. |
HILT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Anitha Murugesan, Michael W. Whalen, Sanjai Rayadurgam, Mats Per Erik Heimdahl |
Compositional verification of a medical device system. |
HILT |
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. |
HILT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael W. Whalen |
Up and out: scaling formal analysis using model-based development and architecture modeling. |
HILT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Logozzo |
Practical specification and verification with code contracts. |
HILT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Suad Alagic |
Automatic versus interactive program verification. |
HILT |
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 |
HILT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Doran, Stephanie E. August |
Reddo: a model driven engineering toolset for embedded software development. |
HILT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Tucker Taft |
Bringing safe, dynamic parallel programming to the spark verifiable subset of ada. |
HILT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaj S. Bjørner |
Satisfiability modulo theories for high integrity development. |
HILT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavlos Efstathopoulos, Andrew Hawthorn |
Optimizing verification effort with SPARK 2014. |
HILT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Boleng, Ricky E. Sward |
Service-oriented architecture (SOA) concepts and implementations. |
HILT |
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. |
HILT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David S. Hardin, Konrad Slind, Michael W. Whalen, Tuan-Hung Pham |
A DSL for cross-domain security. |
HILT |
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. |
HILT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kelvin Nilsen |
Real-time Java in modernization of the aegis weapon system. |
HILT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Kanig, Edmond Schonberg, Claire Dross |
Hi-Lite: the convergence of compiler technology and program verification. |
HILT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy L. Steele Jr. |
Programming language life cycles. |
HILT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Liskov |
Keynote presentation: Programming the turing machine. |
HILT |
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. |
HILT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Rustan M. Leino |
Developing verified programs with Dafny. |
HILT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Ingvar Sandén |
Hilt'12 tutorial overview / design of multitask software: the entity-life modeling approach. |
HILT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmond Schonberg, Vincent Pucci |
Implementation of a simple dimensionality checking system in Ada 2012. |
HILT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Geert Bosch |
Synchronization cannot be implemented as a library. |
HILT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Rustan M. Leino |
Program proving using intermediate verification languages (IVLs) like boogie and why3. |
HILT |
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? |
HILT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricky E. Sward, Jeff Boleng |
Service-oriented architecture (SOA) concepts and implementations. |
HILT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Tucker Taft |
Tutorial: multicore programming using divide-and-conquer and work stealing. |
HILT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey O'Leary, Alok Srivastava |
FAA's controller pilot automatic data communication (data comm) system software development. |
HILT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kelvin Nilsen |
Tutorial overview: understanding dynamic memory management in safety critical java. |
HILT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Eilers, Tero Koskinen |
Adapting ACATS for use with run-time checks suppressed. |
HILT |
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 |
HILT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kathleen Fisher |
HACMS: high assurance cyber military systems. |
HILT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hristian Hristov Kirtchev |
A new robust and efficient implementation of controlled types in the GNAT compiler. |
HILT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy G. Leveson, Cody Harrison Fleming, John Thomas |
Safety of embedded software. |
HILT |
2012 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license