Nombre de documents

29

Nicolas Palix


Article dans une revue5 documents

  • Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Gilles Muller, et al.. Faults in Linux 2.6. ACM Transactions on Computer Systems, Association for Computing Machinery, 2014, 32 (2), pp.1--40. <10.1145/2619090>. <hal-01022704>
  • Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix. Coccinelle: Tool support for automated CERT C Secure Coding Standard certification. Science of Computer Programming, Elsevier, 2014, Special Issue on Selected Contributions from the Open Source Software Certification (OpenCert) Workshops, 91 (B), pp.141-160. <http://www.sciencedirect.com/science/article/pii/S0167642312002031?np=y>. <hal-01096185>
  • Julia Lawall, Julien Brunel, Nicolas Palix, René Hansen, Henrik Stuart, et al.. WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process. Software: Practice and Experience, Wiley, 2013, 43 (1), pp.67-92. <10.1002/spe.2102>. <hal-00940320>
  • Mads Olesen, René Hansen, Julia Lawall, Nicolas Palix. Coccinelle: Tool support for automated CERT C Secure Coding Standard certification. Science of Computer Programming, Elsevier, 2012, pp.28. <10.1016/j.scico.2012.10.011>. <hal-00940336>
  • Julia Lawall, René Hansen, Nicolas Palix, Gilles Muller. Improving the Security of Infrastructure Software using Coccinelle.. ERCIM News, ERCIM, 2010, pp.54. <hal-00940366>

