???global.info.a_carregar???
Simão Melo de Sousa is a member of the Software Systems Group at Nova-LINCS. Research Topics: Formal Verification, Programming languages, Computer assisted reasonning, Software Security and Reliability. Google Scholar: https://scholar.google.com/citations?user=nuuKV9cAAAAJ&hl=pt-PT Short Bio: Simão Melo de Sousa is an expert in security and reliability of computer systems. In particular. He publishes and is actively developing research on the fundamentals and the design of techniques and tools for the security and formal verification of software. He is a co-author of the book "Rigorous software development - An introduction to program verification" published in 2011 by Springer-Verlag. He received his PhD from INRIA Sofia Antipolis / University of Nice Sofia Antipolis with a thesis on the theme "Tools and techniques for the formal verification of the JavaCard platform" and obtained his Habilitation by the University of Beira Interior in 2015. He is a Full Professor at the Electronics and Computer Science Department of the University of Algarve where he teaches courses in the area of programming (foundational concepts, algorithms and data structures and programming languages), software engineering, compilation, computing fundamentals, formal verification, security and cryptography. He is also a member of the NOVA-Lincs Research and coordinates the research activities of the RELEASE group (Reliable and Secure Computation Lab). He has scientifically coordinated several research projects (FCT, etc.) in the area of software reliability and critical systems, information security, testing and software quality (as-a-service), blockchain and smart contracts. He was also visiting researcher at INRIA Paris-Saclay in 2010 and 2017. He actively collaborates with several leading industrial partners, nationally and internationally, in its area of expertise, in particular in the area of critical systems, security, e-health, railway systems, avionics and aerospace. In this context, he has successfully participated in several technology transfer initiatives. Selected Publications: - Pereira, R., Matalonga, H., Couto, M. et al. GreenHub: a large-scale collaborative dataset to battery consumption analysis of android devices. Empir Software Eng 26, 38 (2021). https://doi.org/10.1007/s10664-020-09925-5 - João Santos Reis, Paul Crocker, and Simão Melo de Sousa. Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts. In 2nd Workshop on Formal Methods for Blockchains (FMBC 2020). Open Access Series in Informatics (OASIcs), Volume 84, pp. 4:1-4:12, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020) https://doi.org/10.4230/OASIcs.FMBC.2020.4 - Jean-Christophe Filliâtre, Léon Gondelman, Andrei Paskevich, Mário Pereira, Simão Melo de Sousa. A Toolchain to Produce Correct-by-Construction OCaml Programs. 2018. - H. Matalonga et al., "GreenHub Farmer: Real-World Data for Android Energy Mining," 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR), Montreal, QC, Canada, 2019, pp. 171-175, doi: 10.1109/MSR.2019.00034. - L. P. Arrojado da Horta, J. Santos Reis, S. M. de Sousa and M. Pereira, "A tool for proving Michelson Smart Contracts in WHY3," 2020 IEEE International Conference on Blockchain (Blockchain), Rhodes, Greece, 2020, pp. 409-414, doi: 10.1109/Blockchain50366.2020.00059. - R. Morais, P. Crocker and S. Melo de Sousa, "A Tool for Implementing Privacy in Nano," 2020 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS), Oxford, UK, 2020, pp. 159-163, doi: 10.1109/DAPPS49028.2020.00021.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Simão Patrício Melo de Sousa

Nomes de citação

  • Simão Melo de Sousa

Identificadores de autor

Ciência ID
D719-2946-CFE8
ORCID iD
0000-0001-9129-4136

Endereços de correio eletrónico

  • spsousa@ualg.pt (Profissional)

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação
  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador independente (B1) Utilizador proficiente (C1)
Francês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Espanhol; Castelhano Utilizador elementar (A1) Utilizador independente (B1) Utilizador elementar (A1) Utilizador elementar (A1)
Formação
Grau Classificação
2015/10
Concluído
 Agregação em Engenharia Informática (Título de Agregado)
Universidade da Beira Interior Faculdade de Engenharia, Portugal
"Provas de Programas - Arte e Engenho (título da Lição)" (TESE/DISSERTAÇÃO)
 N/A
2003/02/24
Concluído
 Doctorat en Informatique (Doutoramento)
Université de Nice Sophia Antipolis, França
"Outils et techniques pour la vérification formelle de la plateforme JavaCard" (TESE/DISSERTAÇÃO)
 Très Honorable
