José Luis Conradi Hoffmann's Publications (html)
Journals
- José Luis Conradi Hoffmann and Antônio Augusto Fröhlich,
SmartData: Toward the Data-Driven Design of Critical Systems,
In: IEEE Access, 13():41865-41886, 2025. DOI: 10.1109/ACCESS.2025.3548542.
- José Luis Conradi Hoffmann, Leonardo Passig Horstmann and Antônio Augusto Fröhlich,
Transparent integration of autonomous vehicles simulation tools with a data-centric middleware,
In: Design Automation for Embeddded Systems, 28():45-66, 2024. DOI: https://doi.org/10.1007/s10617-023-09280-w.
- Antônio Augusto Fröhlich, Leonardo Passig Horstmann and José Luis Conradi Hoffmann,
A Secure IIoT Gateway Architecture based on Trusted Execution Environments,
In: Journal of Network and Systems Management, 31(32), 2023. DOI: https://doi.org/10.1007/s10922-023-09723-6.
- Leonardo Passig Horstmann, José Luis Conradi Hoffmann and Antônio Augusto Fröhlich,
Monitoring the performance of multicore embedded systems without disrupting its timing requirements,
In: Design Automation for Embeddded Systems, 27(4):217-239, 2023. DOI: https://doi.org/10.1007/s10617-023-09278-4.
- José Luis Conradi Hoffmann and Antônio Augusto Fröhlich,
Online Machine Learning for Energy-Aware Multicore Real-Time Embedded Systems,
In: IEEE Transactions on Computers, 72(2):493-505, 2022. DOI: 10.1109/TC.2021.3056070.
- José Luís Conradi Hoffmann, Leonardo Passig Horstmann, Nicolas Goeldner, and Antônio Augusto Fröhlich,
Comparison of Feature Selection Algorithms for Predicting Execution Time in Embedded Systems,
In: International Journal of Aritificial Intelligence, 20(2), 2022.
- José Luis Conradi Hoffmann, Leonardo Passig Horstmann, Mateus Martínez Lucena, Gustavo Medeiros de Araujo, Antônio Augusto Fröhlich, and Marcos Hisashi Napoli Nishioka,
Anomaly Detection on Wind Turbines Based on a Deep Learning Analysis of Vibration Signals,
In: Applied Artificial Intelligence:9, 2021. DOI: 10.1080/08839514.2021.1966879.
- César Huegel Richa, Mateus M. de Lucena, Leonardo Passig Horstmann, José Luis Conradi Hoffmann and Antônio Augusto Fröhlich,
Modeling Time Requirements of CPS in Wireless Networks,
In: Sensors, 20(7):1818-16, 2020. DOI: 10.3390/s20071818.
Conferences
- Antônio Augusto Fröhlich, Leonardo Passig Horstmann and José Luis Conradi Hoffmann,
Enforcing Timing Requirements in Time-Sensitive Networks,
In: Proceedings of the IEEE Wireless Communications and Networking Conference (WCNC), pages 1-6, Milan, Italy, March 2025 (to appear).
- José Luis Conradi Hoffmann, Antônio Augusto Fröhlich, Marcus Völp and Paolo Milazzo,
Using Vehicular Protection Mechanisms to Enable Fault-Aware Safety Verification of Autonomous Vehicles,
In: Proceedings of the 13th Latin-American Symposium on Dependable and Secure Computing (LADC), pages 55-64, Recife, Brazil, November 2024. DOI: 10.1145/3697090.3697101.
- José Luis Conradi Hoffmann, José Luiz De Souza and Antônio Augusto Fröhlich,
Lightweight and Robust Online Learning for Energy-Aware Multicore Real-Time Schedulers,
In: Proceedings of the 2024 XIV Brazilian Symposium on Computing Systems Engineering (SBESC), pages 1-6, Recife, Brazil, November 2024. DOI: 10.1109/SBESC65055.2024.10771912.
- José Luis Conradi Hoffmann, Antônio Augusto Fröhlich and Marcus Völp,
Enhancing RSS to be Fault Tolerant During Overtaking Maneuvers,
In: Proceedings of the 50th Annual Conference of the IEEE Industrial Electronics Society (IECON 2024), pages 1-6, Chicago, USA, November 2024. DOI: 10.1109/IECON55916.2024.10905937.
- José Luís Conradi Hoffmann, Mateus Martínez de Lucena, Gustavo Medeiros de Araujo and Antônio Augusto Fröhlich,
An Early Fault Detection Framework for Wind Turbines using Vibration Signals,
In: Proceedings of the 2024 IEEE 20th International Conference on Automation Science and Engineering (CASE), pages 3207-3212, Bari, Italy, August 2024. DOI: 10.1109/CASE59546.2024.10711324.
- José Luis Conradi Hoffmann and Antônio Augusto Fröhlich,
Data-Centric Design for Formal Verification of Vehicle Monitoring,
In: Proceedings of the SESC '23: Proceedings of the 2023 XIII Brazilian Symposium on Computing Systems Engineering (SBESC), pages 1-6, Porto Alegre, Brazil, November 2023. DOI: 10.1109/SBESC60926.2023.10324280.
- José Luis Conradi Hoffmann, Leonardo Passig Horstmann, and Antonio Augusto Frohlich,
Using Formal Methods for On-The-Fly Time Series Verification,
In: Proceedings of the LADC'23: Proceedings of the 12th Latin-American Symposium on Dependable and Secure Computing, Association for Computing Machinery, pages 21-29, La Paz, Bolivia, October 2023. DOI: 10.1145/3615366.3615427.
- Leonardo Passig Horstmann, José Luis Conradi Hoffmann and Antônio Augusto Fröhlich,
Handling WSN Communication Faults at the Edge with Confidence Attribution for Data Imputation,
In: Proceedings of the 2023 IEEE 9th World Forum on Internet of Things (WF-IoT), pages 1-6, Aveiro, Portugal, October 2023. DOI: 10.1109/WF-IoT58464.2023.10539570.
- José Luis Conradi Hoffmann, Leonardo Passig Horstmann, and Antônio Augusto Fröhlich,
Integrating Autonomous Vehicle Simulation Tools using SmartData,
In: Proceedings of the 2022 XII Brazilian Symposium on Computing Systems Engineering (SBESC), pages 1-8, Fortaleza/CE, Brazil, November 2022. DOI: 10.1109/SBESC56799.2022.9964834.
- José Luis Conradi Hoffmann and Antônio Augusto Fröhlich,
SmartData Safety: Online Safety Models for Data-Driven Cyber-Physical Systems,
In: Proceedings of the IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society, pages 1-8, Brussels, Belgium, October 2022. DOI: 10.1109/IECON49645.2022.9969074.
- José Luis Conradi Hoffmann and Antônio Augusto Fröhlich,
Embedding Anomaly Detection Autoencoders for Wind Turbines,
In: Proceedings of the IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2022, pages 1-8, Stuttgart, Germany, September 2022. DOI: 10.1109/ETFA52439.2022.9921541.
- José Luis Conradi Hoffmann, Leonardo Passig Horstmann, and Antônio Augusto Fröhlich,
A PUF-based Secure Bootstrap Protocol for Cyber-Physical System Networks,
In: Proceedings of the 2022 IEEE 20th International Conference on Industrial Informatics (INDIN), pages 1-8, Perth, Australia, July 2022. DOI: 10.1109/INDIN51773.2022.9976134.
- José Luis Conradi Hoffmann, Leonardo Passig Horstmann, Matheus Wagner, Felipe Vieira, Mateus Martínez de Lucena and Antônio Augusto Fröhlich,
Using Formal Methods to Specify Data-Driven Cyber-Physical Systems,
In: Proceedings of the 2022 IEEE 31st International Symposium on Industrial Electronics (ISIE), pages 1-8, Anchorage, AK, USA, June 2022. DOI: 10.1109/ISIE51582.2022.9831686.
- Leonardo Passig Horstmann, José Luis Conradi Hoffmann, and Antônio Augusto Fröhlich,
Performance Monitoring Features in EPOS,
In: Proceedings of the XI Brazilian Symposium on Computing Systems Engineering, pages 1-8, Online, November 2021. DOI: 10.1109/SBESC53686.2021.9628370.
- Roberto Milton Scheffel, Jose Luis Conradi Hoffmann, Leonardo Passig Horstmann, Gustavo Medeiros de Araujo, Antonio Augusto Fröhlich, Tiago Kaoru Matsuo, Vitor Pohlenz, Marcos Hisashi Napoli Nishioka,
Data Confidence Applied to Wind Turbine Power Curves,
In: Proceedings of the X Brazilian Symposium on Computing Systems Engineering, pages 1-8, Online, November 2020. DOI: 10.1109/SBESC51047.2020.9277861.
- José Luis Hoffmann, Leonardo Passig Horstmann and Antônio Augusto Fröhlich,
Anomaly Detection in Multicore Embedded Systems,
In: Proceedings of the IX Brazilian Symposium on Computing Systems Engineering, pages 1-8, Natal, Brazil, November 2019. DOI: 10.1109/SBESC49506.2019.9046093.
- Leonardo Passig Horstmann, José Luis Conradi Hoffmann and Antônio Augusto Fröhlich,
A Framework to Design and Implement Real-time Multicore Schedulers using Machine Learning,
In: Proceedings of the 24th IEEE Conference on Emerging Technologies and Factory Automation (ETFA), pages 1-8, Zaragoza, Spain, September 2019. DOI: 10.1109/ETFA.2019.8869545.
Books
Book Chapters
Technical Reports
Theses
- José Luis Conradi Hoffmann,
Optimizing Energy Consumption of Multicore Real-Time Embedded Systems using Machine Learning,
Florianópolis: Federal University of Santa Catarina, 128 pages, 2020 (M.Sc. Thesis).
Manuals
Selected Presentations
Copyright Notice
It is understood that the following electronic versions of the papers are non-commercial distributions available to ensure the timely dissemination of their content. Copyrights for each published paper are held by the respective publishing organization.