• Publications
  • Influence
Transformation of BPMN Models for Behaviour Analysis
TLDR
In industry, many business processes are modelled and stored in Enterprise Information Systems (EIS). Expand
  • 88
  • 3
  • PDF
Coordination of resources using generalized state-based requirements
TLDR
We develop a coordinator for maintenance procedures for a high-tech Oce printer that eliminates undesired behavior which stems from unrestricted interaction of its distributed components. Expand
  • 56
  • 3
  • PDF
Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset
TLDR
This paper introduces the Octopus Design-Space Exploration (DSE) toolset that aims to leverage existing modeling, analysis, and DSE tools to support model-driven DSE for embedded systems. Expand
  • 61
  • 3
  • PDF
A re-entrant flowshop heuristic for online scheduling of the paper path in a large scale printer
TLDR
We present a novel heuristic for scheduling of LSPs that on average requires 0.3 seconds per sheet to find schedules for industrial test cases. Expand
  • 15
  • 3
  • PDF
Using version information in architectural clustering - a case study
TLDR
This paper describes a case study that uses clustering to group classes of an existing object-oriented system of significant size into subsystems. Expand
  • 15
  • 2
The Semantic Snake Charmer Search Engine: A Tool to Facilitate Data Science in High-tech Industry Domains
TLDR
The booming popularity of data science is also affecting high-tech industries. Expand
  • 4
  • 2
Yasper: a tool for workflow modeling and analysis
TLDR
This paper presents Yasper, a tool for modeling, analyzing and simulating workflow systems, based on Petri nets. Expand
  • 44
  • 1
Experiences and Lessons Learned Using UML-RT to Develop Embedded Printer Software
TLDR
UML-RT is well suited for developing embedded printer software, but still has a few shortcomings, mainly with respect to specification and verification of hard real-time requirements. Expand
  • 19
  • 1
A blueprint for system-level performance modeling of software-intensive embedded systems
TLDR
We present a blueprint for building efficient and re-usable models for system-level performance analysis for software-intensive embedded systems. Expand
  • 11
  • 1
  • PDF