Online Detection of Operator Errors In Cloud Computing Using Anti-Patterns.- Executing Lifecycle Processes in Object-aware Process Management.- Towards semantic process mining through knowledge-based trace abstraction.- Mining Local Process Models and their Correlations.- A linear temporal logic model checking method over finite words with correlated transition attributes.- A Report-driven Approach to design Multidimensional Models.