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

A Software Exoskeleton to Protect and Support Citizen's Ethics and Privacy in the Digital World., , , , and . IEEE Access, (2019)SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors., and . Obj. Logiciel Base données Réseaux, 12 (1): 77-103 (2006)Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023., , , , and . ACM SIGSOFT Softw. Eng. Notes, 49 (1): 24-26 (January 2024)Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems., , , and . J. Syst. Softw., 81 (12): 2210-2236 (2008)Ethical-aware autonomous systems from a social psychological lens., , , and . CoPDA@AVI, volume 3136 of CEUR Workshop Proceedings, page 43-48. CEUR-WS.org, (2022)FLYAQ: Enabling Non-expert Users to Specify and Generate Missions of Autonomous Multicopters., , , , and . ASE, page 801-806. IEEE Computer Society, (2015)SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems., , , and . ICSE, page 784-787. IEEE Computer Society, (2007)A Model-Based Synthesis Process for Choreography Realizability Enforcement., , , , and . FASE, volume 7793 of Lecture Notes in Computer Science, page 37-52. Springer, (2013)Biological Immunity and Software Resilience: Two Faces of the Same Coin?, , , , and . SERENE, volume 9274 of Lecture Notes in Computer Science, page 1-15. Springer, (2015)Aiding the realization of service-oriented distributed systems., , , , and . SAC, page 1701-1710. ACM, (2019)