Integrating formal methods and automated tools for DO-178C compliance in UAV software.

Gabriela Nicolescu

Rim Zrelli Henrique Amaral Misson Sorelle Audrey K. Kamkuimo Maroua Ben Attia Abdo Shabah Felipe Gohring de Magalhaes Gabriela Nicolescu Integrating formal methods and automated tools for DO-178C compliance in UAV software. 2026 108068 194 Inf. Softw. Technol. https://doi.org/10.1016/j.infsof.2026.108068 db/journals/infsof/infsof194.html#ZrelliMKASMN26 streams/journals/infsof

Rim Zrelli Henrique Amaral Misson Marwa Ben Attia Felipe Gohring de Magalhaes Abdo Shabah Gabriela Nicolescu Automatic translation of natural language requirements into CTL specifications using Large Language Models: A multi-approach evaluation. 2026 112941 240 J. Syst. Softw. https://doi.org/10.1016/j.jss.2026.112941 db/journals/jss/jss240.html#ZrelliMAMSN26 streams/journals/jss

Ahmad Shahnejat Bushehri Anas Balboul Adel Belkhiri Samira Keivanpour Gabriela Nicolescu Michel R. Dagenais NOProbe: A NOP-Based Dynamic Binary Instrumentation Framework Using Binary Rewriting on x86. 2026 March - April 3828-3844 23 IEEE Trans. Dependable Secur. Comput. 2 https://doi.org/10.1109/TDSC.2025.3641055 db/journals/tdsc/tdsc23.html#BushehriBBKND26 streams/journals/tdsc

Adem Hmissa Rodolphe Laurent Louis Picot Rani Naaman Ahmad Shahnejat Bushehri Rim Zrelli Felipe Gohring de Magalhaes Gabriela Nicolescu Performance Alert Triage with Time-Aware Learning and Multi-Scale Time-Series Features. 2-6 2026 ICPE Companion https://doi.org/10.1145/3777911.3800694 conf/wosp/2026c db/conf/wosp/icpe2026c.html#HmissaPNBZMN26

Rodolphe Picot Felipe Göhring de Magalhães Ahmad Shahnejat Bushehri Maroua Ben Attia Gabriela Nicolescu Alejandro Quintero Protocol-Agnostic and Packet-Based Intrusion Detection Using a Multi-Layer Deep-Learning Architecture at the Network Edge. 57867-57877 2025 13 IEEE Access https://doi.org/10.1109/ACCESS.2025.3555201 db/journals/access/access13.html#PicotMBANQ25 streams/journals/access

Mohamed Marwen Moslah Ramzi Zouari Ahmad Shahnejat Bushehri Felipe Gohring de Magalhaes Gabriela Nicolescu Investigation of the Adversarial Robustness of End-to-End Deep Sensor Fusion Models. 325-328 2025 October 17 IEEE Embed. Syst. Lett. 5 https://doi.org/10.1109/LES.2025.3599829 db/journals/esl/esl17.html#MoslahZBMN25 streams/journals/esl

Mikaëla Ngamboé Xiao Niu Benoit Joly Steven P. Biegler Paul Berthier Rémi Benito Greg Rice José M. Fernandez 0001 Gabriela Nicolescu CABBA: Compatible Authenticated Bandwidth-efficient Broadcast protocol for ADS-B. 100728 2025 48 Int. J. Crit. Infrastructure Prot. https://doi.org/10.1016/j.ijcip.2024.100728 db/journals/ijcip/ijcip48.html#NgamboeNJBBBRFN25 streams/journals/ijcip

Charles Dansereau Bardienus Pieter Duisterhof Gabriela Nicolescu Focus Bug: Learning Environmental Awareness for Efficient Mapless Navigation. 14363-14370 2025 IROS https://doi.org/10.1109/IROS60139.2025.11246744 conf/iros/2025 db/conf/iros/iros2025.html#DansereauDN25 streams/conf/iros Oceane Destras Felipe Gohring de Magalhaes Sébastien Le Beux Gabriela Nicolescu All-Optical Reconfigurable Activation Function Based on Saturable Absorption. 1-8 2025 ISQED https://doi.org/10.1109/ISQED65160.2025.11014400 conf/isqed/2025 db/conf/isqed/isqed2025.html#DestrasMBN25 Jimmy Hamel Felipe Gohring de Magalhaes Gabriela Nicolescu On the Exploration of Post-Quantum Algorithms on COTS-Based Avionic Architectures. 558-562 2025 NewCAS https://doi.org/10.1109/NewCAS64648.2025.11107112 conf/newcas/2025 db/conf/newcas/newcas2025.html#HamelMN25 streams/conf/newcas

Rani Naaman Felipe Gohring de Magalhaes Jean-Yves Ouattara Gabriela Nicolescu Quantum Enhanced Anomaly Detection for ADS-B Data using Hybrid Deep Learning. 2025 September abs/2509.15991 CoRR https://doi.org/10.48550/arXiv.2509.15991 db/journals/corr/corr2509.html#abs-2509-15991 streams/journals/corr

Rim Zrelli Henrique Amaral Misson Sorelle Kamkuimo Maroua Ben Attia Abdo Shabah Felipe Gohring de Magalhaes Gabriela Nicolescu Implementation of the Collision Avoidance System for DO-178C Compliance. 2025 September abs/2509.16844 CoRR https://doi.org/10.48550/arXiv.2509.16844 db/journals/corr/corr2509.html#abs-2509-16844 streams/journals/corr

Mikaëla Ngamboé Jean-Simon Marrocco Jean-Yves Ouattara José M. Fernandez 0001 Gabriela Nicolescu New Machine Learning Approaches for Intrusion Detection in ADS-B. 2025 October abs/2510.08333 CoRR https://doi.org/10.48550/arXiv.2510.08333 db/journals/corr/corr2510.html#abs-2510-08333 streams/journals/corr

Kacem Khaled Felipe Gohring de Magalhaes Gabriela Nicolescu DivQAT: Enhancing Robustness of Quantized Convolutional Neural Networks against Model Extraction Attacks. 2025 December abs/2512.23948 CoRR https://doi.org/10.48550/arXiv.2512.23948 db/journals/corr/corr2512.html#abs-2512-23948 streams/journals/corr

Oceane Destras Sébastien Le Beux Felipe Gohring de Magalhaes Gabriela Nicolescu Survey on Activation Functions for Optical Neural Networks. 35:1-35:30 2024 February 56 ACM Comput. Surv. 2 https://doi.org/10.1145/3607533 https://www.wikidata.org/entity/Q131129163 db/journals/csur/csur56.html#DestrasBMN24

Ahmad Shahnejat Bushehri Ashkan Amirnia Adel Belkhiri Samira Keivanpour Felipe Gohring de Magalhaes Gabriela Nicolescu Deep Learning-Driven Anomaly Detection for Green IoT Edge Networks. 498-513 2024 March 8 IEEE Trans. Green Commun. Netw. 1 https://doi.org/10.1109/TGCN.2023.3335342 db/journals/tgcn/tgcn8.html#BushehriABKMN24

