ProfileOfResearchers

TÃTULO: Detection of Vulnerabilities in Smart Contracts Specifications in Ethereum Platforms
AUTORES: Mauro C Argañaraz; Mario Marcelo Beron; Maria João Varanda Pereira; Pedro Rangel Henriques;
PUBLICAÇÃO: 2020, FONTE: 9th Symposium on Languages, Applications and Technologies, SLATE 2020, July 13-14, 2020, School of Technology, Polytechnic Institute of Cávado and Ave, Portugal (Virtual Conference)., VOLUME: 83

INDEXADO EM:

DBLP

TÃTULO: Detection of vulnerabilities in smart contracts specifications in ethereum platforms
AUTORES: Argañaraz, MC; Berón, MM; Pereira, MJV; Henriques, PR;
PUBLICAÇÃO: 2020, FONTE: 9th Symposium on Languages, Applications and Technologies, SLATE 2020 in OpenAccess Series in Informatics, VOLUME: 83

INDEXADO EM:

Scopus

TÃTULO: SIP: A Simple Tool for Inspecting and Evaluating WSDL Specifications
AUTORES: Mario Beron; German Montejano; Daniel Riesco; Pedro R Henriques ; Narayan Debnath;
PUBLICAÇÃO: 2013, FONTE: 10th International Conference on Information Technology - New Generations (ITNG) in PROCEEDINGS OF THE 2013 10TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS

INDEXADO EM:

Scopus

WOS

DBLP

TÃTULO: NESSy: a New Evaluator for Software Development Tools
AUTORES: Enrique Alfredo Miranda; Mario Beron; German Montejano; Maria João Varanda Pereira; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2013, FONTE: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in 2nd Symposium on Languages, Applications and Technologies, SLATE 2013, June 20-21, 2013 - Porto, Portugal, VOLUME: 29

INDEXADO EM:

Scopus

DBLP

TÃTULO: SVS, BORS, SVSi: Three strategies to relate problem and program domains
AUTORES: Beron, MM; Pereira, MJV; Oliveira, N; Da Cruz, D;
PUBLICAÇÃO: 2010, FONTE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension

INDEXADO EM:

Scopus

Links Úteis