| Rigorous software development: an introduction to program verification JB Almeida, MJ Frade, JS Pinto, SM de Sousa Springer Science & Business Media, 2011 | 91 | 2011 |
| Rigorous software development: an introduction to program verification JB Almeida, MJ Frade, JS Pinto, SM de Sousa Springer Science & Business Media, 2011 | 91 | 2011 |
| 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 | 89 | 2001 |
| 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 | 58 | 2008 |
| An overview of formal methods tools and techniques JB Almeida, MJ Frade, JS Pinto, SM de Sousa Rigorous Software Development, 15-44, 2011 | 55 | 2011 |
| 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 | 39 | 2001 |
| 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 | 37 | 2002 |
| 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 | 30 | 2010 |
| 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 | 30 | 2002 |
| 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 | 22 | 2021 |
| 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 | 22 | 2012 |
| 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 | 16 | 2019 |
| 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 | 15 | 2012 |
| Tezla, an intermediate representation for static analysis of michelson smart contracts JS Reis, P Crocker, SM de Sousa arXiv preprint arXiv:2005.11839, 2020 | 11 | 2020 |
| Outils et techniques pour la vérification formelle de la plate-forme JavaCard SM de Sousa Nice, 2003 | 11 | 2003 |
| 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 | 9 | 2013 |
| 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 | 8 | 2000 |
| 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 | 7 | 2020 |
| A tool for implementing privacy in nano R Morais, P Crocker, SM de Sousa 2020 IEEE International Conference on Decentralized Applications and …, 2020 | 7 | 2020 |
| Whylson: Proving your michelson smart contracts in why3 LPA da Horta, JS Reis, M Pereira, SM de Sousa arXiv preprint arXiv:2005.14650, 2020 | 7 | 2020 |
Jorge Sousa PintoHASLab / INESC TEC & Universidade do Minhoایمیل تأیید شده در di.uminho.pt