Oceane Destras Sébastien Le Beux Felipe Gohring de Magalhaes Gabriela Nicolescu Design of a Reconfigurable Activation Function for All-Optical Neural Networks. 313-317 2024 NewCAS https://doi.org/10.1109/NewCAS58973.2024.10666337 conf/newcas/2024 db/conf/newcas/newcas2024.html#DestrasBMN24 streams/conf/newcas Rim Zrelli Henrique Amaral Misson Maroua Ben Attia Felipe Gohring de Magalhaes Abdo Shabah Gabriela Nicolescu Natural2CTL: A Dataset for Natural Language Requirements and Their CTL Formal Equivalents. 205-216 2024 REFSQ https://doi.org/10.1007/978-3-031-57327-9_13 conf/refsq/2024 db/conf/refsq/refsq2024.html#ZrelliMAMSN24 Rim Zrelli Henrique Amaral Misson Maroua Ben Attia Felipe Gohring de Magalhaes Abdo Shabah Gabriela Nicolescu Advancing Formal Verification: Fine-Tuning LLMs for Translating Natural Language Requirements to CTL Specifications. 21-27 2024 RSP https://doi.org/10.1109/RSP64122.2024.10870993 conf/rsp/2024 db/conf/rsp/rsp2024.html#ZrelliMAMSN24 Jean-Baptiste Lefoul Felipe Gohring de Magalhaes Brandon Bhatnagar Gabriela Nicolescu A653MSim: An ARINC 653 Multicore Simulator. 285-304 2024 SimuTools https://doi.org/10.1007/978-3-031-87345-4_19 conf/simutools/2024 db/conf/simutools/simutools2024.html#LefoulMBN24 Adel Belkhiri Maroua Ben Attia Felipe Göhring de Magalhães Gabriela Nicolescu Towards Efficient Diagnosis of Performance Bottlenecks in Microservice-Based Applications (Work In Progress paper). 40-46 2024 ICPE (Companion) https://doi.org/10.1145/3629527.3651432 conf/wosp/2024c db/conf/wosp/icpe2024c.html#BelkhiriAMN24 Kacem Khaled Mouna Dhaouadi Felipe Gohring de Magalhaes Gabriela Nicolescu Efficient Defense Against Model Stealing Attacks on Convolutional Neural Networks. 45-52 2023 ICMLA https://doi.org/10.1109/ICMLA58977.2023.00015 conf/icmla/2023 db/conf/icmla/icmla2023.html#KhaledDMN23 Felipe Gohring de Magalhaes Mahdi Nikdast Gabriela Nicolescu Integrated Photonic AI Accelerators Under Hardware Security Attacks: Impacts and Countermeasures. 806-810 2023 MWSCAS https://doi.org/10.1109/MWSCAS57524.2023.10406049 conf/mwscas/2023 db/conf/mwscas/mwscas2023.html#MagalhaesNN23 Felipe G. Magalhaes Mahdi Nikdast Gabriela Nicolescu SerIOS: Enhancing Hardware Security in Integrated Optoelectronic Systems. 04:1-04:7 2023 RSP https://doi.org/10.1145/3625223.3649275 conf/rsp/2023 db/conf/rsp/rsp2023.html#MagalhaesNN23 Henrique Amaral Misson Rim Zrelli Maroua Ben Attia Felipe Gohring de Magalhaes Gabriela Nicolescu ReDaML: A Modeling Language for DO-178C High-Level Requirements in Airspace Systems. 08:1-08:7 2023 RSP https://doi.org/10.1145/3625223.3649278 conf/rsp/2023 db/conf/rsp/rsp2023.html#MissonZAMN23 Colin Stephenne Felipe Gohring de Magalhaes Frédéric Cuppens Jean-Yves Ouattara Militza Jean Jose Fernandez Gabriela Nicolescu Security assessment of a commercial router using physical access: a case study. 09:1-09:7 2023 RSP https://doi.org/10.1145/3625223.3649279 https://www.wikidata.org/entity/Q131114517 conf/rsp/2023 db/conf/rsp/rsp2023.html#StephenneMCOJFN23 Adel Belkhiri Ahmad Shahnejat Bushehri Felipe Gohring de Magalhaes Gabriela Nicolescu Transparent Trace Annotation for Performance Debugging in Microservice-oriented Systems (Work In Progress Paper). 25-32 2023 ICPE (Companion) https://doi.org/10.1145/3578245.3585030 conf/wosp/2023c db/conf/wosp/icpe2023c.html#BelkhiriBMN23

Felipe Gohring de Magalhaes Mahdi Nikdast Gabriela Nicolescu SerIOS: Enhancing Hardware Security in Integrated Optoelectronic Systems. 2023 abs/2308.07466 CoRR https://doi.org/10.48550/arXiv.2308.07466 db/journals/corr/corr2308.html#abs-2308-07466

Kacem Khaled Mouna Dhaouadi Felipe Göhring de Magalhães Gabriela Nicolescu Efficient Defense Against Model Stealing Attacks on Convolutional Neural Networks. 2023 abs/2309.01838 CoRR https://doi.org/10.48550/arXiv.2309.01838 db/journals/corr/corr2309.html#abs-2309-01838

Felipe Göhring de Magalhães Mahdi Nikdast Gabriela Nicolescu Integrated Photonic AI Accelerators under Hardware Security Attacks: Impacts and Countermeasures. 2023 abs/2309.02543 CoRR https://doi.org/10.48550/arXiv.2309.02543 db/journals/corr/corr2309.html#abs-2309-02543

Mikaëla Ngamboé Xiao Niu Benoit Joly Steven P. Biegler Paul Berthier Rémi Benito Greg Rice José M. Fernandez 0001 Gabriela Nicolescu ESAT: Extended Security in the Air using TESLA. 2023 abs/2312.09870 CoRR https://doi.org/10.48550/arXiv.2312.09870 db/journals/corr/corr2312.html#abs-2312-09870

Alexy Torres Aurora Dugo Jean-Baptiste Lefoul Aymen Ben-Salem Serge Harnois Felipe Gohring de Magalhaes Gabriela Nicolescu Efficient Scheduling, Mapping and Memory Bandwidth Allocation for Safety-Critical Systems. 342-346 2022 NEWCAS https://doi.org/10.1109/NEWCAS52662.2022.9842219 conf/newcas/2022 db/conf/newcas/newcas2022.html#DugoLBHMN22 Kacem Khaled Gabriela Nicolescu Felipe Göhring de Magalhães Careful What You Wish For: on the Extraction of Adversarially Trained Models. 1-10 2022 PST https://doi.org/10.1109/PST55820.2022.9851981 conf/pst/2022 db/conf/pst/pst2022.html#KhaledNM22

Kacem Khaled Gabriela Nicolescu Felipe Göhring de Magalhães Careful What You Wish For: on the Extraction of Adversarially Trained Models. 2022 abs/2207.10561 CoRR https://doi.org/10.48550/arXiv.2207.10561 db/journals/corr/corr2207.html#abs-2207-10561

Oumayma Messoussi Felipe Gohring de Magalhaes Francois Lamarre Francis Perreault Ibrahima Sogoba Guillaume-Alexandre Bilodeau Gabriela Nicolescu Vehicle Detection and Tracking from Surveillance Cameras in Urban Scenes. 191-202 2021 ISVC (2) https://doi.org/10.1007/978-3-030-90436-4_15 conf/isvc/2021-2 db/conf/isvc/isvc2021-2.html#MessoussiMLPSBN21 Felipe Göhring de Magalhães Mahdi Nikdast Fabiano Hessel Odile Liboiron-Ladouceur Gabriela Nicolescu HyCo: A Low-Latency Hybrid Control Plane for Optical Interconnection Networks. 50-56 2021 RSP https://doi.org/10.1109/RSP53691.2021.9806198 conf/rsp/2021 db/conf/rsp/rsp2021.html#MagalhaesNHLN21 Gabriela Nicolescu Assia Tria José M. Fernandez 0001 Jean-Yves Marion Joaquín García-Alfaro Foundations and Practice of Security - 13th International Symposium, FPS 2020, Montreal, QC, Canada, December 1-3, 2020, Revised Selected Papers FPS Springer 2021 Lecture Notes in Computer Science 12637 978-3-030-70880-1 978-3-030-70881-8 https://doi.org/10.1007/978-3-030-70881-8 db/conf/fps/fps2020.html

Oumayma Messoussi Felipe Gohring de Magalhaes Francois Lamarre Francis Perreault Ibrahima Sogoba Guillaume-Alexandre Bilodeau Gabriela Nicolescu Vehicle Detection and Tracking From Surveillance Cameras in Urban Scenes. 2021 abs/2109.12414 CoRR https://arxiv.org/abs/2109.12414 db/journals/corr/corr2109.html#abs-2109-12414

Jean-Baptiste Lefoul Alexy Torres Aurora Dugo Felipe G. Magalhaes Gabriela Nicolescu Dahman Assal Nicolas Ulysse Simulator-Based Framework towards Improved Cache Predictability for Multi-Core Avionic Systems. 1-12 2020 SpringSim https://doi.org/10.22360/SpringSim.2020.HPC.002 conf/springsim/2020 db/conf/springsim/springsim2020.html#LefoulDMNAU20

Felipe Gohring de Magalhaes Alexy Torres Aurora Dugo Jean-Baptiste Lefoul Gabriela Nicolescu On the benchmarking of partitioned real-time systems. 2020 abs/2007.10794 CoRR https://arxiv.org/abs/2007.10794 db/journals/corr/corr2007.html#abs-2007-10794

Alexy Torres Aurora Dugo Jean-Baptiste Lefoul Felipe Gohring de Magalhaes Dahman Assal Gabriela Nicolescu Cache Locking Content Selection Algorithms for ARINC-653 Compliant RTOS. 76:1-76:20 2019 18 ACM Trans. Embed. Comput. Syst. 5s https://doi.org/10.1145/3358196 https://www.wikidata.org/entity/Q127151303 db/journals/tecs/tecs18.html#DugoLMAN19

