Formal Aspects of Computing, 0934-5043

Journal

Publications

  1. 2020
  2. Accepted/In press

    Quantitative Verification of Kalman Filters

    Alexandros Evangelidis & David Parker, 29 Nov 2020, (Accepted/In press) In: Formal Aspects of Computing. 25 p.

    Research output: Contribution to journalArticlepeer-review

  3. 2014
  4. Published

    The Essence of Reynolds

    Uday Reddy, 1 May 2014, In: Formal Aspects of Computing. 26, 3, p. 435-439

    Research output: Contribution to journalArticlepeer-review

  5. 2009
  6. Published

    Physigrams: modelling devices for natural interaction

    Alan Dix, 1 Dec 2009, In: Formal Aspects of Computing. 21, 6, p. 613-641

    Research output: Contribution to journalArticlepeer-review

  7. 2007
  8. Published

    Minimal refinements of specifications in modal and temporal logics

    Mark Ryan, 17 Oct 2007, In: Formal Aspects of Computing. 19, 4, p. 273 1 p.

    Research output: Contribution to journalArticle

  9. 2005
  10. Published

    A refinement-based process algebra for timed automata

    Stefano Cattani & Marta Kwiatkowska, 1 Aug 2005, In: Formal Aspects of Computing. 17, 2, p. 138-159 22 p.

    Research output: Contribution to journalArticle

  11. Published

    Using probabilistic model checking for dynamic power management

    Gethin Norman, David Parker, Marta Kwiatkowska, 1 Aug 2005, In: Formal Aspects of Computing. 17, 2, p. 160-176 17 p.

    Research output: Contribution to journalArticle

  12. 2003
  13. Published