Full name Familienname, Vorname
Burgstaller, Bernd
 

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Blieberger, Johann ; Burgstaller, Bernd WPP - Programmer's and User's Guide (TR 183/1-74)Bericht Report1997
2Burgstaller, Bernd ; Scholz, Bernhard ; Blieberger, Johann Tour de Spec - A Collection of Spec95 Program Paths and Associated Costs for Symbolic EvaluationBericht Report2004
3Blieberger, Johann ; Burgstaller, Bernd The Role of GNAT within Project WOOPPräsentation Presentation1995
4Blieberger, Johann ; Burgstaller, Bernd Symbolic reaching definitions analysis of Ada programsKonferenzbeitrag Inproceedings1998
5Burgstaller Bernd - 2005 - Symbolic evaluation of imperative programming...pdf.jpgBurgstaller, Bernd Symbolic evaluation of imperative programming languagesThesis Hochschulschrift 2005
6Blieberger, Johann ; Burgstaller, Bernd ; Scholz, Bernhard Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking ProgramsKonferenzbeitrag Inproceedings2000
7Burgstaller, Bernd ; Scholz, Bernhard ; Blieberger, Johann Symbolic Analysis of Imperative Programming LanguagesKonferenzbeitrag Inproceedings 2006
8Blieberger, Johann ; Burgstaller, Bernd ; Mittermayr, Robert ; Abdennadher, Nabil ; Kordon, Fabrice Static Detection of Livelocks in Ada Multitasking ProgramsKonferenzbeitrag Inproceedings2007
9Burgstaller, Bernd ; Blieberger, Johann ; Mittermayr, Robert Static Detection of Access Anomalies in Ada95Konferenzbeitrag Inproceedings 2006
10Schmid, Ulrich ; Kastner, Wolfgang ; Burgstaller, Bernd ; Kral, Christian Skriptum zur Laborübung "Prozeßautomatisierung"Bericht Report2000
11Blieberger, Johann ; Burgstaller, Bernd ; Casimiro, António ; Ferreira, Pedro M. Safe Non-blocking Synchronization in Ada2xKonferenzbeitrag Inproceedings 2018
12Jung, Minyoung ; Park, Jinwoo ; Blieberger, Johann ; Burgstaller, Bernd Parallel Construction of Simultaneous Deterministic Finite Automata on Shared-memory MulticoresPräsentation Presentation2019
13Jung, Minyoung ; Park, Jinwoo ; Blieberger, Johann ; Burgstaller, Bernd Parallel Construction of Simultaneous Deterministic Finite Automata on Shared-Memory MulticoresKonferenzbeitrag Inproceedings 2017
14Burgstaller, Bernd NumerikBuchbeitrag Book Contribution2002
15Burgstaller, Bernd ; Kastner, Wolfgang Mapping of a Real-Time Operating System to UNIX (TR 183/1-109)Bericht Report2000
16Sodsong, Wasuwee ; Mittermayr, Robert ; Park, Yoojin ; Burgstaller, Bernd ; Blieberger, Johann ; Rivera, Francisco F. ; Pena, Tomás F. ; Cabaleiro, Jose C. Lazy Parallel Kronecker Algebra-Operations on Heterogeneous MulticoresKonferenzbeitrag Inproceedings 2017
17Blieberger, Johann ; Burgstaller, Bernd Kronecker Algebra for Static Analysis of Ada Programs with Protected ObjectsKonferenzbeitrag Inproceedings 2014
18Blieberger, Johann ; Burgstaller, Bernd ; Scholz, Bernhard Interprocedural Symbolic Evaluation of Ada Programs with AliasesKonferenzbeitrag Inproceedings1999
19Blieberger, Johann ; Burgstaller, Bernd ; Schildt, Gerhard-Helge Informatik-GrundlagenBuch Book2005
20Blieberger, Johann ; Burgstaller, Bernd ; Schildt, Gerhard-Helge Informatik-GrundlagenBuch Book2002