Zobrazeno 1 - 10
of 11
pro vyhledávání: '"Olivier Debicki"'
Autor:
Julie Foucault, Suzanne Lesecq, Gabriela Dudnik, Marc Correvon, Rosemary O’Keeffe, Vincenza Di Palma, Marco Passoni, Fabio Quaglia, Laurent Ouvry, Steven Buckley, Jean Herveg, Andrea di Matteo, Tiana Rakotovao, Olivier Debicki, Nicolas Mareau, John Barrett, Susan Rea, Alan McGibney, François Birot, Hugues de Chaumont, Richard Banach, Joseph Razavi, Cian Ó’Murchú
Publikováno v:
Sensors, Vol 19, Iss 19, p 4350 (2019)
Environment perception is crucial for the safe navigation of vehicles and robots to detect obstacles in their surroundings. It is also of paramount interest for navigation of human beings in reduced visibility conditions. Obstacle avoidance systems t
Externí odkaz:
https://doaj.org/article/50d0ec42115645efb05ae6861e859422
Autor:
Jean-Frédéric Christmann, Florent Berthier, David Coriat, Ivan Miro-Panades, Eric Guthmuller, Sébastien Thuries, Yvain Thonnart, Adam Makosiej, Olivier Debicki, Frédéric Heitzmann, Alexandre Valentian, Pascal Vivet, Edith Beigné
Publikováno v:
Journal of Low Power Electronics and Applications, Vol 9, Iss 1, p 8 (2019)
Due to low activity in Internet of Things (IoT) applications, systems tend to leverage low power modes in order to reduce their power consumption. Normally-off computing thus arose, consisting in having turned off most part of a system’s power supp
Externí odkaz:
https://doaj.org/article/d8d0d3d329684d829649a10e2a06f695
Publikováno v:
Journal of Software: Evolution and Process. 33
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3f682d4bdd31cbe068baec2075fca7a0
https://doi.org/10.1002/smr.2383
https://doi.org/10.1002/smr.2383
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030549930
FM Workshops (1)
FM Workshops (1)
Reviews of various kinds are an established part of system development, but rely on the vigilance and thoroughness of the human participants for their quality. The use of formal methods as part of the toolkit deployed during review can increase those
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::33b8ad551332e0298731c965d6a959c0
https://doi.org/10.1007/978-3-030-54994-7_7
https://doi.org/10.1007/978-3-030-54994-7_7
Autor:
Julie Foucault, Olivier Debicki, Gabriela Dudnik, Suzanne Lesecq, Joseph Razavi, M. Correvon, Nicolas Mareau, Richard Banach
Publikováno v:
Complex Systems Design & Management ISBN: 9783030042080
CSDM
CSDM
Inspired by the abilities of contemporary autonomous vehicles to navigate with a high degree of effectiveness, the INSPEX Project aims to create a minaturised smart obstacle detection system, which could find use in a wide variety of leading edge sma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eceab9f34a77a30281b36b0f8175ee43
https://doi.org/10.1007/978-3-030-04209-7_1
https://doi.org/10.1007/978-3-030-04209-7_1
Autor:
Susan Rea, Loic Sevrin, Fabio Quaglia, David Rojas, Carl Jackson, Francois Birot, Christian Fabre, M. Correvon, Suzanne Lesecq, Julie Foucault, Andrea di Matteo, Richard Banach, John Barrett, Giuseppe Villa, Joseph Razavi, Laurent Ouvry, Gabriela Dudnik, Jean-Marc Van Gyseghem, Steve Buckley, Vincenza Di Palma, Nicolas Mareau, Florence Thiry, Rosemary O'Keeffe, Alan Mathewson, Olivier Debicki, Alan McGibney, Jean Herveg, Cian O'Murchu, Nathalie Grandjean
Publikováno v:
FedCSIS (Communication Papers)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::171df74ea45bf75da328c4f15fb3ebc8
https://doi.org/10.15439/2018f20
https://doi.org/10.15439/2018f20
Autor:
Gabriela Dudnik, Nicolas Mareau, Joseph Razavi, Julie Foucault, Olivier Debicki, M. Correvon, Suzanne Lesecq, Richard Banach
Publikováno v:
ICSOFT
Razavi, J, Banach, R, Lesecq, S, Debicki, O, Mareau, N, Foucault, J, Correvon, M & Dudnik, G 2018, Formal Verification for Advanced Sensing Applications: Data Pre-processing in the INSPEX System . in Proceedings of the 13th International Conference on Software Technologies . vol. 1, pp. 664-671, 13th International Conference on Software Technologies, Porto, Portugal, 26/07/18 . https://doi.org/10.5220/0006906906980705
Razavi, J, Banach, R, Lesecq, S, Debicki, O, Mareau, N, Foucault, J, Correvon, M & Dudnik, G 2018, Formal Verification for Advanced Sensing Applications: Data Pre-processing in the INSPEX System . in Proceedings of the 13th International Conference on Software Technologies . vol. 1, pp. 664-671, 13th International Conference on Software Technologies, Porto, Portugal, 26/07/18 . https://doi.org/10.5220/0006906906980705
The INSPEX project aims to miniaturize state-of-the-art obstacle detection technology comprising heterogeneous sensors and advanced processing, so that it can be used for wearable devices. The project focuses on enhancing the white cane used by some
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0f50923d327a00e46a19c3cf4b5e2605
https://doi.org/10.5220/0006906906640671
https://doi.org/10.5220/0006906906640671
Autor:
Susan Rea, Fabio Quaglia, Steve Buckley, Gabriela Dudnik, Francois Birot, Julie Foucault, M. Correvon, Vincenza Di Palma, Joseph Razavi, Hugues de Chaumont, John Barrett, Marco Passoni, Andrea di Matteo, Laurent Ouvry, Jean Herveg, Richard Banach, Alan McGibney, Cian O'Murchu, Rosemary O'Keeffe, Nicolas Mareau, Olivier Debicki, Tiana Rakotovao, Suzanne Lesecq
Publikováno v:
Sensors
Sensors (Basel, Switzerland)
Sensors, Vol 19, Iss 19, p 4350 (2019)
Volume 19
Issue 19
Foucault, J, Lesecq, S, Dudnik, G, Correvon, M, O’keeffe, R, Di Palma, V, Passoni, M, Quaglia, F, Ouvry, L, Buckley, S, Herveg, J, Di Matteo, A, Rakotovao, T, Debicki, O, Mareau, N, Barrett, J, Rea, S, Mcgibney, A, Birot, F, De Chaumont, H, Banach, R, Razavi, J & Ó’murchú, C 2019, ' INSPEX: Optimize Range Sensors for Environment Perception as a Portable System ', Sensors, vol. 19, no. 19, pp. 4350 . https://doi.org/10.3390/s19194350
Foucault, J, Lesecq, S, Dudnik, G, Correvon, M, O’keeffe, R, Di Palma, V, Passoni, M, Quaglia, F, Ouvry, L, Buckley, S, Herveg, J, Di Matteo, A, Rakotovao, T, Debicki, O, Mareau, N, Barrett, J, Rea, S, McGibney, A, Birot, F, de Chaumont, H, Banach, R, Razavi, J & Ó’murchú, C 2019, ' INSPEX: Optimize range sensors for environment perception as a portable system ', Sensors, vol. 19, no. 19, 4350, pp. 18 p. https://doi.org/10.3390/s19194350
Sensors (Basel, Switzerland)
Sensors, Vol 19, Iss 19, p 4350 (2019)
Volume 19
Issue 19
Foucault, J, Lesecq, S, Dudnik, G, Correvon, M, O’keeffe, R, Di Palma, V, Passoni, M, Quaglia, F, Ouvry, L, Buckley, S, Herveg, J, Di Matteo, A, Rakotovao, T, Debicki, O, Mareau, N, Barrett, J, Rea, S, Mcgibney, A, Birot, F, De Chaumont, H, Banach, R, Razavi, J & Ó’murchú, C 2019, ' INSPEX: Optimize Range Sensors for Environment Perception as a Portable System ', Sensors, vol. 19, no. 19, pp. 4350 . https://doi.org/10.3390/s19194350
Foucault, J, Lesecq, S, Dudnik, G, Correvon, M, O’keeffe, R, Di Palma, V, Passoni, M, Quaglia, F, Ouvry, L, Buckley, S, Herveg, J, Di Matteo, A, Rakotovao, T, Debicki, O, Mareau, N, Barrett, J, Rea, S, McGibney, A, Birot, F, de Chaumont, H, Banach, R, Razavi, J & Ó’murchú, C 2019, ' INSPEX: Optimize range sensors for environment perception as a portable system ', Sensors, vol. 19, no. 19, 4350, pp. 18 p. https://doi.org/10.3390/s19194350
Environment perception is crucial for the safe navigation of vehicles and robots to detect obstacles in their surroundings. It is also of paramount interest for navigation of human beings in reduced visibility conditions. Obstacle avoidance systems t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d6de4ce14cd58c6bbf72c0214b3be317
https://doi.org/10.3390/s19194350
https://doi.org/10.3390/s19194350
Autor:
Christian Fabre, Rahma Ben Atitallah, Olivier Debicki, Frédéric Heitzmann, Anca Molnos, Ayoub Nouri
Publikováno v:
RSP
In this work, we investigate a transformation of VHDL descriptions into equivalent formal models. The targeted equivalence is at the level of the functional behavior. That is, we aim at producing formal models that have the same functional simulation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fc0fb4b17e1af3fd80a978bd5c581570
https://doi.org/10.1145/2990299.2990320
https://doi.org/10.1145/2990299.2990320
Autor:
Alexandre Valentian, Olivier Sentieys, Frédéric Heitzmann, Soundous Chairat, Florent Berthier, Edith Beigne, Jean-Frederic Christmann, Esteve Amat, Olivier Debicki, O. Billoint, Dominique Morche
Publikováno v:
Solid-State Electronics
Solid-State Electronics, 2016, 125, pp.14-24. ⟨10.1016/j.sse.2016.09.003⟩
Solid-State Electronics, Elsevier, 2016, 125, pp.14-24. ⟨10.1016/j.sse.2016.09.003⟩
Solid-State Electronics, 2016, 125, pp.14-24. ⟨10.1016/j.sse.2016.09.003⟩
Solid-State Electronics, Elsevier, 2016, 125, pp.14-24. ⟨10.1016/j.sse.2016.09.003⟩
International audience; In this paper, we propose to analyze Ultra Thin Body and Box FDSOI technology suitability and architectural solutions for IoT applications and more specifically for autonomous Wireless Sensor Nodes (WSNs). As IoT applications
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2e1a8d3cef76a5c0724d9e151dca29ab
https://hal.inria.fr/hal-01423144/document
https://hal.inria.fr/hal-01423144/document