Table of Contents

• Characterizing Regulatory Documents and Guidelines Based on Text MiningKarolin Winter, Stefanie Rinderle-Ma, Wilfried Grossmann, Ingo Feinerer, Zhendong Ma. 3-20 [doi]
• A Scalable Smart Meter Data Generator Using SparkNadeem Iftikhar, Xiufeng Liu, Sergiu Danalachi, Finn Ebertsen Nordbjerg, Jens Henrik Vollesen. 21-36 [doi]
• Network-Aware Stochastic Virtual Machine Placement in Geo-Distributed Data Centers - (Short Paper)Hana Teyeb, Nejib Ben Hadj-Alouane, Samir Tata. 37-44 [doi]
• Finding Process Variants in Event Logs - (Short Paper)Alfredo Bolt, Wil M. P. van der Aalst, Massimiliano de Leoni. 45-52 [doi]
• Interactive and Incremental Business Process Model RepairAbel Armas-Cervantes, N. R. T. P. van Beest, Marcello La Rosa, Marlon Dumas, Luciano García-Bañuelos. 53-74 [doi]
• Control Flow Structure Preservation During Process Fragment Anonymization - (Short Paper)Kristof Böhmer, Stefanie Rinderle-Ma. 75-83 [doi]
• Diversity-Aware Continuous Top-k Queries in Social Networks - (Short Paper)Abdulhafiz Alkhouli, Dan Vodislav. 84-92 [doi]
• Modeling and Discovering Cancelation BehaviorMaikel Leemans, Wil M. P. van der Aalst. 93-113 [doi]
• Introducing Collaboration for Locating Features in Models: Approach and Industrial EvaluationFrancisca Pérez, Ana Cristina Marcén, Raúl Lapeña, Carlos Cetina. 114-131 [doi]
• Context-Aware Access Control with Imprecise Context Characterization Through a Combined Fuzzy Logic and Ontology-Based ApproachA. S. M. Kayes, J. Wenny Rahayu, Tharam S. Dillon, Elizabeth Chang, Jun Han. 132-153 [doi]
• Semi-supervised Log Pattern Detection and Exploration Using Event Concurrence and Contextual InformationXixi Lu, Dirk Fahland, Robert Andrews, Suriadi Suriadi, Moe Thandar Wynn, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst. 154-174 [doi]
• Cloud of Things Modeling for Efficient and Coordinated Resources ProvisioningElie Rachkidi, Djamel Belaïd, Nazim Agoulmine, Nada Chendeb Taher. 175-193 [doi]
• A Framework for Integrating Real-World Events and Business Processes in an IoT EnvironmentSankalita Mandal, Marcin Hewelt, Mathias Weske. 194-212 [doi]
• Methodological Support for Coordinating Tasks in Global Product Software EngineeringCarolus B. Widiyatmoko, Sietse Overbeek, Sjaak Brinkkemper. 213-231 [doi]
• Enhancing Process Models to Improve Business Performance: A Methodology and Case StudiesMarcus Dees, Massimiliano de Leoni, Felix Mannhardt. 232-251 [doi]
• TraDE - A Transparent Data Exchange Middleware for Service ChoreographiesMichael Hahn 0002, Uwe Breitenbücher, Frank Leymann, Andreas Weiß. 252-270 [doi]
• Building the Most Creative and Innovative Collaborative Groups Using Bayes ClassifiersGabriela Moise, Monica Vladoiu, Zoran Constantinescu. 271-283 [doi]
• A New Collaborative Paradigm of Computer Science Student Contests: An ExperienceMonica Vladoiu, Zoran Constantinescu, Gabriela Moise. 284-297 [doi]
• Ranking-Based Evaluation of Process Model Matching - (Short Paper)Elena Kuss, Henrik Leopold, Christian Meilicke, Heiner Stuckenschmidt. 298-305 [doi]
• Analysis and Re-configuration of Decision Logic in Adaptive and Data-Intensive Processes (Short Paper)Lina Ochoa, Oscar González Rojas. 306-313 [doi]
• Contingency Management for Event-Driven Business ProcessesJohn Wondoh, Georg Grossmann, Markus Stumptner. 314-333 [doi]
• Dynamic Change Propagation for Process Choreography InstancesConrad Indiono, Stefanie Rinderle-Ma. 334-352 [doi]
• A Service-Oriented Architecture Design of Decision-Aware Information Systems: Decision as a Service - (Short Paper)Faruk Hasic, Johannes De Smedt, Jan Vanthienen. 353-361 [doi]
• Advancing Open Innovation Capabilities Through a Flexible Integration of ICT Tools - (Short Paper)Emmanuel Adamides, Nikos I. Karacapilidis. 362-369 [doi]
• SmartGC: Online Memory Management Prediction for PaaS Cloud ModelsJosé Simão, Sérgio Esteves, Luís Veiga. 370-388 [doi]
• A Model-Driven Tool Chain for OCCIFaiez Zalila, Stéphanie Challita, Philippe Merle. 389-409 [doi]
• Knowledge Is at the Edge! How to Search in Distributed Machine Learning ModelsThomas Bach, Muhammad Adnan Tariq, Ruben Mayer, Kurt Rothermel. 410-428 [doi]
• Big Data Summarisation and Relevance Evaluation for Anomaly Detection in Cyber Physical SystemsAda Bagozi, Devis Bianchini, Valeria De Antonellis, Alessandro Marini, Davide Ragazzi. 429-447 [doi]
• STRATModel: Elasticity Model Description Language for Evaluating Elasticity Strategies for Business ProcessesAicha Ben Jrad, Sami Bhiri, Samir Tata. 448-466 [doi]
• Boosting Aided Approaches to QoS Prediction of IT Maintenance TicketsRaghav Sonavane, Suman Roy, Durga Prasad Muni. 467-487 [doi]
• From VM to Container: A Linear Program for Outsourcing a Business Process to Cloud ContainersKhouloud Boukadi, Rima Grati, Molka Rekik, Hanêne Ben-Abdallah. 488-504 [doi]
• Using Colored Petri Nets for Verifying RESTful Service CompositionLara Kallab, Michael Mrissa, Richard Chbeir, Pierre Bourreau. 505-523 [doi]
• Detecting Process Concept Drifts from Event LogsCanbin Zheng, Lijie Wen, Jianmin Wang 0001. 524-542 [doi]
• Multi-objective Cooperative Scheduling for Smart Grids - (Short Paper)Khouloud Salameh, Richard Chbeir, Haritza Camblong. 543-551 [doi]
• Privacy-Aware in the IoT Applications: A Systematic Literature ReviewFaiza Loukil, Chirine Ghedira Guegan, Aïcha-Nabila Benharkat, Khouloud Boukadi, Zakaria Maamar. 552-569 [doi]
• Self-adaptive Decision Making for the Management of Component-Based ApplicationsNabila Belhaj, Djamel Belaïd, Hamid Mukhtar. 570-588 [doi]
• On the Bitcoin Limitations to Deliver Fairness to UsersÖnder Gürcan, Antonella Del Pozzo, Sara Tucci Piergiovanni. 589-606 [doi]
• Scalable Conformance Checking of Business ProcessesDaniel Reißner, Raffaele Conforti, Marlon Dumas, Marcello La Rosa, Abel Armas-Cervantes. 607-627 [doi]
• Domain-Independent Monitoring and Visualization of SLA Metrics in Multi-provider Environments - (Short Paper)Robert Engel, Bryant Chen, Shashank Rajamoni, Heiko Ludwig, Alexander Keller, Mohamed Mohamed, Samir Tata. 628-638 [doi]
• Efficient Service Variant Analysis with Markov Updates in Monte Carlo Tree Search (Short Paper)Fuguo Wei, Alistair Barros, Rune Rasmussen, Adambarage Anuruddha Chathuranga De Alwis. 639-647 [doi]
• A Framework for Evaluating Anti Spammer Systems for TwitterKenny Ho, Veronica Liesaputra, Sira Yongchareon, Mahsa Mohaghegh. 648-662 [doi]
• Formal Model and Method to Decompose Process-Aware IoT ApplicationsSamir Tata, Kais Klai, Rakesh Jain. 663-680 [doi]
• Towards an Automatic Enrichment of Semantic Web Services DescriptionsMohamed Lamine Mouhoub, Daniela Grigori, Maude Manouvrier. 681-697 [doi]
• ProLoD: An Efficient Framework for Processing Logistics DataMohammed AlShaer, Yehia Taher, Rafiqul Haque, Mohand-Saïd Hacid, Mohamed Dbouk. 698-715 [doi]
• Ubiquity: Extensible Persistence as a Service for Heterogeneous Container-Based FrameworksMohamed Mohamed, Amit Warke, Dean Hildebrand, Robert Engel, Heiko Ludwig, NagaPramod Mandagere. 716-731 [doi]
• A Formal Approach for Correct Elastic Package-Based Free and Open Source Software Composition in CloudImed Abbassi, Mohamed Graiet, Sindyana Jlassi, Abir Elkhalfa, Layth Sliman. 732-750 [doi]
• An Optimization-Based Approach for Cloud Solution DesignAly Megahed, Ahmed Nazeem, Peifeng Yin, Samir Tata, Hamid Reza Motahari-Nezhad, Taiga Nakamura. 751-764 [doi]