Publicações / Publications

Teses / Thesis

• "Comunicação em sistemas quasi-síncronos: Suporte a aplicações dinâmicas de tempo-real" (Communication in quasi-synchronous systems: Supporting dynamic real-time applications). Carlos Almeida. PhD thesis, Instituto Superior Técnico, Universidade Técnica de Lisboa. January 1998.
• "Entradas/Saídas e Fiabilidade em Sistemas Distribuídos: Aplicação ao Comutador Distribuído Telegráfico CODITEL" (Input/Output and Reliability in Distributed Systems: Application to the Distributed Telegram Router CODITEL). Carlos Almeida. MSc thesis. Instituto Superior Técnico, Universidade Técnica de Lisboa. March 1989.

Capítulos de livros / Chapters in books

• "High Availability in a Real-Time System". Carlos Almeida and Brad Glade and Keith Marzullo and Robbert van Renesse. In Kenneth Birman and Robbert van Renesse (editors), Reliable Distributed Computing With the ISIS Toolkit. IEEE CS Press. 1994. ISBN 0-8186-5342-6.

Artigos em revistas de circulação internacional com arbitragem científica / Papers in international scientific periodicals with referees

• "Schedulability of blocking threads". Manuel Coutinho and Carlos Almeida. IEEE Embedded Systems Letters, vol. 12, no. 4, pp. 125-128, 2020.
• "On the performance of surface electromyography-based onset detection methods with real data in assistive technologies". Margarida Reis and Carlos Almeida and Rui M. Rocha. Multimedia Tools and Applications: Special Issue on Multimedia Tools for Physiological Computing, pp. 1-30, July 2017.
• "System Support and Dependable Adaptation in Small Real-Time Embedded Systems". Carlos Almeida. IEEE LATIN AMERICA TRANSACTIONS, VOL. 14, NO. 10, pp. 4402-4408, October 2016.
• "Timely and Dependable QoS Adaptation in Quasi-Synchronous Systems". Carlos Almeida. International Journal of Computers and Applications, ACTA Press, Volume 33, Number 3, pp. 179-188. 2011.
• "Modular Architecture to Build Group Communication Protocols with Several QoS". Carlos Almeida. IEEE LATIN AMERICA TRANSACTIONS, VOL. 9, NO. 1, pp. 121-129, March 2011.
• "Practical Experience Teaching Embedded Systems". Carlos Almeida. ACM SIGBED Review, Volume 5, Number 3, October 2008.
• "Adaptabilidade e Confiabilidade em Ambientes Dinâmicos: a Abordagem Quasi-Síncrona". Carlos Almeida. IEEE LATIN AMERICA TRANSACTIONS, VOL. 5, NO. 3, pp. 158-164, JUNE 2007.
• "Quasi-Synchronism: a step away from the traditional fault-tolerant real-time system models". Paulo Veríssimo and Carlos Almeida. Bulletin of the Technical Committee on Operating Systems and Application Environments (TCOS). IEEE Computer Society. Winter 1995.
• "High Availability in a Real-Time System". Carlos Almeida and Brad Glade and Keith Marzullo and Robbert van Renesse. ACM Operating Systems Review, 27(2):82-87. April 1993.

Publicações em actas de encontros científicos / Papers in conference proceedings

