| Synthesis modulo recursive functions E Kneuss, I Kuraj, V Kuncak, P Suter Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013 | 141 | 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 | 106 | 2013 |
| Deductive program repair E Kneuss, M Koukoutos, V Kuncak International Conference on Computer Aided Verification, 217-233, 2015 | 66 | 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 International Conference on Runtime Verification, 300-314, 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 | 10 | 2017 |
| On integrating deductive synthesis and verification systems E Kneuss, V Kuncak, I Kuraj, P Suter arXiv preprint arXiv:1304.5661, 2013 | 10 | 2013 |
| Effect analysis for programs with callbacks E Kneuss, V Kuncak, P Suter Working Conference on Verified Software: Theories, Tools, and Experiments, 48-67, 2013 | 4 | 2013 |
| 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 |
| On using static analysis to detect type errors in PHP applications E Kneuss, P Suter, V Kuncak | 1 | 2010 |
| 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 |
