Eduardo R. B. Marques

According to our database1, Eduardo R. B. Marques
  • authored at least 11 papers between 2009 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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...