Bárbara Vieira

According to our database, Bárbara Vieira authored at least 12 papers between 2009 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

A Framework for Combining and Ranking Static Analysis Tool Findings Based on Tool Performance Statistics.

Achilleas Xypolytos, Haiyun Xu, Bárbara Vieira, Amr M. T. Ali-Eldin

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

2015

An Information-Centric Communication Infrastructure for Real-Time State Estimation of Active Distribution Networks.

Wei Koong Chai, Ning Wang, Konstantinos V. Katsaros, George Kamel, George Pavlou, Stijn Melis, Michael Hoefling, Bárbara Vieira, Paolo Romano, Styliani Sarri, Teklemariam Tsegay Tesfay, Binxu Yang, Florian Heimgaertner, Marco Pignati, Mario Paolone, Michael Menth, Erik Poll, Marcel Mampaey, Herman H. I. Bontius, Chris Develder

IEEE Trans. Smart Grid, 2015

Securing the Information Infrastructure for EV Charging.

Fabian van den Broek, Erik Poll, Bárbara Vieira

Proceedings of the Wireless and Satellite Systems, 2015

A security architecture for the publish/subscribe C-DAX middleware.

Florian Heimgaertner, Michael Hoefling, Bárbara Vieira, Erik Poll, Michael Menth

Proceedings of the IEEE International Conference on Communication, 2015

2014

CAOVerif: An open-source deductive verification platform for cryptographic software implementations.

José Bacelar Almeida, Manuel Barbosa, Jean-Christophe Filliâtre, Jorge Sousa Pinto, Bárbara Vieira

Sci. Comput. Program., 2014

Supporting smart electric vehicle charging with information-centric networking.

Konstantinos V. Katsaros, Wei Koong Chai, Bárbara Vieira, George Pavlou

Proceedings of the 10th International Conference on Heterogeneous Networking for Quality, 2014

2013

Formal verification of side-channel countermeasures using self-composition.

José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira

Sci. Comput. Program., 2013

A security protocol for information-centric networking in smart grids.

Bárbara Vieira, Erik Poll

Proceedings of the SEGS'13, 2013

2012

Formal verification of cryptographic software implementations

Bárbara Vieira

PhD thesis, 2012

2010

Deductive verification of cryptographic software.

José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira

Innov. Syst. Softw. Eng., 2010

A Deductive Verification Platform for Cryptographic Software.

Manuel Barbosa, Jorge Sousa Pinto, Jean-Christophe Filliâtre, Bárbara Vieira

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

2009

Verifying Cryptographic Software Correctness with Respect to Reference Implementations.

José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira

Proceedings of the Formal Methods for Industrial Critical Systems, 2009