Simão Melo de Sousa

According to our database, Simão Melo de Sousa authored at least 33 papers between 2001 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Echidna: A New Consensus Algorithm for Efficient State Machine Replication.

Rui Morais, Paul Andrew Crocker, Simão Melo de Sousa

Proceedings of the Fifth International Conference on Blockchain Computing and Applications, 2023

2021

GreenHub: a large-scale collaborative dataset to battery consumption analysis of android devices.

Rui Pereira, Hugo Matalonga, Marco Couto, Fernando Castor, Bruno Cabral, Pedro Carvalho, Simão Melo de Sousa, João Paulo Fernandes

Empir. Softw. Eng., 2021

2020

Delegated RingCT: faster anonymous transactions.

Rui Morais, Paul Andrew Crocker, Simão Melo de Sousa

IACR Cryptol. ePrint Arch., 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

PACE: A DSL-based Approach to Manage Complex Build Pipelines.

Nelson Fonseca, João Paulo Fernandes, Mário Pires, Simão Melo de Sousa

Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020

A tool for implementing privacy in Nano.

Rui Morais, Paul Andrew Crocker, Simão Melo de Sousa

Proceedings of the 2nd IEEE International Conference on Decentralized Applications and Infrastructures, 2020

Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts.

João Santos Reis, Paul Andrew Crocker, Simão Melo de Sousa

Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020

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

Proceedings of the IEEE International Conference on Blockchain, 2020

2019

GreenHub farmer: real-world data for Android energy mining.

Hugo Matalonga, Bruno Cabral, Fernando Castor, Marco Couto, Rui Pereira, Simão Melo de Sousa, João Paulo Fernandes

Proceedings of the 16th International Conference on Mining Software Repositories, 2019

2017

Revisiting concurrent separation logic.

Pedro Soares, António Ravara, Simão Melo de Sousa

J. Log. Algebraic Methods Program., 2017

2015

Certifying execution time in multicores.

Vitor Rodrigues, Benny Akesson, Mário Florido, Simão Melo de Sousa, João Pedro Pedroso, Pedro B. Vasconcelos

Sci. Comput. Program., 2015

Deciding Kleene algebra terms equivalence in Coq.

Nelma Moreira, David Pereira, Simão Melo de Sousa

J. Log. Algebraic Methods Program., 2015

Revisiting Concurrent Separation Logic and Operational Semantics.

Pedro Soares, António Ravara, Simão Melo de Sousa

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

2014

Complexity checking of ARM programs, by deduction.

Mário Pereira, Simão Melo de Sousa

Proceedings of the Symposium on Applied Computing, 2014

2013

A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction.

Vitor Rodrigues, Benny Akesson, Simão Melo de Sousa, Mário Florido

Proceedings of the Practical Aspects of Declarative Languages, 2013

E-Id Authentication and Uniform Access to Cloud Storage Service Providers.

João Gouveia, Paul Andrew Crocker, Simão Melo de Sousa, Ricardo Azevedo

Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

2012

Learning Stochastic Timed Automata from Sample Executions.

André de Matos Pedro, Paul Andrew Crocker, Simão Melo de Sousa

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Deciding Regular Expressions (In-)Equivalence in Coq.

Nelma Moreira, David Pereira, Simão Melo de Sousa

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011

Rigorous Software Development - An Introduction to Program Verification.

José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa

Undergraduate Topics in Computer Science, Springer, ISBN: 978-0-85729-018-2, 2011

A Functional Approach to Worst-Case Execution Time Analysis.

Vitor Rodrigues, Mário Florido, Simão Melo de Sousa

Proceedings of the Functional and Constraint Logic Programming, 2011

Certifying Execution Time.

Vitor Rodrigues, João Pedro Pedroso, Mário Florido, Simão Melo de Sousa

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2011

2010

Partial Derivative Automata Formalized in Coq.

José Bacelar Almeida, Nelma Moreira, David Pereira, Simão Melo de Sousa

Proceedings of the Implementation and Application of Automata, 2010

Model-Checking Temporal Properties of Real-Time HTL Programs.

André Carvalho, Joel Carvalho, Jorge Sousa Pinto, Simão Melo de Sousa

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2008

Secure Biometric Authentication With Improved Accuracy.

Manuel Barbosa, Stéphane Cauchie, Thierry Brouard, Simão Melo de Sousa

IACR Cryptol. ePrint Arch., 2008

Lissom, a Source Level Proof Carrying Code Platform

João Gomes, Daniel Martins, Simão Melo de Sousa, Jorge Sousa Pinto

CoRR, 2008

Guest Editorial.

Simão Melo de Sousa

Comput. Sci. Inf. Syst., 2008

2007

IS 2007 PC Co-chairs' Message.

Mário M. Freire, Simão Melo de Sousa, Vítor Santos, Jong Hyuk Park

Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

2006

IS 2006 PC Co-chairs' Message.

Mário M. Freire, Simão Melo de Sousa, Vítor Santos

Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

2005

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

2002

A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines.

Gilles Barthe, Guillaume Dufay, Line Jakubiec, Simão Melo de Sousa

Proceedings of the Verification, 2002

Tool-Assisted Specification and Verification of the JavaCard Platform.

Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

A Formal Executable Semantics of the JavaCard Platform.

Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simão Melo de Sousa

Proceedings of the Programming Languages and Systems, 2001

Jakarta: A Toolset for Reasoning about JavaCard.

Gilles Barthe, Guillaume Dufay, Marieke Huisman, Simão Melo de Sousa

Proceedings of the Smart Card Programming and Security, 2001