Skip to main content
SpringerLink
Log in

Systems Modelling and Management

First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Önder Babur

    1. Eindhoven University of Technology, Eindhoven, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Joachim Denil

    1. University of Antwerp, Antwerp, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Birgit Vogel-Heuser

    1. Technical University of Munich, Munich, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Communications in Computer and Information Science (CCIS, volume 1262)

Included in the following conference series:

Conference proceedings info: ICSMM 2020.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 papers)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Verification and Validation

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Applying Dynamic Programming to Test Case Scheduling for Automated Production Systems

      • Kathrin Land, Birgit Vogel-Heuser, Suhyun Cha
      Pages 3-20

    3. A Model-Driven Mutation Framework for Validation of Test Case Migration

      • Ivan Jovanovikj, Nils Weidmann, Enes Yigitbas, Anthony Anjorin, Stefan Sauer, Gregor Engels
      Pages 21-29

    4. Towards Consistency Checking Between a System Model and Its Implementation

      • Robbert Jongeling, Johan Fredriksson, Federico Ciccozzi, Antonio Cicchetti, Jan Carlson
      Pages 30-39

  3. Applications

    1. Front Matter

      Pages 41-41
      Download chapter PDF

    2. Towards Model-Driven Digital Twin Engineering: Current Opportunities and Future Challenges

      • Francis Bordeleau, Benoit Combemale, Romina Eramo, Mark van den Brand, Manuel Wimmer
      Pages 43-54

    3. Reusable Data Visualization Patterns for Clinical Practice

      • Fazle Rabbi, Jo Dugstad Wake, Tine Nordgreen
      Pages 55-72

    4. A Model Based Slicing Technique for Process Mining Healthcare Information

      • Fazle Rabbi, Yngve Lamo, Wendy MacCaull
      Pages 73-81

    5. Validity Frame Driven Computational Design Synthesis for Complex Cyber-Physical Systems

      • Bert Van Acker, Yon Vanommeslaeghe, Paul De Meulenaere, Joachim Denil
      Pages 82-90

    6. Industrial Plant Topology Models to Facilitate Automation Engineering

      • Heiko Koziolek, Julius Rückert, Andreas Berlet
      Pages 91-108

  4. Methods, Techniques and Tools

    1. Front Matter

      Pages 109-109
      Download chapter PDF

    2. On the Replicability of Experimental Tool Evaluations in Model-Based Development

      • Alexander Boll, Timo Kehrer
      Pages 111-130

    3. Exploring Validity Frames in Practice

      • Simon Van Mierlo, Bentley James Oakes, Bert Van Acker, Raheleh Eslampanah, Joachim Denil, Hans Vangheluwe
      Pages 131-148

    4. Suitability of Optical Character Recognition (OCR) for Multi-domain Model Management

      • Weslley Torres, Mark G. J. van den Brand, Alexander Serebrenik
      Pages 149-162

    5. Simplified View Generation in a Deep View-Based Modeling Environment

      • Arne Lange, Colin Atkinson, Christian Tunjic
      Pages 163-179

    6. GrapeL: Combining Graph Pattern Matching and Complex Event Processing

      • Sebastian Ehmes, Lars Fritsche, Konrad Altenhofen
      Pages 180-196

  5. Back Matter

    Pages 197-197
    Download chapter PDF
Back to top

Other volumes

  1. Systems Modelling and Management

Keywords

About this book

This book constitutes the refereed proceedings of the First International Conference on Systems Modelling and Management, ICSMM 2020, planned to be held in Bergen, Norway, in June 2020. Due to the COVID-19 pandemic the conference did not take place physically or virtually. 

The 10 full papers and 3 short papers were thoroughly reviewed and selected from 19 qualified submissions. The papers are organized according to the following topical sections: verification and validation; applications; methods, techniques and tools.

Editors and Affiliations

  • Eindhoven University of Technology, Eindhoven, The Netherlands

    Önder Babur

  • University of Antwerp, Antwerp, Belgium

    Joachim Denil

  • Technical University of Munich, Munich, Germany

    Birgit Vogel-Heuser

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation