Prefix title Titel (vorangestellt)
Associate Prof. Dipl.-Math. Dr.techn.
 
Full name Familienname, Vorname
Zuleger, Florian
 

Results 1-20 of 47 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model CheckingKonferenzbeitrag Inproceedings 2019
2Cadek, Pavel ; Danninger, Clemens ; Sinn, Moritz ; Zuleger, Florian Using Loop Bound Analysis For Invariant GenerationKonferenzbeitrag Inproceedings 2018
3Kotek, Tomer ; Simkus, Mantas ; Veith, Helmut ; Zuleger, Florian Towards a Description Logic for Program Analysis: Extending ALCQIO with ReachabilityKonferenzbeitrag Inproceedings2014
4Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian Thread-modular Counter Abstraction for Parameterized Program SafetyKonferenzbeitrag Inproceedings 2020
513_Thread-modular Counter Abstraction for Parameterized Program Safety.pdf.jpgPani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian ; Ivrii, Alexander ; Strichman, Ofer Thread-modular Counter Abstraction for Parameterized Program SafetyKonferenzbeitrag Inproceedings 2020
6Gulwani, Sumit ; Zuleger, Florian ; Zorn, Benjamin G. ; Aiken, Alexander The reachability-bound problemKonferenzbeitrag Inproceedings2010
7Zuleger, Florian The Polynomial Complexity of Vector Addition Systems with StatesKonferenzbeitrag Inproceedings 2020
8Zuleger, Florian Termination and Bound Analysis of Imperative ProgramsPräsentation Presentation2011
9Demyanova Yulia - 2017 - Systematic Predicate Abstraction using Variable Roles.pdf.jpgDemyanova, Yulia ; Rümmer, Philipp ; Zuleger, Florian Systematic Predicate Abstraction using Variable RolesInproceedings Konferenzbeitrag 2017
10Pagel, Jens ; Zuleger, Florian Strong-separation LogicKonferenzbeitrag Inproceedings 2021
11Sighireanu, Mihaela ; Pagel, Jens ; Matheja, Christoph ; Noll, Thomas ; Zuleger, Florian SL-COMP: Competition of Solvers for Separation LogicKonferenzbeitrag Inproceedings 2019
12Colcombet, Thomas ; Daviaud, Laure ; Zuleger, Florian Size-Change Abstraction and Max-Plus AutomataKonferenzbeitrag Inproceedings 2014
13Calvanese, Diego ; Kotek, Tomer ; Simkus, Mantas ; Veith, Helmut ; Zuleger, Florian Shape and Content: Incorporating Domain Knowledge into Shape AnalysisKonferenzbeitrag Inproceedings2014
14Calvanese, Diego ; Kotek, Tomer ; Šimkus, Mantas ; Veith, Helmut ; Zuleger, Florian Shape and Content - A Database-Theoretic Perspective on the Analysis of Data StructuresKonferenzbeitrag Inproceedings2014
15Zuleger, Florian Resource Bound Analysis of Imperative ProgramsPräsentation Presentation2011
16Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free AlgorithmsKonferenzbeitrag Inproceedings 2018
17Cook, Byron ; See, Abigail ; Zuleger, Florian Ramsey vs. Lexicographic Termination ProvingKonferenzbeitrag Inproceedings2013
18Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian Prompt Alternating-Time Epistemic LogicsKonferenzbeitrag Inproceedings 2016
19Demyanova, Yulia ; Veith, Helmut ; Zuleger, Florian On the concept of variable roles and its use in software analysisKonferenzbeitrag Inproceedings 2013
20Shachar, Itzhaky ; Kotek, Tomer ; Rinetzky, Noam ; Sagiv, Mooly ; Tamir, Orr ; Veith, Helmut ; Zuleger, Florian On the Automated Verification of Web Applications with Embedded SQLKonferenzbeitrag Inproceedings 2017

Results 1-10 of 10 (Search time: 0.012 seconds).



Results 1-1 of 1 (Search time: 0.0 seconds).