Simão Melo de Sousa

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 13

Top Topics

Operational Semantics

Intermediate Representations

Electronic Transactions

Top Venues

J. Log. Algebraic Methods Program.

Publications

Rui Morais, Paul Andrew Crocker, Simão Melo de Sousa
Echidna: A New Consensus Algorithm for Efficient State Machine Replication. BCCA (2023)
Rui Pereira, Hugo Matalonga, Marco Couto, Fernando Castor, Bruno Cabral, Pedro Carvalho, Simão Melo de Sousa, João Paulo Fernandes
GreenHub: a large-scale collaborative dataset to battery consumption analysis of android devices. Empir. Softw. Eng. 26 (3) (2021)
João Santos Reis, Paul Andrew Crocker, Simão Melo de Sousa
Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts. CoRR (2020)
Nelson Fonseca, João Paulo Fernandes, Mário Pires, Simão Melo de Sousa
PACE: A DSL-based Approach to Manage Complex Build Pipelines. SEAA (2020)
Rui Morais, Paul Andrew Crocker, Simão Melo de Sousa
A tool for implementing privacy in Nano. DAPPS (2020)
Rui Morais, Paul Andrew Crocker, Simão Melo de Sousa
Delegated RingCT: faster anonymous transactions. IACR Cryptol. ePrint Arch. 2020 (2020)
Luís Pedro Arrojado da Horta, João Santos Reis, Simão Melo de Sousa, Mário Pereira
. Blockchain (2020)
Rui Morais, Paul Andrew Crocker, Simão Melo de Sousa
Delegated RingCT: faster anonymous transactions. CoRR (2020)
Luís Pedro Arrojado da Horta, João Santos Reis, Mário Pereira, Simão Melo de Sousa
WhylSon: Proving your Michelson Smart Contracts in Why3. CoRR (2020)
João Santos Reis, Paul Andrew Crocker, Simão Melo de Sousa
Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts. FMBC@CAV (2020)
Hugo Matalonga, Bruno Cabral, Fernando Castor, Marco Couto, Rui Pereira, Simão Melo de Sousa, João Paulo Fernandes
GreenHub farmer: real-world data for Android energy mining. MSR (2019)
Pedro Soares, António Ravara, Simão Melo de Sousa
Revisiting concurrent separation logic. CoRR (2017)
Pedro Soares, António Ravara, Simão Melo de Sousa
Revisiting concurrent separation logic. J. Log. Algebraic Methods Program. 89 (2017)
Vitor Rodrigues, Benny Akesson, Mário Florido, Simão Melo de Sousa, João Pedro Pedroso, Pedro B. Vasconcelos
Certifying execution time in multicores. Sci. Comput. Program. 111 (2015)
Nelma Moreira, David Pereira, Simão Melo de Sousa
Deciding Kleene algebra terms equivalence in Coq. J. Log. Algebraic Methods Program. 84 (3) (2015)
Pedro Soares, António Ravara, Simão Melo de Sousa
Revisiting Concurrent Separation Logic and Operational Semantics. PDP (2015)
Mário Pereira, Simão Melo de Sousa
Complexity checking of ARM programs, by deduction. SAC (2014)
João Gouveia, Paul Andrew Crocker, Simão Melo de Sousa, Ricardo Azevedo
E-Id Authentication and Uniform Access to Cloud Storage Service Providers. CloudCom (1) (2013)
Vitor Rodrigues, Benny Akesson, Simão Melo de Sousa, Mário Florido
A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction. PADL (2013)
André de Matos Pedro, Paul Andrew Crocker, Simão Melo de Sousa
Learning Stochastic Timed Automata from Sample Executions. ISoLA (1) (2012)
Nelma Moreira, David Pereira, Simão Melo de Sousa
Deciding Regular Expressions (In-)Equivalence in Coq. RAMiCS (2012)
Vitor Rodrigues, Mário Florido, Simão Melo de Sousa
A Functional Approach to Worst-Case Execution Time Analysis. WFLP (2011)
Vitor Rodrigues, João Pedro Pedroso, Mário Florido, Simão Melo de Sousa
Certifying Execution Time. FOPARA (2011)
José Bacelar Almeida, Nelma Moreira, David Pereira, Simão Melo de Sousa
Partial Derivative Automata Formalized in Coq. CIAA (2010)
André Carvalho, Joel Carvalho, Jorge Sousa Pinto, Simão Melo de Sousa
Model-Checking Temporal Properties of Real-Time HTL Programs. ISoLA (2) (2010)
Simão Melo de Sousa
Guest Editorial. Comput. Sci. Inf. Syst. 5 (2) (2008)
Manuel Barbosa, Stéphane Cauchie, Thierry Brouard, Simão Melo de Sousa
Secure Biometric Authentication With Improved Accuracy. IACR Cryptol. ePrint Arch. 2008 (2008)
Manuel Barbosa, Thierry Brouard, Stéphane Cauchie, Simão Melo de Sousa
Secure Biometric Authentication with Improved Accuracy. ACISP (2008)
João Gomes, Daniel Martins, Simão Melo de Sousa, Jorge Sousa Pinto
Lissom, a Source Level Proof Carrying Code Platform CoRR (2008)
Mário M. Freire, Simão Melo de Sousa, Vítor Santos, Jong Hyuk Park
IS 2007 PC Co-chairs' Message. OTM Conferences (2) (2007)
Mário M. Freire, Simão Melo de Sousa, Vítor Santos
IS 2006 PC Co-chairs' Message. OTM Workshops (1) (2006)
Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa
Tool-Assisted Specification and Verification of Typed Low-Level Languages. J. Autom. Reason. 35 (4) (2005)
Gilles Barthe, Guillaume Dufay, Line Jakubiec, Simão Melo de Sousa
A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines. VMCAI (2002)
Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa
Tool-Assisted Specification and Verification of the JavaCard Platform. AMAST (2002)
Gilles Barthe, Guillaume Dufay, Marieke Huisman, Simão Melo de Sousa
Jakarta: A Toolset for Reasoning about JavaCard. E-smart (2001)
Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simão Melo de Sousa
A Formal Executable Semantics of the JavaCard Platform. ESOP (2001)