Caio Batista de Melo

Caio Batista de Melo
North Carolina State University | NCSU · Department of Computer Science

Doctor of Philosophy

About

9
Publications
1,478
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
17
Citations
Education
September 2018 - June 2023
University of California, Irvine
Field of study
  • Computer Science
August 2017 - August 2018
University of Brasília
Field of study
  • Computer Science
March 2012 - July 2017
University of Brasília
Field of study
  • Computer Science

Publications

Publications (9)
Article
Full-text available
Although research has shown vulnerabilities and shortcomings of the CAN bus and proposed alternatives, the CAN bus protocol is still the industry standard and present in most vehicles. Due to its vulnerability to potential intruders that can hinder execution or even take control of the vehicles, much work has focused on detecting intrusions on the...
Article
Emergent behavior haunts the reliability and safety of complex software systems. Such behavior consists of unexpected operations that can arise at runtime and lead the system to potentially unsafe conditions. The SAFER framework allows users to model systems using Periodic State Machines and automatically generates code from a specification. It the...
Chapter
Full-text available
In this chapter, we explore adaptive resource management techniques for cyber-physical systems-on-chip that employ principles of computational self-awareness to varying degrees, specifically reflection. By supporting various self-X properties, systems gain the ability to reason about runtime configuration decisions by considering the significance o...
Article
Full-text available
In order to provide performance increases despite the end of Moore's law and Dennard scaling, architectures aggressively exploit data-and thread-level parallelism using billions of transistors on a single chip, enabled by extreme geometry miniaturization. A resulting challenge is the control, optimization, and reliable operation of such complex mul...
Book
Full-text available
In this chapter, we explore adaptive resource management techniques for cyber-physical systems-on-chip that employ principles of computational self-awareness to varying degrees, specifically reflection. By supporting various self-X properties, systems gain the ability to reason about runtime configuration decisions by considering the significance o...
Conference Paper
Full-text available
The number and complexity of embedded system platforms used in mixed-criticality applications are rapidly growing. They run large and evolving applications on heterogeneous multi-or many-core processing platforms requiring dependable operation and long lifetime. Examples include automated and autonomous driving, smart buildings, industry 4.0, and p...
Article
Full-text available
Concurrent systems face a threat to their reliability in emergent behaviors, which are not included in the specification but can happen during runtime. When concurrent systems are modeled in a scenario-based manner, it is possible to detect emergent behaviors as implied scenarios (ISs) which, analogously, are unexpected scenarios that can happen du...
Preprint
Full-text available
The Information Processing Factory (IPF) project has recently introduced the abstraction of complex architectures as self-aware information processing factories. These factories consist of a set of highly configurable resources, e.g., processing elements and interconnects, whose use is monitored, planned, and configured during runtime. Managing a f...

Network

Cited By