Simulating User Journeys with Active Objects

This publication has 45 references indexed in Scilit:

• Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
  Service Oriented Computing and Applications, 2013
• Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets
  2013
• The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems
  International Journal on Software Tools for Technology Transfer, 2012
• Customer Journey Mapping as an Advocacy Tool for Disabled People
  Social Marketing Quarterly, 2012
• TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets
  2012
• Service Blueprinting: A Practical Technique for Service Innovation
  California Management Review, 2008
• UPPAAL-Tiga: Time for Playing Games!
  2007
• Optimal Strategies in Priced Timed Game Automata
  2004
• On the synthesis of discrete controllers for timed systems
  1995
• Servitization of business: Adding value by adding services
  European Management Journal, 1988