Author of the publication

Detecting Variability in MATLAB/Simulink Models: An Industry-Inspired Technique and its Evaluation.

, , , , and . SPLC (A), page 215-224. ACM, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On modification of Boyer-Moore-horspool's algorithm for tree pattern matching in linearised trees., , , and . Theor. Comput. Sci., (2020)Aggregation-based minimization of finite state automata., and . Acta Informatica, 58 (3): 177-194 (2021)An Evaluation of Structured Language Modeling for Automatic Speech Recognition., , and . J. Univers. Comput. Sci., 23 (11): 1019-1034 (2017)Metamodel Clone Detection with SAMOS., , and . BENEVOL, volume 2361 of CEUR Workshop Proceedings, page 21-23. CEUR-WS.org, (2018)Using Ptolemy II as a Framework for Virtual Entity Integration and Orchestration in Digital Twins., , and . MoDELS (Companion), page 233-236. IEEE, (2021)Symbolic Reasoning for Early Decision-Making in Model-Based Systems Engineering., , , , and . MoDELS (Companion), page 721-725. IEEE, (2023)Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study., , , , and . FM Workshops (2), volume 12233 of Lecture Notes in Computer Science, page 388-405. Springer, (2019)A Comparison of Visualization Concepts and Tools for Variant-Rich System Engineering., , and . SPLC (A), page 153-159. ACM, (2023)Towards Statistical Comparison and Analysis of Models., , , and . MODELSWARD, page 361-367. SciTePress, (2016)Hierarchical Clustering of Metamodels for Comparative Analysis and Visualization., , and . ECMFA, volume 9764 of Lecture Notes in Computer Science, page 3-18. Springer, (2016)