Yuqi Wang Amira Aouina Hui Li 0034 Ian O'Connor Gabriela Nicolescu Sébastien Le Beux Thermal-Aware Design Method for Laser Group Control in Nanophotonic Interconnects. 742-746 2019 27 IEEE Trans. Very Large Scale Integr. Syst. 3 https://doi.org/10.1109/TVLSI.2018.2888589 db/journals/tvlsi/tvlsi27.html#WangALONB19

Rabeh Ayari Imane Hafnaoui Giovanni Beltrame Gabriela Nicolescu ImGA: an improved genetic algorithm for partitioned scheduling on heterogeneous multi-core systems. 183-197 2018 22 Des. Autom. Embed. Syst. 1-2 https://doi.org/10.1007/s10617-018-9208-1 https://www.wikidata.org/entity/Q129713356 db/journals/dafes/dafes22.html#AyariHBN18

Hui Li 0034 Alain Fourmigue Sébastien Le Beux Ian O'Connor Gabriela Nicolescu Towards Maximum Energy Efficiency in Nanophotonic Interconnects with Thermal-Aware On-Chip Laser Tuning. 343-356 2018 6 IEEE Trans. Emerg. Top. Comput. 3 https://doi.org/10.1109/TETC.2016.2561623 http://doi.ieeecomputersociety.org/10.1109/TETC.2016.2561623 db/journals/tetc/tetc6.html#LiFBON18

Mahdi Nikdast Gabriela Nicolescu Jelena Trajkovic Odile Liboiron-Ladouceur DeEPeR: Enhancing Performance and Reliability in Chip-Scale Optical Interconnection Networks. 63-68 2018 ACM Great Lakes Symposium on VLSI https://doi.org/10.1145/3194554.3194566 conf/glvlsi/2018 db/conf/glvlsi/glvlsi2018.html#NikdastNTL18 Felipe Gohring de Magalhaes Mahdi Nikdast Yule Xiong Fabiano Hessel Odile Liboiron-Ladouceur Gabriela Nicolescu Silicon Photonic Interconnects: Minimizing the Controller Latency. 323-328 2018 ACM Great Lakes Symposium on VLSI https://doi.org/10.1145/3194554.3194609 conf/glvlsi/2018 db/conf/glvlsi/glvlsi2018.html#MagalhaesNXHLN18 Jacopo Panerati Luca Gianoli Carlo Pinciroli Abdo Shabah Gabriela Nicolescu Giovanni Beltrame From Swarms to Stars: Task Coverage in Robot Swarms with Connectivity Constraints. 7674-7681 2018 ICRA https://doi.org/10.1109/ICRA.2018.8463193 conf/icra/2018 db/conf/icra/icra2018.html#PaneratiGPSNB18 Aznam Yacoub Gabriela Nicolescu Maâmar El-Amine Hamri Claudia S. Frydman Towards using DEVS for modelling adaptive storytelling in virtual games. 27:1-27:12 2018 SummerSim http://dl.acm.org/citation.cfm?id=3275409 conf/scsc/2018 db/conf/scsc/scsc2018.html#YacoubNHF18

Imane Hafnaoui Rabeh Ayari Gabriela Nicolescu Giovanni Beltrame Scheduling real-time systems with cyclic dependence using data criticality. 117-136 2017 21 Des. Autom. Embed. Syst. 2 https://doi.org/10.1007/s10617-017-9185-9 db/journals/dafes/dafes21.html#HafnaouiANB17

Rabeh Ayari Mahdi Nikdast Imane Hafnaoui Giovanni Beltrame Gabriela Nicolescu HypAp: A Hypervolume-Based Approach for Refining the Design of Embedded Systems. 57-60 2017 9 IEEE Embed. Syst. Lett. 3 https://doi.org/10.1109/LES.2017.2695118 db/journals/esl/esl9.html#AyariNHBN17

Yule Xiong Felipe Gohring de Magalhaes Gabriela Nicolescu Fabiano Hessel Odile Liboiron-Ladouceur Co-design of a low-latency centralized controller for silicon photonic multistage MZI-based switches. 1-3 2017 OFC https://ieeexplore.ieee.org/document/7936986 conf/ofc/2017 db/conf/ofc/ofc2017.html#XiongMNHL17 Imane Hafnaoui Chao Chen 0031 Rabeh Ayari Gabriela Nicolescu Giovanni Beltrame An analysis of random cache effects on real-time multi-core scheduling algorithms. 64-70 2017 RSP https://doi.org/10.1145/3130265.3130320 https://ieeexplore.ieee.org/document/8547809 conf/rsp/2017 db/conf/rsp/rsp2017.html#HafnaouiCANB17

Felipe Gohring de Magalhaes Rubana Priti Mahdi Nikdast Fabiano Hessel Odile Liboiron-Ladouceur Gabriela Nicolescu Design and Modelling of a Low-Latency Centralized Controller for Optical Integrated Networks. 462-465 2016 20 IEEE Commun. Lett. 3 https://doi.org/10.1109/LCOMM.2016.2515583 db/journals/icl/icl20.html#MagalhaesPNHLN16

Taieb Lamine Ben Cheikh Alexandra Aguiar Sofiène Tahar Gabriela Nicolescu Tuning framework for stencil computation in heterogeneous parallel platforms. 468-502 2016 72 J. Supercomput. 2 https://doi.org/10.1007/s11227-015-1575-9 db/journals/tjs/tjs72.html#CheikhATN16

Mahdi Nikdast Gabriela Nicolescu Jelena Trajkovic Odile Liboiron-Ladouceur Modeling fabrication non-uniformity in chip-scale silicon photonic interconnects. 115-120 2016 DATE https://ieeexplore.ieee.org/document/7459290/ conf/date/2016 db/conf/date/date2016.html#NikdastNTL16 Mahdi Nikdast Gabriela Nicolescu Jelena Trajkovic Odile Liboiron-Ladouceur Photonic integrated circuits: A study on process variations. 1-3 2016 OFC https://ieeexplore.ieee.org/document/7537691 conf/ofc/2016 db/conf/ofc/ofc2016.html#NikdastNTL16 Yule Xiong Felipe Gohring de Magalhaes Bahaa Radi Gabriela Nicolescu Fabiano Hessel Odile Liboiron-Ladouceur Towards a fast centralized controller for integrated silicon photonic multistage MZI-based switches. 1-3 2016 OFC https://ieeexplore.ieee.org/document/7537670 conf/ofc/2016 db/conf/ofc/ofc2016.html#XiongMRNHL16 Fehmi Jaafar Gabriela Nicolescu Christian Richard A Systematic Approach for Privilege Escalation Prevention. 101-108 2016 QRS Companion https://doi.org/10.1109/QRS-C.2016.17 conf/qrs/2016c db/conf/qrs/qrs2016c.html#JaafarNR16 Rabeh Ayari Imane Hafnaoui Giovanni Beltrame Gabriela Nicolescu Schedulability-guided exploration of multi-core systems. 121-127 2016 RSP https://doi.org/10.1145/2990299.2990319 conf/rsp/2016 db/conf/rsp/rsp2016.html#AyariHBN16 Felipe Gohring de Magalhaes Fabiano Hessel Odile Liboiron-Ladouceur Gabriela Nicolescu Cluster-based architecture relying on Optical Integrated Networks with the provision of a low-latency arbiter. 1-6 2016 SBCCI https://doi.org/10.1109/SBCCI.2016.7724053 conf/sbcci/2016 db/conf/sbcci/sbcci2016.html#MagalhaesHLN16 Imane Hafnaoui Rabeh Ayari Gabriela Nicolescu Giovanni Beltrame A simulation-based model generator for software performance estimation. 20 2016 SummerSim http://dl.acm.org/citation.cfm?id=3015594 conf/scsc/2016 db/conf/scsc/scsc2016.html#HafnaouiANB16 Rabeh Ayari Imane Hafnaoui Giovanni Beltrame Gabriela Nicolescu Simulation-based schedulability assessment for real-time systems. 30 2016 SummerSim http://dl.acm.org/citation.cfm?id=3015604 conf/scsc/2016 db/conf/scsc/scsc2016.html#AyariHBN16 Luiza Gheorghe Iugan Gabriela Nicolescu Hanifa Boucheneb Rollback-based simulation for the design of continuous/discrete simulation tools. 32 2016 SummerSim http://dl.acm.org/citation.cfm?id=3015606 conf/scsc/2016 db/conf/scsc/scsc2016.html#IuganNB16 Felipe Gohring de Magalhaes Fabiano Hessel Odile Liboiron-Ladouceur Gabriela Nicolescu Modelling and simulation of optical integrated networks for early-stage design exploration (WIP). 44 2016 SummerSim http://dl.acm.org/citation.cfm?id=3015618 conf/scsc/2016 db/conf/scsc/scsc2016.html#MagalhaesHLN16

