Philippe Devienne

Chargé de recherche epst - Chargé de Recherches CNRS, Institut des sciences de l'information et de leurs interactions (INS2I)
    0683389285
IRCICA - Bureau 103, Parc Scientifique de la Haute Borne, 50 Avenue Halley, FRANCE
philippe_devienne.jpg

Philippe Devienne

Chargé de recherche epst - Chargé de Recherches CNRS, Institut des sciences de l'information et de leurs interactions (INS2I)

Publications

Article dans des revues

  • Pierre Falez, Pierre Tirilly, Ioan Marius Bilasco, Philippe Devienne, Pierre Boulet. Unsupervised visual feature learning with spike-timing-dependent plasticity: How far are we from traditional feature learning approaches?. Pattern Recognition, Elsevier, 2019, 93, pp.418-429. ⟨10.1016/j.patcog.2019.04.016⟩. ⟨hal-02146284⟩
  • Mazdak Fatahi, Mahyar Shahsavari, Mahmood Ahmadi, Arash Ahmadi, Pierre Boulet, et al.. Rate-coded DBN: An online strategy for spike-based deep belief networks. Biologically Inspired Cognitive Architectures, 2018, 24, pp.59 - 69. ⟨10.1016/j.bica.2018.04.009⟩. ⟨hal-01808815⟩
  • Mahyar Shahsavari, M Faisal Nadeem, S Arash Ostadzadeh, Philippe Devienne, Pierre Boulet. Unconventional digital computing approach: memristive nanodevice platform. physica status solidi (c), Wiley, 2015, Issue physica status solidi (c) physica status solidi (c) Special Issue: E-MRS 2014 Spring Meeting – Symposium E • E-MRS 2014 Spring Meeting – Symposium F • E-MRS 2014 Spring Meeting – Symposium S, 12 (1-2), pp.222 - 228. ⟨10.1002/pssc.201400069⟩. ⟨hal-01116577⟩
  • Ammar Aljer, Philippe Devienne. Extended Model driven Architecture to B Method. Ubiquitous Computing and Communication Journal , Ubicc Journal, 2011, Special Issue on ICIT 2011. ⟨hal-00832612⟩
  • Jean-Marc Talbot, Philippe Devienne, Sophie Tison. Generalized Definite Set Constraints. Constraints, Springer Verlag, 2000, 5 (1/2), pp.161-202. ⟨10.1023/A:1009826603139⟩. ⟨hal-02193768⟩
  • Philippe Devienne, Patrick Lebègue, Anne Parrain, Jean-Christophe Routier, Jörg Würtz. Smallest Horn clause program. Journal of Logic Programming, Elsevier, 1996, pp.227-267. ⟨hal-00825539⟩

Communication dans un congrès

  • Hammouda Elbez, Mohammed Kamel Benhaoua, Philippe Devienne, Pierre Boulet. VS2N : Interactive Dynamic Visualization and Analysis Tool for Spiking Neural Networks. Content-Based Multimedia Indexing, Jun 2021, Lille, France. ⟨hal-03267042⟩
  • Pierre Falez, Pierre Tirilly, Ioan Marius Bilasco, Philippe Devienne, Pierre Boulet. Multi-layered Spiking Neural Network with Target Timestamp Threshold Adaptation and STDP. International Joint Conference on Neural Networks (IJCNN), Jul 2019, Budapest, Hungary. ⟨hal-02146289⟩
  • Hammouda Elbez, Kamel Benhaoua, Philippe Devienne, Pierre Boulet. Visualization Techniques in SNN Simulators. 3rd International Conference on Multimedia Information Processing, CITIM’2018, Oct 2018, Mascara, Algeria. ⟨hal-02887481⟩
  • Pierre Falez, Pierre Tirilly, Ioan Marius Bilasco, Philippe Devienne, Pierre Boulet. Mastering the Output Frequency in Spiking Neural Networks. International Joint Conference on Neural Networks (IJCNN), Jul 2018, Rio de Janeiro, Brazil. ⟨hal-01741500⟩
  • Pierre Falez, Philippe Devienne, Pierre Tirilly, Marius Bilasco, Christophe Loyez, et al.. Flexible Simulation for Neuromorphic Circuit Design: Motion Detection Case Study. Conférence d’informatique en Parallélisme, Architecture et Système (ComPAS), Jun 2017, Sophia Antipolis, France. ⟨hal-01538449⟩
  • Mazdak Fatahi, Mahmood Ahmadi, Arash Ahmadi, Mahyar Shahsavari, Philippe Devienne. Towards an Spiking Deep Belief Network for Face Recognition Application. 6th International Conference on Computer and Knowledge Engineering (ICCKE 2016), Oct 2016, Mashhad Iran. ⟨hal-01382624⟩
  • Ammar Aljer, Philippe Devienne. Formal and Fault Tolerant Design. 2nd Workshop on Process-based approaches for Model-Driven Engineering, Jul 2012, Denmark. ⟨hal-00832618⟩
  • Ammar Aljer, Philippe Devienne. Extended Model Driven Architecture to B Method (short version). The 5th Internatiional Conference On Information Technology (ICIT'11), May 2011, Amman, Jordan. ⟨hal-00832605⟩
  • Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier, Jörg Würtz. One Binary Horn Clause is Enough. Proceedings of 1994 Symposium on Theoretical Aspects of Computer Science (STACS'94), 1994, undef, France. pp.21--32. ⟨hal-00732054⟩
  • Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier. The emptiness problem of one binary Horn clause is undecidable. Proceedings of 1993 International Symposium on Logic Programming (ILPS'93), 1993, undef, France. pp.250--265. ⟨hal-00732005⟩
  • Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier. The halting problem of one binary Horn clause is undecidable. Proceedings of 1993 Symposium on Theoretical Aspects of Computer Science (STACS'93), 1993, undef, France. pp.48--57. ⟨hal-00732053⟩

Poster

  • Mahyar Shahsavari, Philippe Devienne, Pierre Boulet. N2S3, a Simulator for the Architecture Exploration of Neuromorphic Accelerators. NeuComp 2015, Mar 2015, Grenoble, France. 2015. ⟨hal-01240444⟩

Pré-publication, Document de travail

  • Hammouda Elbez, Kamel Benhaoua, Philippe Devienne, Pierre Boulet. Progressive Compression and Weight Reinforcement for Spiking Neural Networks. 2020. ⟨hal-02737057⟩

Rapport

  • Pierre Boulet, Philippe Devienne, Pierre Falez, Guillermo Polito, Mahyar Shahsavari, et al.. N2S3, an Open-Source Scalable Spiking Neuromorphic Hardware Simulator. [Research Report] Université de Lille 1, Sciences et Technologies; CRIStAL UMR 9189. 2017. ⟨hal-01432133v2⟩

Article dans une revue scientifique

Autre communication scientifique (congrès sans actes - poster - séminaire...)

Communication dans un congrès avec actes

Pré-publication ou Document de travail

Rapport de recherche