Вы здесь

Ball T.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft 2004 Ball T., Cook B., Levin V., Rajamani S. K. Lecture Notes in Computer Science 21.05.2004
СТ Automatic Creation of Environment Models via Training 2004 Ball T., Levin V., Xie F. Lecture Notes in Computer Science 15.05.2004
СТ Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis 2002 Adams S., Ball T., Das M., Lerner S., Rajamani S. K., Seigle M., Weimer W. Lecture Notes in Computer Science 31.10.2002
СТ Relative Completeness of Abstraction Refinement for Software Model Checking 2002 Ball T., Podelsi A., Rajamani S. K. Lecture Notes in Computer Science 21.05.2002
СТ Automatically Validating Temporal Safety Properties of Interfaces 2001 Ball T., Rajamani S. K. Lecture Notes in Computer Science 14.06.2001
СТ Boolean and Cartesian Abstraction for Model Checking C Programs 2001 Ball T., Podelski A., Rajamani S. K. Lecture Notes in Computer Science Lecture Notes in Computer Science 08.05.2001
СТ Bebop: A Symbolic Model Checker for Boolean Programs 2000 Ball T., Rajamani S. K. Lecture Notes in Computer Science 26.09.2000
СТ MAWL: A Domain-Specific Language for Form-Based Services 1999 Atkins D. L., Ball T., Bruns G., Cox K. IEEE Trans. on Software Engineering 29.10.1999
СТ Coping with Type Casts in C 1999 Siff M., Chandra S., Ball T., Kuchithapadam K., Reps T. Lecture Notes in Computer Science 14.10.1999
СТ The Concept of Dynamic Analysis 1999 Ball T. Lecture Notes in Computer Science 14.10.1999
СТ Paths between Imperative and Functional Programming 1999 Ball T. SIGPLAN Notices 20.08.1999
СТ On the Limit of Control Flow Analysis for Regression Test Selection 1998 Ball T. Software Engineering Notes 30.07.1998
СТ Edge Profiling versus Path Profiling: The Showdown 1998 Ball T., Mataga P., Sagiv M. Conf. Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symp. on Principles of Programming Languages 14.05.1998
СТ The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem 1997 Reps T., Ball T., Das M., Larus J. Lecture Notes in Computer Science 07.10.1997
СТ Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling 1997 Ammons G., Ball T., Larus J. R. SIGPLAN Notices 09.07.1997
СТ Optimally Profiling and Tracing Programs 1994 Ball T., Larus J. R. ACM Trans. Programming Languages and Systems 15.11.1994
СТ Slicing Programs with Arbitrary Control-Flow 1993 Ball T., Horwitz S. Lecture Notes in Computer Science 09.12.1993