Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS

Cloud computing and emerging IT platforms: Vision, hype, and reality for delivering computing as the 5th utility

Rajkumar Buyya, Chee Shin Yeo, Srikumar Venugopal et al. · Future Generation Computer Systems · 2008 · 5.9K citations

Computing, Cloud Computing, Information Technology +12

CloudSim: a toolkit for modeling and simulation of cloud computing environments and evaluation of resource provisioning algorithms

Rodrigo N. Calheiros, Rajiv Ranjan, Anton Beloglazov et al. · Software Practice and Experience · 2010 · 4.9K citations · Full text

Computing, Cloud Computing, Computer Systems +17

Uppaal in a nutshell

Kim G. Larsen, Paul Pettersson, Wang Yi · International Journal on Software Tools for Technology Transfer · 1997 · 2.2K citations

Dentistry, Health Promotion, Restitution +1

The worst-case execution-time problem—overview of methods and survey of tools

Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl et al. · ACM Transactions on Embedded Computing Systems · 2008 · 1.8K citations

Engineering, Computer Engineering, Computer Science +17

Is abstraction the key to computing?

Jeff Kramer · Communications of the ACM · 2007 · 437 citations

Computing, Computer Science, Design +6