1995/01/09
Concluído
 D.E.A. Informatique Fondamentale (Mestrado)
Université d'Orléans, França
"Des systèmes d'aide à la preuve, COQ et Isabelle" (TESE/DISSERTAÇÃO)
 Bien
1994/06/01
Concluído
 License /Maitrise Informatique Fondamentale (Maîtrise)
Université d'Orléans, França
 AB
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2020/01/02 - Atual Investigador (Investigação) Nova-Lincs, Portugal
2016/01/02 - 2019/12/31 Investigador (Investigação) Universidade de Évora Laboratório de Informática Sistemas e Paralelismo, Portugal
2007/01/02 - 2015/12/31 Investigador (Investigação) Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
2007/01/02 - 2015/12/31 Investigador (Investigação) Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
1997/10/01 - 2007/12/31 Investigador (Investigação) Universidade da Beira Interior Centro de Matemática e Aplicações, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2023/09/01 - Atual Professor Catedrático (Docente Universitário) Universidade do Algarve, Portugal
Universidade do Algarve, Portugal
2017/07/06 - 2023/08/31 Professor Associado (Docente Universitário) Universidade da Beira Interior, Portugal
Universidade da Beira Interior, Portugal
2017 - 2019 Professor Associado (Docente Universitário) Universidade da Beira Interior, Portugal
2015/10/09 - 2017/07/05 Professor Auxiliar (Docente Universitário) Universidade da Beira Interior, Portugal
2013 - 2017 Professor Auxiliar (Docente Universitário) Universidade da Beira Interior, Portugal
2003 - 2017 Professor Auxiliar (Docente Universitário) Universidade da Beira Interior, Portugal
2008/04 - 2015/09/30 Professor Auxiliar (Docente Universitário) Universidade da Beira Interior, Portugal
1997/10/01 - 2003/03/31 Assistente (Docente Universitário) Universidade da Beira Interior, Portugal
1996/02/01 - 1996/07/31 Monitor (Docente Universitário) Universidade do Minho, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento 		Empregador
2015 - 2019 Conselho geral ou orgão correspondente Universidade da Beira Interior, Portugal
2015 - 2018 Conselho geral ou orgão correspondente Universidade da Beira Interior, Portugal
2016 - 2017 Coordenação ou direção de centro de investigação, departamento ou equivalente Universidade da Beira Interior, Portugal
2016 - 2017 Coordenação ou direção de centro de investigação, departamento ou equivalente Universidade da Beira Interior, Portugal
2013 - 2017 Conselho científico/técnico-científico ou orgão correspondente Universidade da Beira Interior, Portugal
2013 - 2017 Conselho científico/técnico-científico ou orgão correspondente Universidade da Beira Interior, Portugal

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
1996/01/02 - 1997/09/30 Técnico Superior Universidade Portucalense Infante Dom Henrique, Portugal
Projetos

Bolsa

Designação Financiadores
2000/09/01 - 2003/02/28 OUTILS ET TECHNIQUES POUR LA VALIDATION DE PROPRIÉTÉS DE SÉCURITÉ
SFRH/BD/790/2000
 Fundação para a Ciência e a Tecnologia
Concluído

Projeto

Designação Financiadores
2022 - 2023 LOX - Extending Learn-OCaml.
OSF/LOx
Investigador responsável
Universidade da Beira Interior, Portugal

Nova-Lincs, Portugal
OCaml Software Foundation
Em curso
2021 - 2023 GreenStamp: Mobile Energy services.
CENTRO-01-0247-FEDER-047256
Co-Investigador Responsável (Co-IR)
Universidade da Beira Interior, Portugal

Universidade de Coimbra, Portugal
Comissão de Coordenação e Desenvolvimento Regional do Centro
Concluído
2021 - 2023 HORUS: Plataforma inteligente para mapeamento e avaliação de competências
POCI-01-0247-FEDER-072235
Co-Investigador Responsável (Co-IR)
Capgemini Engineering, França

Universidade da Beira Interior, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
Comissão de Coordenação e Desenvolvimento Regional do Centro
Concluído
2020 - 2022 LEAF - Learning Foundations of Compuyer Science using OCaml
LEAF
Investigador responsável
Universidade da Beira Interior, Portugal

Nova-Lincs, Portugal

