Вы здесь

Hatcliff J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Extending JML for Modular Specification and Verification of Multi-threaded Programs 2005 Rodriguez E., Dwyer M., Flanagan C., Hatcliff J., Leavens G. T., Robby Fnu. Lecture Notes in Computer Science Lecture Notes in Computer Science 13.09.2005
СТ SyncGen: An Aspect-Oriented Framework for Synchronization 2004 Deng X., Dwyer M., Hatcliff J., Mizuno M. Lecture Notes in Computer Science 15.05.2004
СТ Checking Strong Specifications Using an Extensible Software Model Checking Framework 2004 Robby., Rodriguez E., Dwyer M. B., Hatcliff J. Lecture Notes in Computer Science 15.05.2004
СТ Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs 2004 Ranganath V. P., Hatcliff J. Lecture Notes in Computer Science 22.04.2004
СТ A Correlation Framework for the CORBA Component Model 2004 Jung G., Hatcliff J., Panganath V. P. Lecture Notes in Computer Science 16.04.2004
СТ Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems 2004 Childs A., Greenwald J., Ranganath V. P., Deng X., Dwyer M., Hatcliff J., Jung G., Shanti P., Singh G. Lecture Notes in Computer Science 16.04.2004
СТ Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking 2004 Hatcliff J., Robby., Dwyer M. B. Lecture Notes in Computer Science 12.02.2004
СТ Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software 2003 Deng X., Dwyer M. B., Hatcliff J., Jung G., Robby., Singh G. Lecture Notes in Computer Science 31.01.2004
СТ Foundations of the Bandera Abstraction Tools 2002 Hatcliff J., Dwyer M. B., Pasareanu C. S., Robby. Lecture Notes in Computer Science 14.02.2003
СТ Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software 2001 Hatcliff J., Dwyer M. Lecture Notes in Computer Science 04.10.2001
СТ A Language Framework for Expressing Checkable Properties of Dynamic Software 2000 Corbett J. C., Dwyer M. B., Hatcliff J., Robby. Lecture Notes in Computer Science 26.09.2000
СТ An Introduction to Online and Offline Partial Evaluation Using a Simple Flowchart Language 1999 Hatcliff J. Lecture Notes in Computer Science 15.12.1999
СТ A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives 1999 Hatcliff J., Corbett J., Dwyer M., Sokolowski S., Zheng H. Lecture Notes in Computer Science 19.10.1999
СТ Staging Static Analyses Using Abstraction-Based Program Specialization 1998 Hatcliff J., Dwyer M., Laubach S. Lecture Notes in Computer Science 13.10.1998
СТ Reasoning about Hierarchies of Online Program Specialization Systems 1996 Hatcliff J., Gluck R. Lecture Notes in Computer Science Partial Evaluation 09.10.1996
СТ Mechanically Verifying the Correctness of an Offline Partial Evaluator 1995 Hatcliff J. Lecture Notes in Computer Science Programming Languages: Implementations, Logics and Programs 16.11.1995
СТ On the Transformation Between Direct and Continuation Semantics 1994 Davny O., Hatcliff J. Lecture Notes in Computer Science 28.06.1994
СТ Thunks (continued) 1992 Danvy O., Hatcliff J. BIGRE 05.11.1992