Volume
OASIcs, Volume 120
13th Symposium on Languages, Applications and Technologies (SLATE 2024)
-
Part of:
Series:
Open Access Series in Informatics (OASIcs)
Conference: Symposium on Languages, Applications and Technologies (SLATE)
Event
SLATE 2024, July 4-5, 2024, Águeda, PortugalEditors
- IEETA, ESTGA, University of Aveiro, Portugal
- LASI - Intelligent System Associate Laboratory, Portugal
- Faculty of Sciences, Universidade do Porto, Portugal
- CRACS - INESC TEC, Porto, Portugal
Publication Details
- published at: 2024-11-14
- Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- ISBN: 978-3-95977-321-8
Access Numbers
- Detailed Access Statistics available here
-
Total Document Accesses (updated on a weekly basis):
0PDF Downloads
Documents
No documents found matching your filter selection.
Document
Complete Volume
OASIcs, Volume 120, SLATE 2024, Complete Volume
Abstract
OASIcs, Volume 120, SLATE 2024, Complete Volume
Cite as
13th Symposium on Languages, Applications and Technologies (SLATE 2024). Open Access Series in Informatics (OASIcs), Volume 120, pp. 1-186, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Proceedings{rodrigues_et_al:OASIcs.SLATE.2024,
title = {{OASIcs, Volume 120, SLATE 2024, Complete Volume}},
booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)},
pages = {1--186},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-321-8},
ISSN = {2190-6807},
year = {2024},
volume = {120},
editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo 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.2024},
URN = {urn:nbn:de:0030-drops-220911},
doi = {10.4230/OASIcs.SLATE.2024},
annote = {Keywords: OASIcs, Volume 120, SLATE 2024, Complete Volume}
}
Document
Front Matter
Front Matter, Table of Contents, Preface, Conference Organization
Abstract
Front Matter, Table of Contents, Preface, Conference Organization
Cite as
13th Symposium on Languages, Applications and Technologies (SLATE 2024). Open Access Series in Informatics (OASIcs), Volume 120, pp. 0:i-0:xii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@InProceedings{rodrigues_et_al:OASIcs.SLATE.2024.0,
author = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo and Portela, Filipe},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)},
pages = {0:i--0:xii},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-321-8},
ISSN = {2190-6807},
year = {2024},
volume = {120},
editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo 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.2024.0},
URN = {urn:nbn:de:0030-drops-220906},
doi = {10.4230/OASIcs.SLATE.2024.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
Document
Using Embeddings to Improve Named Entity Recognition Classification with Graphs
Abstract
Richer information has potential to improve performance of NLP (Natural Language Processing) tasks such as Named Entity Recognition. A linear sequence of words can be enriched with the sentence structure, as well as their syntactic structure. However, traditional NLP methods do not contemplate this kind of information. With the use of Knowledge Graphs all this information can be represented and made use off by Graph ML (Machine Learning) techniques. Previous experiments using only graphs with their syntactic structure as input to current state-of-the-art Graph ML models failed to prove the potential of the technology. As such, in this paper the use of word embeddings is explored as an additional enrichment of the graph and, in consequence, of the input to the classification models. This use of embeddings adds a layer of context that was previously missing when using only syntactic information.
The proposed method was assessed using CoNLL dataset and results showed noticeable improvements in performance when adding embeddings. The best accuracy results with embedings attained 94.73 % accuracy, compared to the 88.58 % without embedings while metrics such as Macro-F1, Precision and Recall achieved an improvement in performance of over 20%. We test these models with a different number of classes to assess whether the quality of them would degrade or not. Due to the use of inductive learning methods (such as Graph SAGE) these results provide us with models that can be used in real-world scenarios as there is no need to re-train the whole graph to predict on new data points as is the case with traditional Graph ML methods (for example, Graph Convolutional Networks).
Cite as
Gabriel Silva, Mário Rodrigues, António Teixeira, and Marlene Amorim. Using Embeddings to Improve Named Entity Recognition Classification with Graphs. In 13th Symposium on Languages, Applications and Technologies (SLATE 2024). Open Access Series in Informatics (OASIcs), Volume 120, pp. 1:1-1:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@InProceedings{silva_et_al:OASIcs.SLATE.2024.1,
author = {Silva, Gabriel and Rodrigues, M\'{a}rio and Teixeira, Ant\'{o}nio and Amorim, Marlene},
title = {{Using Embeddings to Improve Named Entity Recognition Classification with Graphs}},
booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)},
pages = {1:1--1:11},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-321-8},
ISSN = {2190-6807},
year = {2024},
volume = {120},
editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo 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.2024.1},
URN = {urn:nbn:de:0030-drops-220722},
doi = {10.4230/OASIcs.SLATE.2024.1},
annote = {Keywords: Knowledge graphs, Enriched data, Natural language processing, Named Entity Recognition}
}
Document
Contributions to Legal Document Summarization: Judgments from the Portuguese Supreme Court of Justice
Abstract
Legal documents are commonly known for being lengthy and having a specific vocabulary. For professionals and non-jurists, having a summary of each document is crucial so they can use it as a reference for other cases without spending too much time reading the entire document. In the Portuguese Supreme Court of Justice, summaries are done manually, by its Judges which is very time-consuming because of the length of the legal documents. Aiming to support the Judges in this task, the goal of this work is to investigate how different techniques and methods of automated text summarization can achieve good performance on Portuguese legal documents.
Cite as
Margarida Rebelo Dias, Ricardo Ribeiro, and H. Sofia Pinto. Contributions to Legal Document Summarization: Judgments from the Portuguese Supreme Court of Justice. In 13th Symposium on Languages, Applications and Technologies (SLATE 2024). Open Access Series in Informatics (OASIcs), Volume 120, pp. 2:1-2:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@InProceedings{dias_et_al:OASIcs.SLATE.2024.2,
author = {Dias, Margarida Rebelo and Ribeiro, Ricardo and Pinto, H. Sofia},
title = {{Contributions to Legal Document Summarization: Judgments from the Portuguese Supreme Court of Justice}},
booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)},
pages = {2:1--2:14},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-321-8},
ISSN = {2190-6807},
year = {2024},
volume = {120},
editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo 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.2024.2},
URN = {urn:nbn:de:0030-drops-220730},
doi = {10.4230/OASIcs.SLATE.2024.2},
annote = {Keywords: automatic text summarization, legal document summarization, abstractive summarization, transformers, European Portuguese}
}
Document
Ontology Visualization Tools: A Bibliographic Review and a Proposal
Abstract
Information can be graphically presented to users through different visualization methods, which can be complemented by various features meant to facilitate the navigation and interpretation of the presented information. Many of these methods and features are already in use by current ontology visualization tools, while others, along with some concepts from the broader field of information visualization, are merely explored in the literature despite their potential to also be applied in this specific field. This paper aims to analyze key characteristics of the current state of the art of ontology visualization tools, as well as the notable benefits and limitations of each of them, by extensively reviewing this body of work. Additionally, it also aims to demonstrate how the resulting insight has aided the development of PrOnto, a new platform dedicated to the visualization of OntoDL+ ontologies.
Cite as
Ezra Gomes Marques, Cristiana Araújo, and Pedro Rangel Henriques. Ontology Visualization Tools: A Bibliographic Review and a Proposal. In 13th Symposium on Languages, Applications and Technologies (SLATE 2024). Open Access Series in Informatics (OASIcs), Volume 120, pp. 3:1-3:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@InProceedings{marques_et_al:OASIcs.SLATE.2024.3,
author = {Marques, Ezra Gomes and Ara\'{u}jo, Cristiana and Henriques, Pedro Rangel},
title = {{Ontology Visualization Tools: A Bibliographic Review and a Proposal}},
booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)},
pages = {3:1--3:14},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-321-8},
ISSN = {2190-6807},
year = {2024},
volume = {120},
editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo 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.2024.3},
URN = {urn:nbn:de:0030-drops-220749},
doi = {10.4230/OASIcs.SLATE.2024.3},
annote = {Keywords: Ontology, Information Visualization, Ontology Visualization, Ontology Navigation, OntoDL+}
}
Document
Short Paper
Early Findings in Using LLMs to Assess Semantic Relations Strength (Short Paper)
Abstract
Semantic measure (SM) algorithms allow software to mimic the human ability of assessing the strength of the semantic relations between elements such as concepts, entities, words, or sentences. SM algorithms are typically evaluated by comparison against gold standard datasets built by human annotators. These datasets are composed of pairs of elements and an averaged numeric rating. Building such datasets usually requires asking human annotators to assign a numeric value to their perception of the strength of the semantic relation between two elements. Large language models (LLMs) have recently been successfully used to perform tasks which previously required human intervention, such as text summarization, essay writing, image description, image synthesis, question answering, and so on. In this paper, we present ongoing research on LLMs capabilities for semantic relations assessment. We queried several LLMs to rate the relationship of pairs of elements from existing semantic measures evaluation datasets, and measured the correlation between the results from the LLMs and gold standard datasets. Furthermore, we performed additional experiments to evaluate which other factors can influence LLMs performance in this task. We present and discuss the results obtained so far.
Cite as
André Fernandes dos Santos and José Paulo Leal. Early Findings in Using LLMs to Assess Semantic Relations Strength (Short Paper). In 13th Symposium on Languages, Applications and Technologies (SLATE 2024). Open Access Series in Informatics (OASIcs), Volume 120, pp. 4:1-4:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@InProceedings{dossantos_et_al:OASIcs.SLATE.2024.4,
author = {dos Santos, Andr\'{e} Fernandes and Leal, Jos\'{e} Paulo},
title = {{Early Findings in Using LLMs to Assess Semantic Relations Strength}},
booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)},
pages = {4:1--4:9},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-321-8},
ISSN = {2190-6807},
year = {2024},
volume = {120},
editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo 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.2024.4},
URN = {urn:nbn:de:0030-drops-220758},
doi = {10.4230/OASIcs.SLATE.2024.4},
annote = {Keywords: large language models, semantic measures, semantic datasets}
}
Document
Experimental Comparison of the Effectiveness and Error Rates of Projectional and Text Editors
Abstract
Editors can significantly influence user experience, as well as factors such as programming speed and the occurrence of syntactic errors. Given our experience in programming in the projectional editor MPS, which we believe offers numerous advantages, we decided to conduct an experiment involving students with limited programming experience. The aim was to determine if a novice programmer could program in projectional editor more effectively than in traditional text editor.
A total of 83 first-year computer science students from our university participated in the experiment. The methodology encompassed the selection of an appropriate programming language for the experiment, customization of the language’s editor, preliminary trials, the main experiment, and concluding evaluations of speed and error rates associated with both editors. Additionally, the study sought insights into whether students exhibited a preference for programming in a projectional editor or adhering to a classic text editor paradigm.
Cite as
Tomáš Petro and Jaroslav Porubän. Experimental Comparison of the Effectiveness and Error Rates of Projectional and Text Editors. In 13th Symposium on Languages, Applications and Technologies (SLATE 2024). Open Access Series in Informatics (OASIcs), Volume 120, pp. 5:1-5:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@InProceedings{petro_et_al:OASIcs.SLATE.2024.5,
author = {Petro, Tom\'{a}\v{s} and Porub\"{a}n, Jaroslav},
title = {{Experimental Comparison of the Effectiveness and Error Rates of Projectional and Text Editors}},
booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)},
pages = {5:1--5:9},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-321-8},
ISSN = {2190-6807},
year = {2024},
volume = {120},
editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo 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.2024.5},
URN = {urn:nbn:de:0030-drops-220762},
doi = {10.4230/OASIcs.SLATE.2024.5},
annote = {Keywords: Text editor, Projectional editor, Effectiveness, Experiment}
}
Document
Automatic and Dynamic Visualization of Process-Based Concurrent Programs
Abstract
This article discusses the development of forkSim, a tool that can be used to support the teaching of system-level programming within the context of Operating Systems classes, by facilitating the comprehension and analysis of the behavior of C codes representing process-based concurrent programs involving fork system calls. The tool builds on two main components. The first is a C preprocessor, created using language processing techniques. This preprocessor embeds inspectors into the C code before its execution. In runtime, the inspectors extract relevant data from the actions performed and generate a JSON file. The second component is a web application that generates a visual representation of the program flow based on the JSON file. This visualization incorporates elements from BPMN diagrams and draws inspiration from representations used for many years in OS classes. The development of forkSim faced several technical challenges and involved some design decisions, both documented in this paper, along with a discussion of the results achieved.
Cite as
Daniel Augusto Rodrigues Farina, Rodrigo Campiolo, José Rufino, and Maria João Varanda Pereira. Automatic and Dynamic Visualization of Process-Based Concurrent Programs. In 13th Symposium on Languages, Applications and Technologies (SLATE 2024). Open Access Series in Informatics (OASIcs), Volume 120, pp. 6:1-6:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@InProceedings{farina_et_al:OASIcs.SLATE.2024.6,
author = {Farina, Daniel Augusto Rodrigues and Campiolo, Rodrigo and Rufino, Jos\'{e} and Pereira, Maria Jo\~{a}o Varanda},
title = {{Automatic and Dynamic Visualization of Process-Based Concurrent Programs}},
booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)},
pages = {6:1--6:12},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-321-8},
ISSN = {2190-6807},
year = {2024},
volume = {120},
editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo 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.2024.6},
URN = {urn:nbn:de:0030-drops-220777},
doi = {10.4230/OASIcs.SLATE.2024.6},
annote = {Keywords: E-Learning Tool, System Programming, Concurrent Programming, Code Instrumentation, Inspector Functions, C, JSON, Konva JS, Canvas, Python, React JS, BPMN}
}
Document
Upgrade of Lark Compiler Generator to Support Attribute Grammars
Abstract
This document presents an initiative aimed at advancing parsing and language processing through the integration of Attribute Grammars (AG) into the Lark Compiler Generator, a flexible tool frequently used for these tasks. In order to achieve a successful integration of AGs into Lark, a study on the concept and example analysis of AG based specifications needed to be conducted. This provided an insight on their advantages in order to extend Lark with the ability to use AG, that will be presented in this article. With this project, named LarkAG, we aim at providing Lark with a conventional and well studied formalism to specify rigorously the static and dynamic semantics of programming languages, on top of its recognized syntactic analysis capabilities. Along the paper, LarkAG architecture, development and usage are also discussed. The DSL designed to provide a proper notation for attribute occurrences selection and for writing semantic rules and context conditions is also presented. This addition of AG support to Lark will enable the construction of compilers and language processors of greater reliability. It is not a major breakthrough since AGs based tools already exist and are well studied, but rather an extension that can bring great value to a modern framework such as Lark.
Cite as
Daniel Faria, Tiago João Baptista, and Pedro Rangel Henriques. Upgrade of Lark Compiler Generator to Support Attribute Grammars. In 13th Symposium on Languages, Applications and Technologies (SLATE 2024). Open Access Series in Informatics (OASIcs), Volume 120, pp. 7:1-7:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@InProceedings{faria_et_al:OASIcs.SLATE.2024.7,
author = {Faria, Daniel and Baptista, Tiago Jo\~{a}o and Henriques, Pedro Rangel},
title = {{Upgrade of Lark Compiler Generator to Support Attribute Grammars}},
booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)},
pages = {7:1--7:16},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-321-8},
ISSN = {2190-6807},
year = {2024},
volume = {120},
editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo 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.2024.7},
URN = {urn:nbn:de:0030-drops-220787},
doi = {10.4230/OASIcs.SLATE.2024.7},
annote = {Keywords: Formal Language Specification, Formal Language Processing, Attribute Grammars, Compiler Generation, Lark}
}
Document
Short Paper
DrumLace - A Domain Specific Language (DSL) for Drum Programming (Short Paper)
Abstract
In an ever expanding world of musical technology, and due to the evolution of computational power in the last decades, a subdomain emerged where software represents a tool for musicians. Within that subdomain a large variety of approaches exist that allow users to create, define, improve and analyze music. One of these approaches involves the development of text-based languages, that allows the user to define music only through text in a way that enables the development of tools which make possible the printing of the musical sheet describing the score, as well as the generation of different audio files - in WAV, MP3, or other formats - that other music software, such as software synthesizers, can use to play the described score.
This project aims to develop a new language, focused on percussion instruments, that allows the description of rhythms, via text or via a visual language - made available trough a Graphic User Interface (GUI). Moreover, that new music DSL supports the use of functions applied to the rhythms and allows the generation of various outputs. This narrow focus on drum programming, as opposed to music as whole, aims at providing an easier to learn syntax, a simple to use tool and an environment open to the integration of more complex concepts presented in the world of percussion.
Cite as
André Semanas de Oliveira Araújo, José João Dias de Almeida, and Pedro Rangel Henriques. DrumLace - A Domain Specific Language (DSL) for Drum Programming (Short Paper). In 13th Symposium on Languages, Applications and Technologies (SLATE 2024). Open Access Series in Informatics (OASIcs), Volume 120, pp. 8:1-8:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@InProceedings{araujo_et_al:OASIcs.SLATE.2024.8,
author = {Ara\'{u}jo, Andr\'{e} Semanas de Oliveira and de Almeida, Jos\'{e} Jo\~{a}o Dias and Henriques, Pedro Rangel},
title = {{DrumLace - A Domain Specific Language (DSL) for Drum Programming}},
booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)},
pages = {8:1--8:9},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-321-8},
ISSN = {2190-6807},
year = {2024},
volume = {120},
editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo 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.2024.8},
URN = {urn:nbn:de:0030-drops-220797},
doi = {10.4230/OASIcs.SLATE.2024.8},
annote = {Keywords: Domain Specific Languages (DSL), Visual Musical Languages, Drum Programming, Compilation}
}
Document
ERPL: DSL for Escape Rooms
Abstract
This article delves into the development of ERPL, a Domain-Specific Language tailored for virtual escape rooms. It explores the mechanics, technology, and architecture used in creating immersive and engaging virtual escape room experiences. Case studies demonstrate the practical application of ERPL in designing virtual escape rooms, showcasing its flexibility and effectiveness in meeting the demands of escape room creators. In conclusion, we summarize the results obtained and discuss potential future directions for the development of ERPL.
Cite as
Tiago Luís Dias da Silva and José João Almeida. ERPL: DSL for Escape Rooms. In 13th Symposium on Languages, Applications and Technologies (SLATE 2024). Open Access Series in Informatics (OASIcs), Volume 120, pp. 9:1-9:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@InProceedings{dasilva_et_al:OASIcs.SLATE.2024.9,
author = {da Silva, Tiago Lu{\'\i}s Dias and Almeida, Jos\'{e} Jo\~{a}o},
title = {{ERPL: DSL for Escape Rooms}},
booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)},
pages = {9:1--9:8},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-321-8},
ISSN = {2190-6807},
year = {2024},
volume = {120},
editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo 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.2024.9},
URN = {urn:nbn:de:0030-drops-220800},
doi = {10.4230/OASIcs.SLATE.2024.9},
annote = {Keywords: Escape rooms, Domain-Specific Language, Game development}
}
Document
Towards an Intelligent Algorithm for Profile Authentication and Identification
Abstract
In the context digital transformation, the necessity for secure and efficient virtual identity verification has become paramount. Traditional methods often fail to balance security, speed, and usability, leaving gaps in user authentication systems. This paper addresses the critical challenge of creating a virtual ID system that identifies a single profile with improved security, speed, and effectiveness. An innovative face recognition algorithm using dynamic content loading and deep learning techniques is proposed. The utilisation of OpenCV for face recognition and feature extraction, combined with advanced similarity calculation methods, the system achieves superior accuracy in profile authentication tasks. Extensive testing, including identical twin scenarios, demonstrates the robustness of the algorithm and its superiority over existing solutions such as Apple’s Face ID. In 150 of the tests conducted with identical twins, the algorithm consistently achieved 100% recognition accuracy. This breakthrough in facial recognition technology promises to create a triple authentication system, which will solve the problem of false positives in terms of identifying and authenticating people. This paper integrates principles from Computer Intelligence and Chatbots, emphasizing the application of deep learning techniques in enhancing virtual identity verification systems. This research contributes to the broader discourse on improving authentication mechanisms in the digital age.
Cite as
Nuno Jerónimo, Filipe Portela, and Henrique Santos. Towards an Intelligent Algorithm for Profile Authentication and Identification. In 13th Symposium on Languages, Applications and Technologies (SLATE 2024). Open Access Series in Informatics (OASIcs), Volume 120, pp. 10:1-10:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@InProceedings{jeronimo_et_al:OASIcs.SLATE.2024.10,
author = {Jer\'{o}nimo, Nuno and Portela, Filipe and Santos, Henrique},
title = {{Towards an Intelligent Algorithm for Profile Authentication and Identification}},
booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)},
pages = {10:1--10:14},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-321-8},
ISSN = {2190-6807},
year = {2024},
volume = {120},
editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo 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.2024.10},
URN = {urn:nbn:de:0030-drops-220817},
doi = {10.4230/OASIcs.SLATE.2024.10},
annote = {Keywords: Facial recognition, Biometric analysis, Dynamic content loading, User authentication}
}
Document
A Language for Explaining Counterexamples
Abstract
Model checkers can automatically verify a system’s behavior against temporal logic properties. However, analyzing the counterexamples produced in case of failure is still a manual process that requires both technical and domain knowledge. However, this step is crucial to understand the flaws of the system being verified. This paper presents a language created to support the generation of natural language explanations of counterexamples produced by a model checker. The language supports querying the properties and counterexamples to generate the explanations. The paper explains the language components and how they can be used to produce explanations.
Cite as
Ezequiel José Veloso Ferreira Moreira and José Creissac Campos. A Language for Explaining Counterexamples. In 13th Symposium on Languages, Applications and Technologies (SLATE 2024). Open Access Series in Informatics (OASIcs), Volume 120, pp. 11:1-11:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@InProceedings{velosoferreiramoreira_et_al:OASIcs.SLATE.2024.11,
author = {Veloso Ferreira Moreira, Ezequiel Jos\'{e} and Campos, Jos\'{e} Creissac},
title = {{A Language for Explaining Counterexamples}},
booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)},
pages = {11:1--11:14},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-321-8},
ISSN = {2190-6807},
year = {2024},
volume = {120},
editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo 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.2024.11},
URN = {urn:nbn:de:0030-drops-220826},
doi = {10.4230/OASIcs.SLATE.2024.11},
annote = {Keywords: Model Checking, NuSMV, counterexample, natural language explanation}
}
Document
Anomaly Detection in Logs: A Comparative Analysis of Unsupervised Algorithms
Abstract
This study explores anomaly detection through unsupervised Machine Learning applied to banking systems' log records. The diversity in formatting and types of logs poses significant challenges for automating anomaly detection. We propose a workflow using Natural Language Processing (NLP) techniques for anomaly identification, which in further analysis can lead to identifying root causes of failures and vulnerabilities. We evaluate the performance of eight different models using Blue Gene/L log records. The most effective models were selected and subsequently validated with Microsoft Configuration Manager (MCM) logs collected from a financial institution, demonstrating their practical applicability in real-world scenarios. Experimental results highlighted the effectiveness of neural network models, specifically Self-Organizing Maps (SOM) and Autoencoders (AE), with F1-Scores of 0.86 and 0.80, respectively, when applied to MCM logs collected from the financial institution.
Cite as
Alysson C. E. de Moura, Geraldo P. Rocha Filho, Marcos F. Caetano, João J. C. Gondim, Aleteia Araujo, Marcelo A. Marotta, and Lucas Bondan. Anomaly Detection in Logs: A Comparative Analysis of Unsupervised Algorithms. In 13th Symposium on Languages, Applications and Technologies (SLATE 2024). Open Access Series in Informatics (OASIcs), Volume 120, pp. 12:1-12:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@InProceedings{demoura_et_al:OASIcs.SLATE.2024.12,
author = {de Moura, Alysson C. E. and Filho, Geraldo P. Rocha and Caetano, Marcos F. and Gondim, Jo\~{a}o J. C. and Araujo, Aleteia and Marotta, Marcelo A. and Bondan, Lucas},
title = {{Anomaly Detection in Logs: A Comparative Analysis of Unsupervised Algorithms}},
booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)},
pages = {12:1--12:14},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-321-8},
ISSN = {2190-6807},
year = {2024},
volume = {120},
editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo 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.2024.12},
URN = {urn:nbn:de:0030-drops-220831},
doi = {10.4230/OASIcs.SLATE.2024.12},
annote = {Keywords: Anomaly Detection, Log Analysis, Natural Language Processing, Unsupervised Learning, Word Embeddings}
}
Document
Infrastructural Challenges and Good Practices in a Security Operation Center
Abstract
Organizations are facing some challenges in cybersecurity, due to the increasing of cyber threats, vulnerabilities, insufficient cybersecurity frameworks, and scarcity of proficient cybersecurity experts. The criticality of mitigating these challenges is underscored by the European Union’s Network and Information Systems (NIS) Directive. This directive is instrumental in fostering a uniformly high level of cybersecurity throughout the EU, mandating that Member States implement robust national cybersecurity strategies and collaborate effectively in responding to cyber incidents. A possible solution is the implementation of a Security Operations Center (SOC). However, SOCs are not a one-size-fits-all solution and each organization has specific needs depending on their business domain. This task can be complex, and it can be simplified when organizations can identify in the initial stages the infrastructural challenges that may emerge when implementing a SOC. In this paper, we analyzed the main considerations that should be considered when using current frameworks reviewed in the literature. We identified the core operating models that are currently in use and being deployed, and which are the best practices when designing a SOC’s infrastructure.
Cite as
Dimitri Alexandre da Silva, José Luís Costa, and João Rafael Almeida. Infrastructural Challenges and Good Practices in a Security Operation Center. In 13th Symposium on Languages, Applications and Technologies (SLATE 2024). Open Access Series in Informatics (OASIcs), Volume 120, pp. 13:1-13:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@InProceedings{dasilva_et_al:OASIcs.SLATE.2024.13,
author = {da Silva, Dimitri Alexandre and Costa, Jos\'{e} Lu{\'\i}s and Almeida, Jo\~{a}o Rafael},
title = {{Infrastructural Challenges and Good Practices in a Security Operation Center}},
booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)},
pages = {13:1--13:12},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-321-8},
ISSN = {2190-6807},
year = {2024},
volume = {120},
editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo 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.2024.13},
URN = {urn:nbn:de:0030-drops-220848},
doi = {10.4230/OASIcs.SLATE.2024.13},
annote = {Keywords: Eduroam, Wi-Fi, Credential stealing, Attack, Network, Security}
}
Document
A Study of Security Issues of Eduroam Networks in Portugal
Abstract
Enterprise Wi-Fi networks provide seamless connectivity for businesses and public entities. In educational settings, these networks are essential for delivering services to students. Eduroam is one of the most widely recognized university Wi-Fi enterprise networks. It uses 802.1x protocols and TLS tunnels to establish mutual authentication. Eduroam caters to a diverse population of students and faculty worldwide, managing a vast number of unregulated devices, some of which, require manual configuration to operate in a secure setting. This study aims to evaluate the security robustness of the 802.1x protocol, particularly within the Eduroam framework. A comprehensive study was conducted to examine compliance with institutional instructions for network configuration guidance. The results from 91 Portuguese institutions using Eduroam revealed that many lacked knowledge of Wi-Fi security. This lack of awareness is then passed on to users, resulting in vulnerable connections.
Cite as
Luís Miguel Batista, Hélder Gomes, and João Rafael Almeida. A Study of Security Issues of Eduroam Networks in Portugal. In 13th Symposium on Languages, Applications and Technologies (SLATE 2024). Open Access Series in Informatics (OASIcs), Volume 120, pp. 14:1-14:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@InProceedings{batista_et_al:OASIcs.SLATE.2024.14,
author = {Batista, Lu{\'\i}s Miguel and Gomes, H\'{e}lder and Almeida, Jo\~{a}o Rafael},
title = {{A Study of Security Issues of Eduroam Networks in Portugal}},
booktitle = {13th Symposium on Languages, Applications and Technologies (SLATE 2024)},
pages = {14:1--14:14},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-321-8},
ISSN = {2190-6807},
year = {2024},
volume = {120},
editor = {Rodrigues, M\'{a}rio and Leal, Jos\'{e} Paulo 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.2024.14},
URN = {urn:nbn:de:0030-drops-220855},
doi = {10.4230/OASIcs.SLATE.2024.14},
annote = {Keywords: Eduroam, Wi-Fi, Credential stealing, Attack, Network, Security}
}