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