Ada User Journal

ISSNs: 1381-6551


Scopus rating (2020): CiteScore 0.1 SJR 0.1 SNIP 0.148



  1. 2015
  2. 2014
  3. The Use of Controlled Vocabularies and Structured Expressions in the Assurance of CPS

    Attwood, K. C., Kelly, T. & Conmy, P., Dec 2014, Ada User Journal, 35, 4, p. 251-258 7 p.

    Research output: Contribution to specialist publicationArticle

  4. PROXIMA: A Probabilistic Approach to the Timing Behaviour of Mixed-Criticality Systems

    Davis, R. I., Vardanega, T., Andersson, J., Vatrinet, F., Pearce, M., Broster, I., Azkarate-Askasua, M., Wartel, F., Cucu-Grosjean, L., Patte, M., Farrall, G. & Cazorla, F. J., Jun 2014

    Article in Ada User Journal

  5. 2010
  6. Ada and the software vulnerabilities project: The SPARK Annex

    Burns, A., Tokar, J. L., Baird, S., Barnes, J., Chapman, R., Dismukes, G., González-Harbour, M., Michell, S., Moore, B., Pinho, L. M., Ploedereder, E., Real, J., Rosen, J. P., Schonberg, E., Taft, S. T. & Vardanega, T., 1 Dec 2010

    Article in Ada User Journal

  7. 2009
  8. Concurrency vulnerabilities

    Burns, A. & Wettings, A. J., 1 Sep 2009

    Article in Ada User Journal

  9. 2008
  10. 2007
  11. Identifying Opportunities for Worst-case Execution Time Reduction in an Avionics System

    Bernat, G., Davis, R. I., Merriam, N., Tuffen, J., Gardner, A., Bennett, M. & Armstrong, D., Sep 2007

    Article in Ada User Journal

  12. 2002

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations