Reinhard Wilhelm - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

A Template for Predictability Definitions with Supporting EvidenceDaniel Grund, Jan Reineke, Reinhard Wilhelm. date 2011: 22-31 [doi]

Bringing Theory to Practice: Predictability and Performance in Embedded Systems, DATE Workshop PPES 2011, March 18, 2011, Grenoble, FrancePhilipp Lucas, Lothar Thiele, Benoit Triquet, Theo Ungerer, Reinhard Wilhelm, editors, Volume 18 of OASICS, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2011.

2010

2009

2008

Parametric Timing Analysis for Complex ArchitecturesSebastian Altmeyer, Christian Humbert, Björn Lisper, Reinhard Wilhelm. rtcsa 2008: 367-376 [doi]

Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive ArchitecturesE. Frank, Reinhard Wilhelm, Rolf Ernst, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale. date 2008: 659-663 [doi]

Timing Validation of Automotive SoftwareDaniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand. isola 2008: 93-107 [doi]

Algorithm visualization using concrete and abstract shape graphsSascha A. Parduhn, Raimund Seidel, Reinhard Wilhelm. softvis 2008: 33-36 [doi]

Abstract Interpretation with Applications to Timing ValidationReinhard Wilhelm, Björn Wachter. cav 2008: 22-36 [doi]

The worst-case execution-time problem - overview of methods and survey of toolsReinhard Wilhelm, Jakob Engblom, Andreas Ermedahl, Niklas Holsti, Stephan Thesing, David B. Whalley, Guillem Bernat, Christian Ferdinand, Reinhold Heckmann, Tulika Mitra, Frank Mueller, Isabelle Puaut, Peter P. Puschner, Jan Staschulat, Per Stenström. tecs, 7(3), 2008. [doi]

Architectural Influence on the Timing PredictabilityReinhard Wilhelm. mmb 2008: 11-12

2007

Static Analysis of Dynamic Communication Systems by Partner AbstractionJörg Bauer, Reinhard Wilhelm. SAS 2007: 249-264 [doi]

SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme)Bernd Becker, Andreas Podelski, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Reinhard Wilhelm. it, 49(2):118, 2007. [doi]

Exploiting SIMD Parallelism with the CGiSCompiler FrameworkNicolas Fritz, Philipp Lucas, Reinhard Wilhelm. lcpc 2008: 246-260 [doi]

Grand challenges in embedded softwareChristoph M. Kirsch, Reinhard Wilhelm. emsoft 2007: 2-6 [doi]

Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, AustriaChristoph M. Kirsch, Reinhard Wilhelm, editors, ACM, 2007.

Timing predictability of cache replacement policiesJan Reineke, Daniel Grund, Christoph Berg, Reinhard Wilhelm. rts, 37(2):99-122, 2007. [doi]

5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, July 5, 2005, Palma de Mallorca, SpainReinhard Wilhelm, editor, Volume 06903 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007.

Logical characterizations of heap abstractionsGreta Yorsh, Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm. tocl, 8(1), 2007. [doi]

2006

Workshop Trustworthy Software 2006, May 18-19, 2006, Saarland University, Saarbrücken, GermanySerge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper, editors, Volume 06000 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.

Preface -- Workshop Trustworthy Software 2006Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper. dagstuhl 2006: [doi]

Abstract Interpretation of Graph TransformationJörg Bauer, Reinhard Wilhelm. dagstuhl 2006: [doi]

Analysis of Dynamic Communicating Systems by Hierarchical AbstractionJörg Bauer, Reinhard Wilhelm. dagstuhl 2006: [doi]

Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and OptimalityWerner Damm, Alexander Metzner, Friedrich Eisenbrand, Gennady Shmonin, Reinhard Wilhelm, Sebastian Winkel. rtcsa 2006: 87-90 [doi]

Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time AnalysisJochen Eisinger, Ilia Polian, Bernd Becker, Alexander Metzner, Stephan Thesing, Reinhard Wilhelm. ddecs 2006: 15-20

