Home
•
About
»
About PRISM
»
People
»
Sponsors
»
Contact
»
News
»
Screenshots
»
Other tools
»
Links
•
Downloads
»
PRISM
»
Development versions
»
Benchmarks
»
PRISM-games
»
Other downloads
•
Documentation
»
Installation
»
Manual
»
FAQ
»
Tutorial
»
Lectures
•
Manual
•
Tutorial
•
Publications
»
Selected publications
»
PRISM publications
»
PRISM bibliography
»
External publications
»
Search
•
Case Studies
•
Support
»
Installation FAQ
»
PRISM FAQ
»
Forum (Google)
•
Developers
»
Resources
»
Dev. Forum (Google)
•
PRISM-games
»
Download
»
Publications
[Kik13]
Shinji Kikuchi.
Using Model Checking to Evaluate Live Migrations.
IT Professional
, 15(2), pages 36-41, IEEE Computer Society.
2013.
[Uses probabilistic model checking and PRISM to analyse live migration strategies for cloud computing.]
Links:
[
Google
] [
Google Scholar
] [
CiteSeer
]
Publications
Selected publications
PRISM publications
PRISM bibliography
External publications
Search