Luiza Gheorghe Iugan Hanifa Boucheneb Gabriela Nicolescu A generic conceptual framework based on formal representation for the design of continuous/discrete co-simulation tools. 243-275 2015 19 Des. Autom. Embed. Syst. 3 https://doi.org/10.1007/s10617-014-9156-3 db/journals/dafes/dafes19.html#IuganBN15

Hui Li 0034 Sébastien Le Beux Gabriela Nicolescu Ian O'Connor Energy-efficient optical crossbars on chip with multi-layer deposited silicon. 148-153 2015 ASP-DAC https://doi.org/10.1109/ASPDAC.2015.7058996 conf/aspdac/2015 db/conf/aspdac/aspdac2015.html#LiBNO15 Hui Li 0034 Alain Fourmigue Sébastien Le Beux Xavier Letartre Ian O'Connor Gabriela Nicolescu Thermal aware design method for VCSEL-based on-chip optical interconnect. 1120-1125 2015 DATE http://dl.acm.org/citation.cfm?id=2757072 https://ieeexplore.ieee.org/document/7092556/ conf/date/2015 db/conf/date/date2015.html#LiFBLON15 Gabriela Nicolescu Andreas Gerstlauer 2015 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2015, Amsterdam, Netherlands, October 4-9, 2015 CODES+ISSS IEEE 2015 978-1-4673-8321-9 https://ieeexplore.ieee.org/xpl/conhome/7318233/proceeding http://dl.acm.org/citation.cfm?id=2830840 db/conf/codes/codes2015.html

Hui Li 0034 Alain Fourmigue Sébastien Le Beux Xavier Letartre Ian O'Connor Gabriela Nicolescu Thermal Aware Design Method for VCSEL-Based On-Chip Optical Interconnect. 2015 abs/1512.07491 CoRR http://arxiv.org/abs/1512.07491 db/journals/corr/corr1512.html#LiFBLON15

Hui Li 0034 Sébastien Le Beux Gabriela Nicolescu Jelena Trajkovic Ian O'Connor Optical Crossbars on Chip: a comparative study based on worst-case losses. 2015 abs/1512.07492 CoRR http://arxiv.org/abs/1512.07492 db/journals/corr/corr1512.html#LiBNTO15

Hui Li 0034 Sébastien Le Beux Gabriela Nicolescu Ian O'Connor Energy-efficient optical crossbars on chip with multi-layer deposited silicon. 2015 abs/1512.07493 CoRR http://arxiv.org/abs/1512.07493 db/journals/corr/corr1512.html#LiBNO15

Sébastien Le Beux Hui Li 0034 Gabriela Nicolescu Jelena Trajkovic Ian O'Connor Optical crossbars on chip, a comparative study based on worst-case losses. 2492-2503 2014 26 Concurr. Comput. Pract. Exp. 15 https://doi.org/10.1002/cpe.3336 db/journals/concurrency/concurrency26.html#BeuxLNTO14

Sébastien Le Beux Hui Li 0034 Ian O'Connor Kazem Cheshmi Xuchen Liu 0003 Jelena Trajkovic Gabriela Nicolescu Chameleon: Channel efficient Optical Network-on-Chip. 1-6 2014 DATE https://doi.org/10.7873/DATE.2014.317 http://dl.acm.org/citation.cfm?id=2617046 conf/date/2014 db/conf/date/date2014.html#BeuxLOCLTN14 Alain Fourmigue Giovanni Beltrame Gabriela Nicolescu Efficient transient thermal simulation of 3D ICs with liquid-cooling and through silicon vias. 1-6 2014 DATE https://doi.org/10.7873/DATE.2014.087 http://dl.acm.org/citation.cfm?id=2616698 conf/date/2014 db/conf/date/date2014.html#FourmigueBN14 Taieb Lamine Ben Cheikh Gabriela Nicolescu Jelena Trajkovic Youcef Bouchebaba Pierre G. Paulin Fast and accurate implementation of Canny edge detector on embedded many-core platform. 401-404 2014 NEWCAS https://doi.org/10.1109/NEWCAS.2014.6934067 conf/newcas/2014 db/conf/newcas/newcas2014.html#CheikhNTBP14 Sébastien Le Beux Hui Li 0034 Gabriela Nicolescu Ian O'Connor A reconfigurable optical network on chip for streaming applications. 1-2 2014 ReCoSoC https://doi.org/10.1109/ReCoSoC.2014.6861340 conf/recosoc/2014 db/conf/recosoc/ReCoSoC2014.html#BeuxLNO14 Radu Marculescu Gabriela Nicolescu 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014 CODES+ISSS ACM 2014 https://doi.org/10.1145/2656075 https://ieeexplore.ieee.org/xpl/conhome/6963814/proceeding db/conf/codes/codes2014.html

Sébastien Le Beux Ian O'Connor Gabriela Nicolescu Guy Bois Pierre G. Paulin Reduction methods for adapting optical network on chip topologies to 3D architectures. 87-98 2013 37 Microprocess. Microsystems 1 https://doi.org/10.1016/j.micpro.2012.11.001 db/journals/mam/mam37.html#BeuxONBP13

Alain Fourmigue Giovanni Beltrame Gabriela Nicolescu Explicit transient thermal simulation of liquid-cooled 3D ICs. 1385-1390 2013 DATE https://doi.org/10.7873/DATE.2013.283 http://dl.acm.org/citation.cfm?id=2485618 conf/date/2013 db/conf/date/date2013.html#FourmigueBN13 Sébastien Le Beux Ian O'Connor Zhen Li 0046 Xavier Letartre Christelle Monat Jelena Trajkovic Gabriela Nicolescu Potential and pitfalls of silicon photonics computing and interconnect. 317-320 2013 ISCAS https://doi.org/10.1109/ISCAS.2013.6571845 https://www.wikidata.org/entity/Q62270686 conf/iscas/2013 db/conf/iscas/iscas2013.html#BeuxOLLMTN13 Olfat El-Mahi Gilles Pesant Gabriela Nicolescu Giovanni Beltrame Embedded system verification through constraint-based scheduling. 73-79 2013 RSP https://doi.org/10.1109/RSP.2013.6683961 conf/rsp/2013 db/conf/rsp/rsp2013.html#El-MahiPNB13

Jelena Trajkovic Samar Abdi Gabriela Nicolescu Daniel D. Gajski Automated Generation of Custom Processor Core from C Code. 2012 2012 J. Electr. Comput. Eng. https://doi.org/10.1155/2012/862469 https://www.wikidata.org/entity/Q58908722 db/journals/jece/jece2012.html#TrajkovicANG12 862469:1-862469:26

Youcef Bouchebaba Ali Erdem Özcan Pierre G. Paulin Gabriela Nicolescu MpAssign: a framework for solving the many-core platform mapping problem. 891-915 2012 42 Softw. Pract. Exp. 7 https://doi.org/10.1002/spe.1157 db/journals/spe/spe42.html#BouchebabaOPN12

Bruno Girodias Luiza Gheorghe Iugan Youcef Bouchebaba Gabriela Nicolescu El Mostapha Aboulhamid Michel Langevin Pierre G. Paulin Integrating Memory Optimization with Mapping Algorithms for Multi-Processors System-on-Chip. 64:1-64:26 2012 11 ACM Trans. Embed. Comput. Syst. 3 https://doi.org/10.1145/2345770.2345776 db/journals/tecs/tecs11.html#GirodiasIBNALP12

