Author of the publication

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

Alliance of model-driven engineering with a proof-based formal approach., , and . Innov. Syst. Softw. Eng., 16 (3): 289-307 (2020)An SMT-based approach for generating trace examples and counter-examples of parametric properties., , , and . Int. J. Crit. Comput. Based Syst., 10 (2): 143-183 (2021)Applying Formal Reasoning to Model Transformation: The Meeduse solution., , and . TTC@STAF, volume 2550 of CEUR Workshop Proceedings, page 33-44. CEUR-WS.org, (2019)SEEMP: An Semantic Interoperability Infrastructure for e-Government Services in the Employment Sector., , , , , , , , , and 1 other author(s). ESWC, volume 4519 of Lecture Notes in Computer Science, page 220-234. Springer, (2007)Federated Continual Learning through distillation in pervasive computing., , , and . SMARTCOMP, page 86-91. IEEE, (2022)An Environment for the ParTraP Trace Property Language (Tool Demonstration)., , , , , and . RV, volume 11237 of Lecture Notes in Computer Science, page 437-446. Springer, (2018)Active Inference of EFSMs Without Reset., , , , , and . ICFEM, volume 14308 of Lecture Notes in Computer Science, page 29-46. Springer, (2023)A Formal MDE Framework for Inter-DSL Collaboration., , , and . COORDINATION, volume 13908 of Lecture Notes in Computer Science, page 232-249. Springer, (2023)Federated Learning and catastrophic forgetting in pervasive computing: demonstration in HAR domain., , , and . PerCom Workshops, page 310-315. IEEE, (2022)Revisiting Ontology Evolution Patterns - A Formal xDSL Approach., , and . MEDI Workshops, volume 1751 of Communications in Computer and Information Science, page 165-178. Springer, (2022)