Publications

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

Filter: #conference clear-filter

2018 (2)

#conference

Stefan Klikovits, Alban Linard and Didier Buchs. CREST - A DSL for Reactive Cyber-Physical Systems. In: Proceedings of 10th System Analysis and Modeling Conference (SAM), Lecture Notes in Computer Science, vol. 11150, pp 29-45. Springer, 2018.

Abstract
This article presents CREST, a novel domain-specific language for the modelling of cyber-physical systems. CREST is designed for the simple and clear modelling, simulation and verification of small-scale systems such as home and office automation, smart gardening systems and similar. The language is designed to model the flow of resources throughout the system. It features synchronous system evolution and reactive behaviour. CREST's formal semantics allow real-valued time advances and the modelling of timed system evolution. The continuous time concept permits the precise simulation of future system behaviour by automatically calculating next transition times. We present CREST in a practical manner, and elaborate on the Python-based DSL implementation and simulator.
PDF Slides DOI
Bibtex
@inproceedings{Klikovits:SAM18:CREST,
  title = {{{CREST}} - {{A DSL}} for {{Reactive Cyber}}-{{Physical Systems}}},
  isbn = {978-3-030-01042-3},
  booktitle = {10th System {{Analysis}} and {{Modeling}} {{Conference}} ({{SAM2018}}). {{Languages}}, {{Methods}}, and {{Tools}} for {{Systems Engineering}}},
  publisher = {{Springer}},
  series={Lecture Notes in Computer Science},
  volume={11150},
  author = {Klikovits, Stefan and Linard, Alban and Buchs, Didier},
  editor = {Khendek, Ferhat and Gotzhein, Reinhard},
  year = {2018},
  month = {01},
  pages = {29-45},
  doi = {10.1007/978-3-030-01042-3_3}
}
#conference

Didier Buchs, Stefan Klikovits, Alban Linard, Romain Mencattini and Dimitri Racordon. A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning. In: Proceedings of Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Lecture Notes in Computer Science book series, vol. 10877, pp 385-395. Springer, 2018.

Abstract
This paper introduces mcc4mcc, the Model Checker Collection for the Model Checking Contest, a tool that wraps multiple model checking solutions, and applies the most appropriate one based on the characteristics of the model it is given. It leverages machine learning algorithms to carry out this selection, based on the results gathered from the 2017 edition of the Model Checking Contest, an annual event in which multiple tools compete to verify different properties on a large variety of models. Our approach brings two important contributions. First, our tool offers the opportunity to further investigate on the relation between model characteristics and verification techniques. Second, it lays out the groundwork for a unified way to distribute model checking software using virtual containers.
PDF Slides DOI
Bibtex
@inproceedings{DBLP:conf/apn/BuchsKLMR18,
  author = {Didier Buchs and Stefan Klikovits and Alban Linard and Romain Mencattini and Dimitri Racordon},
  title = {{A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning}},
  booktitle = {Proceedings of Application and Theory of Petri Nets and Concurrency - 39th International Conference, {PETRI} {NETS} 2018},
  pages = {385--395},
  year = {2018},
  series = {Lecture Notes in Computer Science},
  volume = {10877},
  publisher = {Springer},
  doi = {10.1007/978-3-319-91268-4_21}
  url = {https://doi.org/10.1007/978-3-319-91268-4_21},
}

2017 (1)

#conference

Joachim Denil, Stefan Klikovits, Pieter J. Mosterman, Antonio Vallecillo and Hans Vangheluwe. The Experiment Model and Validity Frame in M&S. In: Proceedings of the Symposium on Theory of Modeling & Simulation, TMS/DEVS, pp 109-120. ACM, 2017.

Abstract
Modelling and Simulation approaches use system models to conduct simulation experiments. Experimental frames have been applied in this context to formally define a system's context. During the creation of an experimental frame for a simple spring model it becomes clear that experimental frames in their current definition lack certain properties and omit relevant information. Our approach describes the process of capturing the context of models and systems to provide truly reproducible experiment descriptions. The information, captured as experimental setups, can then be used for different purposes and in different scenarios, in particular for checking the validity of a model, the discovery of suitable models for the design of a system, and for calibrating models.
PDF Link
Bibtex
@inproceedings{denil:2017:springsim,
  author = {Joachim Denil and Stefan Klikovits and Pieter J. Mosterman and Antonio Vallecillo and Hans Vangheluwe},
  title = {The Experiment Model and Validity Frame in M\&S},
  year = {2017},
  booktitle = {Proceedings of the Symposium on Theory of Modeling \& Simulation},
  series = {TMS/DEVS '17},
  pages = {109--120},
  isbn = {ISBN: 978-1-5108-3823-9},
  venue = {Virginia Beach, Virginia, USA},
  url = {http://scs.org/wp-content/uploads/2017/06/27_Final_Manuscript.pdf},
}

2011 (1)

#conference

Paul C. Burkimsher, Manuel Gonzalez-Berges and Stefan Klikovits. Multi-platform SCADA GUI Regression Testing at CERN. In: Proceedings of the 13th International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS). JACoW, 2011.

Abstract
The JCOP Framework is a toolkit used widely at CERN for the development of industrial control systems in several domains (i.e. experiments, accelerators and technical infrastructure). The software development started 10 years ago and there is now a large base of production systems running it. For the success of the project, it was essential to formalize and automate the quality assurance process. The paper will present the overall testing strategy and will describe in detail mechanisms used for GUI testing. The choice of a commercial tool (Squish) and the architectural features making it appropriate for our multi-platform environment will be described. Practical difficulties encountered when using the tool in the CERN context are discussed as well as how these were addressed. In the light of initial experience, the test code itself has been recently reworked in OO style to facilitate future maintenance and extension. The paper concludes with a description of our initial steps towards incorporation of full-blown Continuous Integration (CI) support.
PDF Slides Link
Bibtex
@inproceedings{burkimsher:2011:icalepcs,
  author = {Paul C. Burkimsher and Manuel Gonzalez{-}Berges and Stefan Klikovits},
  title = {Multi-platform SCADA GUI Regression Testing at CERN},
  booktitle = {Proceedings of the 13th International Conference on Accelerator and Large Experimental Physics Control Systems},
  year = {2011},
  venue = {Grenoble, France},
  publisher = {JACoW}
}