NVL: a coordination language for unmanned vehicle networks. ACM Symposium on Applied Computing (SAC'15).(2015).
Towards Programmable Coordination of Unmanned Vehicle Networks. IFAC NGCUV'15 (to appear).(2015).
Cooperari: A Tool for Cooperative Testing of Multithreaded Java Programs. PPPJ'14: 2014 International Conference on Principles and Practices of Programming on the Java Platform.(2014).
Cooperari A tool for cooperative testing of multithreaded Java programs. Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools. 200–206.(2014).
Fine-grained patches for Java software upgrades. HotSWUp'13.(2013).
The LSTS Toolchain for Networked Vehicle Systems. IEEE/MTS Oceans'13.(2013).
Towards deductive verification of MPI programs against session types. arXiv preprint arXiv:1312.2705.(2013).
Verification of MPI programs using session types. Recent Advances in the Message Passing Interface. 291–293.(2012).