Login

Ricardo Barbosa (Publications)

Ricardo Barbosa (Publications)

Ricardo Barbosa (Publications)

Junior Researcher

Ricardo Barbosa is currently taking a BSc degree in Computer Engineering from the School of Engineering of the Polytechnic Institute of Porto. He is interested in programming mechanisms for fault-tolerant real-time distributed systems, particularly with Ada 95.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Conference or Workshop Papers/Talks
An Ada Framework for QoS-Aware Applications HURRAY-TR-050601 
Luis Miguel Pinho, Luis Miguel Nogueira, Ricardo Barbosa10th International Conference on Reliable Software Technologies (Ada-Europe 2005), Springer Berlin Heidelberg. 20, Jun, 2005, Lecture Notes in Computer Science, 3555, pp 25-38. York, United Kingdom.
Mechanisms for Reflection-based Monitoring of Real-Time Systems HURRAY-TR-0420 
Ricardo Barbosa, Luis Miguel PinhoWork in Progress Session, 16th Euromicro Conference on Real-Time Systems (ECRTS '04). 30, Jun, 2004, pp 21-24. Catania, Italy.
Verifying, Validating and Monitoring the Open Ravenscar Real Time Kernel HURRAY-TR-0312 
Ricardo Maia, Francisco Moreira, Ricardo Barbosa, Diamantino Costa, Patricia Rodriguez, Kjeld Hjortnaes, Luis Miguel Pinho12th International Real-Time Ada Workshop (IRTAW '03), ACM New York. 15, Sep, 2003, pp 74-81. Viana do Castelo, Portugal.Also in ACM Ada Letters, Volume XXIII, Number 4, Dec 2003, pp. 74-81.
Monitoring and Profiling Business and Mission Critical Real-Time Systems HURRAY-TR-0306 
Ricardo Barbosa, Ricardo Maia, Luis Miguel PinhoWork in Progress Session, 15th Euromicro Conference on Real-Time Systems (ECRTS 2003). 2, Jul, 2003, pp 41-44. Porto, Portugal.
Technical Reports
Monitoring of Real Time Systems: a case for Reflection? HURRAY-TR-0413 
Ricardo Barbosa, Luis Miguel Pinho1, Apr, 2004.