Eduardo R. B. Marques

According to our database1, Eduardo R. B. Marques authored at least 15 papers between 2009 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Dolphin: a task orchestration language for autonomous vehicle networks.
CoRR, 2018

Video Dissemination in Untethered Edge-Clouds: A Case Study.
Proceedings of the Distributed Applications and Interoperable Systems, 2018

2017
Streaming sensor data from dynamically reprogrammable tasks running on mobile devices.
Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments, 2017

Towards a middleware for mobile edge-cloud applications.
Proceedings of the 2nd Workshop on Middleware for Edge Clouds & Cloudlets, 2017

P3-Mobile: Parallel Computing for Mobile Edge-Clouds.
Proceedings of the 4th Workshop on CrossCloud Infrastructures & Platforms, CrossCloud@EuroSys 2017, Belgrade, Serbia, April 23, 2017

2015
NVL: a coordination language for unmanned vehicle networks.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Protocol-based verification of message-passing parallel programs.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014
Fine-grained Patches for Java Software Upgrades.
CoRR, 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, 2014

2013
Towards deductive verification of MPI programs against session types.
Proceedings of the Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2013

Fine-grained Patches for Java Software Upgrades.
Proceedings of the 5th Workshop on Hot Topics in Software Upgrades, 2013

2012
Verification of MPI Programs Using Session Types.
Proceedings of the Recent Advances in the Message Passing Interface, 2012

2011
Runtime Programming through Model-Preserving, Scalable Runtime Patches.
Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010
Runtime Programming through Model-Preserving, Scalable Runtime Patches.
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

2009
Distributed, Modular HTL.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009


  Loading...