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

Distributed, Modular HTL., , , and . RTSS, page 171-180. IEEE Computer Society, (2009)Video Dissemination in Untethered Edge-Clouds: A Case Study., , , , and . DAIS, volume 10853 of Lecture Notes in Computer Science, page 137-152. Springer, (2018)Streaming sensor data from dynamically reprogrammable tasks running on mobile devices., , and . BuildSys@SenSys, page 10:1-10:10. ACM, (2017)NVL: a coordination language for unmanned vehicle networks., , , , and . SAC, page 331-334. ACM, (2015)Fine-grained Patches for Java Software Upgrades.. HotSWUp, USENIX Association, (2013)Fine-grained Patches for Java Software Upgrades.. CoRR, (2014)Verification of MPI Programs Using Session Types., , , , , and . EuroMPI, volume 7490 of Lecture Notes in Computer Science, page 291-293. Springer, (2012)Dolphin: A Task Orchestration Language for Autonomous Vehicle Networks., , , and . IROS, page 603-610. IEEE, (2018)Cooperari: a tool for cooperative testing of multithreaded Java programs., , and . PPPJ, page 200-206. ACM, (2014)Towards deductive verification of MPI programs against session types., , , , and . PLACES, volume 137 of EPTCS, page 103-113. (2013)