Publications

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

Filter: #workshop clear-filter

2018 (2)

#workshop

Stefan Klikovits, Auélien Coet and Didier Buchs. ML4CREST: Machine Learning for CPS Models. In: 2nd International Workshop on Model Driven Engineering for the Internet-of-Things (MDE4IOT), CEUR Workshop Proceedings, vol. 2245, pp 515-520. 2018.

Abstract
Models of small CPS and IoT applications often use approximated values that describe physical system behaviour. Physical resources, such as electricity consumption and heating power, have to be estimated, since many off-the-shelf components lack the required descriptions. Controllers which are based on these approximations can hence use imprecise models, perform misleading simulation, and cause damaged systems and financial loss. In this paper we present ML4CREST, a machine learning approach to automatically calibrate models using sensor measurements. We show that our approach is well-suited for the calibration of the flow rates within an automated watering system, which allows precise simulation and prevents spillage.
PDF Slides Link
Bibtex
@inproceedings{Klikovits:MDE4IOT:CREST,
  title={{ML4CREST: Machine Learning for CPS Models}},
  author={Stefan Klikovits and Aur\'{e}lien Coet and Didier Buchs},
  year = {2018},
  month = {01},
  pages = {515-520},
  url = {http://ceur-ws.org/Vol-2245/mde4iot_paper_4.pdf},
  volume = 2245,
  series = {CEUR Workshop Proceedings},
  booktitle = {2nd International Workshop on Model-Driven Engineering for the Internet-of-Things (MDE4IoT)}
}
#workshop

Stefan Klikovits, Alban Linard, Dimitri Racordon and Didier Buchs. Petri Sport: A Sport for Petri Netters. In: Proceedings of International Workshop on Petri Nets and Software Engineering (PNSE), CEUR Workshop Proceedings, vol. 2138, pp 35-56. 2018.

Abstract
Petri nets are a family of formalisms dedicated to the representation of concurrent systems. Their strength is the compact modeling of complex behaviors using very simple rules. Despite this simplicity, many teachers observe that students often require a lot of exposure and numerous exercises to truly understand the semantics of Petri nets. In order to speed up this learning process and provide a different attack angle, we propose Petri sport, a fun game based upon the Petri net formalism. In Petri sport, players aim to gather points by moving across a Petri net-shaped playing field and "firing" transitions. A clock-based play style supports a structured game advance while at the same time it encourages players to move fast. As the playing field is shaped like a Petri net, it is possible to challenge a player's movement speed, intellectual capabilities, as well as team coordination and communication. The difficulty level of Petri sport is based on the choice of playing field. This allows for adaptation in order to best fit the competitors' age, experience and/or physical fitness level.
PDF Slides Link Github
Bibtex
@inproceedings{Klikovits:PNSE18:PetriSport,
  title = {{Petri Sport: A Sport for Petri Netters}},
  pages = {35--56},
  author = {Stefan Klikovits and Alban Linard and Dimitri Racordon and Didier Buchs},
  year = 2018,
  booktitle = {Petri Nets and Software Engineering. International Workshop, PNSE'18},
  editor = {Moldt, Daniel and Kindler, Ekkart and R{\"o}lke, Heiko},
  series = {CEUR Workshop Proceedings},
  volume = {2138},
  url = {http://ceur-ws.org/Vol-2138/paper2.pdf}
}

2017 (3)

#workshop

Stefan Klikovits, Manuel Gonzalez-Berges and Didier Buchs. Towards Language Independent (Dynamic) Symbolic Execution. In: Proceedings of the 24th PhD Mini-Symposium, pp 50-53. Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2017.

Abstract
Symbolic execution is well-known for its capability to produce high-coverage test suites for software source code. So far, most tools are created to support a specific language. This paper elaborates on performing language independent symbolic execution and three ways to achieve it. We describe the use of one approach to perform dynamic symbolic execution using translation of a proprietary language and show the results of the tool execution on a real-life codebase.
PDF Slides DOI
Bibtex
@inproceedings{klikovits:2017:minisy,
  author = {Stefan Klikovits and Manuel Gonzalez{-}Berges and Didier Buchs},
  title = {Towards Language Independent (Dynamic) Symbolic Execution},
  year = {2017},
  booktitle = {Proceedings of the 24th PhD Mini-Symposium},
  pages = {50--53},
  isbn = {978-963-313-243-2},
  venue = {Budapest, Hungary},
  url = {https://doi.org/10.5281/zenodo.291899},
  publisher = {{Budapest University of Technology and Economics, Department of Measurement and Information Systems}},
  doi = {10.5281/zenodo.291899},
}
#workshop

Stefan Klikovits, Joachim Denil, Alexandre Muzy and Rick Salay. Modeling Frames. In: 14th Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa), CEUR Workshop Proceedings, vol. 2019, pp 315-320. 2017.

Abstract
Modeling activities such as calibration, verification and validation are often executed in under-specified environments. This hinders reproducibility, reduces re-usability and generally decreases the modeling precision and quality. This paper describes a framework for the definition of model frames. Model frames capture the context an activity/model is executed in and facilitate re-use, replacement, validation and verification of models. We show the application of the frames approach onto a real-world example, introduce several kinds of frames and show their application on this case study.
PDF Slides
Bibtex
@inproceedings{DBLP:conf/models/KlikovitsDMS17,
  author = {Stefan Klikovits and Joachim Denil and Alexandre Muzy and Rick Salay},
  title = {Modeling Frames},
  booktitle = {14th Workshop on  {Model-Driven Engineering, Verification and Validation} {(MoDeVVa} 2017), 19 September 2017, Austin, TX, USA},
  volume = 2019,
  series = {CEUR Workshop Proceedings},
  pages = {315--320},
  year = {2017}
}
#workshop

Stefan Klikovits, Alban Linard and Didier Buchs. CREST - A Continuous, REactive SysTems DSL. In: 5th International Workshop on the Globalization of Modeling Languages (GEMOC), CEUR Workshop Proceedings, vol. 2019, pp 286-291. 2017.

Abstract
The advance of cyber-physical systems in everyday life requires powerful modeling capabilities. Existing formalisms often have severe limitations and require complicated notations. In this paper we introduce CREST, a domain-specific language for modeling entity behavior and resource transfers in CPS. CREST aims to support CPS architects through clarity, comprehensiveness and analyzability.
PDF Slides
Bibtex
@inproceedings{DBLP:conf/models/KlikovitsLB17,
  author = {Stefan Klikovits and Alban Linard and Didier Buchs},
  title = {{CREST} - {A} Continuous, REactive SysTems {DSL}},
  booktitle = {5th International Workshop on the {Globalization of Modeling Languages} {(GEMOC} 2017), 19 September 2017, Austin, TX, USA},
  pages = {286--291},
  year = {2017},
  url = {http://ceur-ws.org/Vol-2019/gemoc_2.pdf},
  volume = 2019,
  series = {CEUR Workshop Proceedings},
}

2016 (1)

#workshop

Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges and Didier Buchs. Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons Learned. In: Proceedings of 8th International Workshop on Software Engineering for Resilient Systems, Lecture Notes in Computer Science, vol. 9823, pp 117-132. Springer, 2016.

Abstract
Over the last decade code-based test case generation techniques such as combinatorial testing or dynamic symbolic execution have seen growing research popularity. Most algorithms and tool implementations are based on finding assignments for input parameter values in order to maximise the execution branch coverage. In this paper we first present ITEC, a tool for automated test case generation in CTRL, as well as initial results of test cases executions on one of CERN’s SCADA frameworks. Our tool relies on Microsoft’s Pex for its code exploration. For the purpose of using this existing test generation tool, we have to translate the proprietary CTRL code into C#, one of Pex’s operating languages. Our main contribution lies in detailing a formal foundation for this step through source code decomposition and anonymization. We then propose a quality measure that is used to determine our confidence into the translation and the generated test cases.
PDF Slides DOI
Bibtex
@inproceedings{DBLP:conf/serene/KlikovitsLGB16,
  author = {Stefan Klikovits and David P. Y. Lawrence and Manuel Gonzalez{-}Berges and Didier Buchs},
  title = {Automated Test Case Generation for the {CTRL} Programming Language Using Pex: Lessons Learned},
  booktitle = {8th International Workshop on Software Engineering for Resilient Systems (SERENE)},
  pages = {117--132},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {9823},
  year = {2016},
  url = {https://doi.org/10.1007/978-3-319-45892-2_9},
  doi = {10.1007/978-3-319-45892-2_9},
}

2015 (1)

#workshop

Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges and Didier Buchs. Considering Execution Environment Resilience: A White-Box Approach. In: Proceedings of 7th International Workshop on Software Engineering for Resilient Systems (SERENE), Lecture Notes in Computer Science, vol. 9274, pp 46-61. Springer, 2015.

Abstract
Over the last decade code-based test case generation techniques such as combinatorial testing or dynamic symbolic execution have seen growing research popularity. Most algorithms and tool implementations are based on finding assignments for input parameter values in order to maximise the execution branch coverage. Only few of them consider dependencies from outside the Code Under Test’s scope such as global variables, database values and subroutine calls as influences to the execution path. In order to fully test all possible scenarios these dependencies have to be taken into account for the test input generation. This paper introduces ITEC, a tool for automated test case generation to support execution environment resilience in large-scaled, complex systems. One of ITEC’s corner stones is a technique called semi-purification, a source code transformation technique to overcome limitations of existing tools and to set up the required system state for software testing.
PDF Slides DOI
Bibtex
@inproceedings{DBLP:conf/serene/KlikovitsLGB15,
  author = {Stefan Klikovits and David P. Y. Lawrence and Manuel Gonzalez{-}Berges and Didier Buchs},
  title = {Considering Execution Environment Resilience: {A} White-Box Approach},
  booktitle = {7th International Workshop on Software Engineering for Resilient Systems (SERENE)},
  pages = {46--61},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {9274},
  year = {2015},
  url = {https://doi.org/10.1007/978-3-319-23129-7_4},
  doi = {10.1007/978-3-319-23129-7_4},
}