Olfat El-Mahi Gabriela Nicolescu Gilles Pesant Giovanni Beltrame Embedded system verification through constraint-based scheduling. 92-95 2012 HLDVT https://doi.org/10.1109/HLDVT.2012.6418248 https://doi.ieeecomputersociety.org/10.1109/HLDVT.2012.6418248 conf/hldvt/2012 db/conf/hldvt/hldvt2012.html#El-MahiNPB12 Taieb Lamine Ben Cheikh Giovanni Beltrame Gabriela Nicolescu Farida Cheriet Sofiène Tahar Parallelization strategies of the canny edge detector for multi-core CPUs and many-core GPUs. 49-52 2012 NEWCAS https://doi.org/10.1109/NEWCAS.2012.6328953 conf/newcas/2012 db/conf/newcas/newcas2012.html#CheikhBNCT12 Salim Ismail Al-Akhras Sofiène Tahar Gabriela Nicolescu Michel Langevin Pierre G. Paulin On the Verification of a WiMax Design Using Symbolic Simulation. SCSS 2012 23-37 https://doi.org/10.4204/EPTCS.122.3 http://arxiv.org/abs/1308.0209 journals/corr/BouhoulaIK13 db/series/eptcs/eptcs122.html#Al-AkhrasTNLP13

Pierre-Emmanuel Gaillardon Fabien Clermidy Ian O'Connor Junchen Liu Maimouna Amadou Gabriela Nicolescu Matrix Nanodevice-Based Logic Architectures and Associated Functional Mapping Method. 3:1-3:23 2011 7 ACM J. Emerg. Technol. Comput. Syst. 1 https://doi.org/10.1145/1899390.1899393 https://www.wikidata.org/entity/Q130896597 db/journals/jetc/jetc7.html#GaillardonCOLAN11

Alain Fourmigue Giovanni Beltrame Gabriela Nicolescu El Mostapha Aboulhamid A linear-time approach for the transient thermal simulation of liquid-cooled 3d ics. 197-206 2011 CODES+ISSS https://doi.org/10.1145/2039370.2039402 conf/codes/2011 db/conf/codes/codes2011.html#FourmigueBNA11 Alain Fourmigue Giovanni Beltrame Gabriela Nicolescu El Mostapha Aboulhamid Ian O'Connor Multi-granularity thermal evaluation of 3D MPSoC architectures. 575-578 2011 DATE https://doi.org/10.1109/DATE.2011.5763287 https://doi.ieeecomputersociety.org/10.1109/DATE.2011.5763287 conf/date/2011 db/conf/date/date2011.html#FourmigueBNAO11 Sébastien Le Beux Jelena Trajkovic Ian O'Connor Gabriela Nicolescu Guy Bois Pierre G. Paulin Optical Ring Network-on-Chip (ORNoC): Architecture and design methodology. 788-793 2011 DATE https://doi.org/10.1109/DATE.2011.5763134 https://doi.ieeecomputersociety.org/10.1109/DATE.2011.5763134 conf/date/2011 db/conf/date/date2011.html#BeuxTONBP11 Giovanni Beltrame Gabriela Nicolescu A multi-objective decision-theoretic exploration algorithm for platform-based design. 1192-1195 2011 DATE https://doi.org/10.1109/DATE.2011.5763311 https://doi.ieeecomputersociety.org/10.1109/DATE.2011.5763311 conf/date/2011 db/conf/date/date2011.html#BeltrameN11 Sébastien Le Beux Jelena Trajkovic Ian O'Connor Gabriela Nicolescu Layout guidelines for 3D architectures including Optical Ring Network-on-Chip (ORNoC). 242-247 2011 VLSI-SoC https://doi.org/10.1109/VLSISoC.2011.6081645 conf/vlsi/2011soc db/conf/vlsi/vlsisoc2011.html#BeuxTON11 Gabriela Nicolescu Pieter J. Mosterman Model-Based Design for Embedded Systems. I-XXIV, 1-739 CRC Press 2010 Computational Analysis, Synthesis, and Design of Dynamic Systems 978-1-420-06784-2 http://www.crcpress.com/product/isbn/9781420067842

Sébastien Le Beux Jelena Trajkovic Ian O'Connor Gabriela Nicolescu Guy Bois Pierre G. Paulin Multi-Optical Network-on-Chip for Large Scale MPSoC. 77-80 2010 2 IEEE Embed. Syst. Lett. 3 https://doi.org/10.1109/LES.2010.2057407 db/journals/esl/esl2.html#BeuxTONBP10

Sébastien Le Beux Guy Bois Gabriela Nicolescu Youcef Bouchebaba Michel Langevin Pierre G. Paulin Combining mapping and partitioning exploration for NoC-based embedded systems. 223-232 2010 56 J. Syst. Archit. 7 https://doi.org/10.1016/j.sysarc.2010.03.005 db/journals/jsa/jsa56.html#BeuxBNBLP10

Ahmed Azzabi El Mostapha Aboulhamid Gabriela Nicolescu Timing verification of cyclic systems based on temporal constraint analysis. 659-662 2010 ICECS https://doi.org/10.1109/ICECS.2010.5724598 conf/icecsys/2010 db/conf/icecsys/icecsys2010.html#AzzabiAN10 Sébastien Le Beux Gabriela Nicolescu Guy Bois Pierre G. Paulin A system-level exploration flow for optica network on chip (ONoC) in 3D MPSoC. 3613-3616 2010 ISCAS https://doi.org/10.1109/ISCAS.2010.5537794 conf/iscas/2010 db/conf/iscas/iscas2010.html#BeuxNBP10 Youcef Bouchebaba Pierre G. Paulin Ali Erdem Özcan Bruno Lavigueur Michel Langevin Olivier Benny Gabriela Nicolescu MpAssign: A framework for solving the many-core platform mapping problem. 1-7 2010 International Symposium on Rapid System Prototyping https://doi.org/10.1109/RSP.2010.5656327 conf/rsp/2010 db/conf/rsp/rsp2010.html#BouchebabaPOLLBN10 Bruno Girodias Luiza Gheorghe Youcef Bouchebaba Gabriela Nicolescu El Mostapha Aboulhamid Michel Langevin Pierre G. Paulin Combining memory optimization with mapping of multimedia applications for multi-processors system-on-chip. 1-9 2010 International Symposium on Rapid System Prototyping https://doi.org/10.1109/RSP.2010.5656435 conf/rsp/2010 db/conf/rsp/rsp2010.html#GirodiasGBNALP10

Luiza Gheorghe Iugan Gabriela Nicolescu Ian O'Connor Modeling and Formal Verification of a Passive Optical Network on Chip Behavior. 2009 21 Electron. Commun. Eur. Assoc. Softw. Sci. Technol. https://doi.org/10.14279/tuj.eceasst.21.302 db/journals/eceasst/eceasst21.html#IuganNO09

Gabriela Nicolescu Didier Buchs Rapid systems prototyping at RSP'06. 1081 2009 40 Microelectron. J. 7 https://doi.org/10.1016/j.mejo.2008.11.059 db/journals/mj/mj40.html#NicolescuB09

Bruno Girodias Youcef Bouchebaba Gabriela Nicolescu El Mostapha Aboulhamid Pierre G. Paulin Bruno Lavigueur Multiprocessor, Multithreading and Memory Optimization for On-Chip Multimedia Applications. 263-283 2009 57 J. Signal Process. Syst. 2 https://doi.org/10.1007/s11265-008-0293-4 db/journals/vlsisp/vlsisp57.html#GirodiasBNAPL09