Universidade NOVA de Lisboa, Portugal
OCaml Software Foundation
Concluído
2019 - 2022 REDe FAROTIC - Fintech, CyberSecurity and Big Data technologies for regional entrepreneurship
farotic
Co-Investigador Responsável (Co-IR)
Concluído
2018 - 2022 C4 - Competence Center in Cloud Computing. Linha 4.
C4 - Competence Center in Cloud Computing
Investigador responsável
Universidade da Beira Interior, Portugal
 Comissão de Coordenação e Desenvolvimento Regional do Centro
Concluído
2018 - 2022 C4 - Competence Center in Cloud Computing. Work Package 1.1
C4 - Competence Center in Cloud Computing
Investigador responsável
Universidade da Beira Interior, Portugal
 Comissão de Coordenação e Desenvolvimento Regional do Centro
Concluído
2018 - 2022 FRESCO - Formal Verification and Static Analysis of Tezos compliant Smart Contracts
FRESCO
Investigador responsável
Universidade da Beira Interior, Portugal

Nova-Lincs, Portugal
Tezos Foundation
Concluído
2020 - 2021 COPES, DSL for rapid prototyping, reasonning and simulation of consensus protocols and algorithms
COPES
Co-Investigador Responsável (Co-IR)
Universidade da Beira Interior, Portugal

Universidade NOVA de Lisboa, Portugal

Nova-Lincs, Portugal
Co-Enzime
Concluído
2018 - 2020 FACTOR - A Functional Programming Approach to Teaching in Portuguese Foundational Computing Courses
FACTOR
Investigador responsável
Universidade da Beira Interior, Portugal

Universidade NOVA de Lisboa, Portugal

Nova-Lincs, Portugal
Tezos Foundation
Concluído
2014 - 2016 QUIVVER - Centro de Competência em Qualidade de Processos em Engenharia de Software, Validação e Verificação de Software
QuiVVer
Investigador responsável
Universidade da Beira Interior, Portugal
 Comissão de Coordenação e Desenvolvimento Regional do Centro
Concluído
2012/05/01 - 2015/04/30 Análise e Verificação de Programas Concorrentes Críticos
PTDC/EIA-CCO/117590/2010
Universidade do Minho, Portugal

Universidade do Minho Centro ALGORITMI, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal

Universidade do Porto Faculdade de Ciências, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2012 - 2014 PROVA - From Requirements to Tests
QREN - PROVA
Investigador
Universidade da Beira Interior, Portugal

Universidade do Minho, Portugal

Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Universidade do Minho Laboratório de Software Confiável, Portugal
Comissão de Coordenação e Desenvolvimento Regional do Centro
Concluído
2010/05/01 - 2013/09/30 CANTE: Complexidade descriptiva e computacional de linguagens formais
PTDC/EIA-CCO/101904/2008
Universidade do Porto Faculdade de Ciências, Portugal

Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2010/02/01 - 2013/01/31 FAVAS: A FormAl Verification PlAtform for real-time Systems
PTDC/EIA-CCO/105034/2008
Universidade da Madeira Madeira Interactive Technologies Institute, Portugal

Universidade do Minho, Portugal

Universidade da Beira Interior, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2010 - 2012 PROSINAL - Rigorous Design, validation and certification of railways signaling systems
QREN-COMPETE
Investigador
Universidade da Beira Interior, Portugal

Efacec Power Solutions, Portugal

Universidade do Porto, Portugal
Comissao de Coordenacao e Desenvolvimento Regional do Norte
Concluído
2008/01/01 - 2011/06/30 TRAMANET: Gestão do Tráfego e da Confiança em Redes Peer-to-Peer
PTDC/EIA/73072/2006
Universidade da Beira Interior, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2008/01/01 - 2011/03/31 RESCUE, Execução Fiável e Segura de Programas em Sistemas Embebidos
PTDC/EIA/65862/2006
Universidade do Porto Faculdade de Ciências, Portugal

Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal

Universidade do Minho, Portugal

