| 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 | 90 | 2001 |
| Rigorous software development: an introduction to program verification JB Almeida, MJ Frade, JS Pinto, SM de Sousa Springer Science & Business Media, 2011 | 79 | 2011 |
| Rigorous software development: an introduction to program verification JB Almeida, MJ Frade, JS Pinto, SM de Sousa Springer Science & Business Media, 2011 | 79 | 2011 |
| 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 | 49 | 2008 |
| An overview of formal methods tools and techniques JB Almeida, MJ Frade, JS Pinto, SM de Sousa Rigorous Software Development, 15-44, 2011 | 48 | 2011 |
| 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 | 40 | 2001 |
| 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 | 38 | 2002 |
| Partial Derivative Automata Formalized in Coq JB Almeida, N Moreira, D Pereira, SM de Sousa Implementation and Application of Automata: 15th International Conference …, 2011 | 29 | 2011 |
| Tool-assisted specification and verification of the JavaCard platform G Barthe, P Courtieu, G Dufay, SM de Sousa AMAST 2422, 41-59, 2002 | 29 | 2002 |
| 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 | 19 | 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 | 13 | 2019 |
| Outils et techniques pour la vérification formelle de la plate-forme JavaCard SM de Sousa | 11 | 2003 |
| 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 | 11 | 2000 |
| 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 | 10 | 2013 |
| 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 | 10 | 2012 |
| Certifying execution time in multicores V Rodrigues, B Akesson, M Florido, SM de Sousa, JP Pedroso, ... Science of Computer Programming 111, 505-534, 2015 | 7 | 2015 |
| 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 | 6 | 2021 |
| Tezla, an intermediate representation for static analysis of michelson smart contracts JS Reis, P Crocker, SM de Sousa arXiv preprint arXiv:2005.11839, 2020 | 6 | 2020 |
| 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 | 6 | 2013 |
| 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 | 6 | 2011 |
Jorge Sousa PintoHASLab / INESC TEC & Universidade do MinhoVerified email at di.uminho.pt
