Travelled to:1 × Austria
1 × Canada
1 × Denmark
1 × Estonia
1 × France
1 × Ireland
1 × Poland
1 × Portugal
1 × Spain
1 × Sweden
1 × United Kingdom
10 × USA
8 × Germany
Collaborated with:S.Sagiv T.W.Reps ∅ R.Seidel C.Ferdinand M.Alt J.Bauer J.Reineke B.Wachter U.Möncke T.Heinz F.Martin B.Weisgerber H.Ganzinger S.A.Parduhn P.Lucas N.Fritz D.Johannes T.Müldner G.Sander P.Lipps E.Yahav T.Lev-Ami B.Braune S.Diehl A.Kerren Y.Ben-Asher G.Rünger A.Schuster N.Francez M.Rodeh R.Giegerich E.Frank R.Ernst A.L.Sangiovanni-Vincentelli M.D.Natale N.Rinetzky K.Ripken J.Ciesinger W.Lahner R.Nollmann S.Altmeyer C.Burguière D.Grund J.Herter S.Wilhelm
Talks about:analysi (11) abstract (7) generat (6) system (6) shape (5) static (4) compil (4) logic (4) time (4) transform (3)
Person: Reinhard Wilhelm
DBLP: Wilhelm:Reinhard
Facilitated 4 volumes:
Ed
EdEd
EdContributed to:
2014
20102009
20082008
2008
20072006
20052005200420042003
20012000
20001999
199919981998199619961994
19931990
199019881984
1982
1976Wrote 31 papers:
- DATE-2014-ReinekeW #performance #predict #resource management
- Impact of resource sharing on performance and performance prediction (JR, RW), pp. 1–2.
- VMCAI-2010-WilhelmABGHRWW #analysis #realtime
- Static Timing Analysis for Hard Real-Time Systems (RW, SA, CB, DG, JH, JR, BW, SW), pp. 3–22.
- LCTES-2009-HeinzW #code generation #towards
- Towards device emulation code generation (TH, RW), pp. 109–118.
- CAV-2008-WilhelmW #abstract interpretation #validation
- Abstract Interpretation with Applications to Timing Validation (RW, BW), pp. 22–36.
- DATE-2008-FrankWESN #analysis #architecture #design #evaluation #standard #tool support
- Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures (EF, RW, RE, ALSV, MDN), pp. 659–663.
- SOFTVIS-2008-ParduhnSW #algorithm #graph #using #visualisation
- Algorithm visualization using concrete and abstract shape graphs (SAP, RS, RW), pp. 33–36.
- SAS-2007-BauerW #abstraction #communication #static analysis
- Static Analysis of Dynamic Communication Systems by Partner Abstraction (JB, RW), pp. 249–264.
- CC-2006-LucasFW #compilation #tool support
- The CGiS Compiler — A Tool Demonstration (PL, NF, RW), pp. 105–108.
- POPL-2005-RinetzkyBRSW #abstraction #semantics
- A semantics for procedure local heaps and its abstractions (NR, JB, TWR, SS, RW), pp. 296–309.
- SOFTVIS-2005-JohannesSW #algorithm #analysis #animation #using #visualisation
- Algorithm animation using shape analysis: visualising abstract executions (DJ, RS, RW), pp. 17–26.
- CAV-2004-RepsSW #logic #program analysis
- Static Program Analysis via 3-Valued Logic (TWR, SS, RW), pp. 15–30.
- VMCAI-2004-Wilhelm #why
- Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone (RW), pp. 309–322.
- ESOP-2003-YahavRSW #evolution #logic #verification
- Verifying Temporal Heap Properties Specified via Evolution Logic (EY, TWR, SS, RW), pp. 204–222.
- SVIS-2001-WilhelmMS #algorithm #invariant #visualisation
- Algorithm Explanation: Visualizing Abstract States and Invariants (RW, TM, RS), pp. 381–394.
- CC-2000-WilhelmSR #analysis
- Shape Analysis (RW, SS, TWR), pp. 1–17.
- ISSTA-2000-Lev-AmiRSW #case study #static analysis #verification
- Putting static analysis to work for verification: A case study (TLA, TWR, SS, RW), pp. 26–38.
- POPL-1999-SagivRW #analysis #logic #parametricity
- Parametric Shape Analysis via 3-Valued Logic (SS, TWR, RW), pp. 105–118.
- WIA-1999-BrauneDKW #animation #automaton #finite #generative #learning
- Animation of the Generation and Computation of Finite Automata for Learning Software (BB, SD, AK, RW), pp. 39–47.
- CC-1998-MartinAWF #analysis
- Analysis of Loops (FM, MA, RW, CF), pp. 80–94.
- LCTES-1998-FerdinandW #behaviour #on the #predict #realtime
- On Predicting Data Cache Behavior for Real-Time Systems (CF, RW), pp. 16–30.
- POPL-1996-SagivRW #problem
- Solving Shape-Analysis Problems in Languages with Destructive Updating (SS, TWR, RW), pp. 16–31.
- SAS-1996-AltFMW #abstract interpretation #behaviour #predict
- Cache Behavior Prediction by Abstract Interpretation (MA, CF, FM, RW), pp. 52–66.
- CC-1994-Ben-AsherRWS #2d #implementation #multi
- Implementing 2DT on a Multiprocessor (YBA, GR, RW, AS), pp. 113–127.
- PLILP-1993-AltSW #compilation #generative #parallel
- Generation of Synchronization Code for Parallel Compilers (MA, GS, RW), pp. 420–421.
- PLILP-1990-SagivFRW #analysis #approach #data flow #problem
- A Logic-Based Approach to Data Flow Analysis Problem (SS, NF, MR, RW), pp. 277–292.
- WAGA-1990-Wilhelm #attribute grammar #functional #program transformation
- Tree Transformations, Functional Languages, and Attribute Grammars (RW), pp. 116–129.
- CCHSC-1988-LippsMW #case study #experience #named #overview #program transformation #specification
- OPTRAN — A Language/System for the Specification of Program Transformations: System Overview and Experiences (PL, UM, RW), pp. 52–65.
- CCHSC-1988-WeisgerberW #pattern matching
- Two Tree Pattern Matchers for Code Selection (BW, RW), pp. 215–229.
- POPL-1984-Wilhelm #attribute grammar
- Inverse Currying Transformation on Attribute Grammars (RW), pp. 140–147.
- SCC-1982-GanzingerGMW #compilation #generative #semantics
- A Truly Generative Semantics-Directed Compiler Generator (HG, RG, UM, RW), pp. 172–184.
- ICSE-1976-WilhelmRCGLN #compilation #design #evaluation #generative
- Design Evaluation of the Compiler Generating System MUGI (RW, KR, JC, HG, WL, RN), pp. 571–576.