Florian Zuleger

1. A Simple and Scalable Static Analysis for Bound Analysis and Amortized\n Complexity Analysis
   2014/01/22 by Moritz Sinn, Florian Zuleger, Sinn, Moritz +3 · 1 citation
   Computer Science · #Advanced Malware Detection Techniques #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques
2. 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
3. Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version)
   2012/03/23 by Florian Zuleger, Sumit Gulwani, Zuleger, Florian +5 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Testing and Debugging Techniques