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.
- (1/Feb/2015) A new European project has started, called SUPERCLOUD - User-Centric Management of Security and Dependability in Cloud of Clouds
- (1/Oct/2014) A new European project has started, called SEGRID - Security for smart Electricity GRIDs
- Fernando Alves, Vinicius Vielmo Cogo, Sebastian Wandelt, Ulf Leser, Alysson Bessani, “On-Demand Indexing for Referential Compression of DNA Sequences”, PLoS ONE, vol. 10, no. 7, pp. e0132460, Jul. 2015.
- Alysson Bessani, Ricardo Mendes, Tiago Oliveira, “On the Consistency of Heterogeneous Composite Objects”, in Proceedings of the 2nd Workshop on Principles and Practice of Consistency for Distributed Data - PaPoC 2015 (together with EuroSys'15), Bordeux, France, Apr. 2015.
- Tobias Distler, Christopher Bahn, Alysson Bessani, Frank Fischer, Flavio Junqueira, “Extensible Distributed Coordination”, in Proceedings of the Tenth ACM European Conference on Computer Systems - EuroSys '15, Bordeux, France, Apr. 2015.
- Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “Detecting and Removing Web Application Vulnerabilities with Static Analysis and Data Mining”, IEEE Transactions on Reliability, accepted for publication, 2015.
- Jeferson L. R. Souza, José Rufino, “The Wi-STARK Architecture For Resilient Real-Time Wireless Communications”, ACM SIGBED Review, vol. 11, no. 4, pp. 1–6, Dec. 2014.
- 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.
- Ricardo Correia Pinto, José Rufino, “Exploiting Non-intrusive Monitoring in Real-Time Embedded Operating Systems”, in Proceedings of the 4th Embedded Operating Systems Workshop (EWiLi 2014) - Poster Session, Lisbon, Portugal, Nov. 2014, pp. 1–2.
- Jeferson L. R. Souza, Ricardo Correia Pinto, José Rufino, “Mechanisms to Enforce Dependability and Timeliness in Wireless Communications”, in Proceedings of the 2nd International IEEE Conference on Wireless for Space Applications and Extreme Environments (WiSEE 2014), European Space Agency, Noordwijk, The Netherlands, Oct. 2014, pp. 1–6.
- Ricardo Correia Pinto, José Rufino, “Exploitation of Non-intrusive Monitoring in Real-Time Embedded Systems”, Sept. 2014.
- Eric Vial, António Casimiro, “Evaluation of Safety Rules in a Safety Kernel-Based Architecture”, in Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS'14), SAFECOMP 2014 Workshops, A. Bondavalli et al., Eds., ser. LNCS. Florence, Italy: Springer International Publishing, Sept. 2014, pp. 27–35.
Friday, 2015-June-25, 11h30-12h00 , room C6.3.38
Title: Trusted Distributed Processing Over a Large State
Presenter: Bruno Vavala
Friday, 2015-June-05, 12h15-14h00, room C6.3.38
Title: SDN-based Network Monitoring Under Attack
Presenter: Ricardo Fonseca
Title: Fault Tolerant Precision Time Protocol for Smart Grids