| Synthesis modulo recursive functions E Kneuss, I Kuraj, V Kuncak, P Suter Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013 | 136 | 2013 |
| An overview of the Leon verification system: Verification by translation to recursive functions R Blanc, V Kuncak, E Kneuss, P Suter Proceedings of the 4th Workshop on Scala, 1-10, 2013 | 103 | 2013 |
| Deductive program repair E Kneuss, M Koukoutos, V Kuncak International Conference on Computer Aided Verification, 217-233, 2015 | 70 | 2015 |
| Counter-example complete verification for higher-order functions N Voirol, E Kneuss, V Kuncak Proceedings of the 6th ACM SIGPLAN Symposium on Scala, 18-29, 2015 | 31 | 2015 |
| Phantm: PHP analyzer for type mismatch E Kneuss, P Suter, V Kuncak Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 31 | 2010 |
| Runtime instrumentation for precise flow-sensitive type analysis E Kneuss, P Suter, V Kuncak Runtime Verification: First International Conference, RV 2010, St. Julians …, 2010 | 21 | 2010 |
| An update on deductive synthesis and repair in the leon tool M Koukoutos, E Kneuss, V Kuncak arXiv preprint arXiv:1611.07625, 2016 | 16 | 2016 |
| Executing specifications using synthesis and constraint solving V Kuncak, E Kneuss, P Suter International Conference on Runtime Verification, 1-20, 2013 | 12 | 2013 |
| On repair with probabilistic attribute grammars M Koukoutos, M Raghothaman, E Kneuss, V Kuncak arXiv preprint arXiv:1707.04148, 2017 | 9 | 2017 |
| On integrating deductive synthesis and verification systems E Kneuss, V Kuncak, I Kuraj, P Suter arXiv preprint arXiv:1304.5661, 2013 | 9 | 2013 |
| Effect analysis for programs with callbacks E Kneuss, V Kuncak, P Suter Verified Software: Theories, Tools, Experiments: 5th International …, 2014 | 4 | 2014 |
| Deductive Synthesis and Repair E Kneuss EPFL, 2016 | 3 | 2016 |
| On Verification by Translation to Recursive Functions RW Blanc, E Kneuss, V Kuncak, P Suter | 3 | 2013 |
| On the Complexity of Convex and Reverse Convex Prequadratic Constraints. R Raya, J Hamza, V Kuncak LPAR, 350-368, 2023 | 2 | 2023 |
| On deductive program repair in Leon E Kneuss, M Koukoutos, V Kuncak | 2 | 2015 |
| Toward interprocedural pointer and effect analysis for scala E Kneuss | 1 | 2011 |
| Static Analysis for the PHP Language E Kneuss | 1 | 2010 |
| Synthesizing Functions from Relations in Leon V Kuncak, E Kneuss, E Koukoutos Logic-Based Program Synthesis And Transformation (Lopstr 2014) 8981, 2015 | | 2015 |
| Conscious motor awareness E KNEUSS, A DIXON, H MOTTAZ, T NGUYEN | | 2010 |
| On Using Static Analysis to Detect Type Errors in PHP Applications E Kneuss, P Suter, V Kuncak | | 2010 |
