Publications
Filters: First Letter Of Title is C [Clear All Filters]
"Conformance Checking for Programmable Logic Controller Programs and Specifications",
11th IEEE International Symposium on Industrial Embedded Systems (SIES), Kraków, Poland, IEEE, pp. 29-36, 05/2016.
"Composable Framework Support for Software-FMEA through Model Execution",
Certifications of Critical Systems – The CECRIS Experience, Delft, Netherlands, River Publishers, pp. 183–200, 2017.
"Constraint Programming with Multi-valued Decision Diagrams: A Saturation Approach",
Proceedings of the 24th PhD Mini-Symposium, Budapest, Hungary, pp. 54–57, 2017.
"Constructing Dependability Analysis Models of Reconfigurable Production Systems",
14th IEEE International Conference on Automation Science and Engineering (CASE), München, Germany, IEEE, 2018.
Abstract
See also our accompanying technical report at https://doi.org/10.5281/zenodo.1290661
"Classifying generated white-box tests: an exploratory study",
Software Quality Journal, pp. 42, 2019.
Abstract
"Controllable and decomposable multidirectional synchronizations",
Software and Systems Modeling, 04/2021.
"Contract-Based Specification and Test Generation for Adaptive Systems",
16th International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX), vol. 1389, Wrocław, Poland, Springer, pp. 136-145, 07/2021.
Abstract