Zuleger, Florian

Network Lab View Statistics Email Alert RSS Feed

Name Card

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

Own Publications Eigene Publikationen

Filter:
Subject:  static analysis

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

PreviewAuthor(s)TitleTypeIssue Date
1Holik-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

Contributing Publications Mitbeteiligte Publikationen

Filter:
Subject:  static analysis

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

PreviewAuthor(s)TitleTypeIssue Date
1Rysavy Lukas - 2024 - Join Operators for Bi-Abductive Analysis of Low-level Code.pdf.jpgRysavy, Lukas Join Operators for Bi-Abductive Analysis of Low-level CodeThesis Hochschulschrift 2024
2Sinn Moritz - 2016 - Automated complexity analysis for imperative programs.pdf.jpgSinn, Moritz Automated complexity analysis for imperative programsThesis Hochschulschrift 2016