1
TITLE: Detection of Vulnerabilities in Smart Contracts Specifications in Ethereum Platforms
AUTHORS: Mauro C Argañaraz; Mario Marcelo Beron; Maria João Varanda Pereira; Pedro Rangel Henriques;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: DBLP
2
TITLE: Detection of vulnerabilities in smart contracts specifications in ethereum platforms
AUTHORS: Argañaraz, MC; Berón, MM; Pereira, MJV; Henriques, PR;
PUBLISHED: 2020, SOURCE: 9th Symposium on Languages, Applications and Technologies, SLATE 2020 in OpenAccess Series in Informatics, VOLUME: 83
INDEXED IN: Scopus
3
TITLE: SIP: A Simple Tool for Inspecting and Evaluating WSDL Specifications
AUTHORS: Mario Beron; German Montejano; Daniel Riesco; Pedro R Henriques ; Narayan Debnath;
PUBLISHED: 2013, SOURCE: 10th International Conference on Information Technology - New Generations (ITNG) in PROCEEDINGS OF THE 2013 10TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS
INDEXED IN: Scopus WOS DBLP CrossRef
4
TITLE: NESSy: a New Evaluator for Software Development Tools
AUTHORS: Enrique Alfredo Miranda; Mario Beron; German Montejano; Maria João Varanda Pereira; Pedro Rangel Henriques ;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus DBLP
5
TITLE: SVS, BORS, SVSi: Three strategies to relate problem and program domains
AUTHORS: Beron, MM; Pereira, MJV; Oliveira, N; Da Cruz, D;
PUBLISHED: 2010, SOURCE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension
INDEXED IN: Scopus CrossRef