Name Card

Full name Familienname, Vorname
Rieder, Bernhard Josef
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Rieder, Bernhard ; Puschner, Peter ; Wenzel, Ingomar Using Model Checking to Derive Loop Bounds of General Loops within ANSI-C Applications for Measurement Based WCET AnalysisKonferenzbeitrag Inproceedings 2008
2Wenzel, Ingomar ; Kirner, Raimund ; Rieder, Bernhard ; Puschner, Peter Measurement-Based Timing AnalysisKonferenzbeitrag Inproceedings 2008
3Holsti, Niklas ; Gustafsson, Jan ; Bernat, Guillem ; Ballabriga, Clément ; Bonenfant, Armelle ; Bourgade, Roman ; Cassé, Hugues ; Cordes, Daniel ; Kadlec, Albrecht ; Kirner, Raimund ; Knoop, Jens ; Lokuciejewski, Paul ; Merriam, Nicholas ; de Michiel, Marianne ; Prantl, Adrian ; Rieder, Bernhard ; Rochange, Christine ; Sainrat, Pascal ; Schordan, Markus WCET Tool Challenge 2008: ReportKonferenzbeitrag Inproceedings2008
4Rieder, Bernhard ; Puschner, Peter Hybrid Timing Analysis for ANSI-C Applications with Loops and Function CallsKonferenzbeitrag Inproceedings 2008
5Rieder, Bernhard ; Wenzel, Ingomar ; Steinhammer, Klaus ; Puschner, Peter Using a Runtime Measurement Device with Measurement-Based WCET AnalysisKonferenzbeitrag Inproceedings 2007
6Wenzel, Ingomar ; Kirner, Raimund ; Rieder, Bernhard ; Puschner, Peter Cross-Platform Verification Framework for Embedded SystemsKonferenzbeitrag Inproceedings 2007
7Wenzel, Ingomar ; Kirner, Raimund ; Rieder, Bernhard ; Puschner, Peter Cross-Platform Verification Framework for Embedded SystemsArtikel Article2007
8Kirner, Raimund ; Puschner, Peter ; Wenzel, Ingomar ; Rieder, Bernhard Portable Data Exchange for Remote-Testing FrameworksKonferenzbeitrag Inproceedings 2006
9Wenzel, Ingomar ; Kirner, Raimund ; Puschner, Peter ; Rieder, Bernhard Principles of Timing Anomalies in Superscalar ProcessorsKonferenzbeitrag Inproceedings 2005
10Wenzel, Ingomar ; Kirner, Raimund ; Rieder, Bernhard ; Puschner, Peter Measurement-Based Worst-Case Execution Time AnalysisKonferenzbeitrag Inproceedings 2005
11Wenzel, Ingomar ; Rieder, Bernhard ; Kirner, Raimund ; Puschner, Peter Automatic Timing Model Generation by CFG Partitioning and Model CheckingKonferenzbeitrag Inproceedings 2005
12Wenzel, Ingomar ; Kirner, Raimund ; Schlager, Martin ; Rieder, Bernhard ; Huber, Bernhard Impact of Dependable Software DevelopmentKonferenzbeitrag Inproceedings 2005