Pedro Martins

From Navigators

Projects

Past projects

• CORTEX (CO-operating Real-time senTient objects: architecture and EXperimental evaluation)
• DEAR-COTS (Distributed Embedded Architectures using Commercial Off-The-Shelf Components)

Publications

• Pedro Martins, Paulo Sousa, António Casimiro, Paulo Verissimo, “A New Programming Model for Dependable Adaptive Real-Time Applications”, IEEE Distributed Systems Online, vol. 6, no. 5, 2005., May 2005.

• Pedro Martins, Paulo Sousa, António Casimiro, Paulo Verissimo, “Dependable Adaptive Real-Time Applications in Wormhole-based Systems”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN'04), Florence, Italy, June 2004, Jul. 2004.

• V. Cahill, António Casimiro, Jörg Kaiser, Pedro Martins, V. Reynolds, Paulo Sousa, Paulo Verissimo, M. Wu, “Proof-of-concept prototypes”, Missing institution, Tech. Rep., Apr. 2003. Technical Report DI/FCUL TR-03-20, Department of Computer Science, University of Lisbon. July 2003

• G. Blair, C. Brudna, V. Cahill, António Casimiro, R. Cunningham, H. Duran-Limon, Jörg Kaiser, Pedro Martins, Paulo Verissimo, “Preliminary Specification of Basic Services and Protocols”, Missing institution, Tech. Rep., Feb. 2003. Technical Report DI/FCUL TR-03-18, Department of Computer Science, University of Lisbon. July 2003

• Pedro Martins, Paulo Verissimo, “The Timely Computing Base and its Future Trends”, in Proceedings of the 7th CaberNet Radicals Workshop, Bertinoro, Italy, Oct. 2002., Oct. 2002.

• António Casimiro, Pedro Martins, Paulo Verissimo, Luís Rodrigues, “Measuring Distributed Durations with Stable Errors”, in Proceedings of the 22nd IEEE Real-Time Systems Symposium, London, UK, December 2001, Dec. 2001.

• António Casimiro, Pedro Martins, Paulo Verissimo, “How to Build a Timely Computing Base using Real-Time Linux”, in in Proceedings of the 2000 IEEE International Workshop on Factory Communication Systems, Porto, Portugal, September 2000., Sept. 2000.

• Pedro Martins, António Casimiro, “Event Timestamping Tool: a simple PC based kernel to timestamp distributed events”, Missing institution, Tech. Rep., Jul. 2000. Technical Report DI/FCUL TR-00-4, Department of Informatics, University of Lisboa, July 2000

BibTeX