|
|
Publications au laboratoire LEAT et/ou INRIA Sophia-Antipolis
E. De Maria, A. Bahrami, T. L'Yvonnet, A. Felty, D. Gaffé, A. Ressouche, F. Grammont. "On the Use of Formal Methods to Model and Verify Neuronal Archetypes", Frontiers of Computer Science, pp.40, 2020. (bibtex, HAL)
O. Guinaudeau, G. Bernot, A. Muzy, D. Gaffé, F. Grammont. "Formal Neuron Models: Delays Offer a Simplified Dendritic Integration for Free",SPRINGER. Communications in Computer and Information Science book series, extended selected paper from Biomedical Engineering Systems and Technologies conference (BIOSTEC 2018), pp.167-191, 2019. (bibtex, HAL)
M. Rasamuel, D. Gaffé, T. Levi, B. Miramond. "Synchronous Approach for Modeling Spiking Neurons", 2019 IEEE Biomedical Circuits and Systems Conference (BIOCAS 2019), Nara, Japan, October 17-19, 2019.(bibtex, HAL)
I. Sarray, A. Ressouche, S.Moisan, J.P. Rigault, D. Gaffé. "A Synchronous Approach to Activity Recognition", 12th IEEE International Conference on Semantic Computing (ICSC 2018), Laguna Hills, CA, Jan 31, 2018 - Feb 2, 2018.(bibtex, HAL)
I. Sarray, A. Ressouche, S.Moisan, J.P. Rigault, D. Gaffé. "Semantic Studies of a Synchronous Approach to Activity Recognition", 7th International Conference on Software Engineering and Applications (JSE-2018), Dubai, UAE, January 27-28, 2018.(bibtex, HAL)
O. Guinaudeau, G. Bernot, A. Muzy, D. Gaffé, F. Grammont. "Computer-Aided Formal Proofs about Dendritic Integration within a Neuron",9th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2018), Funchal,Madeira, Portugal, January 19-21, 2018. (bibtex, HAL)
E. De Maria, C. Girard-Riboulleau, D. Gaffé, A. Ressouche. "A Model-checking Approach to Reduce Spiking Neural Networks",9th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2018), Funchal,Madeira, Portugal, January 19-21, 2018. (bibtex, HAL)
E. De Maria, T. L'Yvonnet, D. Gaffé, A. Ressouche, F. Grammont. "Modelling and Formal Verification of Neuronal Archetypes Coupling", 8th International Conference on Computational Systems-Biology and Bioinformatics (CSBio 2017), Nha Trang, Vietnam, December 7-8, 2017. (bibtex, HAL)
I. Sarray, A. Ressouche, S.Moisan, J.P. Rigault, D. Gaffé. "An Activity Description Language for Activity Recognition", 2017 International Conference on Internet of Things, Embedded Systems and Communications (IINTEC 2017),Gafsa, Tunisia, October, 20-22, 2017. (bibtex, HAL)
C. Barnes, F. Verdier, D. Gaffé, J-M. Cottin. "Wireless Sensor Network Protocol Property Validation through the System's Simulation in a Dedicated Framework", International Conferences on Signal Processing and Communication Systems (ICSPCS), Surfers Paradise, Gold Coast, Australia, December 19-21, 2016. (bibtex, HAL)
M. Abdelmoula, D. Gaffé, M. Auguin.“A Complete Automatic Test Set Generator for Embedded Reactive Systems: From AUTSEG V1 to AUTSEG V2”, International Journal on Advances in Systems and Measurements, issn 1942-261x vol. 9, no.3 & 4, p. 154-166, 2016, http://www.iariajournals.org/systems_and_measurements/ . (bibtex, HAL)
E. De Maria, A. Muzy, D. Gaffé, A. Ressouche, F. Grammont. "Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems", 5th International Workshop,HSB 2016, Grenoble, France, p.97-112, October 20-21, 2016. (bibtex, HAL)
C. Barnes, J.-M. Cottin, F. Verdier, A. Pegatoquet, D. Gaffé. "Developing a Framework Dedicated to Wireless Protocol Property Validation during Simulation",Euromicro Conference on Digital System Design (DSD), Limassol, Cyprus, August 31 - September 2, 2016. (bibtex, HAL)
I. Sarray, A. Ressouche, D. Gaffé, J.Y. Tigli, S. Lavirotte. "Safe Composition in Middleware for the Internet of Things",2nd Workshop on Middleware for Context-Aware Applications in the IoT, M4IOT 2015, In conjunction with ACM/IFIP/USENIX ACM International Middleware Conference 2015, Vancouver, Canada, December 8 - 11, 2015. (bibtex, HAL)
M. Abdelmoula, D. Gaffé, M. Auguin. "Automatic Test Set Generator with Numeric Constraints Abstraction for Embedded Reactive Systems: AUTSEG V2", The Seventh International Conference on Advances in System Simulation, SIMUL 2015, Barcelona, Spain, November 15 - 20, 2015, Best Paper Award, (bibtex, HAL)
M. Abdelmoula, D. Gaffé, M. Auguin. "AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems", in 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014.(bibtex, HAL)
D. Gaffé, A. Ressouche. "Algebraic framework for synchronous language semantics", in 7th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2013), p. 51-58, Birmingham, UK, July 1-3 2013.(bibtex, HAL)
A. Ressouche, D. Gaffé. "Compilation modulaire d'un langage synchrone". Technique et Science Informatiques (TSI), no. spécial "Méthodes Formelles", vol.30, p.441-471, Edition Hermes Science, 2011. (resumé,abstract, bibtex, HAL)
D. Gaffé, A. Ressouche, "The Clem Toolkit", in Proc. 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), L'aquila, Italy, p.495-496, 15-19 September 2008.(bibtex, HAL)
A. Ressouche, D. Gaffé, V. Roy. "Modular Compilation of a Synchronous Language", Software Engineering Research, Management and Applications, R. Lee (editor), in Studies in Computational Intelligence, selected as one of the 17 best papers of SERA'08 conference, Springer, vol. 150, p. 157-171, 2008.(bibtex, HAL)
Publications au laboratoire I3S
D. Gaffé. "Modélisation et vérification d'un système mécatronique par SyncCharts", MSR'03 Modélisation des systèmes réactifs, Hermès sciences Publications, pp 95--107 Octobre, 2003, Metz, France. (bibtex, HAL)
F. Mallet, D. Gaffé, F. Boéri. "Concurrent control system: from Grafcet to VHDL", Euromicro 2000, pp 230-234, Maastricht, the Netherlands, September 5-7, 2000. (bibtex, HAL)
C. André, M.A. Peraldi-Frati, D. Gaffé. "Plate-forme de conception de systèmes automatisés", TICE 2000, pp 121_126, Troyes, France, 18-20 Octobre 2000. (bibtex, HAL)
André C., Gaffé D., Robert M., "Verifying Temporal Properties in GRAFCET", CESA'98 IMACS-IEEE Multiconference, Hammamet, Tunisie, April 1-4, 1998, vol 3, pp 38-43. (bibtex, HAL)
C. André and Daniel Gaffé. "Proving Properties of GRAFCET with Synchronous Tools", IEEE-SMC Computational Engineering in Systems Applications (CESA) , pages 777--782, Lille, France, July 1996. (bibtex, HAL)
D. Gaffé and C. Andre. "Grafcet et environnements synchrones", MSR'96 Modélisation des Systèmes Réactifs, Afcet, pages 71--77, Brest, France, Mars 1996. (bibtex, HAL)
C. André and H Boufaied and D. Gaffé and J.P. Marmorat. "Environnement pour la programmation synchrone des systèmes réactifs", Conférence RTS&ES Solutions Informatiques Temps-Réel, Teknea., pages 27--41, Paris, France, Janvier 1996. (bibtex, HAL)
D. Gaffé. "Le modèle Grafcet : reflexion et intégration dans une plate-forme multiformalisme synchrone", PHD Thesis, Thèse de Doctorat de l'Université de Nice-Sophia Antipolis,France, Janvier 1996. (bibtex,HAL)
C. André and D. Gaffé. "Evenements et conditions en Grafcet A.P.I.I., 28(4): 331-352, 1994(bibtex, HAL)
C. André and D. Gaffé. "Coopération Grafcet/Esterel", Colloque AGI'94, p 221--224, Poitiers, Juin 1994.(bibtex, HAL)