Modelling and Analysis of Mobile AD Hoc Network Protocols

Research output

Research output per year 2005 2005 2006 2007 2007

• 3 Article

Research output per year

Research output per year

Search results

• 2007

  Symbolic model checking for probabilistic timed automata

  Kwiatkowska, M., Norman, G., Sproston, J. & Wang, F., 1 Jul 2007, In: Information and Computation. 205, 7, p. 1027-1077 51 p.

  Research output: Contribution to journal › Article

  • Symbolic Model Checking 100%
  • Probabilistic Automata 80%
  • Timed Automata 78%
  • Model checking 63%
  • Temporal logic 46%
  89 Citations (Scopus)
• 2006

  Performance Analysis of Probabilistic Timed Automata using Digital Clocks

  Kwiatkowska, M., Norman, G., Parker, D. & Sproston, J., 1 Jul 2006, In: Formal Methods in System Design. 29, 1, p. 33-78 46 p.

  Research output: Contribution to journal › Article › peer-review

  • Probabilistic Automata 100%
  • Timed Automata 97%
  • Performance Analysis 92%
  • Clocks 62%
  • Real-time 62%
  133 Citations (Scopus)
• 2005

  Using probabilistic model checking for dynamic power management

  Norman, G., Parker, D., Kwiatkowska, M., Shukla, S. & Gupta, R., 1 Aug 2005, In: Formal Aspects of Computing. 17, 2, p. 160-176 17 p.

  Research output: Contribution to journal › Article

  • Power Management 100%
  • Probabilistic Model 58%
  • Model Checking 57%
  • Power management 54%
  • Model checking 53%
  42 Citations (Scopus)