Universidade da Beira Interior, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2005/05/01 - 2008/06/30 Sumarização Automática de Texto para Tecnologias Móveis
POSC/PLP/57438/2004
Universidade da Beira Interior, Portugal

Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Rui Morais (0000-0002-5040-4164); Crocker, Paul; Simão Melo de Sousa. "Echidna: A New Consensus Algorithm for Efficient State Machine Replication". Trabalho apresentado em THE FIFTH INTERNATIONAL CONFERENCE ON BLOCKCHAIN COMPUTING AND APPLICATIONS (BCCA 2023), 2023.
    Aceite para publicação
  2. Rui Pedro Bernardo Morais; Paul Andrew Crocker; Simão Melo De Sousa. "Echidna: A New Consensus Algorithm for Efficient State Machine Replication". 2023.
    10.1109/BCCA58897.2023.10338927
  3. Délcio Ferramenta; Paul Robert; Simão Melo de Sousa. Autor correspondente: Délcio Ferramenta. "Análise do Consumo de Energia de Aplicações Android". Trabalho apresentado em SoftPT, Inforum 2023, Porto, 2023.
    Publicado
  4. Rui Barata; Carlos Pinto; Simão Melo de Sousa. Autor correspondente: Rui Barata. "Programação com contractos no Learn-OCaml". Trabalho apresentado em SOft-PT, Inforum 2023, Porto, 2023.
    Publicado
  5. Artur Miguel Dias; Ravara, António; Simão Melo de Sousa. Autor correspondente: Ravara, António. "Supporting FLAT Concepts in Learn-OCaml: Seeing is Believing; Programming is Understanding". Trabalho apresentado em OCaml Worshop, ICFP'2022, Ljubljana, Slovenia, 2022.
    Publicado
  6. Morais, Rui; Crocker, Paul Andrew; Sousa, Simão Melo De. "A tool for implementing privacy in Nano". 2020.
  7. Matalonga, Hugo; Cabral, Bruno; Castor, Fernando; Couto, Marco; Pereira, Rui; de Sousa, Simao Melo; Fernandes, Joao Paulo. "GreenHub Farmer: Real-World Data for Android Energy Mining". 2019.
    10.1109/msr.2019.00034
  8. Carvalho, Joel; de Sousa, Simao Melo; Fernandes, Joao Paulo; Pereira, Nuno; Mendes, Luis Filipe; Figueiredo, Carlos Manuel; Oliveira, Catia Raquel. "Automated analysis of non-functional requirements for web applications". 2016.
    10.1109/cisti.2016.7521392
  9. Soares, Pedro; Ravara, Antonio; Sousa, Simao Melo de. "Revisiting Concurrent Separation Logic and Operational Semantics". Trabalho apresentado em 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, 2015.
    10.1109/pdp.2015.85
  10. Pereira, Mário; de Sousa, Simão Melo. "Complexity checking of ARM programs, by deduction". 2014.
    10.1145/2554850.2555012
  11. Gouveia, Joao; Crocker, Paul Andrew; Sousa, Simao Melo de; Azevedo, Ricardo. "E-Id Authentication and Uniform Access to Cloud Storage Service Providers". 2013.
    10.1109/cloudcom.2013.71
  12. Barbosa, Manuel; Sousa, Simão Melo de; Brouard, Thierri; Cauchie, Stéphane. "Secure biometric authentication with improved accuracy". 2008.
    10.1007/978-3-540-70500-0-3
  13. Gomes, João; Martins, Daniel; Sousa, Simão Melo de; Pinto, Jorge Sousa. "Lissom, a source level proof carrying code platform". 2006.