Sébastien Le Beux Gabriela Nicolescu Guy Bois Youcef Bouchebaba Michel Langevin Pierre G. Paulin Optimizing Configuration and Application Mapping for MPSoC Architectures. 474-481 2009 AHS https://doi.org/10.1109/AHS.2009.35 https://doi.ieeecomputersociety.org/10.1109/AHS.2009.35 conf/ahs/2009 db/conf/ahs/ahs2009.html#BeuxNBBLP09 Alain Fourmigue Bruno Girodias Gabriela Nicolescu El Mostapha Aboulhamid Co-simulation based platform for wireless protocols design explorations. 874-877 2009 DATE https://doi.org/10.1109/DATE.2009.5090785 http://dl.acm.org/citation.cfm?id=1874833 conf/date/2009 db/conf/date/date2009.html#FourmigueGNA09 Ahmed Amine Jerraya Gabriela Nicolescu Embedded tutorial - Understanding multicore technologies. 1051 2009 DATE https://doi.org/10.1109/DATE.2009.5090819 http://dl.acm.org/citation.cfm?id=1874876 conf/date/2009 db/conf/date/date2009.html#JerrayaN09 Victorino Sanz Shafagh Jafer Gabriel A. Wainer Gabriela Nicolescu Alfonso Urquia Sebastián Dormido 0001 Hybrid modeling of opto-electrical interfaces using DEVS and modelica. 2009 SpringSim http://dl.acm.org/citation.cfm?id=1639809.1655375 conf/springsim/2009 db/conf/springsim/springsim2009.html#SanzJWNUD09 Ian O'Connor Junchen Liu Kotb Jabeur Nataliya Yakymets Renaud Daviot David Navarro Pierre-Emmanuel Gaillardon Fabien Clermidy Maimouna Amadou Gabriela Nicolescu Emerging Technologies and Nanoscale Computing Fabrics. 1-20 2009 VLSI-SoC https://doi.org/10.1007/978-3-642-23120-9_1 conf/vlsi/2009soc db/conf/vlsi/vlsisoc2009.html#OConnorLJYDNGCAN09 Luiza Gheorghe Gabriela Nicolescu Hanifa Boucheneb Semantics for Rollback-Based Continuous/Discrete Simulation. 106-111 2008 BMAS https://doi.org/10.1109/BMAS.2008.4751250 conf/bmas/2008 db/conf/bmas/bmas2008.html#GheorgheNB08 Simon Schliecker Mircea Negrean Gabriela Nicolescu Pierre G. Paulin Rolf Ernst Reliable performance analysis of a multicore multithreaded system-on-chip. 161-166 2008 CODES+ISSS https://doi.org/10.1145/1450135.1450172 conf/codes/2008 db/conf/codes/codes2008.html#SchlieckerNNPE08 Luiza Gheorghe Faouzi Bouchhima Gabriela Nicolescu Hanifa Boucheneb Semantics for Model-Based Validation of Continuous/Discrete Systems. 498-503 2008 DATE https://doi.org/10.1109/DATE.2008.4484730 https://doi.ieeecomputersociety.org/10.1109/DATE.2008.4484730 https://doi.org/10.1145/1403375.1403493 conf/date/2008 db/conf/date/date2008.html#GheorgheBNB08

Faouzi Bouchhima Gabriela Nicolescu El Mostapha Aboulhamid Mohamed Abid Generic discrete-continuous simulation model for accurate validation in heterogeneous systems design. 805-815 2007 38 Microelectron. J. 6-7 https://doi.org/10.1016/j.mejo.2007.04.001 db/journals/mj/mj38.html#BouchhimaNAA07

Youcef Bouchebaba Bruno Girodias Gabriela Nicolescu El Mostapha Aboulhamid Bruno Lavigueur Pierre G. Paulin MPSoC memory optimization using program transformation. 2007 12 ACM Trans. Design Autom. Electr. Syst. 4 https://doi.org/10.1145/1278349.1278356 db/journals/todaes/todaes12.html#BouchebabaGNALP07 43

Youcef Bouchebaba Bruno Girodias Fabien Coelho Gabriela Nicolescu El Mostapha Aboulhamid Buffer and Register Allocation for Memory Space Optimization. 123-138 2007 49 J. VLSI Signal Process. 1 https://doi.org/10.1007/s11265-006-0001-1 db/journals/vlsisp/vlsisp49.html#BouchebabaGCNA07

Youcef Bouchebaba Essaid Bensoudane Bruno Lavigueur Pierre G. Paulin Gabriela Nicolescu Two-level tiling for MPSoC architecture. 314-319 2007 ASAP https://doi.org/10.1109/ASAP.2007.4429999 https://doi.ieeecomputersociety.org/10.1109/ASAP.2007.4429999 conf/asap/2007 db/conf/asap/asap2007.html#BouchebabaBLPN07 Matthieu Briere Bruno Girodias Youcef Bouchebaba Gabriela Nicolescu Fabien Mieyeville Frédéric Gaffiot Ian O'Connor System level assessment of an optical NoC in an MPSoC platform. 1084-1089 2007 conf/date/2007 DATE https://dl.acm.org/citation.cfm?id=1266600 db/conf/date/date2007.html#BriereGBNMGO07 Youcef Bouchebaba Bruno Lavigueur Bruno Girodias Gabriela Nicolescu Pierre G. Paulin MPSoC memory optimization for digital camera applications. 424-427 2007 DSD https://doi.org/10.1109/DSD.2007.4341502 conf/dsd/2007 db/conf/dsd/dsd2007.html#BouchebabaLGNP07 Matthieu Briere Luiza Gheorghe Gabriela Nicolescu Ian O'Connor Gabriel A. Wainer Towards the High-Level Design of Optical Networks-on-Chip. Formalization of Opto-Electrical Interfaces. 427-430 2007 ICECS https://doi.org/10.1109/ICECS.2007.4511021 conf/icecsys/2007 db/conf/icecsys/icecsys2007.html#BriereGNOW07 Luiza Gheorghe Faouzi Bouchhima Gabriela Nicolescu Hanifa Boucheneb A formalization of global simulation models for continuous/discrete systems. 559-566 2007 SCSC https://dl.acm.org/citation.cfm?id=1357998 conf/scsc/2007 db/conf/scsc/scsc2007.html#GheorgheBNB07

James Lapalme El Mostapha Aboulhamid Gabriela Nicolescu A new efficient EDA tool design methodology. 408-430 2006 5 ACM Trans. Embed. Comput. Syst. 2 https://doi.org/10.1145/1151074.1151082 db/journals/tecs/tecs5.html#LapalmeAN06

Pierre G. Paulin Chuck Pilkington Michel Langevin Essaid Bensoudane Damien Lyonnard Olivier Benny Bruno Lavigueur David Lo 0002 Giovanni Beltrame Vincent Gagné Gabriela Nicolescu Parallel programming models for a multiprocessor SoC platform applied to networking and multimedia. 667-680 2006 14 IEEE Trans. Very Large Scale Integr. Syst. 7 https://doi.org/10.1109/TVLSI.2006.878259 db/journals/tvlsi/tvlsi14.html#PaulinPLBLBLLBGN06

Gabriela Nicolescu Faouzi Bouchhima Luiza Gheorghe Codis - a Framework for continuous/discrete Systems Co-simulation. 274-275 2006 ADHS https://doi.org/10.3182/20060607-3-IT-3902.00052 conf/adhs/2006 db/conf/adhs/adhs2006.html#NicolescuBG06 Youcef Bouchebaba Gabriela Nicolescu El Mostapha Aboulhamid Fabien Coelho Buffer and register allocation for memory space optimization. 283-290 2006 conf/asap/2006 ASAP https://doi.org/10.1109/ASAP.2006.20 https://doi.ieeecomputersociety.org/10.1109/ASAP.2006.20 db/conf/asap/asap2006.html#BouchebabaNAC06 Nasreddine Hireche J. M. Pierre Langlois Gabriela Nicolescu Survey of Biological High Performance Computing: Algorithms, Implementations and Outlook Research. 1926-1929 2006 conf/ccece/2006 CCECE https://doi.org/10.1109/CCECE.2006.277302 db/conf/ccece/ccece2006.html#HirecheLN06 N. Ignat Bogdan Nicolescu Yvon Savaria Gabriela Nicolescu Soft-error classification and impact analysis on real-time operating systems. 182-187 2006 conf/date/2006p DATE https://doi.org/10.1109/DATE.2006.244063 https://doi.ieeecomputersociety.org/10.1109/DATE.2006.244063 http://dl.acm.org/citation.cfm?id=1131535 db/conf/date/date2006p.html#IgnatNSN06 Bruno Girodias El Mostapha Aboulhamid Gabriela Nicolescu A Platform for Refinement of OS Services for Embedded Systems. 227-236 2006 conf/delta/2006 DELTA https://doi.org/10.1109/DELTA.2006.97 https://doi.ieeecomputersociety.org/10.1109/DELTA.2006.97 db/conf/delta/delta2006.html#GirodiasAN06 Bruno Girodias Youcef Bouchebaba Gabriela Nicolescu El Mostapha Aboulhamid Pierre G. Paulin Bruno Lavigueur Application-Level Memory Optimization for MPSoC. 169-178 2006 conf/rsp/2006 IEEE International Workshop on Rapid System Prototyping https://doi.org/10.1109/RSP.2006.8 https://doi.ieeecomputersociety.org/10.1109/RSP.2006.8 db/conf/rsp/rsp2006.html#GirodiasBNAPL06 Luiza Gheorghe Faouzi Bouchhima Gabriela Nicolescu Hanifa Boucheneb Formal Definitions of Simulation Interfaces in a Continuous/Discrete Co-Simulation Tool. 186-192 2006 conf/rsp/2006 IEEE International Workshop on Rapid System Prototyping https://doi.org/10.1109/RSP.2006.18 https://doi.ieeecomputersociety.org/10.1109/RSP.2006.18 db/conf/rsp/rsp2006.html#GheorgheBNB06 Simon Provost Bruno Lavigueur Guy Bois Gabriela Nicolescu Integration of Configurable Processors in a Multiprocessor Platform. 221-224 2006 SoCC https://doi.org/10.1109/SOCC.2006.283885 conf/socc/2006 db/conf/socc/socc2006.html#ProvostLBN06 Robert Grou-Szabo Hany Ghattas Yvon Savaria Gabriela Nicolescu Component-Based Methodology for Hardware Design of a Dataflow Processing Network. 289-294 2005 conf/iwsoc/2005 IWSOC https://doi.org/10.1109/IWSOC.2005.46 https://doi.ieeecomputersociety.org/10.1109/IWSOC.2005.46 db/conf/iwsoc/iwsoc2005.html#Grou-SzaboGSN05 Luiza Gheorghe Gabriela Nicolescu MP SoCs Including Optical Interconnect. Technological Progresses and Challenges for CAD Tools Design. 546-551 2005 conf/iwsoc/2005 IWSOC https://doi.org/10.1109/IWSOC.2005.85 https://doi.ieeecomputersociety.org/10.1109/IWSOC.2005.85 db/conf/iwsoc/iwsoc2005.html#GheorgheN05 James Lapalme El Mostapha Aboulhamid Gabriela Nicolescu Leveraging Model Representations for System Level Design Tools. 33-39 2005 conf/rsp/2005 IEEE International Workshop on Rapid System Prototyping https://doi.org/10.1109/RSP.2005.28 https://doi.ieeecomputersociety.org/10.1109/RSP.2005.28 db/conf/rsp/rsp2005.html#LapalmeAN05 Faouzi Bouchhima Gabriela Nicolescu El Mostapha Aboulhamid Mohamed Abid Discrete-Continuous Simulation Model for Accurate Validation in Component-Based Heterogeneous SoC Design. 181-187 2005 conf/rsp/2005 IEEE International Workshop on Rapid System Prototyping https://doi.org/10.1109/RSP.2005.22 https://doi.ieeecomputersociety.org/10.1109/RSP.2005.22 db/conf/rsp/rsp2005.html#BouchhimaNAA05 Essaid Bensoudane Gabriela Nicolescu Pierre G. Paulin Michel Langevin Chuck Pilkington Damien Lyonnard A Multiprocessor SoC Platform and Tools for Communications Applications. 2005 Embedded Systems Handbook https://doi.org/10.1201/9781420038163.ch26 reference/crc/2005es db/reference/crc/es2005.html#BensoudaneNPLPL05

