Published in: OASIcs, Volume 83, 9th Symposium on Languages, Applications and Technologies (SLATE 2020)
Mauro C. Argañaraz, Mario M. Berón, Maria J. Varanda Pereira, and Pedro Rangel Henriques. Detection of Vulnerabilities in Smart Contracts Specifications in Ethereum Platforms. In 9th Symposium on Languages, Applications and Technologies (SLATE 2020). Open Access Series in Informatics (OASIcs), Volume 83, pp. 2:1-2:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{arganaraz_et_al:OASIcs.SLATE.2020.2, author = {Arga\~{n}araz, Mauro C. and Ber\'{o}n, Mario M. and Varanda Pereira, Maria J. and Henriques, Pedro Rangel}, title = {{Detection of Vulnerabilities in Smart Contracts Specifications in Ethereum Platforms}}, booktitle = {9th Symposium on Languages, Applications and Technologies (SLATE 2020)}, pages = {2:1--2:16}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-165-8}, ISSN = {2190-6807}, year = {2020}, volume = {83}, editor = {Sim\~{o}es, Alberto and Henriques, Pedro Rangel and Queir\'{o}s, Ricardo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2020.2}, URN = {urn:nbn:de:0030-drops-130154}, doi = {10.4230/OASIcs.SLATE.2020.2}, annote = {Keywords: blockchain, ethereum, smart contract, solidity, static analysis, verification} }
Published in: OASIcs, Volume 113, 12th Symposium on Languages, Applications and Technologies (SLATE 2023)
12th Symposium on Languages, Applications and Technologies (SLATE 2023). Open Access Series in Informatics (OASIcs), Volume 113, pp. 1-206, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@Proceedings{simoes_et_al:OASIcs.SLATE.2023, title = {{OASIcs, Volume 113, SLATE 2023, Complete Volume}}, booktitle = {12th Symposium on Languages, Applications and Technologies (SLATE 2023)}, pages = {1--206}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-291-4}, ISSN = {2190-6807}, year = {2023}, volume = {113}, editor = {Sim\~{o}es, Alberto and Ber\'{o}n, Mario Marcelo and Portela, Filipe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2023}, URN = {urn:nbn:de:0030-drops-185130}, doi = {10.4230/OASIcs.SLATE.2023}, annote = {Keywords: OASIcs, Volume 113, SLATE 2023, Complete Volume} }
Published in: OASIcs, Volume 113, 12th Symposium on Languages, Applications and Technologies (SLATE 2023)
12th Symposium on Languages, Applications and Technologies (SLATE 2023). Open Access Series in Informatics (OASIcs), Volume 113, pp. 0:i-0:xii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{simoes_et_al:OASIcs.SLATE.2023.0, author = {Sim\~{o}es, Alberto and Ber\'{o}n, Mario Marcelo and Portela, Filipe}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {12th Symposium on Languages, Applications and Technologies (SLATE 2023)}, pages = {0:i--0:xii}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-291-4}, ISSN = {2190-6807}, year = {2023}, volume = {113}, editor = {Sim\~{o}es, Alberto and Ber\'{o}n, Mario Marcelo and Portela, Filipe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2023.0}, URN = {urn:nbn:de:0030-drops-185141}, doi = {10.4230/OASIcs.SLATE.2023.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Published in: OASIcs, Volume 21, 1st Symposium on Languages, Applications and Technologies (2012)
Mariano Luzza, Mario Marcelo Beron, and Pedro Rangel Henriques. PH-Helper - a Syntax-Directed Editor for Hoshimi Programming Language, HL. In 1st Symposium on Languages, Applications and Technologies. Open Access Series in Informatics (OASIcs), Volume 21, pp. 71-89, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{luzza_et_al:OASIcs.SLATE.2012.71, author = {Luzza, Mariano and Beron, Mario Marcelo and Henriques, Pedro Rangel}, title = {{PH-Helper - a Syntax-Directed Editor for Hoshimi Programming Language, HL}}, booktitle = {1st Symposium on Languages, Applications and Technologies}, pages = {71--89}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-40-8}, ISSN = {2190-6807}, year = {2012}, volume = {21}, editor = {Sim\~{o}es, Alberto and Queir\'{o}s, Ricardo and da Cruz, Daniela}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.71}, URN = {urn:nbn:de:0030-drops-35153}, doi = {10.4230/OASIcs.SLATE.2012.71}, annote = {Keywords: Syntax-directed Editors, Visual Programming Enviroments, DSL} }
Published in: OASIcs, Volume 21, 1st Symposium on Languages, Applications and Technologies (2012)
Maria João Varanda Pereira, Mario Marcelo Beron, Daniela da Cruz, Nuno Oliveira, and Pedro Rangel Henriques. Problem Domain Oriented Approach for Program Comprehension. In 1st Symposium on Languages, Applications and Technologies. Open Access Series in Informatics (OASIcs), Volume 21, pp. 91-105, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{varandapereira_et_al:OASIcs.SLATE.2012.91, author = {Varanda Pereira, Maria Jo\~{a}o and Beron, Mario Marcelo and da Cruz, Daniela and Oliveira, Nuno and Henriques, Pedro Rangel}, title = {{Problem Domain Oriented Approach for Program Comprehension}}, booktitle = {1st Symposium on Languages, Applications and Technologies}, pages = {91--105}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-40-8}, ISSN = {2190-6807}, year = {2012}, volume = {21}, editor = {Sim\~{o}es, Alberto and Queir\'{o}s, Ricardo and da Cruz, Daniela}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.91}, URN = {urn:nbn:de:0030-drops-35161}, doi = {10.4230/OASIcs.SLATE.2012.91}, annote = {Keywords: Program Comprehension, Ontology-based SW development, Problem and Program domain mapping, Code Analysis. Software Visualization} }
Published in: OASIcs, Volume 29, 2nd Symposium on Languages, Applications and Technologies (2013)
Enrique Miranda, Mario Berón, German Montejano, Maria João Varanda Pereira, and Pedro Rangel Henriques. NESSy: a New Evaluator for Software Development Tools. In 2nd Symposium on Languages, Applications and Technologies. Open Access Series in Informatics (OASIcs), Volume 29, pp. 21-37, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{miranda_et_al:OASIcs.SLATE.2013.21, author = {Miranda, Enrique and Ber\'{o}n, Mario and Montejano, German and Pereira, Maria Jo\~{a}o Varanda and Henriques, Pedro Rangel}, title = {{NESSy: a New Evaluator for Software Development Tools}}, booktitle = {2nd Symposium on Languages, Applications and Technologies}, pages = {21--37}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-52-1}, ISSN = {2190-6807}, year = {2013}, volume = {29}, editor = {Leal, Jos\'{e} Paulo and Rocha, Ricardo and Sim\~{o}es, Alberto}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2013.21}, URN = {urn:nbn:de:0030-drops-40286}, doi = {10.4230/OASIcs.SLATE.2013.21}, annote = {Keywords: Evaluation Method, Elementary Criteria, Aggregation Structure, LSP} }
Feedback for Dagstuhl Publishing