João Antunes
Title
Cited by
Cited by
Year
Reverse Engineering of Protocols from Network Traces
J Antunes, N Neves, P Verissimo
Working Conference on Reverse Engineering (WCRE), 2011
1002011
Using Attack Injection to Discover New Vulnerabilities
N Neves, J Antunes, M Correia, P Verissimo, R Neves
Dependable Systems and Networks (DSN), 457-466, 2006
682006
Vulnerability Discovery with Attack Injection
J Antunes, N Neves, M Correia, P Verissimo, R Neves
IEEE Transactions on Software Engineering 36 (3), 357-370, 2010
672010
Detection and Prediction of Resource-Exhaustion Vulnerabilities
J Antunes, NF Neves, PJ Veríssimo
International Symposium on Software Reliability Engineering (ISSRE), 87-96, 2008
392008
ReverX: Reverse Engineering of Protocols
J Antunes, N Neves, P Verissimo
142011
DiveInto: Supporting Diversity in Intrusion-Tolerant Systems
J Antunes, N Neves
Symposium on Reliable Distributed Systems (SRDS), 2011
112011
Recycling test cases to detect security vulnerabilities
J Antunes, N Neves
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
102012
Automatically Complementing Protocol Specifications from Network Traces
J Antunes, N Neves
European Workshop on Dependable Computing (EWDC), 87-92, 2011
102011
Using Behavioral Profiles to Detect Software Flaws in Network Servers
J Antunes, N Neves
International Symposium on Software Reliability Engineering (ISSRE), 2011
72011
Building an automaton towards reverse protocol engineering
J Antunes, N Neves
2009-10)[2011-03]. http://homepages, di. fc. ul. pt/-nuno/PAPERS/INFORUM09, pdf, 2009
62009
Experimental Validation of Architectural Solutions
G Franceschinis, E Alata, J Antunes, H Beitollah, AN Bessani, M Correia, ...
42009
Network attack injection
JAS Antunes
32012
Experimental Validation of Architectural Solutions
S Donatelli, E Alata, J Antunes, M Kaâniche, NF Neves, P Veríssimo
Department of Informatics, University of Lisbon, 2008
32008
Avaliação de Ferramentas de Análise Estática de Código para Detecção de Vulnerabilidades
E Teixeira, J Antunes, N Neves
Segurança Informática nas Organizações (SINO), 2007
32007
Towards compositional hierarchical scheduling frameworks on uniform multiprocessors
JP Craveiro, J Rufino
22012
Vulnerability Assessment Through Attack Injection
J Antunes
Department of Informatics, University of Lisboa, 2006
12006
2014 Reviewers List
R Adams, M Agus, M Alamaniotis, C Aldana, ME Altinsoy, T Amemiya, ...
IEEE Transactions on Haptics 8 (1), 127, 2015
2015
2010 Index IEEE Transactions on Software Engineering Vol. 36
S Ali, H Aljazzar, K Anastasakis, J Antunes, E Arisholm, S Artzi, GK Baah, ...
IEEE Transactions on Software Engineering 36 (6), 1, 2010
2010
Vulnerability Assessment Through Attack Injection: A methodology for discovering vulnerabilities
J Antunes
VDM Verlag, 2009
2009
Building an Automaton Towards Protocol Reverse Engineering
J Antunes, N Neves
Actas do Simpósio de Informática Inforum 2009, 2009
2009
The system can't perform the operation now. Try again later.
Articles 1–20