• "High Availability in Controller Area Networks". R. Pinto, J. Rufino, and C. Almeida. Proceedings of the International Conference on Computer as a Tool (EUROCON 2011), Lisbon, Portugal, April 2011.
• "Enforcing Dependability and Timeliness in CANELy: Application to Spaceborne Data Communication Systems". J. Rufino, P. Verissimo, R. Pinto, C. Almeida, G. Arroz. Proceedings of the 1st International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2011), Vilamoura, Portugal, March 2011.
• "RFID based Monitoring and Access Control System". Filipe Lourenço and Carlos Almeida. In Proceedings of the INFORUM Simpósio de Informática 2009, Lisboa, Portugal, Setembro 2009.
• "Embedded Linux in a partitioned architecture for aerospace applications".  J. Craveiro, J. Rufino, C. Almeida, R. Covelo, and P. Venda.  In Proceedings of the 7th ACS/IEEE International Conference on Computer Systems and Applications, Rabat, Morocco, May 2009.
• "Response Time Analysis of Asynchronous Periodic and Sporadic Tasks Scheduled by a Fixed-Priority Preemptive Algorithm". M. Coutinho and J. Rufino and C. Almeida. In Proceedings of the 20th Euromicro Conference on Real-Time Systems (ECRTS 2008), Prague, Czech Republic, July 2008.
• "FPGA-based Engineering of Bus Media Redundancy in CAN". J. Rufino and R. Pinto and C. Almeida.  In Proceedings of the 12th International CAN Conference, Barcelona, Spain, March 2008.
• "A FPGA-Based Solution for Enforcing Dependability and Timeliness in CAN". J. Rufino and R. Pinto and C. Almeida. IP-based Electronic System Conference and Exhibition Grenoble (IP07), France, Dec. 2007.
• "Enforcing Dependability and Timeliness in Controller Area Networks". J. Rufino, C. Almeida, P. Veríssimo, G. Arroz. In Proceedings of the 32nd Annual Conference of the IEEE Industrial Electronics Society, Paris, France, November 2006.
• "Integrating Inaccessibility Control and Timer Management in CANELy". J. Rufino, P. Veríssimo, C. Almeida, G. Arroz. In Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation, Prague, Czech Republic, September 2006.
• "VITRAL - A Text Mode Window Manager for Real-Time Embedded Kernels". M. Coutinho, C. Almeida, J. Rufino. In Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation, Prague, Czech Republic, September 2006.
• "Interconnected Embedded Systems: Challenges and Main Problems to Solve".  C. Almeida and J. Rufino. In Proceedings of the 6th IEEE International Workshop on Factory Communication Systems (Work in Progress Sessions), Torino, Italy, June 2006.
• "Control of Inaccessibility in CANELy".  J. Rufino, P. Veríssimo, G. Arroz, C. Almeida. In Proceedings of the 6th IEEE International Workshop on Factory Communication Systems, Torino, Italy, June 2006.
• "Control of event handling timeliness in RTEMS".  M. Coutinho, J. Rufino, C. Almeida. In Proceedings of the 17th International Conference on Paralel and Distributed Computing Systems (PDCS 2005), Phoenix, Arizona, USA, November 2005.
• "VITRAL: A text mode windows manager for RTEMS". M. Coutinho, J. Rufino, C. Almeida. In Terceiras Jornadas de Engenharia de Electrónica e Telecomunicações e de Computadores, Lisboa, Portugal, Novembro 2005.
  
• "Gestão do consumo em microprocessadores: Aumento da autonomia sem comprometer a funcionalidade". G. Rijo, C. Almeida, J. Rufino. In Terceiras Jornadas de Engenharia de Electrónica e Telecomunicações e de Computadores, Lisboa, Portugal, Novembro 2005.
  