Towards Model-Driven Development of Hard Real-Time SystemsChristian Ferdinand, Reinhold Heckmann, Hans-Jörg Wolff, Christian Renz, Oleg Parshin, Reinhard Wilhelm. aswsd 2008: 145-160 [doi]

The CGiS Compiler-A Tool DemonstrationPhilipp Lucas, Nicolas Fritz, Reinhard Wilhelm. CC (empty year): 105-108 [doi]

The Development of the Data-Parallel GPU Programming Language CGiSPhilipp Lucas, Nicolas Fritz, Reinhard Wilhelm. iccS 2006: 200-203 [doi]

A Definition and Classification of Timing AnomaliesJan Reineke, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, Bernd Becker. wcet 2006: [doi]

Verifying Temporal Heap Properties Specified via Evolution LogicEran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm. igpl, 14(5):755-783, 2006. [doi]

2005

Automatic Verification of Strongly Dynamic Software SystemsNurit Dor, John Field, Denis Gopan, Tal Lev-Ami, Alexey Loginov, Roman Manevich, Ganesan Ramalingam, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav, Greta Yorsh. vstte 2008: 82-92 [doi]

Algorithm animation using shape analysis: visualising abstract executionsDierk Johannes, Raimund Seidel, Reinhard Wilhelm. softvis 2005: 17-26 [doi]

A semantics for procedure local heaps and its abstractionsNoam Rinetzky, Jörg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm. POPL 2005: 296-309 [doi]

2005 WCET Preface - Message from the Workshop ChairReinhard Wilhelm. wcet 2007: [doi]

2004

Requirements for and Design of a Processor with Predictable TimingChristoph Berg, Jakob Engblom, Reinhard Wilhelm. dagstuhl 2004: [doi]

Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable CodeChristian Ferdinand, Reinhold Heckmann, Reinhard Wilhelm. aswsd 2006: 1-14 [doi]

Component-Wise Instruction-Cache Behavior PredictionAbdur Rakib, Oleg Parshin, Stephan Thesing, Reinhard Wilhelm. ATVA 2004: 211-229 [doi]

Static Program Analysis via 3-Valued LogicThomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm. cav 2004: 15-30 [doi]

Abstracts CollectionLothar Thiele, Reinhard Wilhelm. dagstuhl 2004: [doi]

Design for Time-PredictabilityLothar Thiele, Reinhard Wilhelm. dagstuhl 2004: [doi]

Perspectives Workshop: Design of Systems with Predictable Behaviour, 16.-19. November 2003Lothar Thiele, Reinhard Wilhelm, editors, Volume 03471 of Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, 2004.

Design for Timing PredictabilityLothar Thiele, Reinhard Wilhelm. rts, 28(2-3):157-177, 2004. [doi]

Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP AloneReinhard Wilhelm. vmcai 2004: 309-322 [doi]

Formal Analysis of Processor Timing ModelsReinhard Wilhelm. spin 2004: 1-4 [doi]

Timing Analysis and Timing PredictabilityReinhard Wilhelm. FMCO 2005: 317-323 [doi]

2003

Validierung des Zeitverhaltens von kritischer Echtzeit-SoftwareChristian Ferdinand, Daniel Kästner, Florian Martin, Marc Langenbach, Martin Sicks, Stephan Wilhelm, Reinhold Heckmann, Nicolas Fritz, Stephan Thesing, Frank Fontaine, Henrik Theiling, Michael Schmidt, Alexander A. Evstiougov-Babaev, Reinhard Wilhelm. gi 2003: 335-339

Convenient User Annotations for a WCET ToolChristian Ferdinand, Reinhold Heckmann, Henrik Theiling, Reinhard Wilhelm. wcet 2003: 17-20

The influence of processor architecture on the design and the results of WCET toolsReinhold Heckmann, Marc Langenbach, Stephan Thesing, Reinhard Wilhelm. pieee, 91(7):1038-1054, 2003.

An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics SoftwareStephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand. dsn 2003: 625 [doi]

Run-Time Guarantees for Real-Time SystemsReinhard Wilhelm. formats 2003: 166-167 [doi]

Industrial Requirements for WCET Tools - Answers to the ARTIST QuestionnaireReinhard Wilhelm, Jakob Engblom, Stephan Thesing, David B. Whalley. wcet 2003: 39-43

Verifying Temporal Heap Properties Specified via Evolution LogicEran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm. ESOP 2003: 204-222 [doi]

2002

Parametric shape analysis via 3-valued logicShmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm. TOPLAS, 24(3):217-298, 2002. [doi]

Shape Analysis and ApplicationsReinhard Wilhelm, Thomas W. Reps, Shmuel Sagiv. In The Compiler Design Handbook. pages 175-218, 2002.

2001

Reliable and Precise WCET Determination for a Real-Life ProcessorChristian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm. emsoft 2001: 469-485 [doi]

Informatics - 10 Years Back. 10 Years AheadReinhard Wilhelm, editor, Volume 2000 of Lecture Notes in Computer Science, Springer, 2001.

Algorithm Explanation: Visualizing Abstract States and InvariantsReinhard Wilhelm, Tomasz Müldner, Raimund Seidel. dagstuhl 2002: 381-394 [doi]

Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, ProceedingsReinhard Wilhelm, editor, Volume 2027 of Lecture Notes in Computer Science, Springer, 2001.

2000

1999

Animation of the Generation and Computation of Finite Automata for Learning SoftwareBeatrix Braune, Stephan Diehl, Andreas Kerren, Reinhard Wilhelm. wia 2001: 39-47 [doi]

Cache Behavior Prediction by Abstract InterpretationChristian Ferdinand, Florian Martin, Reinhard Wilhelm, Martin Alt. SCP, 35(2):163-189, 1999.

Efficient and Precise Cache Behavior Prediction for Real-Time SystemsChristian Ferdinand, Reinhard Wilhelm. rts, 17(2-3):131-181, 1999.

Run-Time Guarantees for Real-Time Systems - The USES ApproachChristian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Michael Schmidt, Jörn Schneider, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm. gi 1999: 410-419

Parametric Shape Analysis via 3-Valued LogicShmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm. POPL 1999: 105-118 [doi]

Timing Analysis and Validation for Real-Time Systems - Guest Editor s IntroductionReinhard Wilhelm. rts, 17(2-3):127-129, 1999.

1998

1997

A Functional Description of TEX s Formula LayoutReinhold Heckmann, Reinhard Wilhelm. JFP, 7(5):451-485, 1997.

Übersetzerbau - Theorie, Konstruktion, Generierung, 2. AuflageReinhard Wilhelm, Dieter Maurer. Springer, 1997.

Program Analysis: A Toolmaker s PerspectiveReinhard Wilhelm. SIGPLAN, 32(1):120-121, 1997.

1996

1995

An application specific parallel programming paradigmThomas Rauber, Gudula Rünger, Reinhard Wilhelm. hpcn 1995: 735-740

CLaX - A Visualized CompilerGeorg Sander, Martin Alt, Christian Ferdinand, Reinhard Wilhelm. gd 1996: 459-462

Compiler designReinhard Wilhelm, Dieter Maurer. Addison-Wesley, 1995.

1994

Implementing 2DT on a MultiprocessorYosi Ben-Asher, Gudula Rünger, Reinhard Wilhelm, Assaf Schuster. cc 1994: 113-127

Lokale Optimierung ausnahmebehafteter Programme durch SpuroptimierungPeter G. Bouillon, Georg Sander, Reinhard Wilhelm. ife, 9(2):72-81, 1994.

Tree Automata for Code SelectionChristian Ferdinand, Helmut Seidl, Reinhard Wilhelm. ACTA, 31(8):741-760, 1994.

Les compilateurs - théorie, construction, générationReinhard Wilhelm, Dieter Maurer. Masson, 1994.

1993

PreviousNext