Browsing by Author Zuleger, Florian

Showing results 1 to 10 of 10
PreviewAuthors / EditorsTitleTypeIssue Date
Sinn Moritz - 2016 - Automated complexity analysis for imperative programs.pdf.jpgSinn, Moritz Automated complexity analysis for imperative programsThesis Hochschulschrift 2016
Fiedor Tomas - 2018 - From Shapes to Amortized Complexity.pdf.jpgFiedor, Tomáš ; Holík, Lukáš ; Rogalewicz, Adam ; Sinn, Moritz; Vojnar, Tomáš ; Zuleger, FlorianFrom Shapes to Amortized ComplexityInproceedings Konferenzbeitrag 2018
Aminof Benjamin - 2015 - On the expressive power of communication primitives in...pdf.jpgAminof, Benjamin; Rubin, Sasha; Zuleger, FlorianOn the expressive power of communication primitives in parameterised systemsInproceedings Konferenzbeitrag 2015
Aminof Benjamin - 2018 - Parameterized Model Checking of Synchronous Distributed...pdf.jpgAminof, Benjamin; Rubin, Sasha ; Stoilkovska, Ilina ; Widder, Josef; Zuleger, FlorianParameterized Model Checking of Synchronous Distributed Algorithms by AbstractionInproceedings Konferenzbeitrag 2018
Zuleger Florian - 2011 - Resource bound analysis of imperative programs.pdf.jpgZuleger, FlorianResource bound analysis of imperative programsThesis Hochschulschrift 2011
Danninger Clemens Florian - 2016 - Resource Bound-Analyse von Lisp-Programmen.pdf.jpgDanninger, Clemens Florian Resource Bound-Analyse von Lisp-ProgrammenThesis Hochschulschrift 2016
Demyanova Yulia - 2017 - Systematic Predicate Abstraction using Variable Roles.pdf.jpgDemyanova, Yulia ; Rümmer, Philipp ; Zuleger, FlorianSystematic Predicate Abstraction using Variable RolesInproceedings Konferenzbeitrag 2017
Demyanova Yulia - 2018 - Systematic study of variable roles and their use in...pdf.jpgDemyanova, Yulia Systematic study of variable roles and their use in software verificationThesis Hochschulschrift 2018
Jansen Christina - 2017 - Unified Reasoning About Robustness Properties of...pdf.jpgJansen, Christina ; Katelaan, Jens ; Matheja, Christoph ; Noll, Thomas ; Zuleger, FlorianUnified Reasoning About Robustness Properties of Symbolic-Heap Separation LogicInproceedings Konferenzbeitrag 2017
Aminof Benjamin - 2015 - Verification of Asynchronous Mobile-Robots in...pdf.jpgAminof, Benjamin; Murano, Aniello ; Rubin, Sasha; Zuleger, FlorianVerification of Asynchronous Mobile-Robots in Partially-Known EnvironmentsInproceedings Konferenzbeitrag 2015