Suivre
Simão Melo de Sousa
Titre
Citée par
Citée par
Année
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
882011
Rigorous software development: an introduction to program verification
JB Almeida, MJ Frade, JS Pinto, SM de Sousa
Springer Science & Business Media, 2011
882011
An overview of formal methods tools and techniques
JB Almeida, MJ Frade, JS Pinto, SM de Sousa
Rigorous Software Development, 15-44, 2011
562011
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
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
382001
Partial Derivative Automata Formalized in Coq
JB Almeida, N Moreira, D Pereira, SM de Sousa
Implementation and Application of Automata: 15th International Conference …, 2011
302011
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
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
232021
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 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
162019
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
Nice, 2003
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
92000
Whylson: Proving your michelson smart contracts in why3
LPA da Horta, JS Reis, M Pereira, SM de Sousa
arXiv preprint arXiv:2005.14650, 2020
82020
A tool for proving Michelson smart contracts in WHY3
LPA da Horta, JS Reis, SM de Sousa, M Pereira
2020 IEEE International Conference on Blockchain (Blockchain), 409-414, 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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20