Artigo em revista
  1. Pereira, Rui; Matalonga, Hugo; Couto, Marco; Castor, Fernando; Cabral, Bruno; Carvalho, Pedro; Melo de Sousa, Simão; Fernandes, João Paulo. "GreenHub: a large-scale collaborative dataset to battery consumption analysis of android devices". Empirical Software Engineering 26 3 (2021): http://dx.doi.org/10.1007/s10664-020-09925-5.
    10.1007/s10664-020-09925-5
  2. P. Neto; J. Tojal; S. Veríssimo; Simão Melo de Sousa. Autor correspondente: P. Neto. "Towards a Formally Verified Space Mission Software Using SPARK". ADA User Journal, 40 4 (2019):
    Publicado
  3. Soares, Pedro; Ravara, António; Melo de Sousa, Simão. "Revisiting concurrent separation logic". Journal of Logical and Algebraic Methods in Programming 89 (2017): 41-66. http://dx.doi.org/10.1016/j.jlamp.2017.02.004.
    10.1016/j.jlamp.2017.02.004
  4. Rodrigues, Vítor; Akesson, Benny; Florido, Mário; de Sousa, Simão Melo; Pedroso, João Pedro; Vasconcelos, Pedro. "Certifying execution time in multicores". Science of Computer Programming 111 (2015): 505-534. http://dx.doi.org/10.1016/j.scico.2015.06.006.
    10.1016/j.scico.2015.06.006
  5. Moreira, Nelma; Pereira, David; Melo de Sousa, Simão. "Deciding Kleene algebra terms equivalence in Coq". Journal of Logical and Algebraic Methods in Programming 84 3 (2015): 377-401. http://dx.doi.org/10.1016/j.jlamp.2014.12.004.
    10.1016/j.jlamp.2014.12.004
  6. Rodrigues, V.; Akesson, B.; Melo De Sousa, S.; Florido, M.. "A declarative compositional timing analysis for multicores using the latency-rate abstraction". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7752 LNCS (2013): 43-59. http://www.scopus.com/inward/record.url?eid=2-s2.0-84891309149&partnerID=MN8TOARS.
    10.1007/978-3-642-45284-0_4
  7. Rodrigues, V.; Pedroso, J.P.; Florido, M.; De Sousa, S.M.. "Certifying execution time". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7177 LNCS (2012): 108-125. http://www.scopus.com/inward/record.url?eid=2-s2.0-84864655874&partnerID=MN8TOARS.
    10.1007/978-3-642-32495-6_7
  8. Moreira, N.; Pereira, D.; Melo De Sousa, S.. "Deciding regular expressions (in-)equivalence in Coq". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7560 LNCS (2012): 98-113. http://www.scopus.com/inward/record.url?eid=2-s2.0-84867656327&partnerID=MN8TOARS.
    10.1007/978-3-642-33314-9_7
  9. De Matos Pedro, A.; Crocker, P.A.; De Sousa, S.M.. "Learning stochastic timed automata from sample executions". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7609 LNCS PART 1 (2012): 508-523. http://www.scopus.com/inward/record.url?eid=2-s2.0-84868290811&partnerID=MN8TOARS.
    10.1007/978-3-642-34026-0_38
  10. Almeida, J.B.; Moreira, N.; Pereira, D.; De Sousa, S.M.; Almeida, José Bacelar; Moreira, Nelma; Pereira, David; Sousa, Simão Melo de. "Partial derivative automata formalized in coq". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6482 LNCS (2011): 59-68. http://www.scopus.com/inward/record.url?eid=2-s2.0-79951613250&partnerID=MN8TOARS.
    10.1007/978-3-642-18098-9_7
  11. Carvalho, A.; Carvalho, J.; Pinto, J.S.; De Sousa, S.M.; Carvalho, André Ribeiro de; Carvalho, Joel; Pinto, Jorge Sousa; Sousa, Simão Melo de. "Model-checking temporal properties of real-time HTL programs". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6416 LNCS PART 2 (2010): 191-205. http://www.scopus.com/inward/record.url?eid=2-s2.0-78650256040&partnerID=MN8TOARS.
    10.1007/978-3-642-16561-0_22
  12. Crocker, P.; Nicolau, V.; De Sousa, S.M.. "Sniffing with the portuguese identify card for fun and profit". 9th European Conference on Information Warfare and Security 2010, ECIW 2010 (2010): 43-55. http://www.scopus.com/inward/record.url?eid=2-s2.0-84873122820&partnerID=MN8TOARS.
  13. Gaspar, Nuno; de Sousa, Simão Melo. "Uma plataforma de hospedagem baseada na Web para máquinas pedagógicas". (2009): https://doi.org/10.22456/1982-1654.12154.
    https://doi.org/10.22456/1982-1654.12154
  14. Barbosa, M.; Brouard, T.; Cauchie, S.; De Sousa, S.M.. "Secure biometric authentication with improved accuracy". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5107 LNCS (2008): 21-36. http://www.scopus.com/inward/record.url?eid=2-s2.0-70349858081&partnerID=MN8TOARS.
    10.1007/978-3-540-70500-0-3
  15. de Sousa, S.M.. "The international journal published by ComSIS consortium". Computer Science and Information Systems 5 2 (2008): http://www.scopus.com/inward/record.url?eid=2-s2.0-70349696424&partnerID=MN8TOARS.
  16. Freire, M.M.; De Sousa, S.M.; Santos, V.; Park, J.H.; Freire, M.. "IS 2007 PC co-chairs' message". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4804 LNCS PART 2 (2007): http://www.scopus.com/inward/record.url?eid=2-s2.0-38349070264&partnerID=MN8TOARS.
  17. Barthe, Gilles; Courtieu, Pierre; Dufay, Guillaume; Melo de Sousa, Simão. "Tool-Assisted Specification and Verification of Typed Low-Level Languages". Journal of Automated Reasoning 35 4 (2006): 295-354. http://dx.doi.org/10.1007/s10817-005-0084-6.
    10.1007/s10817-005-0084-6
  18. Barthe, G.; Courtieu, P.; Dufay, G.; Melo De Sousa, S.. "Tool-assisted specification and verification of typed low-level languages". Journal of Automated Reasoning 35 4 (2005): 295-354. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750197925&partnerID=MN8TOARS.
    10.1007/s10817-005-0084-6
  19. Oliveira, J.N.. "A survey of formal methods courses in European higher education: The FME subgroup on education". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3294 (2004): 235-248. http://www.scopus.com/inward/record.url?eid=2-s2.0-35048903091&partnerID=MN8TOARS.
  20. Sousa, Simão. "Tool-Assisted Specification and Verification of the JavaCard Platform". 2422 (2002): 41-59. http://dx.doi.org/10.1007/3-540-45719-4_4.
    10.1007/3-540-45719-4_4
  21. Sousa, Simão. "A formal correspondence between offensive and defensive JavaCard virtual machines". 2294 (2002): 32-45. http://dx.doi.org/10.1007/3-540-47813-2_3.
    10.1007/3-540-47813-2_3