Wander O. Cesário Lovic Gauthier Damien Lyonnard Gabriela Nicolescu Ahmed Amine Jerraya Object-based hardware/software component interconnection model for interface design in system-on-a-chip circuits. 229-244 2004 70 J. Syst. Softw. 3 https://doi.org/10.1016/S0164-1212(03)00071-2 db/journals/jss/jss70.html#CesarioGLNJ04

Pierre G. Paulin Chuck Pilkington Michel Langevin Essaid Bensoudane Gabriela Nicolescu Parallel programming models for a multi-processor SoC platform applied to high-speed traffic management. 48-53 2004 conf/codes/2004 CODES+ISSS https://doi.org/10.1145/1016720.1016735 https://doi.org/10.1109/CODES+ISSS.2004.46 db/conf/codes/codes2004.html#PaulinPLBN04 James Lapalme El Mostapha Aboulhamid Gabriela Nicolescu Luc Charest François R. Boyer J. P. David Guy Bois .NET Framework - A Solution for the Next Generation Tools for System-Level Modeling and Simulation. 732-733 2004 conf/date/2004 DATE https://doi.org/10.1109/DATE.2004.1268952 https://doi.ieeecomputersociety.org/10.1109/DATE.2004.1268952 http://dl.acm.org/citation.cfm?id=969017 db/conf/date/date2004-1.html#LapalmeANCBDB04 James Lapalme El Mostapha Aboulhamid Gabriela Nicolescu Luc Charest François R. Boyer J. P. David Guy Bois ESys.Net: a new solution for embedded systems modeling and simulation. 107-114 2004 conf/lctrts/2004 LCTES https://doi.org/10.1145/997163.997179 https://doi.org/10.1145/998300.997179 db/conf/lctrts/lctes2004.html#LapalmeANCBDB04 Sungjoo Yoo Gabriela Nicolescu Iuliana Bacivarov Wassim Youssef Aimen Bouchhima Ahmed Amine Jerraya Multi-Level Software Validation for NoC. 261-279 2003 Networks on Chip https://doi.org/10.1007/0-306-48727-6_13 books/sp/03/JT2003 db/books/collections/JT2003.html#YooNBYBJ03 Gabriela Nicolescu Spécification et validation des systèmes hétérogènes embarqués. (Specification and validation for heterogeneous embedded systems). 2002 Grenoble Institute of Technology, France https://tel.archives-ouvertes.fr/tel-00002938

Wander O. Cesário Damien Lyonnard Gabriela Nicolescu Yanick Paviot Sungjoo Yoo Ahmed Amine Jerraya Lovic Gauthier Mario Diaz-Nava Multiprocessor SoC Platforms: A Component-Based Design Approach. 52-63 2002 19 IEEE Des. Test Comput. 6 https://doi.org/10.1109/MDT.2002.1047744 http://doi.ieeecomputersociety.org/10.1109/MDT.2002.1047744 db/journals/dt/dt19.html#CesarioLNPYJGD02

Gabriela Nicolescu Kjetil Svarstad Wander O. Cesário Lovic Gauthier Damien Lyonnard Sungjoo Yoo Philippe Coste Ahmed Amine Jerraya Desiderata pour la spécification et la conception des systèmes électroniques. 291-314 2002 21 Tech. Sci. Informatiques 3 http://tsi.revuesonline.com/article.jsp?articleId=3849 db/journals/tsi/tsi21.html#NicolescuSCGLYCJ02

Wander O. Cesário Amer Baghdadi Lovic Gauthier Damien Lyonnard Gabriela Nicolescu Yanick Paviot Sungjoo Yoo Ahmed Amine Jerraya Mario Diaz-Nava Component-based design approach for multicore SoCs. 789-794 2002 conf/dac/2002 DAC https://doi.org/10.1145/513918.514115 db/conf/dac/dac2002.html#CesarioBGLNPYJD02 Sungjoo Yoo Gabriela Nicolescu Lovic Gauthier Ahmed Amine Jerraya Automatic Generation of Fast Timed Simulation Models for Operating Systems in SoC Design. 620-627 2002 conf/date/2002 DATE https://doi.org/10.1109/DATE.2002.998365 https://doi.ieeecomputersociety.org/10.1109/DATE.2002.998365 http://dl.acm.org/citation.cfm?id=874380 db/conf/date/date2002.html#YooNGJ02 Ahmed Amine Jerraya Sungjoo Yoo Aimen Bouchhima Gabriela Nicolescu Validation in a Component-Based Design Flow for Multicore SoCs. 162-167 2002 conf/isss/2002 ISSS https://doi.ieeecomputersociety.org/10.1109/ISSS.2002.1227170 https://doi.org/10.1145/581199.581236 db/conf/isss/isss2002.html#JerrayaYBN02 Gabriela Nicolescu S. Martinez Lobna Kriaa Wassim Youssef Sungjoo Yoo Benoît Charlot Ahmed Amine Jerraya Application of Multi-Domain and Multi-Language Cosimulation to an Optical MEM Switch Design. 426- 2002 conf/vlsid/2002 ASP-DAC/VLSI Design https://doi.org/10.1109/ASPDAC.2002.994958 https://doi.ieeecomputersociety.org/10.1109/ASPDAC.2002.994958 https://dl.acm.org/doi/10.5555/832284.835399 db/conf/vlsid/vlsid2002.html#NicolescuMKYYCJ02

Wander O. Cesário Gabriela Nicolescu Lovic Gauthier Damien Lyonnard Ahmed Amine Jerraya Colif: A Design Representation for Application-Specific Multiprocessor SOCs. 8-20 2001 18 IEEE Des. Test Comput. 5 https://doi.org/10.1109/54.953268 http://doi.ieeecomputersociety.org/10.1109/54.953268 db/journals/dt/dt18.html#CesarioNGLJ01

