Felipe Gohring de Magalhaes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
5
Active years
2011–2025
Best venue rank
C
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | RSP | Dynamic Asynchronous Controller for Integrated Photonic Networks: Introducing CLAP. | Felipe Gohring de Magalhaes |
| 2024 | REFSQ | Natural2CTL: A Dataset for Natural Language Requirements and Their CTL Formal Equivalents. | Rim Zrelli, Henrique Amaral Misson, Maroua Ben Attia, Felipe Gohring de Magalhaes, Abdo Shabah, Gabriela Nicolescu |
| 2024 | RSP | Advancing Formal Verification: Fine-Tuning LLMs for Translating Natural Language Requirements to CTL Specifications. | Rim Zrelli, Henrique Amaral Misson, Maroua Ben Attia, Felipe Gohring de Magalhaes, Abdo Shabah, Gabriela Nicolescu |
| 2023 | ICMLA | Efficient Defense Against Model Stealing Attacks on Convolutional Neural Networks. | Kacem Khaled, Mouna Dhaouadi, Felipe Gohring de Magalhaes, Gabriela Nicolescu |
| 2023 | RSP | ReDaML: A Modeling Language for DO-178C High-Level Requirements in Airspace Systems. | Henrique Amaral Misson, Rim Zrelli, Maroua Ben Attia, Felipe Gohring de Magalhaes, Gabriela Nicolescu |
| 2023 | RSP | Security assessment of a commercial router using physical access: a case study. | Colin Stephenne, Felipe Gohring de Magalhaes, Frdric Cuppens, Jean-Yves Ouattara, Militza Jean, Jose Fernandez, Gabriela Nicolescu |
| 2021 | ISVC | Vehicle Detection and Tracking from Surveillance Cameras in Urban Scenes. | Oumayma Messoussi, Felipe Gohring de Magalhaes, Francois Lamarre, Francis Perreault, Ibrahima Sogoba, Guillaume-Alexandre Bilodeau, Gabriela Nicolescu |
| 2013 | RSP | Customizable RTOS to support communication infrastructures and to improve design space exploration in MPSoCs. | Alexandra Aguiar, Sergio Johann Filho, Felipe Gohring de Magalhaes, Fabiano Hessel |
| 2012 | ICCD | Task model suitable for dynamic load balancing of real-time applications in NoC-based MPSoCs. | Sergio Johann Filho, Alexandra Aguiar, Felipe Gohring de Magalhaes, Oliver B. Longhi, Fabiano Hessel |
| 2011 | RSP | Embedded virtualization for the next generation of cluster-based MPSoCs. | Alexandra Aguiar, Felipe Gohring de Magalhaes, Fabiano Hessel |