Name Card

Full name Familienname, Vorname
Zuleger, Florian
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 64 (Search time: 0.007 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Sallinger, Sarah ; Weissenbacher, Georg ; Zuleger, Florian A Formalization of Heisenbugs and Their CausesInproceedings Konferenzbeitrag 31-Oct-2023
2Pluska, Alexander ; Zuleger, Florian Embedding Intuitionistic into Classical LogicInproceedings Konferenzbeitrag 3-Jun-2023
3Matheja, Christoph ; Pagel, Jens ; Zuleger, Florian A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive DefinitionsArticle Artikel Jan-2023
4Iosif-2023-Expressiveness Results for an Inductive Logic of Separated Rel...-vor.pdf.jpgIosif, Radu ; Zuleger, Florian Expressiveness Results for an Inductive Logic of Separated RelationsInproceedings Konferenzbeitrag 2023
5Aminof-2023-Stochastic Best-Effort Strategies for Borel Goals-am.pdf.jpgAminof, Benjamin ; De Giacomo, Giuseppe ; Rubin, Sasha ; Zuleger, Florian Stochastic Best-Effort Strategies for Borel GoalsInproceedings Konferenzbeitrag 2023
6Pagel, Jens ; Zuleger, Florian Strong-separation Logic (Extended Version)Article Artikel Sep-2022
7Leutgeb, Lorenz ; Moser, Georg ; Zuleger, Florian Automated Expected Amortised Cost Analysis of Probabilistic Data StructuresInproceedings Konferenzbeitrag 6-Aug-2022
8Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian Verification of agent navigation in partially-known environmentsArticle Artikel Jul-2022
9Aminof, Benjamin ; De Giacomo, Giuseppe ; Rubin, Sasha ; Zuleger, Florian Beyond Strong-Cyclic: Doing Your Best in Stochastic EnvironmentsInproceedings Konferenzbeitrag Jul-2022
10Holik-2022-Low-Level Bi-Abduction-vor.pdf.jpgHolík, Lukáš ; Peringer, Petr ; Rogalewicz, Adam ; Šoková, Veronika ; Vojnar, Tomáš ; Zuleger, Florian Low-Level Bi-AbductionInproceedings Konferenzbeitrag 23-Jun-2022
11Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian Verifying safety of synchronous fault-tolerant algorithms by bounded model checkingArticle Artikel Feb-2022
12Pagel, Jens ; Zuleger, Florian Strong-separation LogicKonferenzbeitrag Inproceedings 2022
13Leutgeb, Lorenz ; Moser, Georg ; Zuleger, Florian ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data StructuresKonferenzbeitrag Inproceedings 2022
14Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian Rely-guarantee bound analysis of parameterized concurrent shared-memory programsArtikel Article 2021
15Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian Eliminating Message Counters in Synchronous Threshold AutomataKonferenzbeitrag Inproceedings 2021
16Pescosta, Emmanuel ; Weissenbacher, Georg ; Zuleger, Florian Bounded Model Checking of Speculative Non-InterferenceKonferenzbeitrag Inproceedings 2021
17main.pdf.jpgStoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian Eliminating Message Counters in Threshold AutomataInproceedings Konferenzbeitrag 12-Oct-2020
18Pagel, Jens ; Zuleger, Florian Beyond Symbolic Heaps: Deciding Separation Logic With Inductive DefinitionsKonferenzbeitrag Inproceedings 2020
19Zuleger, Florian The Polynomial Complexity of Vector Addition Systems with StatesKonferenzbeitrag Inproceedings 2020
20Schlaipfer, Matthias ; Slivovsky, Friedrich ; Weissenbacher, Georg ; Zuleger, Florian Multi-linear Strategy Extraction for QBF Expansion Proofs via Local SoundnessKonferenzbeitrag Inproceedings 2020

Contributing Publications Mitbeteiligte Publikationen

Results 1-13 of 13 (Search time: 0.015 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kaindlstorfer David - 2023 - Enhancing Abstraction and Symbolic Execution for...pdf.jpgKaindlstorfer, David Enhancing abstraction and symbolic execution for shape analysis of C-programs operating on linked listsThesis Hochschulschrift 2023
2Leutgeb Lorenz - 2021 - ATLAS Automated amortised complexity analysis of...pdf.jpgLeutgeb, Lorenz ATLAS: Automated amortised complexity analysis of self-adjusting data structuresThesis Hochschulschrift 2021
3Pani Thomas - 2021 - Thread-modular verification of parameterized programs.pdf.jpgPani, Thomas Thread-modular verification of parameterized programsThesis Hochschulschrift 2021
4Stoilkovska Ilina - 2021 - Modeling and verification of synchronous...pdf.jpgStoilkovska, Ilina Modeling and verification of synchronous fault-tolerant distributed algorithmsThesis Hochschulschrift 2021
5Pagel Jens - 2020 - Decision procedures for separation logic beyond symbolic...pdf.jpgPagel, Jens Decision procedures for separation logic: beyond symbolic heapsThesis Hochschulschrift 2020
6Pescosta Emmanuel - 2020 - SpecBMC bounded model checker for speculative...pdf.jpgPescosta, Emmanuel SpecBMC : bounded model checker for speculative non-interferenceThesis Hochschulschrift 2020
7Radicek Ivan - 2020 - Automated feedback generation in introductory programming...pdf.jpgRadiček, Ivan Automated feedback generation in introductory programming education : a dynamic program analysis approachThesis Hochschulschrift 2020
8Geiger Sven Sebastian - 2018 - Interactive lecture notes a computer-aided...pdf.jpgGeiger, Sven Sebastian Interactive lecture notes : a computer-aided education system for mastery learning via flipped classroomsThesis Hochschulschrift 2018
9Hafner Johannes - 2018 - Rendezvous-multiple broadcast networks.pdf.jpgHafner, Johannes Rendezvous-multiple broadcast networksThesis Hochschulschrift 2018
10Demyanova 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
11Sinn Moritz - 2016 - Automated complexity analysis for imperative programs.pdf.jpgSinn, Moritz Automated complexity analysis for imperative programsThesis Hochschulschrift 2016
12Souczek Fabian - 2014 - Bounds for variables and loops better together.pdf.jpgSouczek, Fabian Bounds for variables and loops: better togetherThesis Hochschulschrift 2014
13Pani Thomas - 2013 - Loop patterns in C programs.pdf.jpgPani, Thomas Loop patterns in C programsThesis Hochschulschrift 2013