Publikationsliste für
Florian Zuleger
als Autorin / Autor bzw. wesentlich beteiligte Person
59 Datensätze (2010 - 2022)
Zeitschriftenartikel
Y. Demyanova, T. Pani, H. Veith, F. Zuleger:
"Empirical software metrics for benchmarking of verification tools";
Formal Methods in System Design,
50
(2017),
2;
S. 289
- 316.
T. Pani, H. Veith, F. Zuleger:
"Loop Patterns in C Programs";
ECEASST,
72
(2015).
T. Pani, G. Weissenbacher, F. Zuleger:
"Rely-guarantee bound analysis of parameterized concurrent shared-memory programs";
Formal Methods in System Design,
57
(2021),
2;
S. 270
- 302.
Zusätzliche Informationen
M. Sinn, H. Veith, F. Zuleger:
"Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints";
Journal of Automated Reasoning,
59
(2017),
1;
S. 3
- 45.
Beiträge in Tagungsbänden
J. Pagel, C. Matheja, F. Zuleger:
"Effective Entailment Checking for Separation Logic with Inductive Definitions";
in: "25th International Conference, TACAS 2019",
Springer,
2019,
S. 319
- 336.
J. Pagel, F. Zuleger:
"Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions";
in: "23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain",
73;
EasyChair EPiC Series in Computing,
2020,
S. 390
- 408.
Zusätzliche Informationen
M. Sighireanu, J. Pagel, C. Matheja, T. Noll, F. Zuleger et al.:
"SL-COMP: Competition of Solvers for Separation Logic";
in: "25th International Conference, TACAS 2019",
Springer,
2019,
S. 116
- 132.
I. Stoilkovska, I. Konnov, J. Widder, F. Zuleger:
"Eliminating Message Counters in Threshold Automata";
in: "Automated Technology for Verification and Analysis - 18th Symposium, 2020, Hanoi, Vietnam",
12302;
Springer LNCS,
2020,
S. 196
- 212.
Zusätzliche Informationen
I. Stoilkovska, I. Konnov, J. Widder, F. Zuleger:
"Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking";
in: "International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
Springer,
2019,
S. 357
- 374.
F. Zuleger:
"The Polynomial Complexity of Vector Addition Systems with States";
in: "Foundations of Software Science and Computation Structures - 23rd International Conference, Dublin, Ireland",
12077;
Springer LNCS,
2020,
S. 622
- 641.
Zusätzliche Informationen
Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag)
P. Čadek, C. Danninger, M. Sinn, F. Zuleger:
"Using Loop Bound Analysis For Invariant Generation";
Vortrag: International Conference on Formal Methods in Computer-Aided Design (FMCAD),
Austin, TX;
30.10.2018
- 02.11.2018; in: "Formal Methods in Computer-Aided Design",
FMCAD Inc.,
(2018),
ISBN: 978-0-9835678-8-2;
S. 1
- 9.
Zusätzliche Informationen
B. Aminof, A. Murano, S. Rubin, F. Zuleger:
"Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments";
Vortrag: International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS),
Singapur;
09.05.2016
- 13.05.2016; in: "AAMAS",
(2016),
S. 1190
- 1199.
B. Aminof, A. Murano, S. Rubin, F. Zuleger:
"Prompt Alternating-Time Epistemic Logics";
Vortrag: 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016),
Kapstadt;
25.04.2016
- 29.04.2016; in: "KR",
(2016),
S. 258
- 267.
B. Aminof, A. Murano, S. Rubin, F. Zuleger:
"Verification of Asynchronous Mobile-Robots in Partially-Known Environments";
Vortrag: Principles and Practice of Multi-Agent Systems,
Graz;
18.05.2015
- 19.05.2015; in: "PRIMA",
Springer,
9387
(2015),
S. 185
- 200.
B. Aminof, S. Rubin, F. Spegni, F. Zuleger:
"Liveness of Parameterized Timed Networks";
Vortrag: International Colloquium on Automata, Languages and Programming (ICALP),
Kyoto, Japan;
06.07.2015
- 10.07.2015; in: "ICALP",
Springer,
9135
(2015),
S. 375
- 387.
B. Aminof, S. Rubin, I. Stoilkovska, J. Widder, F. Zuleger:
"Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction";
Vortrag: Verification, Model Checking, and Abstract Interpretation (VMCAI),
Los Angeles;
07.01.2018
- 09.01.2018; in: "VMCAI",
LNCS/Springer,
10747
(2018),
S. 1
- 24.
Zusätzliche Informationen
B. Aminof, S. Rubin, F. Zuleger:
"On the Expressive Power of Communication Primitives in Parameterised Systems";
Vortrag: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR),
Suva, Fiji;
24.11.2015
- 28.11.2015; in: "LPAR",
Springer,
9450
(2015),
S. 313
- 328.
B. Aminof, I. Stoilkovska, S. Rubin, J. Widder, F. Zuleger:
"Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction";
Vortrag: International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI),
Los Angeles;
07.01.2018
- 09.01.2018; in: "Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings",
LNCS,
10747
(2018),
ISBN: 978-3-319-73720-1;
S. 1
- 24.
Zusätzliche Informationen
T. Brazdil, K. Chatterjee, A. Kucera, P. Novotny, D. Velan, F. Zuleger:
"Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS";
Vortrag: Symposium on Logic in Computer Science (LICS),
Oxford;
09.07.2018
- 12.07.2018; in: "Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018",
ACM,
Oxford
(2018),
S. 185
- 194.
Zusätzliche Informationen
D. Calvanese, T. Kotek, M. Simkus, H. Veith, F. Zuleger:
"Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures";
Hauptvortrag: International Conference in Integrated Formal Methods (IFM),
Bertinoro, Italy (eingeladen);
09.09.2014
- 11.09.2014; in: "IFM",
Springer / LNCS,
8739
(2014),
ISBN: 978-3-319-10180-4;
S. 3
- 17.
D. Calvanese, T. Kotek, M. Simkus, H. Veith, F. Zuleger:
"Shape and Content: Incorporating Domain Knowledge into Shape Analysis";
Vortrag: International Workshop on Description Logics,
Wien;
17.07.2014
- 20.07.2014; in: "International Workshop on Description Logics",
(2014),
4 S.
T. Colcombet, L. Daviaud, F. Zuleger:
"Size-Change Abstraction and Max-Plus Automata";
Vortrag: International Symposium on Mathematical Foundations of Computer Science (MFCS),
Budapest, Ungarn;
25.08.2014
- 29.08.2014; in: "MFCS",
Springer / LNCS,
8634
(2014),
ISBN: 978-3-662-44521-1;
S. 208
- 219.
B. Cook, A. See, F. Zuleger:
"Ramsey vs. Lexicographic Termination Proving";
Vortrag: Tools and Algorithms for the Construction and Analysis of Systems (TACAS),
Rom, Italien;
05.04.2013
- 13.04.2013; in: "Tools and Algorithms for the Construction and Analysis of Systems",
Lecture Notes in Computer Science. Springer Verlag.,
7795
(2013),
ISBN: 978-3-642-36741-0;
S. 47
- 61.
L. Daviaud, T. Colcombet, F. Zuleger:
"Automata and Program Analysis";
Vortrag: Fundamentals of Computation Theory,
Bordeaux, France (eingeladen);
11.09.2017
- 13.09.2017; in: "Fundamentals of Computation Theory - 21st International Symposium, FCT 2017",
(2017),
S. 3
- 10.
Y. Demyanova, T. Pani, H. Veith, F. Zuleger:
"Empirical Software Metrics for Benchmarking of Verification Tools";
Vortrag: International Conference on Computer Aided Verification (CAV),
San Francisco, CA, USA;
18.07.2015
- 24.07.2015; in: "CAV",
Springer,
9206
(2015),
ISBN: 978-3-319-21667-6;
S. 561
- 579.
Y. Demyanova, P. Rümmer, F. Zuleger:
"Systematic Predicate Abstraction Using Variable Roles";
Vortrag: NASA Formal Methods (NFM),
Moffett Field, CA, USA;
16.05.2017
- 18.05.2017; in: "NASA Formal Methods - 9th International Symposium, NFM 2017",
(2017),
S. 265
- 281.
Y. Demyanova, H. Veith, F. Zuleger:
"On the concept of variable roles and its use in software analysis";
Vortrag: International Conference on Formal Methods in Computer-Aided Design (FMCAD),
Portland, OR, USA;
20.10.2013
- 23.10.2013; in: "FMCAD",
IEEE,
(2013),
ISBN: 978-0-9835678-3-7;
S. 226
- 230.
T. Fiedor, L. Holik, A. Rogalewicz, M. Sinn, T. Vojnar, F. Zuleger:
"From Shapes to Amortized Complexity";
Vortrag: International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI),
Los Angeles;
07.01.2018
- 09.01.2018; in: "Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings",
LNCS,
10747
(2018),
ISBN: 978-3-319-73720-1;
S. 205
- 225.
Zusätzliche Informationen
S. Gulwani, I. Radicek, F. Zuleger:
"Feedback generation for performance problems in introductory programming assignments";
Vortrag: ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE),
Hong Kong, China;
16.11.2014
- 22.11.2014; in: "FSE",
ACM New York, NY, USA,
(2014),
ISBN: 978-1-4503-3056-5;
S. 41
- 51.
S. Gulwani, F. Zuleger:
"The reachability-bound problem";
Vortrag: Conference on Programming Language Design and Implementation (PLDI),
Toronto, Canada;
05.06.2010
- 10.06.2010; in: "PLDI'10 Proceedings of teh ACM SIGPLAN conference on Programming language design and implementation",
B. G. Zorn, A. Aiken (Hrg.);
PLDI'10 Proceedings of teh ACM SIGPLAN conference on Programming language design and implementation,
(2010),
ISBN: 978-1-4503-0019-3;
S. 292
- 304.
Zusätzliche Informationen
T. Kotek, M. Simkus, H. Veith, F. Zuleger:
"Extending ALCQIO with Trees";
Vortrag: 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015),
Kyoto, Japan;
06.07.2015
- 10.07.2015; in: "LICS 2015",
IEEE,
(2015),
ISBN: 978-1-4799-8875-4;
S. 511
- 522.
Zusätzliche Informationen
T. Kotek, M. Simkus, H. Veith, F. Zuleger:
"Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability";
Hauptvortrag: International Workshop on Description Logics,
Wien;
17.07.2014
- 20.07.2014; in: "International Workshop on Description Logics",
(2014),
4 S.
T. Kotek, H. Veith, F. Zuleger:
"Monadic Second Order Finite Satisfiability and Unbounded Tree-Width";
Vortrag: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016,
Marseille;
29.08.2016
- 01.09.2016; in: "CSL",
62
(2016),
ISBN: 978-3-95977-022-4;
S. 1
- 20.
L. Leutgeb, G. Moser, F. Zuleger:
"ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures";
Vortrag: International Conference on Computer Aided Verification (CAV),
virtuell;
20.07.2022
- 23.07.2022; in: "CAV 2021: Computer Aided Verification",
(2022),
S. 99
- 122.
J. Pagel, C. Jansen, F. Zuleger, C. Matheja, T. Noll:
"Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic";
Vortrag: European Symposium on Programming (ESOP),
Uppsala;
22.04.2017
- 29.04.2017; in: "Programming Languages and Systems - 26th European Symposium on Programming",
(2017),
S. 611
- 638.
J. Pagel, F. Zuleger:
"Strong-Separation Logic";
Vortrag: 30th European Symposium on Programming (ESOP 2021),
Luxembourg (online);
27.03.2021
- 01.04.2021; in: "30th European Symposium on Programming, ESOP 2021",
Springer,
12648
(2021),
S. 664
- 692.
T. Pani, G. Weissenbacher, F. Zuleger:
"Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms";
Vortrag: International Conference on Formal Methods in Computer-Aided Design (FMCAD),
Austin, TX;
30.10.2018
- 02.11.2018; in: "Formal Methods in Computer-Aided Design",
FMCAD Inc.,
(2018),
ISBN: 978-0-9835678-8-2;
S. 1
- 9.
Zusätzliche Informationen
T. Pani, G. Weissenbacher, F. Zuleger:
"Thread-modular Counter Abstraction for Parameterized Program Safety";
Vortrag: International Conference on Formal Methods in Computer-Aided Design (FMCAD),
Haifa, Israel;
22.09.2020
- 24.09.2020; in: "Formal Methods in Computer-Aided Design",
TU Wien Academic Press / IEEE,
1
(2020),
ISBN: 978-3-85448-042-6;
S. 67
- 76.
Zusätzliche Informationen
E. Pescosta, G. Weissenbacher, F. Zuleger:
"Bounded Model Checking of Speculative Non-Interference";
Vortrag: 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD),
München, Deutschland;
01.11.2021
- 04.11.2021; in: "2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD)",
IEEE,
(2021),
ISBN: 978-1-6654-4507-8;
S. 1
- 9.
I. Radicek, G. Barthe, M. Gaboardi, D. Garg, F. Zuleger:
"Monadic refinements for relational cost analysis";
Vortrag: 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018),
Los Angeles;
10.01.2018
- 12.01.2018; in: "Proceedings of the ACM on Programming Languages",
ACM Digital Library,
New York, NY, USA
(2018),
S. 1
- 32.
Zusätzliche Informationen
I. Radicek, S. Gulwani, F. Zuleger:
"Automated clustering and program repair for introductory programming assignments";
Vortrag: Conference on Programming Language Design and Implementation (PLDI),
Philadelphia, PA, USA;
18.06.2018
- 22.06.2018; in: "Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018",
ACM,
(2018),
S. 465
- 480.
Zusätzliche Informationen
M. Schlaipfer, F. Slivovsky, G. Weissenbacher, F. Zuleger:
"Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness";
Vortrag: International Conference on the Theory and Applications of Satisfiability Testing,
Alghero, Italien;
03.07.2020
- 10.07.2020; in: "SAT 2020: Theory and Applications of Satisfiability Testing - SAT 2020",
LNCS,
12178
(2020),
ISBN: 978-3-030-51824-0;
S. 429
- 446.
Zusätzliche Informationen
I. Shachar, T. Kotek, N. Rinetzky, M. Sagiv, O. Tamir, H. Veith, F. Zuleger:
"On the Automated Verification of Web Applications with Embedded SQL";
Vortrag: International Conference on Database Theory (ICDT),
Venice, Italy;
21.03.2017
- 24.03.2017; in: "20th International Conference on Database Theory, ICDT 2017",
(2017),
S. 1
- 18.
M. Sinn, H. Veith, F. Zuleger:
"Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs";
Vortrag: International Conference on Formal Methods in Computer-Aided Design (FMCAD),
Austin, Texas, USA;
27.09.2015
- 30.09.2015; in: "FMCAD",
(2015),
S. 144
- 151.
M. Sinn, F. Zuleger, H. Veith:
"A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis";
Vortrag: International Conference on Computer Aided Verification (CAV),
Wien;
18.07.2014
- 22.07.2014; in: "CAV",
Springer / LNCS,
8559
(2014),
ISBN: 978-3-319-08866-2;
S. 745
- 761.
I. Stoilkovska, I. Konnov, J. Widder, F. Zuleger:
"Eliminating Message Counters in Synchronous Threshold Automata";
Vortrag: 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI),
Copenhagen, Denmark;
17.01.2021
- 19.01.2021; in: "Proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)",
Springer LNCS,
12597
(2021),
S. 196
- 218.
F. Zuleger:
"Asymptotically Precise Ranking Functions for Deterministic Size-Change Systems";
Vortrag: International Computer Science Symposium in Russia (CSR),
Listvyanka, Russia;
13.07.2015
- 17.07.2015; in: "CSR",
Springer,
9139
(2015),
S. 426
- 442.
F. Zuleger:
"Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction";
Vortrag: International Static Analysis Symposium (SAS),
Freiburg, Germany;
29.08.2018
- 31.08.2018; in: "Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings",
Springer,
Lecture Notes in Computer Science
(2018),
ISBN: 978-3-319-99724-7;
S. 423
- 444.
Zusätzliche Informationen
F. Zuleger, M. Sinn, S. Gulwani, H. Veith:
"Bound Analysis of Imperative Programs with the Size-change Abstraction";
Vortrag: International Static Analysis Symposium,
Venice, Italy;
14.09.2011
- 16.09.2011; in: "Lecture Notes in Computer Science",
E. Yahav (Hrg.);
Springer,
6887
(2011),
ISBN: 978-3-642-23701-0;
S. 280
- 297.
Zusätzliche Informationen
Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag)
F. Zuleger:
"Bound Analysis of Imperative Programs with the Size-change Abstraction";
Vortrag: Microsoft Research Lecture,
Microsoft Research Cambridge, UK (eingeladen);
01.12.2011.
F. Zuleger:
"Bound Analysis of Imperative Programs with the Size-change Abstraction";
Vortrag: Theory Seminar,
Queen Mary University, UK (eingeladen);
30.11.2011.
F. Zuleger:
"Bound Analysis of Imperative Programs with the Size-change Abstraction";
Vortrag: Austrian Society for Rigorous Systems Engineering (ARiSE) workshop together with PUMA workshop,
Traunkirchen, Austria;
03.10.2011
- 07.10.2011.
F. Zuleger:
"Bound Analysis of Imperative Programs with the Size-change Abstraction";
Vortrag: Software Systems Group Seminar,
NICTA, Australien;
19.07.2011.
F. Zuleger:
"Resource Bound Analysis of Imperative Programs";
Vortrag: RiSE Seminar,
Klosterneuburg;
05.05.2011.
Zusätzliche Informationen
F. Zuleger:
"Termination and Bound Analysis of Imperative Programs";
Vortrag: Workshop on Logic and Computer Science,
Vienna;
24.03.2011
- 25.03.2011.
Dissertationen (eigene und begutachtete)
M. Sinn:
"Automated Complexity Analysis for Imperative Programs";
Betreuer/in(nen), Begutachter/in(nen): F. Zuleger, T. Vojnar;
Institut für Informationssysteme,
2016.
F. Zuleger:
"Resource bound analysis of imperative programs";
Betreuer/in(nen), Begutachter/in(nen): H. Veith, S. Gulwani;
Institut für Informationssysteme,
2011;
Rigorosum: 11.05.2011.
Zusätzliche Informationen
Diplom- und Master-Arbeiten (eigene und betreute)
T. Pani:
"Loop Patterns in C Programs";
Betreuer/in(nen): F. Zuleger, H. Veith;
Fakultät für Informatik der Technischen Universität Wien,
2013.
E. Pescosta:
"SpecBMC : bounded model checker for speculative non-interference";
Betreuer/in(nen): G. Weissenbacher, F. Zuleger;
Logic and Computation,
2020.
Zusätzliche Informationen
