Events

Conference & Workshop

Journal reviewer :

• Special Issue on Virtualization for Future Computing Systems, Journal of Parallel and Distributed Computing (JPDC), 2020.

• Computing, 2021.

PC member: Science of Computer Programming Special Issue on Automated Verification of Critical Systems (AVoCS 2015)

Program Committee & Local Arrangements and Publicity Chair: AVoCS15 (15th International Workshop on Automated Verification of Critical Systems)

Sub-reviewer: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS18)