Nicolas Palix
Nicolas Palix
University of Grenoble - Alps (UGA - Polytech/LIG)
Verified email at imag.fr - Homepage
TitleCited byYear
Faults in Linux: Ten years later
N Palix, G Thomas, S Saha, C Calvès, J Lawall, G Muller
ACM SIGARCH Computer Architecture News 39 (1), 305-318, 2011
2252011
WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code
JL Lawall, J Brunel, N Palix, RR Hansen, H Stuart, G Muller
2009 IEEE/IFIP International Conference on Dependable Systems & Networks, 43-52, 2009
692009
Language technology for internet-telephony service creation
L Burgy, C Consel, F Latry, J Lawall, N Palix, L Réveillère
2006 IEEE International Conference on Communications 4, 1795-1800, 2006
442006
Finding error handling bugs in openssl using coccinelle
J Lawall, B Laurie, RR Hansen, N Palix, G Muller
2010 European Dependable Computing Conference, 191-196, 2010
392010
Tracking code patterns over multiple software versions with Herodotos
N Palix, J Lawall, G Muller
Proceedings of the 9th International Conference on Aspect-Oriented Software …, 2010
302010
A SIP-based programming framework for advanced telephony applications
W Jouve, N Palix, C Consel, P Kadionik
Principles, Systems and Applications of IP Telecommunications. Services and …, 2008
212008
Faults in linux 2.6
N Palix, G Thomas, S Saha, C Calvès, G Muller, J Lawall
ACM Transactions on Computer Systems (TOCS) 32 (2), 4, 2014
202014
WYSIWIB: exploiting fine‐grained program structure in a scriptable API‐usage protocol‐finding process
JL Lawall, J Brunel, N Palix, RR Hansen, H Stuart, G Muller
Software: Practice and Experience 43 (1), 67-92, 2013
142013
High-level programming support for robust pervasive computing applications
W Jouve, J Lancia, N Palix, C Consel, J Lawall
2008 Sixth Annual IEEE International Conference on Pervasive Computing and …, 2008
142008
Pantaxou: a domain-specific language for developing safe coordination services
J Mercadal, N Palix, C Consel, J Lawall
132008
Enforcing the use of API functions in Linux code
JL Lawall, G Muller, N Palix
Proceedings of the 8th workshop on Aspects, components, and patterns for …, 2009
112009
A stepwise approach to developing languages for SIP telephony service creation
N Palix, C Consel, L Réveillère, J Lawall
Proceedings of the 1st international conference on Principles, systems and …, 2007
102007
Improving pattern tracking with a language-aware tree differencing algorithm
N Palix, JR Falleri, J Lawall
2015 IEEE 22nd International Conference on Software Analysis, Evolution, and …, 2015
62015
How often do experts make mistakes?
N Palix, JL Lawall, G Thomas, G Muller
62010
Langages dédiés au développement de services de communications
N Palix
62008
Ontology-directed generation of frameworks for pervasive service development
C Consel, W Jouve, J Lancia, N Palix
Fifth Annual IEEE International Conference on Pervasive Computing and …, 2007
62007
A High-Level, Open-Ended Architecture For SIP-based Services
L Burgy, C Consel, F Latry, N Palix, L Réveillère
62006
Coccinelle: Tool support for automated CERT C secure coding standard certification
MC Olesen, RR Hansen, JL Lawall, N Palix
Science of Computer Programming 91, 141-160, 2014
42014
Herodotos: A tool to expose bugs' lives
N Palix, J Lawall, G Muller
42009
Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification
MC Olesen, RR Hansen, JL Lawall, N Palix
Electronic Communications of the EASST 33, 2010
22010
The system can't perform the operation now. Try again later.
Articles 1–20