Communication dans un congrès15 documents

  • Nicolas Palix, Jean-Rémy Falleri, Julia Lawall. Improving pattern tracking with a language-aware tree differencing algorithm. SANER 2015 - 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering, Mar 2015, Montreal, Canada. pp.43-52, 2015, SANER 2015 - 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering. <http://saner.soccerlab.polymtl.ca/doku.php?id=en:start>. <10.1109/SANER.2015.7081814>. <hal-01213907>
  • Diego Puschini, Julien Mottin, Nicolas Palix, Lian Apostol, Christian Fabre. Integrated architecture exploration workflow: A NoC-based case study. International Symposium on Rapid System Prototyping, Oct 2012, Tampere, Finland. pp.135-141, 2012, <10.1109/RSP.2012.6380702>. <hal-00940379>
  • Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia L. Lawall, et al.. Faults in Linux: Ten Years Later. ASPLOS 2011 - 16th International Conference on Architectural Support for Programming Languages and Operating Systems, Mar 2011, Newport Beach, California, United States. ACM, pp.305-318, 2011, <10.1145/1950365.1950401>. <hal-00940355>
  • Julia Lawall, Ben Laurie, René Hansen, Nicolas Palix, Gilles Muller. Finding Error Handling Bugs in OpenSSL Using Coccinelle. European Dependable Computing Conference, Apr 2010, Valencia, Spain. pp.191-196, 2010, <10.1109/EDCC.2010.31>. <hal-00940375>
  • Nicolas Palix, Julia Lawall, Gilles Muller. Tracking Code Patterns over Multiple Software Versions with Herodotos. AOSD'10 - ACM International Conference on Aspect-Oriented Software Development, Mar 2010, Rennes and Saint Malo, France. pp.169-180, 2010, <10.1145/1739230.1739250>. <hal-00941123>
  • Nicolas Palix, Julia L. Lawall, Gaël Thomas, Gilles Muller. {How Often do Experts Make Mistakes?}. 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10), Mar 2010, Rennes et Saint Malo, France. Proceedings of 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10), pp.9-16. <hal-01293789>
  • Julia Lawall, Julien Brunel, Nicolas Palix, René Hansen, Henrik Stuart, et al.. WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code. DSN'09 - IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2009, Lisbon, Portugal. IEEE, pp.43-52, 2009, <10.1109/DSN.2009.5270354>. <hal-00941142>
  • Wilfried Jouve, Nicolas Palix, Charles Consel, Patrice Kadionik. A SIP-based Programming Framework for Advanced Telephony Applications. 2nd LNCS Conference on Principles, Systems and Applications of IP Telecommunications, Jul 2008, Heidelberg, Germany. 2008. <inria-00333609>
  • Wilfried Jouve, Julien Lancia, Nicolas Palix, Charles Consel, Julia Lawall. High-level Programming Support for Robust Pervasive Computing Applications. 6th IEEE Conference on Pervasive Computing and Communications, Mar 2008, Hong Kong, China. 2008. <inria-00333602>
  • Julien Mercadal, Nicolas Palix, Charles Consel, Julia Lawall. Pantaxou: a Domain-Specific Language for Developing Safe Coordination Services. Seventh International Conference on Generative Programming and Component Engineering, Oct 2008, Nashville, United States. pp.149-160, 2008. <inria-00333637>
  • Charles Consel, Wilfried Jouve, Julien Lancia, Nicolas Palix. Ontology-Directed Generation of Frameworks For Pervasive Service Development. Proceedings of The 4th IEEE Workshop on Middleware Support for Pervasive Computing (PerWare 07), Mar 2007, United States. pp.501 - 508, 2007. <hal-00306009>
  • Charles Consel, Wilfried Jouve, Julien Lancia, Nicolas Palix. Ontology-Directed Generation of Frameworks For Pervasive Service Development. Proceedings of the 4th IEEE Workshop on Middleware Support for Pervasive Computing (PerWare'07), Mar 2007, White Plains, NY, United States. pp.501--506, 2007. <inria-00343533>
  • Nicolas Palix, Laurent Réveillère, Charles Consel, Julia Lawall. A Stepwise Approach to Developing Languages for SIP Telephony Service Creation. Proceedings of Principles, Systems and Applications of IP Telecommunications, IPTComm, Jul 2007, New York City, United States. ACM Press, pp.79-88, 2007. <inria-00196520>
  • Laurent Burgy, Charles Consel, Fabien Latry, Nicolas Palix, Laurent Réveillère. A High-Level, Open-Ended Architecture For SIP-based Services. Proceedings of the tenth International Conference on Intelligence in service delivery Networks (ICIN 2006), May 2006, Bordeaux, France. Association pour le Développement de l'Enseignement et des Recherches auprès des universités, des centres de recherche et des entreprises d'Aquitaine (ADERA), pp.364-365, 2006. <inria-00196516>
  • Laurent Burgy, Charles Consel, Fabien Latry, Julia Lawall, Nicolas Palix, et al.. Language Technology for Internet-Telephony Service Creation. IEEE International Conference on Communications, Jun 2006, Istanbul, Turkey. IEEE Computer Society Press, 4, pp.1795-1800, 2006, <10.1109/ICC.2006.254980>. <inria-00196518>

Chapitre d'ouvrage1 document

  • Laurent Burgy, Charles Consel, Fabien Latry, Nicolas Palix, Laurent Réveillère. Telephony over ip: Experience and challenges. ERCIM NEws, European Research Consortium for Informatics and Mathematics, pp.53-54, 2005. <hal-00350206>

Brevet2 documents

  • Laurent Burgy, Charles Consel, Fabien Latry, Nicolas Palix, Laurent Réveillère. Dispositif de routage pour un système de téléphonie sur IP. Patent n° : EP1887774. 2008. <inria-00350014>
  • Laurent Burgy, Charles Consel, Fabien Latry, Nicolas Palix, Laurent Réveillère. Dispositif d'interconnexion d'un système d'informations d'entreprise(s) à un serveur. France, Patent n° : 06291276.1. 2006. <inria-00414682>

Rapport5 documents

  • Nicolas Palix, Suman Saha, Gaël Thomas, Christophe Calvès, Julia Lawall, et al.. Faults in Linux: Ten Years Later. [Research Report] RR-7357, INRIA. 2010, pp.21. <inria-00509256v2>
  • Nicolas Palix, Julia Lawall, Gilles Muller. Herodotos: A Tool to Expose Bugs' Lives. [Research Report] RR-6984, INRIA. 2009, pp.16. <inria-00406306>
  • Wilfried Jouve, Julien Lancia, Nicolas Palix, Charles Consel, Julia Lawall. A Domain-Specific IDL and its Compiler for Pervasive Computing Applications. [Research Report] RR-6213, INRIA. 2007. <inria-00153375v3>
  • Wilfried Jouve, Charles Consel, Julien Lancia, Nicolas Palix. Ontology-Directed Generation of Frameworks For Pervasive Service Development. [Research Report] 2006. <inria-00111032>
  • Laurent Burgy, Charles Consel, Fabien Latry, Julia Lawall, Nicolas Palix, et al.. Telephony Software Engineering: A Domain-Specific Language Approach. [Research Report] RR-5548, INRIA. 2005, pp.29. <inria-00070459>

Thèse1 document

  • Nicolas Palix. Langages dédiés au développement de services de communications. Réseaux et télécommunications [cs.NI]. Université Sciences et Technologies - Bordeaux I, 2008. Français. <tel-00340864>