Skip to main navigation Skip to search Skip to main content

Modelling and Analysis of Mobile AD Hoc Network Protocols

  • Kwiatkowska, Marta (Principal Investigator)

Project Details

Short titleModelling and Analysis of Mobile AD Hoc Network Protocols
StatusFinished
Effective start/end date1/11/03 → 31/10/06

Funding

  • Engineering & Physical Science Research Council

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
View full fingerprint

  • 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

    89 Citations (Scopus)

  • 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

    133 Citations (Scopus)

  • 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

    42 Citations (Scopus)