A. K. McIver
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2006–2010
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ATVA | YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B. | Ukachukwu Ndukwu, A. K. McIver |
| 2008 | FM | Proofs and Refutations for Probabilistic Refinement. | A. K. McIver, Carroll C. Morgan, Carlos Gonzala |
| 2006 | ISoLA | Formal Techniques for the Analysis of Wireless Networks. | A. K. McIver, Ansgar Fehnker |