1. IoT Modeling and Verification: From the CaIT Calculus to UPPAAL;IEICE Transactions on Information and Systems;2023-09-01
2. Modelling and verification of reconfigurable multi-agent systems;Autonomous Agents and Multi-Agent Systems;2021-08-26
3. Formal Models of the OSPF Routing Protocol;Electronic Proceedings in Theoretical Computer Science;2020-04-26
4. Modelling and verifying the AODV routing protocol;Distributed Computing;2016-03-04
5. Programming of CAS Systems by Relying on Attribute-Based Communication;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016