dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Thomas W. Reps (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGreta Yorsh, Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm: Logical characterizations of heap abstractions. ACM Trans. Comput. Log. 8(1): (2007)
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Verifying Temporal Heap Properties Specified via Evolution Logic. Logic Journal of the IGPL 14(5): 755-783 (2006)
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNoam Rinetzky, Jörg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: A semantics for procedure local heaps and its abstractions. POPL 2005: 296-309
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNurit Dor, John Field, Denis Gopan, Tal Lev-Ami, Alexey Loginov, Roman Manevich, G. Ramalingam, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav, Greta Yorsh: Automatic Verification of Strongly Dynamic Software Systems. VSTTE 2005: 82-92
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Static Program Analysis via 3-Valued Logic. CAV 2004: 15-30
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Verifying Temporal Heap Properties Specified via Evolution Logic. ESOP 2003: 204-222
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGreta Yorsh, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Logical Characterizations of Heap Abstractions CoRR cs.LO/0312014: (2003)
81no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm, Thomas W. Reps, Shmuel Sagiv: Shape Analysis and Applications. The Compiler Design Handbook 2002: 175-218
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm: Parametric shape analysis via 3-valued logic. ACM Trans. Program. Lang. Syst. 24(3): 217-298 (2002)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm, Shmuel Sagiv, Thomas W. Reps: Shape Analysis. CC 2000: 1-17
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Putting static analysis to work for verification: A case study. ISSTA 2000: 26-38
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm: Parametric Shape Analysis via 3-Valued Logic. POPL 1999: 105-118
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm: Solving Shape-Analysis Problems in Languages with Destructive Updating. ACM Trans. Program. Lang. Syst. 20(1): 1-50 (1998)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm: Solving Shape-Analysis Problems in Languages with Destructive Updating. POPL 1996: 16-31

Selection of 14 from 176 records - Thomas W. Reps has 102 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page