• "Component Based QoS for Real-Time Group Communications". Carlos Almeida. Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks - PDCN2004. IASTED. Innsbruck, Austria. February 2004.
• "Handling QoS in a Dynamic Real-Time Environment". Carlos Almeida. Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems - WORDS 2003. IEEE. Guadalajara, Mexico. January 2003.
• "Dynamic QoS Adaptability in Quasi-Synchronous Systems". Carlos Almeida. Proceedings of the 14th IASTED International Conference on Parallel and Distributed Computing and Systems - PDCS2002. Cambridge, USA. November 2002.
• "Improving Real-Time Characteristics of a COTS Local Area Network". C. Almeida and J. Rufino. Proceedings of the International Conference on Communications in Computing - CIC2001. CSREA Press. Las Vegas, Nevada, USA. June 2001.
• "Using light-weight groups to handle timing failures in quasi-synchronous systems". Carlos Almeida and Paulo Veríssimo. Proceedings of the 19th IEEE Real-Time Systems Symposium. Madrid, Spain. December 1998.
• "Fault-Tolerant Broadcasts in CAN". J. Rufino, P. Veríssimo, G. Arroz, C. Almeida and L. Rodrigues. Digest of Papers of the 28th IEEE International Symposium on Fault-Tolerant Computing Systems. Munich, Germany. June 1998.
• "Timing Failure Detection and Real-Time Group Communication in Quasi-Synchronous Systems". Carlos Almeida and Paulo Veríssimo. Proceedings of the 8th Euromicro Workshop on Real-Time Systems. L\'Aquila, Italy. June 1996.
• "An Adaptive Real-Time Group Communication Protocol". Carlos Almeida and Paulo Veríssimo. Proceedings of the First IEEE Workshop on Factory Communication Systems. Leysin, Switzerland. October 1995.
• "High Availability in a Real-Time System". Carlos Almeida and Brad Glade and Keith Marzullo and Robbert van Renesse. Proceedings of the 5th ACM SIGOPS European workshop, Mont Saint-Michel, France, September 1992.
• "CORTO: High Availability in a Real-Time System". Carlos Almeida and Keith Marzullo. Proceedings of the First Annual Workshop on Embedded Systems, Austin, Texas, USA. Office of Naval Research. January 1993.
• "CORTO: High Availability in a Real-Time System". Carlos Almeida and Keith Marzullo. Proceedings of the NATO Advanced Study Institute on Real-Time Computing, Sint Maarten, Dutch Antilles. Springer-Verlag NATO. October 1992.
• "CODITEL - A Distributed Telegram Router". Carlos Almeida. Proceedings of the ISMM International Symposium on MINI AND MICROCOMPUTERS AND THEIR APPLICATIONS (MIMI 90). Lugano, Switzerland. June 1990.
• "CODITEL - Comutador Distribuído de Mensagens". C. Cabral, J. Bentes and C. Almeida. 3º Workshop Nacional de Engenharia de Telecomunicações Computadores e Informática. APDC. Aveiro, Portugal. November 1987.
• "Redes de banda larga: o projecto SIFO". C. Almeida, J. Mota and J. Bernardo. 3º Workshop Nacional de Engenharia de Telecomunicações Computadores e Informática. APDC. Aveiro, Portugal. November 1987.

Outras publicações / Other publications (technical reports)

• "Specification and Engineering of the CANELy Prototype Board". R. Pinto, J. Rufino, C. Almeida. DARIO Technical Report RT-06-06. October 2006.
• "CANELy Prototype Board Schematic Specification". R. Pinto, J. Rufino, C. Almeida. DARIO Technical Report RT-05-04. December 2005.
• "Securing the Timeliness of Input/Output Event Handling in Real-Time Kernels". C. Almeida, M. Coutinho, J. Rufino. DARIO Technical Report RT-05-01. June 2005.
• "The Quasi-Synchronous Approach to Fault-Tolerant and Real-Time Communication and Processing". C. Almeida, P. Veríssimo and A. Casimiro. Technical Report CSTC RT-98-04. Instituto Superior Técnico. Lisboa, Portugal. July 1998.
• "DDRAFT: Supporting Dynamic Distributed Real-time Applications with Fault-Tolerance". C. Almeida, J. Rufino and P. Veríssimo. Technical Report CSTC RT-98-02. Instituto Superior Técnico. Lisboa, Portugal. February 1998.
• "Design of Fault-Tolerant Broadcast Protocols for CAN". J. Rufino, P. Veríssimo, G. Arroz, C. Almeida, L. Rodrigues. CSTC Technical Report RT-97-06. Instituto Superior Técnico, Lisboa, Portugal. December 1997.
• "Timing Failure Detection Service: Architecture and Simulation Results". C. Almeida and P. Veríssimo. Technical Report CSTC RT-97-05. Instituto Superior Técnico. Lisboa, Portugal. December 1997.