CONRADI HOFFMANN, JOSÈ LUIS Statistiche
CONRADI HOFFMANN, JOSÈ LUIS
An Early Fault Detection Framework for Wind Turbines using Vibration Signals
2024-01-01 Conradi Hoffmann, José Luis; Martínez de Lucena, Mateus; de Araujo, Gustavo Medeiros; Augusto Fröhlich, Antônio
Lightweight and Robust Online Learning for Energy-Aware Multicore Real-Time Schedulers
2024-01-01 Hoffmann, José Luis Conradi; De Souza, José Luiz; Fröhlich, Antônio Augusto
Transparent integration of autonomous vehicles simulation tools with a data-centric middleware
2024-01-01 Conradi Hoffmann, José Luis; Passig Horstmann, Leonardo; Fröhlich, Antônio Augusto
Using Vehicular Protection Mechanisms to Enable Fault-Aware Safety Verification of Autonomous Vehicles
2024-01-01 Conradi Hoffmann, José Luis; Fröhlich, Antônio Augusto; Völp, Marcus; Milazzo, Paolo
A Secure IIoT Gateway Architecture based on Trusted Execution Environments
2023-01-01 Fröhlich, Antônio Augusto; Horstmann, Leonardo Passig; Conradi Hoffmann, Jose Luis
Data-Centric Design for Formal Verification of Vehicle Monitoring
2023-01-01 Hoffmann, José Luis Conradi; Fröhlich, Antônio Augusto
Monitoring the performance of multicore embedded systems without disrupting its timing requirements
2023-01-01 Passig Horstmann, Leonardo; Conradi Hoffmann, José Luis; Fröhlich, Antônio Augusto
Using Formal Methods for On-The-Fly Time Series Verification
2023-01-01 Conradi Hoffmann, José Luis; Passig Horstmann, Leonardo; Frohlich, Antonio Augusto
A PUF-based Secure Bootstrap Protocol for Cyber-Physical System Networks
2022-01-01 Hoffmann, Jose Luis Conradi; Horstmann, Leonardo Passig; Augusto Frohlich, Antonio
Embedding Anomaly Detection Autoencoders for Wind Turbines
2022-01-01 Luis Conradi Hoffmann, Jose; Augusto Frohlich, Antonio
SmartData Safety: Online Safety Models for Data-Driven Cyber-Physical Systems
2022-01-01 Hoffmann, Jose Luis Conradi; Frohlich, Antonio Augusto
Using Formal Methods to Specify Data-Driven Cyber-Physical Systems
2022-01-01 Hoffmann, Jose Luis Conradi; Horstmann, Leonardo Passig; Wagner, Matheus; Vieira, Felipe; de Lucena, Mateus Martinez; Frohlich, Antonio Augusto
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| An Early Fault Detection Framework for Wind Turbines using Vibration Signals | 1-gen-2024 | Conradi Hoffmann, José Luis; Martínez de Lucena, Mateus; de Araujo, Gustavo Medeiros; Augusto Fröhlich, Antônio | |
| Lightweight and Robust Online Learning for Energy-Aware Multicore Real-Time Schedulers | 1-gen-2024 | Hoffmann, José Luis Conradi; De Souza, José Luiz; Fröhlich, Antônio Augusto | |
| Transparent integration of autonomous vehicles simulation tools with a data-centric middleware | 1-gen-2024 | Conradi Hoffmann, José Luis; Passig Horstmann, Leonardo; Fröhlich, Antônio Augusto | |
| Using Vehicular Protection Mechanisms to Enable Fault-Aware Safety Verification of Autonomous Vehicles | 1-gen-2024 | Conradi Hoffmann, José Luis; Fröhlich, Antônio Augusto; Völp, Marcus; Milazzo, Paolo | |
| A Secure IIoT Gateway Architecture based on Trusted Execution Environments | 1-gen-2023 | Fröhlich, Antônio Augusto; Horstmann, Leonardo Passig; Conradi Hoffmann, Jose Luis | |
| Data-Centric Design for Formal Verification of Vehicle Monitoring | 1-gen-2023 | Hoffmann, José Luis Conradi; Fröhlich, Antônio Augusto | |
| Monitoring the performance of multicore embedded systems without disrupting its timing requirements | 1-gen-2023 | Passig Horstmann, Leonardo; Conradi Hoffmann, José Luis; Fröhlich, Antônio Augusto | |
| Using Formal Methods for On-The-Fly Time Series Verification | 1-gen-2023 | Conradi Hoffmann, José Luis; Passig Horstmann, Leonardo; Frohlich, Antonio Augusto | |
| A PUF-based Secure Bootstrap Protocol for Cyber-Physical System Networks | 1-gen-2022 | Hoffmann, Jose Luis Conradi; Horstmann, Leonardo Passig; Augusto Frohlich, Antonio | |
| Embedding Anomaly Detection Autoencoders for Wind Turbines | 1-gen-2022 | Luis Conradi Hoffmann, Jose; Augusto Frohlich, Antonio | |
| SmartData Safety: Online Safety Models for Data-Driven Cyber-Physical Systems | 1-gen-2022 | Hoffmann, Jose Luis Conradi; Frohlich, Antonio Augusto | |
| Using Formal Methods to Specify Data-Driven Cyber-Physical Systems | 1-gen-2022 | Hoffmann, Jose Luis Conradi; Horstmann, Leonardo Passig; Wagner, Matheus; Vieira, Felipe; de Lucena, Mateus Martinez; Frohlich, Antonio Augusto |