MPM4CPS

Multi-Paradigm Modelling for Cyber-Physical Systems

As an active member of the Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS) COST action from 2015 until its end in 2019, I had the opportunity to expand my scientific network, get to know other researchers in the field and learn about other aspects of systems modelling. I participated in various activities such as

I also had the chance to participate in a Short-Term Scientific Mission (STSM) where I spent one week at Telecom ParisTech and contributed significantly to the creation of a catalog on cyber-physical systems formalisms, languages and tools.

Since the Action

Since participating in the MPM4CPS COST Action, I joined the program committee of the annual MPM4CPS workshop.

Related Publications

(Klikovits & Arcaini, 2021)(Klikovits & Buchs, 2021)(Giese et al., 2021)(Blouin et al., 2021)(Buchs et al., 2020)(Klikovits et al., 2019)(Al-Ali et al., 2019)
  1. On the Need for Multi-Level ADS Scenarios
    Stefan Klikovits, and Paolo Arcaini
    In 3rd International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS’21), Oct 2021
  2. CREST — a DSML for hybrid CPS modelling
    Stefan Klikovits, and Didier Buchs
    In Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Oct 2021
  3. An ontology for multi-paradigm modelling
    Holger Giese, Dominique Blouin, Rima Al-Ali, Hana Mkaouar, Soumyadip Bandyopadhyay, and 4 more authors
    In Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Oct 2021
  4. An integrated ontology for multi-paradigm modelling for cyber-physical systems
    Dominique Blouin, Rima Al-Ali, Holger Giese, Stefan Klikovits, Soumyadip Bandyopadhyay, and 2 more authors
    In Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Oct 2021
  5. Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems
    Didier BuchsStefan Klikovits, and Alban Linard
    In Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems, Oct 2020
  6. COST IC1404 WG1 Deliverable WG1.1: State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development
    Stefan Klikovits, Rima Al-Ali, Moussa Amrani, Ankica Barisic, Fernando Barros, and 10 more authors
    Jan 2019
  7. COST IC1404 WG1 Deliverable WG1.2: Framework to Relate / Combine Modeling Languages and Techniques
    Rima Al-Ali, Moussa Amrani, Soumyadip Bandyopadhyay, Ankica Barisic, Fernando Barros, and 10 more authors
    Jan 2019