Follow
Simão Melo de Sousa
Title
Cited by
Cited by
Year
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
892001
Rigorous software development: an introduction to program verification
JB Almeida, MJ Frade, JS Pinto, SM de Sousa
Springer Science & Business Media, 2011
872011
Rigorous software development: an introduction to program verification
JB Almeida, MJ Frade, JS Pinto, SM de Sousa
Springer Science & Business Media, 2011
872011
Secure biometric authentication with improved accuracy
M Barbosa, T Brouard, S Cauchie, SM De Sousa
Information Security and Privacy: 13th Australasian Conference, ACISP 2008 …, 2008
562008
An overview of formal methods tools and techniques
JB Almeida, MJ Frade, JS Pinto, SM de Sousa
Rigorous Software Development, 15-44, 2011
522011
A formal correspondence between offensive and defensive JavaCard virtual machines
G Barthe, G Dufay, L Jakubiec, SM de Sousa
Verification, Model Checking, and Abstract Interpretation: Third …, 2002
392002
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
392001
Tool-assisted specification and verification of the JavaCard platform
G Barthe, P Courtieu, G Dufay, SM de Sousa
Algebraic Methodology and Software Technology: 9th International Conference …, 2002
302002
Partial Derivative Automata Formalized in Coq
JB Almeida, N Moreira, D Pereira, SM de Sousa
Implementation and Application of Automata: 15th International Conference …, 2011
292011
Deciding regular expressions (in-) equivalence in Coq
N Moreira, D Pereira, S Melo de Sousa
International Conference on Relational and Algebraic Methods in Computer …, 2012
202012
GreenHub: a large-scale collaborative dataset to battery consumption analysis of android devices
R Pereira, H Matalonga, M Couto, F Castor, B Cabral, P Carvalho, ...
Empirical Software Engineering 26, 1-55, 2021
162021
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
152019
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
122012
Tezla, an intermediate representation for static analysis of michelson smart contracts
JS Reis, P Crocker, SM de Sousa
arXiv preprint arXiv:2005.11839, 2020
112020
Outils et techniques pour la vérification formelle de la plate-forme JavaCard
SM de Sousa
112003
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
102013
Formalization in Coq of the Java Card virtual machine
G Barthe, G Dufay, L Jakubiec, B Serpette, S Sousa, S Yu
Formal Techniques for Java Programs 2000, 2000
102000
Whylson: Proving your michelson smart contracts in why3
LPA da Horta, JS Reis, M Pereira, SM de Sousa
arXiv preprint arXiv:2005.14650, 2020
72020
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, S Melo de Sousa, M Florido
International Symposium on Practical Aspects of Declarative Languages, 43-59, 2013
62013
The system can't perform the operation now. Try again later.
Articles 1–20