Etienne Kneuss
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2010–2015
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | CAV | Deductive Program Repair. | Etienne Kneuss, Manos Koukoutos, Viktor Kuncak |
| 2015 | PLDI | Counter-example complete verification for higher-order functions. | Nicolas Voirol, Etienne Kneuss, Viktor Kuncak |
| 2013 | ECOOP | An overview of the Leon verification system: verification by translation to recursive functions. | Rgis Blanc, Viktor Kuncak, Etienne Kneuss, Philippe Suter |
| 2013 | OOPSLA | Synthesis modulo recursive functions. | Etienne Kneuss, Ivan Kuraj, Viktor Kuncak, Philippe Suter |
| 2013 | RV | Executing Specifications Using Synthesis and Constraint Solving. | Viktor Kuncak, Etienne Kneuss, Philippe Suter |
| 2010 | RV | Runtime Instrumentation for Precise Flow-Sensitive Type Analysis. | Etienne Kneuss, Philippe Suter, Viktor Kuncak |