Concepedia

Nicolas Palix

NP

11

Publications

419

Citations

11

H-Index

2006

Active since

Affiliations

University of Copenhagen(Current)

Institut national de recherche en sciences et technologies du numérique

Aalborg University

Université de Bordeaux

Laboratoire Bordelais de Recherche en Informatique

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

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringSystem SoftwareSoftware DesignSoftware TestingComputer EngineeringFormal Verification

Publications per year

2006–2020

11

Publications

11

Faults in linux

Nicolas Palix, Gaël Thomas, Suman Saha et al. · 2011 · 195 citations

Software Maintenance, Engineering, Driver Code +17

WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code

Julia L. Lawall, Julien Brunel, Nicolas Palix et al. · 2009 · 60 citations

Software Maintenance, Engineering, Os Bugs +25

Finding Error Handling Bugs in OpenSSL Using Coccinelle

Julia Lawall, Ben Laurie, René Rydhof Hansen et al. · 2010 · 36 citations

Engineering, Verification, Recent Openssl Snapshot +23

Language Technology for Internet-Telephony Service Creation

Laurent Burgy, Charles Consel, Fabien Latry et al. · 2006 IEEE International Conference on Communications · 2006 · 26 citations · Full text

Engineering, Multilingualism, Software Engineering +24

Tracking code patterns over multiple software versions with Herodotos

Nicolas Palix, Julia Lawall, Gilles Muller · 2010 · 22 citations · Full text

Software Maintenance, Engineering, Such Patterns +20

Rows per page

1–5 of 11