Simão Melo de Sousa

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