From post

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.

 

Другие публикации лиц с тем же именем

A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems., , и . FMICS, том 13487 из Lecture Notes in Computer Science, стр. 226-243. Springer, (2022)RERS 2019: Combining Synthesis with Real-World Models., , , , , , , , , и 1 other автор(ы). TACAS (3), том 11429 из Lecture Notes in Computer Science, стр. 101-115. Springer, (2019)An interview study about the use of logs in embedded software engineering., , , , , и . Empir. Softw. Eng., 28 (2): 43 (марта 2023)Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit., , , , , , , , , и 6 other автор(ы). TACAS (2), том 13994 из Lecture Notes in Computer Science, стр. 44-52. Springer, (2023)Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis., , и . CASE, стр. 777-783. IEEE, (2021)Improving Model Inference in Industry by Combining Active and Passive Learning., , , , , , и . SANER, стр. 253-263. IEEE, (2019)CIF 3: Model-Based Engineering of Supervisory Controllers., , , , , , и . TACAS, том 8413 из Lecture Notes in Computer Science, стр. 575-580. Springer, (2014)Constructive Model Inference: Model Learning for Component-based Software Architectures., , , , и . ICSOFT, стр. 146-158. SCITEPRESS, (2022)A Systematic Approach for Interfacing Component-Based Software with an Active Automata Learning Tool., и . ISoLA (2), том 13702 из Lecture Notes in Computer Science, стр. 216-236. Springer, (2022)gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior., и . MODELS, стр. 285-295. IEEE, (2023)