Zuleger, Florian

1. A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis
   2014/01/23 by Sinn, Moritz, Zuleger, Florian, Veith, Helmut · 1 citation
   #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Programming Languages (cs.PL)
2. Automated Clustering and Program Repair for Introductory Programming Assignments
   2016/03/10 by Gulwani, Sumit, Radiček, Ivan, Zuleger, Florian · 1 citation
   #FOS: Computer and information sciences #Programming Languages (cs.PL)
3. On the automated verification of web applications with embedded SQL
   2016/10/06 by Shachar Itzhaky, Itzhaky, Shachar, Tomer Kotek +11 · 1 citation
   Computer Science · #68P15 #68Q60 #D.3.2 #Engineering and Information Technology #F.3.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Web Application Security Vulnerabilities