Gabriela Nicolescu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
48
Venues
15
Active years
2000–2025
Best venue rank
A*
Where they publish
Papers
48 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IROS | Focus Bug: Learning Environmental Awareness for Efficient Mapless Navigation. | Charles Dansereau, Bardienus Pieter Duisterhof, Gabriela Nicolescu |
| 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 | SerIOS: Enhancing Hardware Security in Integrated Optoelectronic Systems. | Felipe G. Magalhaes, Mahdi Nikdast, 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 |
| 2022 | PST | Careful What You Wish For: on the Extraction of Adversarially Trained Models. | Kacem Khaled, Gabriela Nicolescu, Felipe Ghring de Magalhes |
| 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 |
| 2021 | RSP | HyCo: A Low-Latency Hybrid Control Plane for Optical Interconnection Networks. | Felipe Ghring de Magalhes, Mahdi Nikdast, Fabiano Hessel, Odile Liboiron-Ladouceur, Gabriela Nicolescu |
| 2018 | ICRA | From Swarms to Stars: Task Coverage in Robot Swarms with Connectivity Constraints. | Jacopo Panerati, Luca Gianoli, Carlo Pinciroli, Abdo Shabah, Gabriela Nicolescu, Giovanni Beltrame |
| 2017 | RSP | An analysis of random cache effects on real-time multi-core scheduling algorithms. | Imane Hafnaoui, Chao Chen, Rabeh Ayari, Gabriela Nicolescu, Giovanni Beltrame |
| 2016 | DATE | Modeling fabrication non-uniformity in chip-scale silicon photonic interconnects. | Mahdi Nikdast, Gabriela Nicolescu, Jelena Trajkovic, Odile Liboiron-Ladouceur |
| 2016 | QRS | A Systematic Approach for Privilege Escalation Prevention. | Fehmi Jaafar, Gabriela Nicolescu, Christian Richard |
| 2016 | RSP | Schedulability-guided exploration of multi-core systems. | Rabeh Ayari, Imane Hafnaoui, Giovanni Beltrame, Gabriela Nicolescu |
| 2015 | ASPDAC | Energy-efficient optical crossbars on chip with multi-layer deposited silicon. | Hui Li, Sbastien Le Beux, Gabriela Nicolescu, Ian O'Connor |
| 2015 | DATE | Thermal aware design method for VCSEL-based on-chip optical interconnect. | Hui Li, Alain Fourmigue, Sbastien Le Beux, Xavier Letartre, Ian O'Connor, Gabriela Nicolescu |
| 2014 | DATE | Chameleon: Channel efficient Optical Network-on-Chip. | Sbastien Le Beux, Hui Li, Ian O'Connor, Kazem Cheshmi, Xuchen Liu, Jelena Trajkovic, Gabriela Nicolescu |
| 2014 | DATE | Efficient transient thermal simulation of 3D ICs with liquid-cooling and through silicon vias. | Alain Fourmigue, Giovanni Beltrame, Gabriela Nicolescu |
| 2013 | DATE | Explicit transient thermal simulation of liquid-cooled 3D ICs. | Alain Fourmigue, Giovanni Beltrame, Gabriela Nicolescu |
| 2013 | ISCAS | Potential and pitfalls of silicon photonics computing and interconnect. | Sbastien Le Beux, Ian O'Connor, Zhen Li, Xavier Letartre, Christelle Monat, Jelena Trajkovic, Gabriela Nicolescu |
| 2013 | RSP | Embedded system verification through constraint-based scheduling. | Olfat El-Mahi, Gilles Pesant, Gabriela Nicolescu, Giovanni Beltrame |
| 2011 | DATE | A multi-objective decision-theoretic exploration algorithm for platform-based design. | Giovanni Beltrame, Gabriela Nicolescu |
| 2011 | DATE | Optical Ring Network-on-Chip (ORNoC): Architecture and design methodology. | Sbastien Le Beux, Jelena Trajkovic, Ian O'Connor, Gabriela Nicolescu, Guy Bois, Pierre G. Paulin |
| 2011 | DATE | Multi-granularity thermal evaluation of 3D MPSoC architectures. | Alain Fourmigue, Giovanni Beltrame, Gabriela Nicolescu, El Mostapha Aboulhamid, Ian O'Connor |
| 2010 | ISCAS | A system-level exploration flow for optica network on chip (ONoC) in 3D MPSoC. | Sbastien Le Beux, Gabriela Nicolescu, Guy Bois, Pierre G. Paulin |
| 2010 | RSP | MpAssign: A framework for solving the many-core platform mapping problem. | Youcef Bouchebaba, Pierre G. Paulin, Ali Erdem zcan, Bruno Lavigueur, Michel Langevin, Olivier Benny, Gabriela Nicolescu |
| 2010 | RSP | Combining memory optimization with mapping of multimedia applications for multi-processors system-on-chip. | Bruno Girodias, Luiza Gheorghe, Youcef Bouchebaba, Gabriela Nicolescu, El Mostapha Aboulhamid, Michel Langevin, Pierre G. Paulin |
| 2009 | DATE | Co-simulation based platform for wireless protocols design explorations. | Alain Fourmigue, Bruno Girodias, Gabriela Nicolescu, El Mostapha Aboulhamid |
| 2009 | DATE | Embedded tutorial - Understanding multicore technologies. | Ahmed Amine Jerraya, Gabriela Nicolescu |
| 2008 | DATE | Semantics for Model-Based Validation of Continuous/Discrete Systems. | Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb |
| 2007 | DATE | System level assessment of an optical NoC in an MPSoC platform. | Matthieu Briere, Bruno Girodias, Youcef Bouchebaba, Gabriela Nicolescu, Fabien Mieyeville, Frdric Gaffiot, Ian O'Connor |
| 2007 | DSD | MPSoC memory optimization for digital camera applications. | Youcef Bouchebaba, Bruno Lavigueur, Bruno Girodias, Gabriela Nicolescu, Pierre G. Paulin |
| 2006 | DATE | Soft-error classification and impact analysis on real-time operating systems. | N. Ignat, Bogdan Nicolescu, Yvon Savaria, Gabriela Nicolescu |
| 2006 | RSP | Formal Definitions of Simulation Interfaces in a Continuous/Discrete Co-Simulation Tool. | Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb |
| 2006 | RSP | Application-Level Memory Optimization for MPSoC. | Bruno Girodias, Youcef Bouchebaba, Gabriela Nicolescu, El Mostapha Aboulhamid, Pierre G. Paulin, Bruno Lavigueur |
| 2005 | RSP | Discrete-Continuous Simulation Model for Accurate Validation in Component-Based Heterogeneous SoC Design. | Faouzi Bouchhima, Gabriela Nicolescu, El Mostapha Aboulhamid, Mohamed Abid |
| 2005 | RSP | Leveraging Model Representations for System Level Design Tools. | James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu |
| 2004 | DATE | .NET Framework - A Solution for the Next Generation Tools for System-Level Modeling and Simulation. | James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu, Luc Charest, Franois R. Boyer, J. P. David, Guy Bois |
| 2002 | DAC | Component-based design approach for multicore SoCs. | Wander O. Cesrio, Amer Baghdadi, Lovic Gauthier, Damien Lyonnard, Gabriela Nicolescu, Yanick Paviot, Sungjoo Yoo, Ahmed Amine Jerraya, Mario Diaz-Nava |
| 2002 | DATE | Automatic Generation of Fast Timed Simulation Models for Operating Systems in SoC Design. | Sungjoo Yoo, Gabriela Nicolescu, Lovic Gauthier, Ahmed Amine Jerraya |
| 2002 | VLSID | Application of Multi-Domain and Multi-Language Cosimulation to an Optical MEM Switch Design. | Gabriela Nicolescu, S. Martinez, Lobna Kriaa, Wassim Youssef, Sungjoo Yoo, Benot Charlot, Ahmed Amine Jerraya |
| 2001 | ASPDAC | Scalable and flexible cosimulation of SoC designs with heterogeneous multi-processor target architectures. | Patrice Gerin, Sungjoo Yoo, Gabriela Nicolescu, Ahmed Amine Jerraya |
| 2001 | ASPDAC | A higher level system communication model for object-oriented specification and design of embedded systems. | Kjetil Svarstad, Nezih Ben-Fredj, Gabriela Nicolescu, Ahmed Amine Jerraya |
| 2001 | DATE | Mixed-level cosimulation for fine gradual refinement of communication in SoC design. | Gabriela Nicolescu, Sungjoo Yoo, Ahmed Amine Jerraya |
| 2001 | DATE | A model for describing communication between aggregate objects in the specification and design of embedded systems. | Kjetil Svarstad, Gabriela Nicolescu, Ahmed Amine Jerraya |
| 2001 | RSP | Colif: a Multilevel Design Representation for Application-Specific Multiprocessor System-on-Chip Design. | Wander O. Cesrio, Gabriela Nicolescu, Lovic Gauthier, Damien Lyonnard, Ahmed Amine Jerraya |
| 2000 | ICCD | Multi-Level Communication Synthesis of Heterogeneous Multilanguage Specification. | Fabiano Hessel, Philippe Coste, Gabriela Nicolescu, P. LeMarrec, Nacer-Eddine Zergainoh, Ahmed Amine Jerraya |