Florian Zuleger
According to our database1,
Florian Zuleger
authored at least 52 papers
between 2009 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:
-
on forsyte.at
On csauthors.net:
Bibliography
2021
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021
2020
CoRR, 2020
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020
Proceedings of the Foundations of Software Science and Computation Structures, 2020
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020
Proceedings of the Automated Technology for Verification and Analysis, 2020
2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
2018
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018
Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction.
Proceedings of the Static Analysis - 25th International Symposium, 2018
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018
2017
Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints.
J. Autom. Reason., 2017
Formal Methods Syst. Des., 2017
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017
Proceedings of the 20th International Conference on Database Theory, 2017
Proceedings of the Fundamentals of Computation Theory - 21st International Symposium, 2017
Proceedings of the Programming Languages and Systems, 2017
2016
Feedback generation for performance problems in introductory programming assignments.
Proceedings of the Software Engineering 2016, 2016
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016
Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016
2015
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015
Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015
Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015
Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs.
Proceedings of the Formal Methods in Computer-Aided Design, 2015
Proceedings of the Computer Science - Theory and Applications, 2015
2014
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014
Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures.
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014
Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014
A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
2013
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Proceedings of the Formal Methods in Computer-Aided Design, 2013
2012
Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version)
CoRR, 2012
2011
Proceedings of the Static Analysis - 18th International Symposium, 2011
2010
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010
Proceedings of the Second International Workshop on Invariant Generation, 2010
2009
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries.
Proceedings of the Verification, 2009