works.yml

smol:
  type: Web
  title: "The SMOL Language"
  author: ["Eduard Kamburjan", "Rudolf Schlatte"]
  url: https://smolang.org/

dtibm:
  type: Web
  title: "What is a Digital Twin?"
  author: "IBM"
  url: "https://www.ibm.com/topics/what-is-a-digital-twin"

ndvidef:
  type: Web
  title: "What is the NDVI?"
  author: "USGS"
  url: "https://www.usgs.gov/landsat-missions/landsat-normalized-difference-vegetation-index"

ksosu:
  type: Article
  title: "Knowledge Structures Over Simulation Units"
  author: ["Eduard Kamburjan", "Einar Broch Johnsen"]
  date: 2022
  page-range: "78-89"
  parent:
    type: Periodical
    title: "2022 Annual Modeling and Simulation Conference (ANNSIM)"

tbc:
  type: proceedings
  title: "Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins"
  author: ["Eduard Kamburjan", "Crystal Chang Din", "Rudolf Schlatte", "Silvia Lizeth Tapia Tarifa", "Einar Broch Johnsen"]
  date: 2022
  parent:
    type: Book
    title: "Leveraging Applications of Formal Methods"

# TODO: find or ask for pdf if needed
dtreconf:
  type: proceedings
  title: "Digital Twin Reconfiguration Using Asset Models"
  author: ["Eduard Kamburjan", "Vidar Norstein Klungre", "Rudolf Schlatte", "Silvia Lizeth Tapia Tarifa", "David Cameron", "Einar Broch Johnsen"]
  date: 2022
  parent:
    type: Book
    title: "Leveraging Applications of Formal Methods"

foswt:
  type: Book
  title: "Foundations of Semantic Web Technologies"
  author: ["Pascal Hitzler", "Markus Krotzsch", "Sebastian Rudolph"]
  date: 2010
  publisher: "Chapman and Hall/CRC"
  serial-number:
    doi: 10.1201/9781420090512
    isbn: 978-1-4200-9050-5

rr499:
  type: Report
  title: "Programming and Debugging with Semantically Lifted States"
  author: ["Eduard Kamburjan", "Vidar Norstein Klungre", "Rudolf Schlatte", "Einar Broch Johnsen", "Martin Giese"]
  date: 2021-03
  serial-number:
    isbn: 978-82-7368-464-6
    issn: 0806-3036

protege:
  type: Web
  title: "Protégé"
  url: "https://protege.stanford.edu/"

rdf:
  type: Web
  title: "Resource Description Framework (RDF)"
  url: "https://www.w3.org/RDF/"

owl:
  type: Web
  title: "OWL Web Ontology Language"
  url: "https://www.w3.org/OWL/"

rdfandowl:
  type: Web
  title: "RDF and OWL"
  url: "https://www.slideshare.net/rlovinger/rdf-and-owl"
  author: "Rachel Lovinger"
  date: 2007-12

webdam:
  type: Web
  title: "Webdam Project"
  url: "http://webdam.inria.fr/Jorge/html/wdmch8.html"

sparql:
  type: Web
  title: "SPARQL Query Language for RDF"
  url: "https://www.w3.org/TR/rdf-sparql-query/"

semanticobjects:
  type: Repository
  title: "Semantic Objects"
  url: "https://github.com/smolang/SemanticObjects/"

fmi2.0:
  type: Proceedings
  title: "Functional Mockup Interface 2.0: The Standard for Tool independent Exchange of Simulation Models"
  author: [Blochwitz, T. & Otter, Martin & Åkesson, Johan & Arnold, Martin & Clauss, Christoph & Elmqvist, Hilding & Friedrich, Markus & Junghanns, Andreas & Mauss, Jakob & Neumerkel, Dietmar & Olsson, Hans & Viel, Antoine]
  date: 2012
  serial-number:
    doi: "10.3384/ecp12076173"

fmi:
  type: Proceedings
  title: "The Potential of FMI for the Development of Digital Twins for Large Modular Multi-Domain Systems"
  author: [Marcus Wiens, Tobias Meyer, Philipp Thomas]
  date: 2021-09-27
  serial-number:
    doi: "10.3384/ecp21181235"

dtnasa:
  type: Proceedings
  title: "The Digital Twin Paradigm for Future NASA and U.S. Air Force Vehicles"
  author: [Edward H. Glaessgen, Doane Stargel]
  date: 2012
  url: "https://api.semanticscholar.org/CorpusID:110572580"

cosim:
  type: Article
  serial-number:
    doi: "10.1145/3179993"
    issn: 0360-0300]
  author: [Gomes, Cláudio and Thule, Casper and Broman, David and Larsen, Peter Gorm and Vangheluwe, Hans]
  title: "Co-Simulation: A Survey"
  date: 2018
  publisher: "Association for Computing Machinery"
  volume: 51
  abstract: "Modeling and simulation techniques are today extensively used both in industry and science. Parts of larger systems are, however, typically modeled and simulated by different techniques, tools, and algorithms. In addition, experts from different disciplines use various modeling and simulation techniques. Both these facts make it difficult to study coupled heterogeneous systems.Co-simulation is an emerging enabling technique, where global simulation of a coupled system can be achieved by composing the simulations of its parts. Due to its potential and interdisciplinary nature, co-simulation is being studied in different disciplines but with limited sharing of findings.In this survey, we study and survey the state-of-the-art techniques for co-simulation, with the goal of enhancing future research and highlighting the main challenges.To study this broad topic, we start by focusing on discrete-event-based co-simulation, followed by continuous-time-based co-simulation. Finally, we explore the interactions between these two paradigms, in hybrid co-simulation.To survey the current techniques, tools, and research challenges, we systematically classify recently published research literature on co-simulation, and summarize it into a taxonomy. As a result, we identify the need for finding generic approaches for modular, stable, and accurate coupling of simulation units, as well as expressing the adaptations required to ensure that the coupling is correct."

mapek:
  type: Proceedings
  author: [Arcaini, Paolo and Riccobene, Elvinia and Scandurra, Patrizia]
  title: "Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation"
  date: 2015
  serial-number:
    doi: "10.1109/SEAMS.2015.10"
  parent:
    type: Book
    title: "2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems"

semanticweb:
  type: Web
  title: "Semantic Web"
  url: "https://www.w3.org/standards/semanticweb/"

influxdb:
  type: Web
  title: "InfluxDB"
  url: "https://www.influxdata.com/products/influxdb-overview/"

influxdb-wiki:
  type: Web
  title: "InfluxDB Wikipedia Page"
  url: "https://en.wikipedia.org/wiki/InfluxDB"

chronograf:
  type: Repository
  title: "Chronograf"
  url: "https://github.com/influxdata/chronograf"

chronograf-img:
  type: Misc
  title: "Chronograf"
  url: "https://connect.adfab.fr/wp-content/uploads/2016/09/chronograf.jpg"

turtle:
  type: Web
  title: "Turtle Language"
  url: "https://www.w3.org/TR/turtle/"

raspberry-pi-wiki:
  type: Web
  title: "Raspberry Pi Wikipedia Page"
  url: "https://en.wikipedia.org/wiki/Raspberry_Pi"