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

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)A Process-Centric Approach to Insider Threats Identification in Information Systems., , and . CRiSIS, volume 14529 of Lecture Notes in Computer Science, page 231-247. Springer, (2023)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)Federated Learning and catastrophic forgetting in pervasive computing: demonstration in HAR domain., , , and . PerCom Workshops, page 310-315. 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)Learning EFSM Models with Registers in Guards., , , , , and . CoRR, (2024)