1. Blockchain based Secure Erlang Server for Request based Group Communication over XMPP;2023 International Conference on Advances in Intelligent Computing and Applications (AICAPS);2023-02-01
2. A correct-by-construction model for asynchronously communicating systems;International Journal on Software Tools for Technology Transfer;2016-04-22
3. Automated Choreography Repair;Fundamental Approaches to Software Engineering;2016
4. A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols;Communications in Computer and Information Science;2015
5. Automatic verification of interactions in asynchronous systems with unbounded buffers;Proceedings of the 29th ACM/IEEE international conference on Automated software engineering;2014-09-15