article-journal

SAFER: Safety Assurances for Emergent Behavior
Complex systems exhibit emergent behavior, often unpredictable from component actions. This article investigates safety assurances for …
Caio Batista de Melo, Marzieh Ashrafiamiri, Minjun Seo, Fadi Kurdahi, Nikil Dutt
Cite DOI
SAFER: Safety Assurances for Emergent Behavior
LOCoCAT: Low-Overhead Classification of CAN Bus Attack Types
Although research has shown vulnerabilities and shortcomings of the controller area network bus (CAN bus) and proposed alternatives, …
Caio Batista de Melo, Nikil Dutt
Cite Code DOI
LOCoCAT: Low-Overhead Classification of CAN Bus Attack Types
The Self-Aware Information Processing Factory Paradigm for Mixed-Critical Multiprocessing
In order to provide performance increases despite the end of Moore’s law and Dennard scaling, architectures aggressively exploit data- …
Eberle A. Rambo, Bryan Donyanavard, Minjun Seo, Florian Maurer, Thawra M. Kadeed, Caio Batista de Melo, Biswadip Maity, Anmol Surhonne, Andreas Herkersdorf, Fadi Kurdahi, Nikil D. Dutt, Rolf Ernst
Cite DOI
Characterization of Implied Scenarios as Families of Common Behavior
Concurrent systems face a threat to their reliability in emergent behaviors, which are not included in the specification but can happen …
Caio Batista de Melo, André Luiz Fernandes Cançado, Genaína Nunes Rodrigues
Cite Code DOI