Olivier Debicki
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2014–2019
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | FM | Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX. | Richard Banach, Joseph Razavi, Olivier Debicki, Suzanne Lesecq |
| 2018 | FedCSIS | Assistive Smart, Structured 3D Environmental Information for the Visually Impaired and Blind: Leveraging the INSPEX Concept. | Suzanne Lesecq, Olivier Debicki, Laurent Ouvry, Christian Fabre, Nicolas Mareau, Julie Foucault, Francois Birot, Loc Sevrin, Steve Buckley, Carl Jackson, John Barrett, Alan McGibney, Susan Rea, David Rojas, Richard Banach, Joseph Razavi, Marc Correvon, Gabriela Dudnik, Jean-Marc Van Gyseghem, Jean Herveg, Nathalie Grandjean, Florence Thiry, Cian O'Murchu, Alan Mathewson, Rosemary O'Keeffe, Andrea Di Matteo, Vincenza Di Palma, Fabio Quaglia, Giuseppe Villa |
| 2018 | ICSoft | Formal Verification for Advanced Sensing Applications: Data Pre-processing in the INSPEX System. | Joseph Razavi, Richard Banach, Suzanne Lesecq, Olivier Debicki, Nicolas Mareau, Julie Foucault, Marc Correvon, Gabriela Dudnik |
| 2016 | RSP | Transforming VHDL descriptions into formal component-based models. | Ayoub Nouri, Rahma Ben Atitallah, Anca Molnos, Christian Fabre, Frdric Heitzmann, Olivier Debicki |
| 2014 | IECON | Dynamic power management in a wireless sensor network using predictive control. | Olesia Mokrenko, Suzanne Lesecq, Warody Lombardi, Diego Puschini, Carolina Albea, Olivier Debicki |