Követés
Simão Melo de Sousa
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
902001
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
382002
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
302010
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
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
222012
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
A tool for implementing privacy in nano
R Morais, P Crocker, SM de Sousa
2020 IEEE International Conference on Decentralized Applications and …, 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
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20