Edição de livro
  1. Sousa, Simão, ed. Proceedings of the conference Corta’08 "COmpilers, Related Technologies and Applications". 2008.
Edição de número de revista
  1. Sousa, Simão. "Proceedings of the conference Corta’07 "COmpilers, Related Technologies and Applications". (2007):
Livro
  1. Sousa, Simão. Rigorous Software Development.. 2011.
  2. Faculdade de Ciências. Partial Derivative Automata Formalized in Coq.. 2010.
  3. Nuno Gaspar; Simão Melo de Sousa; Rogério Reis. Timing analysis - from predictions to certificates. 2010.

Outros

Outra produção
  1. A tool for automatic model extraction of Ada/SPARK programs. This paper presents a brief description of the current work on a tool that analyses temporal behaviour of Ada/RavenSPARK programs. The approach takes as a basis two previous publications that introduce innovative methods in the field of verification of real-time systems. The development of a tool that automatically generates models (timed automata) from Ada/RavenSPARK source code and uses the mode. 2010. Faculdade de Ciências. https://repositorio-aberto.up.pt/handle/10216/53339.
  2. A tool for automatic model extraction of Ada/SPARK programs. This paper presents a brief description of the current work on a tool that analyses temporal behaviour of Ada/RavenSPARK programs. The approach takes as a basis two previous publications that introduce innovative methods in the field of verification of real-time systems. The development of a tool that automatically generates models (timed automata) from Ada/RavenSPARK source code and uses the mode. 2010. André Carvalho; Nuno Silva; Simão Melo de Sousa; Nelma Moreira. https://hdl.handle.net/10216/53339.
Distinções

Outra distinção

2014 Gold medal of the Imagine Cup - Portuguese Finals - Citizenship and Software design
Microsoft Portugal, Portugal
2014 Finalist in the International Contest "Imagine Cup" - Citizenship and Software design
Microsoft Corp, Estados Unidos
2012 Bronze medal of the Imagine Cup'Australia2012 - World wide finals - Software design
Microsoft Corp, Estados Unidos
2012 Gold medal of the Imagine Cup - Portuguese Finals - Software design
Microsoft Portugal, Portugal
2012 Second Prize - WinUbi2012 - Concursos de ideias da UBI
Universidade da Beira Interior, Portugal
2010 Silver Medal of the Imagine cup - Portuguese finals - Software design Category
Microsoft Portugal, Portugal
2009 Silver medal of the Imagine Cup - Portuguese finals - in the category of Software Design
Microsoft Portugal, Portugal
2004 Projecto Inovador
Associação Empresarial e Comercial da Covilhã, Belmonte e Penamacor , Portugal