João Alexandre Simões Antunes
AuthID: R-000-6RC
1
TÃTULO: Recycling Test Cases to Detect Security Vulnerabilities
AUTORES: João Antunes; Nuno Ferreira Neves ;
PUBLICAÇÃO: 2012, FONTE: 2012 IEEE 23rd International Symposium on Software Reliability Engineering, ISSRE 2012 in 23rd IEEE International Symposium on Software Reliability Engineering, ISSRE 2012, Dallas, TX, USA, November 27-30, 2012
AUTORES: João Antunes; Nuno Ferreira Neves ;
PUBLICAÇÃO: 2012, FONTE: 2012 IEEE 23rd International Symposium on Software Reliability Engineering, ISSRE 2012 in 23rd IEEE International Symposium on Software Reliability Engineering, ISSRE 2012, Dallas, TX, USA, November 27-30, 2012
2
TÃTULO: Using Behavioral Profiles to Detect Software Flaws in Network Servers
AUTORES: Joao Antunes; Nuno Ferreira Neves ;
PUBLICAÇÃO: 2011, FONTE: 22nd IEEE International Symposium on Software Reliability Engineering (ISSRE) in 22ND IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE)
AUTORES: Joao Antunes; Nuno Ferreira Neves ;
PUBLICAÇÃO: 2011, FONTE: 22nd IEEE International Symposium on Software Reliability Engineering (ISSRE) in 22ND IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE)
3
TÃTULO: DiveInto: Supporting Diversity in Intrusion-Tolerant Systems Full Text
AUTORES: Joao Antunes; Nuno Neves ;
PUBLICAÇÃO: 2011, FONTE: 30th IEEE International Symposium on Reliable Distributed Systems (SRDS) in 2011 30TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS)
AUTORES: Joao Antunes; Nuno Neves ;
PUBLICAÇÃO: 2011, FONTE: 30th IEEE International Symposium on Reliable Distributed Systems (SRDS) in 2011 30TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS)
4
TÃTULO: Automatically complementing protocol specifications from network traces
AUTORES: João Antunes; Nuno Ferreira Neves ;
PUBLICAÇÃO: 2011, FONTE: 13th European Workshop on Dependable Computing, EWDC 2011 in Proceedings of the 13th European Workshop on Dependable Computing, EWDC '11, Pisa, Italy, May 11-12, 2011
AUTORES: João Antunes; Nuno Ferreira Neves ;
PUBLICAÇÃO: 2011, FONTE: 13th European Workshop on Dependable Computing, EWDC 2011 in Proceedings of the 13th European Workshop on Dependable Computing, EWDC '11, Pisa, Italy, May 11-12, 2011
5
TÃTULO: Reverse engineering of protocols from network traces Full Text
AUTORES: Antunes, J; Neves, N ; Verissimo, P ;
PUBLICAÇÃO: 2011, FONTE: 18th Working Conference on Reverse Engineering, WCRE 2011 in Proceedings - Working Conference on Reverse Engineering, WCRE
AUTORES: Antunes, J; Neves, N ; Verissimo, P ;
PUBLICAÇÃO: 2011, FONTE: 18th Working Conference on Reverse Engineering, WCRE 2011 in Proceedings - Working Conference on Reverse Engineering, WCRE
6
TÃTULO: Vulnerability Discovery with Attack Injection Full Text
AUTORES: Joao Antunes; Nuno Neves ; Miguel Correia ; Paulo Verissimo ; Rui Neves ;
PUBLICAÇÃO: 2010, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 36, NÚMERO: 3
AUTORES: Joao Antunes; Nuno Neves ; Miguel Correia ; Paulo Verissimo ; Rui Neves ;
PUBLICAÇÃO: 2010, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 36, NÚMERO: 3
7
TÃTULO: A database visualization tool for ATLAS monitoring objects
AUTORES: Antonio Amorim; Joao Batista; Marta Brandao; Serguei Kolos; Ricardo Neves; Paulo Pereira; Joao Simoes; Pasquale Federico Zema;
PUBLICAÇÃO: 2007, FONTE: 15th IEEE/NPSS Real-Time Conference 2007 in 2007 15TH IEEE-NPSS REAL-TIME CONFERENCE, VOLS 1 AND 2
AUTORES: Antonio Amorim; Joao Batista; Marta Brandao; Serguei Kolos; Ricardo Neves; Paulo Pereira; Joao Simoes; Pasquale Federico Zema;
PUBLICAÇÃO: 2007, FONTE: 15th IEEE/NPSS Real-Time Conference 2007 in 2007 15TH IEEE-NPSS REAL-TIME CONFERENCE, VOLS 1 AND 2
8
TÃTULO: Online access to ATLAS conditions databases
AUTORES: Lourenco Lopes; Antonio Amorim; Joao Simoes; Paulo Pereira; Igor Soloviev; Serguei Kolos; Mihai Caprini;
PUBLICAÇÃO: 2007, FONTE: 15th IEEE/NPSS Real-Time Conference 2007 in 2007 15TH IEEE-NPSS REAL-TIME CONFERENCE, VOLS 1 AND 2
AUTORES: Lourenco Lopes; Antonio Amorim; Joao Simoes; Paulo Pereira; Igor Soloviev; Serguei Kolos; Mihai Caprini;
PUBLICAÇÃO: 2007, FONTE: 15th IEEE/NPSS Real-Time Conference 2007 in 2007 15TH IEEE-NPSS REAL-TIME CONFERENCE, VOLS 1 AND 2
9
TÃTULO: Using attack injection to discover new vulnerabilities
AUTORES: Nuno Neves ; Joao Antunes; Miguel Correia ; Paulo Verissimo ; Rui Neves ;
PUBLICAÇÃO: 2006, FONTE: International Conference on Dependable Systems and Networks in DSN 2006 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, VOLUME: 2006
AUTORES: Nuno Neves ; Joao Antunes; Miguel Correia ; Paulo Verissimo ; Rui Neves ;
PUBLICAÇÃO: 2006, FONTE: International Conference on Dependable Systems and Networks in DSN 2006 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, VOLUME: 2006
