Main Page
From Navigators
We are the Navigators, a research team on distributed systems, their architectures, their algorithms, in their several skins: fault tolerance, real-time, security, and combinations thereof.
We also pursue the quest for the right balance between science and technology. Some people say that Informatics (a.k.a. computer science and engineering) belongs to a new breed, of what are called techno-sciences. We believe that techno-scientists should accompany theoretical mastery with a deep knowledge of their environment — computer technology — as well as astro-physicists know the sky, or marine biologists know the sea.
We study new theories to explain distributed systems, and new algorithms to take advantage from them. But we also like to do proof-of-concept experiments about the theory we work on. We try that our papers and theses tell a good story as clearly as possible. We work hard for our demonstrations to be convincing and captivating. Because we believe science is made for others.
Our greatest riches are our culture, and our researchers and students. If you believe in the former, you can become one of the latter. Welcome!
Announcements
Latest publications
- Diego Kreutz, Alysson Bessani, Eduardo Feitosa, Hugo Cunha, “Towards Secure and Dependable Authentication and Authorization Infrastructures”, in 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), Singapore, Nov. 2014.
- Jeferson L. R. Souza, José Rufino, “Low Level Error Detection For Real-Time Wireless Communications”, in 13th International Workshop on Real-Time Networks (RTN) - In Conjunction with 26th Euromicro International Conference on Real-Time Systems (ECRTS), Madrid, Spain, Jul. 2014.
- Ricardo Correia Pinto, José Rufino, “Towards Non-invasive Run-time Verification of Real-Time Systems”, in Work-in-Progress Session of the 26th Euromicro Conference on Real-Time Systems (ECRTS), Madrid, Spain, Jul. 2014, pp. 25–28.
- Fernando Alves, Vinicius Vielmo Cogo, Alysson Bessani, “Indexação sob Demanda para a Compressão Referencial de Ficheiros de ADN”, in 6th Simpósio de Informática (INFORUM), Jul. 2014, pp. 12.
- Miguel Garcia, Alysson Bessani, Ilir Gashi, Nuno Ferreira Neves, Rafael R. Obelheiro, “Analysis of OS Diversity for Intrusion Tolerance”, Software: Practice and Experience, vol. 44, no. 8, pp. 735–770, Jun. 2014.
- Alysson Bessani, João Sousa, Eduardo Alchieri, “State Machine Replication for the Masses with BFT-SMART”, in 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Atlanta, USA, Jun. 2014.
- Ibéria Medeiros, Nuno Neves, Miguel Correia, “Web Application Protection with the WAP Tool”, in Fast Abstract at the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Atlanta, USA, Jun. 2014.
- David Matos, Nuno Neves, Alysson Bessani, “SITAN: Services for Ad Hoc Networks with Unknown Participants”, in Fast Abstract at the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Atlanta, USA, Jun. 2014.
- Diego Kreutz, Fernando Ramos, Paulo Verissimo, “Anchors of Trust for Autonomic and Secure Configuration and Assessment in SDN”, in Fast Abstract at the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Atlanta, USA, Jun. 2014.
- Alysson Bessani, Ricardo Mendes, Tiago Oliveira, Nuno Ferreira Neves, Miguel Correia, Marcelo Pasin, Paulo Verissimo, “SCFS: A Shared Cloud-backed File System”, in the 2014 USENIX Annual Technical Conference (USENIX-ATC), Philadelphia, PA, US, Jun. 2014.
Events
TBD
