Research output per year
Research output per year
Project Details
| Short title | Modelling and Analysis of Mobile AD Hoc Network Protocols |
|---|---|
| Status | Finished |
| Effective start/end date | 1/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.
Research output
- 3 Article
-
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)