Nicolas Palix - Concepedia

Author

Nicolas Palix

University of Copenhagen ORCID

Also Known As

N. Palix, Nicolas Palix, Palix, Nicolas, Palix, Nicolas Jean-Michel

Publications

495

Citations

H-Index

Concepts

All Affiliations

University of Copenhagen Institut national de recherche en sciences et technologies du numérique Aalborg University Université de Bordeaux Laboratoire Bordelais de Recherche en Informatique

About

Nicolas Palix is an author at University of Copenhagen specializing in engineering, software engineering, and program analysis.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	10	408
2	Computer Science	9	9	213
3	Computer Engineering	7	7	324
4	Language Studies	1	1	26
5	Linguistics	1	1	26

Nicolas Palix

Publications

419

Citations

H-Index

Page 1

	Year	Citations
Faults in linux Nicolas Palix, Gaël Thomas, Suman Saha, Software MaintenanceEngineeringDriver CodeSoftware EngineeringSoftware Analysis	2011	195
WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code Julia L. Lawall, Julien Brunel, Nicolas Palix, Software MaintenanceEngineeringOs BugsApi ProtocolsSoftware Engineering	2009	60
Finding Error Handling Bugs in OpenSSL Using Coccinelle Julia Lawall, Ben Laurie, René Rydhof Hansen, EngineeringVerificationRecent Openssl SnapshotOpenssl CodeOpenssl Developers	2010	36
Language Technology for Internet-Telephony Service Creation Laurent Burgy, Charles Consel, Fabien Latry, 2006 IEEE International Conference on Communications EngineeringMultilingualismSoftware EngineeringInterface LanguageFormal Verification	2006	26
Tracking code patterns over multiple software versions with Herodotos Nicolas Palix, Julia Lawall, Gilles Muller Software MaintenanceEngineeringSuch PatternsSoftware EngineeringSource Code Analysis	2010	22
Faults in linux Nicolas Palix, Gaël Thomas, Suman Saha, ACM SIGARCH Computer Architecture News Software MaintenanceEngineeringDriver CodeSoftware EngineeringLight-weight Linux Distribution	2011	16
Provable multicore schedulers with Ipanema Baptiste Lepers, Redha Gouicem, Damien Carver, EngineeringComputer ArchitectureWork ConservationFormal VerificationOperations Research	2020	16
Faults in linux Nicolas Palix, Gaël Thomas, Suman Saha, ACM SIGPLAN Notices Software MaintenanceEngineeringDriver CodeSoftware EngineeringLight-weight Linux Distribution	2011	14
Coccinelle: Tool support for automated CERT C Secure Coding Standard certification Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Science of Computer Programming Software SecurityEngineeringTool SupportProgram AnalysisSoftware Testing	2012	12
WYSIWIB: exploiting fine‐grained program structure in a scriptable API‐usage protocol‐finding process Julia L. Lawall, Julien Brunel, Nicolas Palix, Software Practice and Experience	2012	11

Page 1