Name Card

Full name Familienname, Vorname
Scholz, Bernhard
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Burgstaller, Bernd ; Scholz, Bernhard ; Blieberger, Johann A symbolic analysis framework for static analysis of imperative programming languagesArtikel Article 2012
2Ebner, Dietmar ; Scholz, Bernhard ; Krall, Andreas Progressive spill code placementKonferenzbeitrag Inproceedings 2009
3Ebner, Dietmar ; Brandner, Florian ; Scholz, Bernhard ; Krall, Andreas ; Wiedermann, Peter ; Kadlec, Albrecht Generalized instruction selection using<i>SSA</i>-graphsKonferenzbeitrag Inproceedings 2008
4Scholz, Bernhard ; Blieberger, Johann A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition TreesKonferenzbeitrag Inproceedings 2007
5Burgstaller, Bernd ; Scholz, Bernhard ; Blieberger, Johann Symbolic Analysis of Imperative Programming LanguagesKonferenzbeitrag Inproceedings 2006
6Burgstaller, Bernd ; Scholz, Bernhard ; Ertl, Martin Anton An Embedded Systems Programming Environment for CKonferenzbeitrag Inproceedings 2006
7Burgstaller, Bernd ; Scholz, Bernhard ; Blieberger, Johann Tour de Spec - A Collection of Spec95 Program Paths and Associated Costs for Symbolic EvaluationBericht Report2004
8Ben-Amram, Amir ; Blieberger, Johann ; Scholz, Bernhard The WCETₘₐᵣₖₑᵣ-Problem is NP-completePräsentation Presentation2003
9Scholz, Bernhard Probabilistic Data Flow Analysis and its ApplicationsPräsentation Presentation2002
10Scholz, Bernhard Speculative Partial Redundancy ElimimnationPräsentation Presentation2002
11Scholz, Bernhard Symbolic analysis of programs and its applicationsThesis Hochschulschrift2001
12Blieberger, Johann ; Fahringer, Thomas ; Scholz, Bernhard Symbolic Cache Analysis for Real-Time SystemsArtikel Article 2000
13Blieberger, Johann ; Burgstaller, Bernd ; Scholz, Bernhard Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking ProgramsKonferenzbeitrag Inproceedings2000
14Blieberger, Johann ; Burgstaller, Bernd ; Scholz, Bernhard Interprocedural Symbolic Evaluation of Ada Programs with AliasesKonferenzbeitrag Inproceedings1999
15Blieberger, Johann ; Scholz, Bernhard Automatic Symbolic Verification of Real-Time Programs (TR 183/1-75)Bericht Report1997