Publications

Here is a selection of my publications. You can also find externally curated collections on DBLP, Google Scholar and ResearchGate.

Filter: #techreport clear-filter

2019 (2)

#techreport

Stefan Klikovits et al. State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development. In: COST IC1404 WG1 Deliverable WG1.1. 2019.

DOI
Bibtex
@misc{klikovits_stefan_2019_2538711,
  author = {Klikovits, Stefan and Al-Ali, Rima 
      and Amrani, Moussa and Barisic, Ankica 
      and Barros, Fernando and Blouin, Dominique 
      and Borde, Etienne and Buchs, Didier 
      and Giese, Holger and Goulao, Miguel 
      and Iacono, Mauro and Leon, Florin 
      and Navarro, Eva and Pelliccione, Patrizio 
      and Vanherpen, Ken},
  title = {{COST IC1404 WG1 Deliverable WG1.1: 
      State-of-the-art on Current Formalisms used 
      in Cyber-Physical Systems Development}},
  month = jan,
  year = 2019,
  doi = {10.5281/zenodo.2533455},
  url = {https://doi.org/10.5281/zenodo.2533455}
}
#techreport

Rima Al-Ali et al. Framework to Relate / Combine Modeling Languages and Techniques. In: COST IC1404 WG1 Deliverable WG1.2. 2019.

DOI
Bibtex
@misc{al_ali_rima_2019_2527577,
  author = {Al-Ali, Rima and Amrani, Moussa and 
      Bandyopadhyay, Soumyadip and Barisic, Ankica 
      and Barros, Fernando and Blouin, Dominique 
      and Erata, Ferhat and Giese, Holger 
      and Iacono, Mauro and Klikovits, Stefan 
      and Navarro, Eva and Pelliccione, Patrizio 
      and Taveter, Kuldar and Tekinerdogan, Bedir 
      and Vanherpen, Ken},
  title = {{COST IC1404 WG1 Deliverable WG1.2: 
      Framework to Relate / Combine 
      Modeling Languages and Techniques}},
  month = jan,
  year = 2019,
  doi = {10.5281/zenodo.2527576},
  url = {https://doi.org/10.5281/zenodo.2527576}
}

2018 (1)

#techreport

Stefan Klikovits, Alban Linard and Didier Buchs. CREST Formalization. In: Technical Report, Software Modeling and Verification Group, University of Geneva. 2018.

Abstract
CREST is a novel modelling language for the definition of Continuous-time, REactive SysTems. This domain-specific language (DSL) targets small cyber-physical systems (CPS) such as home automation systems. While CREST is a graphical language and its systems can be visualised as CREST diagrams, the main form of use is as internal DSL for the Python general purpose programming language. Nevertheless, CREST systems are based on a formal structure and semantics. This report provides this formalisation and elaborates on the design choices that have been made.
PDF DOI
Bibtex
@techreport{Klikovits:CRESTFormalization,
  author = {Stefan Klikovits and Alban Linard and Didier Buchs},
  title = {{CREST} Formalization},
  institution = {Software Modeling and Verification Group, University of Geneva},
  doi = {10.5281/zenodo.1284561},
  year = {2018}
}