Simo Melo de Sousa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
10
Active years
2001–2020
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CAV | Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts. | Joo Santos Reis, Paul Andrew Crocker, Simo Melo de Sousa |
| 2019 | MSR | GreenHub farmer: real-world data for Android energy mining. | Hugo Matalonga, Bruno Cabral, Fernando Castor, Marco Couto, Rui Pereira, Simo Melo de Sousa, Joo Paulo Fernandes |
| 2015 | PDP | Revisiting Concurrent Separation Logic and Operational Semantics. | Pedro Soares, Antnio Ravara, Simo Melo de Sousa |
| 2014 | SAC | Complexity checking of ARM programs, by deduction. | Mrio Pereira, Simo Melo de Sousa |
| 2013 | CloudCom | E-Id Authentication and Uniform Access to Cloud Storage Service Providers. | Joo Gouveia, Paul Andrew Crocker, Simo Melo de Sousa, Ricardo Azevedo |
| 2013 | PADL | A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction. | Vtor Rodrigues, Benny Akesson, Simo Melo de Sousa, Mrio Florido |
| 2012 | ISoLA | Learning Stochastic Timed Automata from Sample Executions. | Andr de Matos Pedro, Paul Andrew Crocker, Simo Melo de Sousa |
| 2010 | ISoLA | Model-Checking Temporal Properties of Real-Time HTL Programs. | Andr Carvalho, Joel Carvalho, Jorge Sousa Pinto, Simo Melo de Sousa |
| 2008 | ACISP | Secure Biometric Authentication with Improved Accuracy. | Manuel Barbosa, Thierry Brouard, Stphane Cauchie, Simo Melo de Sousa |
| 2002 | VMCAI | A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines. | Gilles Barthe, Guillaume Dufay, Line Jakubiec, Simo Melo de Sousa |
| 2001 | ESOP | A Formal Executable Semantics of the JavaCard Platform. | Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simo Melo de Sousa |