Reliable Software Technologies - Ada-Europe

View Statistics Email Alert RSS Feed

Description

Event name
Reliable Software Technologies - Ada-Europe
 
Event type
Event for scientific audience
 
Start date
10-06-1996
End date
14-06-1996
 
Location
Montreux, Switzerland
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Blieberger, Johann ; Klasek, Johann ; Kühn, Eva Ada Binding to a Shared Object LayerKonferenzbeitrag Inproceedings1999
2Hong, Jingun ; Hong, Kirak ; Burgstaller, Bernd ; Blieberger, Johann AdaStreams: A Type-based Programming Extension for Stream-Parallelism with Ada 2005Konferenzbeitrag Inproceedings 2010
3Blieberger, Johann ; Lieger, Roland ; Burgstaller, Bernd ; Strohmeier, Alfred Augmenting Ada95 with additional real-time featuresKonferenzbeitrag Inproceedings1996
4Yang, Shinhyung ; Jeong, Seongho ; Min, Byunguk ; Kim, Yeonsoo ; Burgstaller, Bernd ; Blieberger, Johann Blocking versus Non-Blocking Shared-Memory Multicore Synchronization: Programmability, Scalability and PerformancePräsentation Presentation2019
5Fechete, Raul ; Kienesberger, Georg ; Blieberger, Johann ; Kordon, Fabrice ; Vardanega, Tullio A Framework for CFG-Based Static Program Analysis of Ada ProgramsKonferenzbeitrag Inproceedings 2008
6Blieberger, Johann ; Burgstaller, Bernd ; Scholz, Bernhard Interprocedural Symbolic Evaluation of Ada Programs with AliasesKonferenzbeitrag Inproceedings1999
7Blieberger, Johann ; Burgstaller, Bernd Kronecker Algebra for Static Analysis of Ada Programs with Protected ObjectsKonferenzbeitrag Inproceedings 2014
8Mittermayr, Robert ; Blieberger, Johann Kronecker Algebra for Static Analysis of Barriers in AdaKonferenzbeitrag Inproceedings 2016
9Blieberger, Johann ; Burgstaller, Bernd ; Casimiro, António ; Ferreira, Pedro M. Safe Non-blocking Synchronization in Ada2xKonferenzbeitrag Inproceedings 2018
10Burgstaller, Bernd ; Blieberger, Johann ; Mittermayr, Robert Static Detection of Access Anomalies in Ada95Konferenzbeitrag Inproceedings 2006
11Blieberger, Johann ; Burgstaller, Bernd ; Mittermayr, Robert ; Abdennadher, Nabil ; Kordon, Fabrice Static Detection of Livelocks in Ada Multitasking ProgramsKonferenzbeitrag Inproceedings2007
12Blieberger, Johann ; Burgstaller, Bernd ; Scholz, Bernhard Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking ProgramsKonferenzbeitrag Inproceedings2000
13Blieberger, Johann ; Burgstaller, Bernd Symbolic reaching definitions analysis of Ada programsKonferenzbeitrag Inproceedings1998