Handling of Operating Modes in Contract-Based Timing Specifications.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2021
Minimizing the makespan of diagnostic multi-query graphs in embedded real time systems.
PhD thesis, 2020
Heuristic list scheduler for time triggered traffic in time sensitive networks.
SIGBED Rev., 2019
Fault Detection and Diagnosis in HVAC Systems Using Diagnostic Multi-Query Graphs.
Proceedings of the 2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2019
Composability Modeling for the Use Case of Demand-controlled Ventilation and Heating System.
Proceedings of the 6th International Conference on Control, 2019
Minimizing the Make Span of Diagnostic Multi-Query Graphs Using Graph Pruning and Query Merging.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018
Class-based query-optimization for minimizing worst-case execution times of diagnostic queries in embedded real-time systems.
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017
Usability Evaluation Techniques for Agile Software Model.
J. Softw., 2015
Towards a Model-Based Framework for Integrating Usability Evaluation Techniques in Agile Software Model.
Proceedings of the Recent Advances on Soft Computing and Data Mining, 2014