Follow
Simão Melo de Sousa
Simão Melo de Sousa
Associate Professor, Computer Science Department of the University of Beira Interior
Verified email at di.ubi.pt - Homepage
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
Programming Languages and Systems: 10th European Symposium on Programming …, 2001
902001
Rigorous software development: an introduction to program verification
JB Almeida, MJ Frade, JS Pinto, SM de Sousa
Springer Science & Business Media, 2011
782011
Rigorous software development: an introduction to program verification
JB Almeida, MJ Frade, JS Pinto, SM de Sousa
Springer Science & Business Media, 2011
782011
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
492008
An overview of formal methods tools and techniques
JB Almeida, MJ Frade, JS Pinto, SM de Sousa
Rigorous Software Development, 15-44, 2011
472011
Jakarta: a toolset for reasoning about JavaCard
G Barthe, G Dufay, M Huisman, SM de Sousa
Smart Card Programming and Security: International Conference on Research in …, 2001
402001
A formal correspondence between offensive and defensive JavaCard virtual machines
G Barthe, G Dufay, L Jakubiec, SM de Sousa, B Serpette
VMCAI 2, 32-45, 2002
382002
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
Tool-assisted specification and verification of the JavaCard platform
G Barthe, P Courtieu, G Dufay, SM de Sousa
AMAST 2422, 41-59, 2002
292002
Deciding regular expressions (in-) equivalence in Coq
N Moreira, D Pereira, S Melo de Sousa
Relational and Algebraic Methods in Computer Science: 13th International …, 2012
192012
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
132019
Outils et techniques pour la vérification formelle de la plate-forme JavaCard
SM de Sousa
112003
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
112000
Learning stochastic timed automata from sample executions
A de Matos Pedro, PA Crocker, SM de Sousa
Leveraging Applications of Formal Methods, Verification and Validation …, 2012
102012
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
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
62021
Tezla, an intermediate representation for static analysis of michelson smart contracts
JS Reis, P Crocker, SM de Sousa
arXiv preprint arXiv:2005.11839, 2020
62020
A declarative compositional timing analysis for multicores using the latency-rate abstraction
V Rodrigues, B Akesson, S Melo de Sousa, M Florido
Practical Aspects of Declarative Languages: 15th International Symposium …, 2013
62013
A functional approach to worst-case execution time analysis
V Rodrigues, M Florido, SM de Sousa
Functional and Constraint Logic Programming: 20th International Workshop …, 2011
62011
The system can't perform the operation now. Try again later.
Articles 1–20