Simão Melo de Sousa
Simão Melo de Sousa
Associate Professor, Computer Science Department of the University of Beira Interior
Dirección de correo verificada de di.ubi.pt - Página principal
Título
Citado por
Citado por
Año
A formal executable semantics of the JavaCard platform
G Barthe, G Dufay, L Jakubiec, B Serpette, SM De Sousa
European Symposium on Programming, 302-319, 2001
802001
Rigorous software development: an introduction to program verification
JB Almeida, MJ Frade, JS Pinto, SM de Sousa
Springer Science & Business Media, 2011
652011
Rigorous software development: an introduction to program verification
JB Almeida, MJ Frade, JS Pinto, SM de Sousa
Springer Science & Business Media, 2011
652011
Secure biometric authentication with improved accuracy
M Barbosa, T Brouard, S Cauchie, SM De Sousa
Australasian Conference on Information Security and Privacy, 21-36, 2008
462008
An overview of formal methods tools and techniques
JB Almeida, MJ Frade, JS Pinto, SM de Sousa
Rigorous Software Development, 15-44, 2011
392011
Jakarta: a toolset for reasoning about JavaCard
G Barthe, G Dufay, M Huisman, SM De Sousa
International Conference on Research in Smart Cards, 2-18, 2001
362001
A formal correspondence between offensive and defensive JavaCard virtual machines
G Barthe, G Dufay, L Jakubiec, SM de Sousa
International Workshop on Verification, Model Checking, and Abstract …, 2002
352002
Partial Derivative Automata Formalized in Coq
JB Almeida, N Moreira, D Pereira, SM de Sousa
International Conference on Implementation and Application of Automata, 59-68, 2010
272010
Tool-assisted specification and verification of the JavaCard platform
G Barthe, P Courtieu, G Dufay, SM de Sousa
International Conference on Algebraic Methodology and Software Technology, 41-59, 2002
272002
Deciding regular expressions (in-) equivalence in Coq
N Moreira, D Pereira, SM de Sousa
International Conference on Relational and Algebraic Methods in Computer …, 2012
172012
Learning stochastic timed automata from sample executions
A de Matos Pedro, PA Crocker, SM de Sousa
International Symposium On Leveraging Applications of Formal Methods …, 2012
112012
Outils et techniques pour la vérification formelle de la plate-forme JavaCard
SM de Sousa
102003
E-id authentication and uniform access to cloud storage service providers
J Gouveia, PA Crocker, SM de Sousa, R Azevedo
2013 IEEE 5th International Conference on Cloud Computing Technology and …, 2013
92013
Certifying execution time in multicores
V Rodrigues, B Akesson, M Florido, SM de Sousa, JP Pedroso, ...
Science of Computer Programming 111, 505-534, 2015
72015
A declarative compositional timing analysis for multicores using the latency-rate abstraction
V Rodrigues, B Akesson, SM de Sousa, M Florido
International Symposium on Practical Aspects of Declarative Languages, 43-59, 2013
52013
A functional approach to worst-case execution time analysis
V Rodrigues, M Florido, SM de Sousa
International Workshop on Functional and Constraint Logic Programming, 86-103, 2011
52011
On the mechanization of Kleene algebra in Coq
N Moreira, D Pereira, SM de Sousa
Technical Report DCC-2009-03, DCC-FC&LIACC, Universidade do Porto, 2009
52009
Lissom, a source level proof carrying code platform
J Gomes, D Martins, SM de Sousa, JS Pinto
arXiv preprint arXiv:0803.2317, 2008
52008
Greenhub farmer: real-world data for android energy mining
H Matalonga, B Cabral, F Castor, M Couto, R Pereira, SM de Sousa, ...
2019 IEEE/ACM 16th International Conference on Mining Software Repositories …, 2019
42019
Certifying execution time
V Rodrigues, JP Pedroso, M Florido, SM de Sousa
International Workshop on Foundational and Practical Aspects of Resource …, 2011
32011
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20