Jakarta: A Toolset for Reasoning about JavaCard. - Gilles Barthe; Guillaume Dufay; Marieke Huisman; Simão Melo de Sousa (E-smart, 2001)

A Formal Executable Semantics of the JavaCard Platform. - Gilles Barthe; Guillaume Dufay; Line Jakubiec; Bernard P. Serpette; Simão Melo de Sousa (ESOP, 2001)

Tool-Assisted Specification and Verification of the JavaCard Platform. - Gilles Barthe; Pierre Courtieu; Guillaume Dufay; Simão Melo de Sousa (AMAST, 2002)

A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines. - Gilles Barthe; Guillaume Dufay; Line Jakubiec; Simão Melo de Sousa (VMCAI, 2002)

Tool-Assisted Specification and Verification of Typed Low-Level Languages. - Gilles Barthe; Pierre Courtieu; Guillaume Dufay; Simão Melo de Sousa (J. Autom. Reason., 2005)

IS 2006 PC Co-chairs' Message. - Mário M. Freire; Simão Melo de Sousa; Vítor Santos (OTM Workshops (1), 2006)

IS 2007 PC Co-chairs' Message. - Mário M. Freire; Simão Melo de Sousa; Vítor Santos; Jong Hyuk Park 001 (OTM Conferences (2), 2007)

Guest Editorial. - Simão Melo de Sousa (Comput. Sci. Inf. Syst., 2008)

Lissom, a Source Level Proof Carrying Code Platform - João Gomes; Daniel Martins; Simão Melo de Sousa; Jorge Sousa Pinto (CoRR, 2008)

Secure Biometric Authentication With Improved Accuracy. - Manuel Barbosa; Stéphane Cauchie; Thierry Brouard; Simão Melo de Sousa (IACR Cryptol. ePrint Arch., 2008)

Model-Checking Temporal Properties of Real-Time HTL Programs. - André Carvalho; Joel Carvalho; Jorge Sousa Pinto; Simão Melo de Sousa (ISoLA (2), 2010)

Partial Derivative Automata Formalized in Coq. - José Bacelar Almeida; Nelma Moreira; David Pereira; Simão Melo de Sousa (CIAA, 2010)

Certifying Execution Time. - Vítor Rodrigues; João Pedro Pedroso; Mário Florido; Simão Melo de Sousa (FOPARA, 2011)

A Functional Approach to Worst-Case Execution Time Analysis. - Vítor Rodrigues; Mário Florido; Simão Melo de Sousa (WFLP, 2011)

Rigorous Software Development - An Introduction to Program Verification. - José Bacelar Almeida; Maria João Frade; Jorge Sousa Pinto; Simão Melo de Sousa (Springer, 2011)

Deciding Regular Expressions (In-)Equivalence in Coq. - Nelma Moreira; David Pereira; Simão Melo de Sousa (RAMiCS, 2012)

Learning Stochastic Timed Automata from Sample Executions. - André de Matos Pedro; Paul Andrew Crocker; Simão Melo de Sousa (ISoLA (1), 2012)

E-Id Authentication and Uniform Access to Cloud Storage Service Providers. - João Gouveia; Paul Andrew Crocker; Simão Melo de Sousa; Ricardo Azevedo (CloudCom (1), 2013)

A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction. - Vítor Rodrigues; Benny Akesson; Simão Melo de Sousa; Mário Florido (PADL, 2013)

Complexity checking of ARM programs, by deduction. - Mário Pereira; Simão Melo de Sousa (SAC, 2014)

Revisiting Concurrent Separation Logic and Operational Semantics. - Pedro Soares; António Ravara; Simão Melo de Sousa (PDP, 2015)

Deciding Kleene algebra terms equivalence in Coq. - Nelma Moreira; David Pereira; Simão Melo de Sousa (J. Log. Algebraic Methods Program., 2015)

Certifying execution time in multicores. - Vítor Rodrigues; Benny Akesson; Mário Florido; Simão Melo de Sousa; João Pedro Pedroso; Pedro B. Vasconcelos (Sci. Comput. Program., 2015)

Revisiting concurrent separation logic. - Pedro Soares; António Ravara; Simão Melo de Sousa (J. Log. Algebraic Methods Program., 2017)

GreenHub farmer: real-world data for Android energy mining. - Hugo Matalonga; Bruno Cabral 001; Fernando Castor; Marco Couto 001; Rui Pereira; Simão Melo de Sousa; João Paulo Fernandes (MSR, 2019)

A tool for proving Michelson Smart Contracts in WHY3*. - Luís Pedro Arrojado da Horta; João Santos Reis; Simão Melo de Sousa; Mário Pereira (Blockchain, 2020)

Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts. - João Santos Reis; Paul Andrew Crocker; Simão Melo de Sousa (FMBC@CAV, 2020)

A tool for implementing privacy in Nano. - Rui Morais; Paul Andrew Crocker; Simão Melo de Sousa (DAPPS, 2020)

PACE: A DSL-based Approach to Manage Complex Build Pipelines. - Nelson Fonseca; João Paulo Fernandes; Mário Pires; Simão Melo de Sousa (SEAA, 2020)

WhylSon: Proving your Michelson Smart Contracts in Why3. - Luís Pedro Arrojado da Horta; João Santos Reis; Mário Pereira; Simão Melo de Sousa (CoRR, 2020)

Delegated RingCT: faster anonymous transactions. - Rui Morais; Paul Andrew Crocker; Simão Melo de Sousa (IACR Cryptol. ePrint Arch., 2020)

GreenHub: a large-scale collaborative dataset to battery consumption analysis of android devices. - Rui Pereira; Hugo Matalonga; Marco Couto 001; Fernando Castor; Bruno Cabral 001; Pedro Carvalho; Simão Melo de Sousa; João Paulo Fernandes (Empir. Softw. Eng., 2021)

Echidna: A New Consensus Algorithm for Efficient State Machine Replication. - Rui Morais; Paul Andrew Crocker; Simão Melo de Sousa (BCCA, 2023)