Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Thomas W. Reps" ( http://dblp.L3S.de/Authors/Thomas_W._Reps )

URL (Homepage):  http://www.cs.wisc.edu/~reps/reps.html  Author page on DBLP  Author page in RDF  Community of Thomas W. Reps in ASPL-2

Publication years (Num. hits)
1981-1988 (16) 1989-1992 (16) 1993-1996 (21) 1997-1999 (16) 2000-2002 (15) 2003-2004 (18) 2005 (15) 2006-2007 (24) 2008-2010 (22) 2011-2012 (7)
Publication types (Num. hits)
article(44) book(4) incollection(2) inproceedings(118) proceedings(2)
Venues (Conferences, Journals, ...)
POPL(14) CAV(13) ACM Trans. Program. Lang. Syst...(12) SAS(12) CC(8) ESOP(6) TACAS(6) SIGSOFT FSE(5) PEPM(4) PLDI(4) STTT(4) VMCAI(4) Acta Inf.(3) Program Analysis and Compilati...(3) Theor. Comput. Sci.(3) ACM Trans. Softw. Eng. Methodo...(2) More (+10 of total 68)
Authors
Thomas W. Reps(170) Shmuel Sagiv(30) Susan Horwitz(21) Tim Teitelbaum(16) Akash Lal(14) Gogul Balakrishnan(14) Mooly Sagiv(14) Reinhard Wilhelm(14) Junghee Lim(12) Nicholas Kidd(11) Somesh Jha(11) Alexey Loginov(10) Greta Yorsh(10) David Melski(8) Denis Gopan(8) G. Ramalingam(8) More (+10 of total 99)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 101 occurrences of 70 keywords
Results
Found 170 publication records. Showing 170 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Andy King, Alan Mycroft, Thomas W. Reps, Axel Simon Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri Finding concurrency-related bugs using random isolation. Search on Bibsonomy STTT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps A decision procedure for detecting atomicity violations for communicating processes with locks. Search on Bibsonomy STTT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Junghee Lim, Akash Lal, Thomas W. Reps Symbolic analysis via semantic reinterpretation. Search on Bibsonomy STTT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Wei Zhang 0022, Junghee Lim, Ramya Olichandran, Joel Scherpelz, Guoliang Jin, Shan Lu, Thomas W. Reps ConSeq: detecting concurrency bugs through sequential errors. Search on Bibsonomy ASPLOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps Abstract Domains of Affine Relations. Search on Bibsonomy SAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Evan Driscoll, Amanda Burton, Thomas W. Reps Checking conformance of a producer and a consumer. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Matt Elder, Denis Gopan, Thomas W. Reps View-Augmented Abstractions. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Thomas W. Reps, Mooly Sagiv, Alexey Loginov Finite differencing of logical formulas for static analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gogul Balakrishnan, Thomas W. Reps WYSINWYX: What you see is not what you eXecute. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Mooly Sagiv A relational approach to interprocedural shape analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Anupam Datta, Somesh Jha, Ninghui Li, David Melski, Thomas W. Reps Analysis Techniques for Information Security Search on Bibsonomy 2010   DOI  RDF
1Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps Directed Proof Generation for Machine Code. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gogul Balakrishnan, Akash Lal There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bill McCloskey, Thomas W. Reps, Mooly Sagiv Statically Inferring Complex Heap, Array, and Numeric Invariants. Search on Bibsonomy SAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1William R. Harris, Somesh Jha, Thomas W. Reps DIFC programs by automatic instrumentation. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Mooly Sagiv, Siddharth Srivastava, Greta Yorsh Simulating reachability using first-order logic with applications to verification of linked data structures Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2009 DBLP  BibTeX  RDF
1Akash Lal, Thomas W. Reps Reducing concurrent analysis under a context bound to sequential analysis. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks. Search on Bibsonomy SPIN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Junghee Lim, Akash Lal, Thomas W. Reps Symbolic Analysis via Semantic Reinterpretation. Search on Bibsonomy SPIN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps Verifying Information Flow Control over Unbounded Processes. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri Finding Concurrency-Related Bugs Using Random Isolation. Search on Bibsonomy VMCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps Interprocedural Analysis of Concurrent Programs Under a Context Bound. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gogul Balakrishnan, Thomas W. Reps Analyzing Stripped Device-Driver Executables. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Junghee Lim, Thomas W. Reps A System for Generating Static Analyzers for Machine Instructions. Search on Bibsonomy CC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Thomas W. Reps, Gogul Balakrishnan Improved Memory-Access Analysis for x86 Executables. Search on Bibsonomy CC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Akash Lal, Thomas W. Reps Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Nicholas Kidd, Akash Lal, Thomas W. Reps Language Strength Reduction. Search on Bibsonomy SAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Akash Lal, Thomas W. Reps Solving Multiple Dataflow Queries Using WPDSs. Search on Bibsonomy SAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Greta Yorsh, Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm Logical characterizations of heap abstractions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF canonical abstraction, Logic, shape analysis, characterization
1Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum A Next-Generation Platform for Analyzing Executables. Search on Bibsonomy Malware Detection The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Tal Lev-Ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv Labelled Clauses. Search on Bibsonomy CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Thomas W. Reps, Mooly Sagiv, Jörg Bauer 0001 (eds.) Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2007 DBLP  BibTeX  RDF
1Denis Gopan, Thomas W. Reps Low-Level Library Analysis and Summarization. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Igor Bogudlov, Tal Lev-Ami, Thomas W. Reps, Mooly Sagiv Revamping TVLA: Making Parametric Shape Analysis Competitive. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav Comparison Under Abstraction for Verifying Linearizability. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Denis Gopan, Thomas W. Reps Guided Static Analysis. Search on Bibsonomy SAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili Abstract Error Projection. Search on Bibsonomy SAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gogul Balakrishnan, Thomas W. Reps DIVINE: DIscovering Variables IN Executables. Search on Bibsonomy VMCAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W. Reps Constructing Specialized Shape Analyses for Uniform Change. Search on Bibsonomy VMCAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Thomas W. Reps, Akash Lal, Nicholas Kidd Program Analysis Using Weighted Pushdown Systems. Search on Bibsonomy FSTTCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm Verifying Temporal Heap Properties Specified via Evolution Logic. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili Verifying Concurrent Message-Passing C Programs with Recursive Calls. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Somesh Jha, Stefan Schwoon, Hao Wang, Thomas W. Reps Weighted Pushdown Systems and Trust-Management Systems. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Thomas W. Reps, Gogul Balakrishnan, Junghee Lim Intermediate-representation recovery from low-level code. Search on Bibsonomy PEPM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Junghee Lim, Thomas W. Reps, Ben Liblit Extracting Output Formats from Executables. Search on Bibsonomy WCRE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alexey Loginov, Thomas W. Reps, Mooly Sagiv Refinement-Based Verification for Possibly-Cyclic Lists. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Thomas W. Reps, Mooly Sagiv, Jörg Bauer 0001 An Appreciation of the Work of Reinhard Wilhelm. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Denis Gopan, Thomas W. Reps Lookahead Widening. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Akash Lal, Thomas W. Reps Improving Pushdown System Model Checking. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alexey Loginov, Thomas W. Reps, Mooly Sagiv Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm. Search on Bibsonomy SAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Gogul Balakrishnan, Thomas W. Reps Recency-Abstraction for Heap-Allocated Storage. Search on Bibsonomy SAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Hao Wang, Somesh Jha, Thomas W. Reps, Stefan Schwoon, Stuart G. Stubblebine Reducing the Dependence of SPKI/SDSI on PKI. Search on Bibsonomy ESORICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Thomas W. Reps, Stefan Schwoon, Somesh Jha, David Melski Weighted pushdown systems and their application to interprocedural dataflow analysis. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Greta Yorsh, Alexey Skidanov, Thomas W. Reps, Shmuel Sagiv Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis Analysis of recursive state machines. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF recursive state machines, model checking, temporal logic, program analysis, Software verification, context-free languages, pushdown automata
1Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Shmuel Sagiv, Siddharth Srivastava, Greta Yorsh Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures. Search on Bibsonomy CADE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Denis Gopan, Thomas W. Reps, Shmuel Sagiv A framework for numeric analysis of array operations. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF abstract numeric domains, array analysis, canonical abstraction, program analysis, summarization
1Noam Rinetzky, Jörg Bauer 0001, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm A semantics for procedure local heaps and its abstractions. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF 3-valued logic, static analysis, abstract interpretation, shape analysis
1Gogul Balakrishnan, Thomas W. Reps, David Melski, Tim Teitelbaum WYSINWYX: What You See Is Not What You eXecute. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Nurit 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. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Gogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum CodeSurfer/x86-A Platform for Analyzing x86 Executables. Search on Bibsonomy CC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum A Next-Generation Platform for Analyzing Executables. Search on Bibsonomy APLAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alexey Loginov, Thomas W. Reps, Shmuel Sagiv Abstraction Refinement via Inductive Learning. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Akash Lal, Thomas W. Reps, Gogul Balakrishnan Extended Weighted Pushdown Systems. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd, Akash Lal, Junghee Lim, David Melski, Radu Gruian, Suan Hsi Yong, Chi-Hua Chen, Tim Teitelbaum Model Checking x86 Executables with CodeSurfer/x86 and WPDS++. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Bertrand Jeannet, Denis Gopan, Thomas W. Reps A Relational Abstraction for Functions. Search on Bibsonomy SAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Vinod Ganapathy, Sanjit A. Seshia, Somesh Jha, Thomas W. Reps, Randal E. Bryant Automatic discovery of API-level exploits. Search on Bibsonomy ICSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF API-level exploit, bounded model checking
1Somesh Jha, Thomas W. Reps Model checking SPKI/SDSI. Search on Bibsonomy Journal of Computer Security The full citation details ... 2004 DBLP  BibTeX  RDF
1Greta Yorsh, Thomas W. Reps, Shmuel Sagiv Symbolically Computing Most-Precise Abstract Operations for Shape Analysis. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Denis Gopan, Frank DiMaio, Nurit Dor, Thomas W. Reps, Shmuel Sagiv Numeric Domains with Summarized Dimensions. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Gogul Balakrishnan, Thomas W. Reps Analyzing Memory Accesses in x86 Executables. Search on Bibsonomy CC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm Static Program Analysis via 3-Valued Logic. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh Verification via Structure Simulation. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Shmuel Sagiv A Relational Approach to Interprocedural Shape Analysis. Search on Bibsonomy SAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Thomas W. Reps, Shmuel Sagiv, Greta Yorsh Symbolic Implementation of the Best Transformer. Search on Bibsonomy VMCAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh The Boundary Between Decidability and Undecidability for Transitive-Closure Logics. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Paul Anderson, Thomas W. Reps, Tim Teitelbaum Design and Implementation of a Fine-Grained Software Inspection Tool. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF chopping, program understanding, slicing, Software inspection, software model checking, dependence graphs
1Paul Anderson, Thomas W. Reps, Tim Teitelbaum, Mark Zarins Tool Support for Fine-Grained Software Inspection. Search on Bibsonomy IEEE Software The full citation details ... 2003 DBLP  DOI  BibTeX  RDF chopping, program understanding, slicing, software inspection, dependence graphs
1Greta Yorsh, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm Logical Characterizations of Heap Abstractions Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Thomas W. Reps, Louis B. Rall Computational Divided Differencing and Divided-Difference Arithmetics. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2003 DBLP  DOI  BibTeX  RDF computational differentiation, interpolation, program transformation, multivariate interpolation, round-off error, divided differences
1Stefan Schwoon, Somesh Jha, Thomas W. Reps, Stuart G. Stubblebine On Generalized Authorization Problems. Search on Bibsonomy CSFW The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1David Melski, Thomas W. Reps The Interprocedural Express-Lane Transformation. Search on Bibsonomy CC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Thomas W. Reps, Stefan Schwoon, Somesh Jha Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis. Search on Bibsonomy SAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm Verifying Temporal Heap Properties Specified via Evolution Logic. Search on Bibsonomy ESOP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Thomas W. Reps, Shmuel Sagiv, Alexey Loginov Finite Differencing of Logical Formulas for Static Analysis. Search on Bibsonomy ESOP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm Parametric shape analysis via 3-valued logic. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF 3-valued logic, destructive updating, static analysis, Abstract interpretation, shape analysis, constraint solving, pointer analysis, alias analysis
1Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum Program slicing for VHDL. Search on Bibsonomy STTT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Model checking, Formal verification, VHDL, Program slicing, Hardware description languages
1Reinhard Wilhelm, Thomas W. Reps, Shmuel Sagiv Shape Analysis and Applications. Search on Bibsonomy The Compiler Design Handbook The full citation details ... 2002 DBLP  BibTeX  RDF
1Somesh Jha, Thomas W. Reps Analysis of SPKI/SDSI Certificates Using Model Checking. Search on Bibsonomy CSFW The full citation details ... 2002 DBLP  DOI  BibTeX  RDF certificate-chain discovery, certificate-set analysis, model checking, authorization, naming, pushdown system, SPKI/SDSI
1Thomas W. Reps, Alexey Loginov, Shmuel Sagiv Semantic Minimization of 3-Valued Propositional Formulae. Search on Bibsonomy LICS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Thomas W. Reps Static Program Analysis via 3-Valued Logic. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Patrice Godefroid, Thomas W. Reps Model Checking of Unrestricted Hierarchical State Machines. Search on Bibsonomy ICALP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps Debugging via Run-Time Type Checking. Search on Bibsonomy FASE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Zhichen Xu, Thomas W. Reps, Barton P. Miller Typestate Checking of Machine Code. Search on Bibsonomy ESOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1David Melski, Thomas W. Reps Interconvertibility of a class of set constraints and context-free-language reachability. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Thomas W. Reps Undecidability of context-sensitive data-independence analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF ?, context-sensitive program-analysis, graph-reachability problem, linear matche-parenthesis language, structure-transmitted data-dependence, dependence analysis, control-flow analysis, set constraints, set-based analysis
1Zhichen Xu, Barton P. Miller, Thomas W. Reps Safety checking of machine code. Search on Bibsonomy PLDI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm Putting static analysis to work for verification: A case study. Search on Bibsonomy ISSTA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF alloy language, detecting bugs, relational formulas, model checking, testing, static analysis, constraint solvers
1Mark N. Wegman, Thomas W. Reps (eds.) POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000 Search on Bibsonomy POPL The full citation details ... 2000 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 170 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.