Ada User Journal

ISSNs: 1381-6551

Ada-Europe

Scopus rating (2018): CiteScore 0.13 SJR 0.105 SNIP 0.11

Journal

Publications

  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