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

This publication has 39 references indexed in Scilit:

• The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems
  International Journal on Software Tools for Technology Transfer, 2012
• Cost analysis of object-oriented bytecode programs
  Theoretical Computer Science, 2012
• Performance evaluation and model checking join forces
  Communications of the ACM, 2010
• Computing needs time
  Communications of the ACM, 2009
• SPEED
  ACM SIGPLAN Notices, 2009
• Enforcing resource bounds via static verification of dynamic checks
  ACM Transactions on Programming Languages and Systems, 2007
• Is abstraction the key to computing?
  Communications of the ACM, 2007
• An Asynchronous Communication Model for Distributed Concurrent Objects
  Software and Systems Modeling, 2006
• An intermediate metamodel with scenarios and resources for generating performance models from UML designs
  Software and Systems Modeling, 2006
• Resource aware programming
  ACM Transactions on Programming Languages and Systems, 2005