Name Card

Full name Familienname, Vorname
Zwirchmayr, Jakob
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 25 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Durand-2021-Model Checking AUTOSAR Components with CBMC-vor.pdf.jpgDurand, Timothee ; Fazekas, Katalin ; Weissenbacher, Georg ; Zwirchmayr, Jakob Model Checking AUTOSAR Components with CBMCInproceedings Oct-2021
2Soteropoulos, Aggelos ; Mitteregger, Mathias ; Berger, Martin ; Zwirchmayr, Jakob Automated drivability: Toward an assessment of the spatial deployment of level 4 automated vehiclesArtikel Article 2020
3Knoop Jens - 2017 - Replacing Conjectures by Positive Knowledge Inferring Proven...pdf.jpgKnoop, Jens ; Kovács, Laura ; Zwirchmayr, Jakob Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds Using Symbolic ExecutionArticle Artikel 2017
4Cerny, Pavol ; Henzinger, Thomas A. ; Kovacs, Laura ; Radhakrishna, Arjun ; Zwirchmayr, Jakob Segment Abstraction for Worst-Case Execution Time AnalysisKonferenzbeitrag Inproceedings 2015
5Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob Von Vertrauen zum Beweis - Über funktionale Programmkorrektheit hinausPräsentation Presentation2014
6Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob The Five P's of Inferring Proven Precise Worst-Case Execution Time BoundsPräsentation Presentation2014
7Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob Replacing Conjectures by Positive Knowledge: Inferring and Proving Precision of Worst-Case Execution Time Bounds using Symbolic ExecutionPräsentation Presentation2014
8Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob WCET Squeezing: On-demand Feasibility Refinement for Proven Precise WCET-boundsKonferenzbeitrag Inproceedings 2013
9Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob WCET Squeezing by On-demand Feasibility RefinementPräsentation Presentation2013
10Biere, Armin ; Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob SmacC: A Retargetable Symbolic Execution EngineKonferenzbeitrag Inproceedings 2013
11Biere, Armin ; Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob The Auspicious Couple: Symbolic Execution and WCET AnalysisKonferenzbeitrag Inproceedings 2013
12Zwirchmayr Jakob - 2013 - Symbolic methods for the timing analysis of programs.pdf.jpgZwirchmayr, Jakob Symbolic methods for the timing analysis of programsThesis Hochschulschrift 2013
13Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds using Symbolic ExecutionPräsentation Presentation2013
14Zwirchmayr, Jakob r-TuBound: Loop Bounds for WCET AnalysisPräsentation Presentation2012
15Zwirchmayr, Jakob ; Kovacs, Laura ; Knoop, Jens ; Bonenfant, Armelle ; Cassé, Hugues ; Rochange, Christine FFX: A Portable WCET Annotation LanguageKonferenzbeitrag Inproceedings 2012
16Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob Symbolic Loop Bound Computation for WCET AnalysisKonferenzbeitrag Inproceedings 2012
17Bonenfant, Armelle ; Cassé, Hugues ; de Michiel, Marianne ; Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob Portable Worst-Case Execution Time AnalysisPräsentation Presentation2012
18Bonenfant, Armelle ; Cassé, Hugues ; de Michiel, Marianne ; Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob Portable Worst-Case Execution Time Analysis via Flow Facts in XMLPräsentation Presentation2012
19Zwirchmayr, Jakob ; Knoop, Jens ; Kovacs, Laura r-TuBound: Loop Bounds for WCET Analysis (Tool Paper)Konferenzbeitrag Inproceedings 2012
20Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob An Evaluation of WCET Analysis using Symbolic Loop Bounds (extended Abstract)Konferenzbeitrag Inproceedings 2011