Patrice Gerin Sungjoo Yoo Gabriela Nicolescu Ahmed Amine Jerraya Scalable and flexible cosimulation of SoC designs with heterogeneous multi-processor target architectures. 63-68 2001 conf/aspdac/2001 ASP-DAC https://doi.org/10.1145/370155.370276 db/conf/aspdac/aspdac2001.html#GerinYNJ01 Kjetil Svarstad Nezih Ben-Fredj Gabriela Nicolescu Ahmed Amine Jerraya A higher level system communication model for object-oriented specification and design of embedded systems. 69-77 2001 conf/aspdac/2001 ASP-DAC https://doi.org/10.1145/370155.370279 https://www.wikidata.org/entity/Q130980701 db/conf/aspdac/aspdac2001.html#SvarstadBNJ01 Sungjoo Yoo Gabriela Nicolescu Damien Lyonnard Amer Baghdadi Ahmed Amine Jerraya A generic wrapper architecture for multi-processor SoC cosimulation and design. 195-200 2001 conf/codes/2001 CODES https://doi.org/10.1145/371636.371722 db/conf/codes/codes2001.html#YooNLBJ01 Kjetil Svarstad Gabriela Nicolescu Ahmed Amine Jerraya A model for describing communication between aggregate objects in the specification and design of embedded systems. 77-85 2001 conf/date/2001 DATE https://doi.org/10.1109/DATE.2001.915004 https://doi.ieeecomputersociety.org/10.1109/DATE.2001.915004 http://dl.acm.org/citation.cfm?id=367097 db/conf/date/date2001.html#SvarstadNJ01 Gabriela Nicolescu Sungjoo Yoo Ahmed Amine Jerraya Mixed-level cosimulation for fine gradual refinement of communication in SoC design. 754-759 2001 conf/date/2001 DATE https://doi.org/10.1109/DATE.2001.915113 https://doi.ieeecomputersociety.org/10.1109/DATE.2001.915113 http://dl.acm.org/citation.cfm?id=367947 db/conf/date/date2001.html#NicolescuYJ01 Sungjoo Yoo Gabriela Nicolescu Lovic Gauthier Ahmed Amine Jerraya Fast timed cosimulation of HW/SW implementation of embedded multiprocessor SoC communication. 79-82 2001 HLDVT https://doi.org/10.1109/HLDVT.2001.972811 https://doi.ieeecomputersociety.org/10.1109/HLDVT.2001.972811 conf/hldvt/2001 db/conf/hldvt/hldvt2001.html#YooNGJ01 Wander O. Cesário Gabriela Nicolescu Lovic Gauthier Damien Lyonnard Ahmed Amine Jerraya Colif: a Multilevel Design Representation for Application-Specific Multiprocessor System-on-Chip Design. 110-115 2001 conf/rsp/2001 IEEE International Workshop on Rapid System Prototyping https://doi.org/10.1109/IWRSP.2001.933847 https://doi.ieeecomputersociety.org/10.1109/IWRSP.2001.933847 db/conf/rsp/rsp2001.html#CesarioNGLJ01

Fabiano Hessel Pascal Coste Philippe Le Marrec Nacer-Eddine Zergainoh Gabriela Nicolescu Jean-Marc Daveau Ahmed Amine Jerraya Interlanguage Communication Synthesis for Heterogeneous Specifications. 223-236 2000 5 Des. Autom. Embed. Syst. 3-4 https://doi.org/10.1023/A:1008945917092 db/journals/dafes/dafes5.html#HesselCMZNDJ00

Salvador Mir Benoît Charlot Gabriela Nicolescu Philippe Coste Fabien Parrain Nacer-Eddine Zergainoh Bernard Courtois Ahmed Amine Jerraya Márta Rencz Towards design and validation of mixed-technology SOCs. 29-33 2000 conf/glvlsi/2000 ACM Great Lakes Symposium on VLSI https://doi.org/10.1145/330855.330950 db/conf/glvlsi/glvlsi2000.html#MirCNCPZCJR00 Fabiano Hessel Philippe Coste Gabriela Nicolescu P. LeMarrec Nacer-Eddine Zergainoh Ahmed Amine Jerraya Multi-Level Communication Synthesis of Heterogeneous Multilanguage Specification. 525-530 2000 conf/iccd/2000 ICCD https://doi.org/10.1109/ICCD.2000.878332 https://doi.ieeecomputersociety.org/10.1109/ICCD.2000.878332 db/conf/iccd/iccd2000.html#HesselCNLZJ00 Samar Abdi Mohamed Abid El Mostapha Aboulhamid Alexandra Aguiar Salim Ismail Al-Akhras Maimouna Amadou Ashkan Amirnia Amira Aouina Dahman Assal Maroua Ben Attia Marwa Ben Attia Rabeh Ayari Ahmed Azzabi Iuliana Bacivarov Amer Baghdadi Anas Balboul Adel Belkhiri Giovanni Beltrame Nezih Ben-Fredj Aymen Ben-Salem Rémi Benito Olivier Benny Essaid Bensoudane Paul Berthier Sébastien Le Beux Brandon Bhatnagar Steven P. Biegler Guillaume-Alexandre Bilodeau Guy Bois Youcef Bouchebaba Hanifa Boucheneb Aimen Bouchhima Faouzi Bouchhima François R. Boyer Matthieu Briere Didier Buchs Ahmad Shahnejat Bushehri Wander O. Cesário Luc Charest Benoît Charlot Taieb Lamine Ben Cheikh Chao Chen 0031 Farida Cheriet Kazem Cheshmi Fabien Clermidy Fabien Coelho Pascal Coste Philippe Coste Bernard Courtois Frédéric Cuppens Michel R. Dagenais Charles Dansereau Jean-Marc Daveau J. P. David Renaud Daviot Oceane Destras Mouna Dhaouadi Mario Diaz-Nava Sebastián Dormido 0001 Alexy Torres Aurora Dugo Bardienus Pieter Duisterhof Olfat El-Mahi Rolf Ernst José FernándezJose Fernandez José M. Fernandez 0001 Alain Fourmigue Claudia S. Frydman Frédéric Gaffiot Vincent Gagné Pierre-Emmanuel Gaillardon Daniel GajskiDaniel D. Gajski Joaquín García 0001Joaquín García-Alfaro Lovic Gauthier Patrice Gerin Andreas Gerstlauer Hany Ghattas Luca Gianoli Bruno Girodias Robert Grou-Szabo Imane Hafnaoui Jimmy Hamel Maâmar El-Amine Hamri Serge Harnois Fabiano Hessel Nasreddine Hireche Adem Hmissa N. Ignat Luiza Gheorghe IuganLuiza Gheorghe Fehmi Jaafar Kotb Jabeur Shafagh Jafer Militza Jean Ahmed Amine Jerraya Benoit Joly Sorelle Kamkuimo Sorelle Audrey K. Kamkuimo Samira Keivanpour Kacem Khaled Lobna Kriaa Francois Lamarre Michel Langevin J. M. Pierre Langlois James Lapalme Bruno Lavigueur Jean-Baptiste Lefoul P. LeMarrec Xavier Letartre Hui Li 0034 Zhen Li 0046 Odile Liboiron-Ladouceur Junchen Liu Xuchen Liu 0003 David Lo 0002 Damien Lyonnard Felipe G. MagalhaesFelipe Gohring de MagalhaesFelipe Göhring de Magalhães Radu Marculescu Jean-Yves Marion Philippe Le Marrec Jean-Simon Marrocco S. Martinez Oumayma Messoussi Fabien Mieyeville Salvador Mir Henrique Amaral Misson Christelle Monat Mohamed Marwen Moslah Pieter J. Mosterman Rani Naaman David Navarro Mircea Negrean Mikaëla Ngamboé Bogdan Nicolescu Mahdi Nikdast Xiao Niu Ian O'Connor Jean-Yves Ouattara Ali Erdem Özcan Jacopo Panerati Fabien Parrain Pierre G. Paulin Yanick Paviot Francis Perreault Gilles Pesant Rodolphe PicotRodolphe Laurent Louis Picot Chuck Pilkington Carlo Pinciroli Rubana Priti Simon Provost Alejandro Quintero Bahaa Radi Márta Rencz Greg Rice Christian Richard Victorino Sanz Yvon Savaria Simon Schliecker Abdo Shabah Ibrahima Sogoba Colin Stephenne Kjetil Svarstad Sofiène Tahar Jelena Trajkovic Assia Tria Nicolas Ulysse Alfonso Urquia Gabriel A. Wainer Yuqi Wang Yule Xiong Aznam Yacoub Nataliya Yakymets Sungjoo Yoo Wassim Youssef Nacer-Eddine Zergainoh Ramzi Zouari Rim Zrelli