Search Results

Documents authored by Ferreira, Diogo

Found 2 Possible Name Variants:

Ferreira, Diogo R.

Document
DOI: 10.4230/OASIcs.SLATE.2013.219
Specifying Adaptations through a DSL with an Application to Mobile Robot Navigation

Authors: André C. Santos, João M. P. Cardoso, Pedro C. Diniz, and Diogo R. Ferreira

Published in: OASIcs, Volume 29, 2nd Symposium on Languages, Applications and Technologies (2013)

Abstract
Developing applications for resource-constrained embedded systems is a challenging task specially when applications must adapt to changes in their operating conditions or environment. To ensure an appropriate response at all times, it is highly desirable to develop applications that can dynamically adapt their behavior at run-time. In this paper we introduce an architecture that allows the specification of adaptable behavior through an external, high-level and platform-independent domain-specific language (DSL). The DSL is used here to define adaptation rules that change the run-time behavior of the application depending on various operational factors, such as time constraints. We illustrate the use of the DSL in an application to mobile robot navigation using smartphones, where experimental results highlight the benefits of specifying the adaptable behavior in a flexible and external way to the main application logic.
Cite as

André C. Santos, João M. P. Cardoso, Pedro C. Diniz, and Diogo R. Ferreira. Specifying Adaptations through a DSL with an Application to Mobile Robot Navigation. In 2nd Symposium on Languages, Applications and Technologies. Open Access Series in Informatics (OASIcs), Volume 29, pp. 219-234, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@InProceedings{santos_et_al:OASIcs.SLATE.2013.219,
  author =	{Santos, Andr\'{e} C. and Cardoso, Jo\~{a}o M. P. and Diniz, Pedro C. and Ferreira, Diogo R.},
  title =	{{Specifying Adaptations through a DSL with an Application to Mobile Robot Navigation}},
  booktitle =	{2nd Symposium on Languages, Applications and Technologies},
  pages =	{219--234},
  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.219},
  URN =		{urn:nbn:de:0030-drops-40403},
  doi =		{10.4230/OASIcs.SLATE.2013.219},
  annote =	{Keywords: Domain-specific language, run-time adaptations, adaptive behavior, embedded systems, mobile robot navigation}
}

Ferreira, Diogo

Document
DOI: 10.4230/OASIcs.AEiC.2026.2
Discovering and Repairing Flaws in C Binaries Without Requiring Codebase and Instrumentation

Authors: Diogo Ferreira and Ibéria Medeiros

Published in: OASIcs, Volume 143, 30th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2026)

Abstract
Industrial and embedded software systems frequently integrate various third-party components sourced from diverse providers into their codebases. These systems are commonly developed in C, a language known for its lack of variable bounds checking, making it vulnerable to Buffer Overflows (BOs), which, when exploited, can cause severe damage. Consequently, the binary code resulting from vulnerable C programs is also vulnerable and remains so in the final products. Fixing these software systems is challenging because only binary code is available. This paper presents PatchBin, a binary patching tool to automatically fix BO vulnerabilities and validate the effectiveness of fixes while ensuring no new flaws are introduced. The approach involves a combination of fuzzing, reverse static analysis and static rewriting techniques to, respectively, (i) identify possible malicious inputs that can trigger BOs, (ii) find their root cause by employing reverse data flow analysis, and (iii) remove them by rewriting the binary code with effective validation, thus generating a new binary without the original flaws and new ones. Experimental evaluations with synthetic and real-world applications demonstrated that PatchBin detects and fixes BO in binary programs without introducing new vulnerabilities. The results showed that PatchBin is an important aid for industrial partners, enabling them to test and fix their products, including third-party components, without access to source code, but only to binary code.
Cite as

Diogo Ferreira and Ibéria Medeiros. Discovering and Repairing Flaws in C Binaries Without Requiring Codebase and Instrumentation. In 30th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2026). Open Access Series in Informatics (OASIcs), Volume 143, pp. 2:1-2:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@InProceedings{ferreira_et_al:OASIcs.AEiC.2026.2,
  author =	{Ferreira, Diogo and Medeiros, Ib\'{e}ria},
  title =	{{Discovering and Repairing Flaws in C Binaries Without Requiring Codebase and Instrumentation}},
  booktitle =	{30th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2026)},
  pages =	{2:1--2:19},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-425-3},
  ISSN =	{2190-6807},
  year =	{2026},
  volume =	{143},
  editor =	{Filieri, Antonio and Backeman, Peter},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.AEiC.2026.2},
  URN =		{urn:nbn:de:0030-drops-259209},
  doi =		{10.4230/OASIcs.AEiC.2026.2},
  annote =	{Keywords: Buffer Overflow Vulnerabilities, Binary Patching, Reverse Engineering, Static Analysis, Software Security}
}
Document
DOI: 10.4230/OASIcs.ICPEC.2020.23
IoEduc - Bring Your Own Device to the Classroom

Authors: Miguel Silva, Diogo Ferreira, and Filipe Portela

Published in: OASIcs, Volume 81, First International Computer Programming Education Conference (ICPEC 2020)

Abstract
The evolution of technology brings new challenges to teaching platforms. Students are demanding and want to have dynamic and interactive environments. Classrooms are much more than a simple place to study. Students can work and learn anywhere and anytime they want. Having this reality in consideration emerges the concept of Bring Your Own Device to classrooms. So, in the first instance, it is essential to understand the concept and which tasks can be transported to students devices. After that, it is time to design a new tool capable of answering new teaching demands. ioEduc arises as a platform able to support a unique and interactive way of teaching. This emerging platform was tested during a semester, and the assessment results of utility are promising (0% of negative answers and more than 60% of students consider this tool indispensable to the future).
Cite as

Miguel Silva, Diogo Ferreira, and Filipe Portela. IoEduc - Bring Your Own Device to the Classroom. In First International Computer Programming Education Conference (ICPEC 2020). Open Access Series in Informatics (OASIcs), Volume 81, pp. 23:1-23:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)

Copy BibTex To Clipboard

@InProceedings{silva_et_al:OASIcs.ICPEC.2020.23,
  author =	{Silva, Miguel and Ferreira, Diogo and Portela, Filipe},
  title =	{{IoEduc - Bring Your Own Device to the Classroom}},
  booktitle =	{First International Computer Programming Education Conference (ICPEC 2020)},
  pages =	{23:1--23:9},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-153-5},
  ISSN =	{2190-6807},
  year =	{2020},
  volume =	{81},
  editor =	{Queir\'{o}s, Ricardo and Portela, Filipe and Pinto, M\'{a}rio 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.ICPEC.2020.23},
  URN =		{urn:nbn:de:0030-drops-123100},
  doi =		{10.4230/OASIcs.ICPEC.2020.23},
  annote =	{Keywords: BYOD, ioEduc, Education, e-Learning, Interactive classes, Gamification}
}
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact