Takip et
Simão Melo de Sousa
Simão Melo de Sousa
Full Professor, Algarve University
ualg.pt üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Rigorous software development: an introduction to program verification
JB Almeida, MJ Frade, JS Pinto, SM de Sousa
Springer Science & Business Media, 2011
912011
Rigorous software development: an introduction to program verification
JB Almeida, MJ Frade, JS Pinto, SM de Sousa
Springer Science & Business Media, 2011
912011
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
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
582008
An overview of formal methods tools and techniques
JB Almeida, MJ Frade, JS Pinto, SM de Sousa
Rigorous Software Development, 15-44, 2011
552011
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
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
372002
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
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
222021
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
212012
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
152012
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
92013
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
82000
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
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
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20