| TITLE | AUTHOR | TR PDF
|
| A Bibliography of Aspect-Oriented Software Development (2003).
| Robert E. Filman
| TR03.01
|
| Practical Formal Verification of Diagnosability of Large Models via Symbolic Model Checking (2003).
| Roberto Cavada and Charles Pecheur
| TR03.03
|
| Generating Canonical Example Sentences Using Candidate Words (2003).
| John Dowding, Gregory Aist, Beth Ann Hockey and Elizabeth Owen Bratt
| TR03.05
|
| On the minimization over SO(3) manifolds (2003).
| Frank O. Kuehnel
| TR03.12
|
| Source-Code Instrumentation and Quantification of Events (2002).
| Robert E. Filman, and Klaus Havelund
| TR02.01
|
| Polychotomic Encoding: A Better Quasi-Optimal Bit-Vector Encoding of Tree Hierarchies (2002).
| Robert E. Filman
| TR02.02
|
| Synthesizing Certified Code (2002).
| Michael Whalen, Johann Schumann, and Bernd Fischer
| TR02.03
|
| Injectors and Annotations (2002).
| Robert E. Filman
| TR02.04
|
| A Bibliography of Aspect-Oriented Software Development (2002).
| Robert E. Filman
| TR02.06
|
| Technology Requirements for Information Management (2002).
| Sara Graves, Craig Knoblock and Larry Lannom
| TR02.07
|
| What went Wrong: Explaining Counterexamples (2002).
| Alex Groce and Willem Visser
| TR02.08
|
| Learning Assumptions for Compositional Verification (2002).
| Dimitra Giannakopoulou, Jamieson Cobleigh and Corina Pasareanu
| TR02.09
|
| Addressing Dynamic Issues of Program Model Checking (2001).
| Flavio Lerda and Willem Visser
| TR01.05
|
| Redirecting by Injector (2001).
| Robert E. Filman and Diana D. Lee
| TR01.09
|
| A Software Architecture for Intelligent Synthesis Environments (2001).
| Robert E. Filman
| TR01.10
|
| Managing Distributed Systems with Smart Subscriptions (2001).
| Robert E. Filman and Diana D. Lee
| TR01.11
|
| Aspect-Oriented Programming is Quantification and Obliviousness (2001).
| Robert E. Filman and Daniel P. Friedman
| TR01.12
|
| Applying Aspect-Oriented Programming to Intelligent Synthesis (2001).
| Robert E. Filman
| TR01.13
|
| What Is Aspect-Oriented Programming, Revisited (2001).
| Robert E. Filman
| TR01.14
|
| Runtime Analysis of Linear Temporal Logic Specifications. (2001).
| Dimitra Giannakopoulou and Klaus Havelund
| TR01.21
|
| Robust Automatic Feature Detection and Matching Between Multiple Images (2001).
| Maurice Ringer and Robin Morris
| TR01.27
|
| A Stochastic Map For Uncertain Spatial Relationships (1995).
| Randall Smith, Matthew Self and Peter Cheeseman
| TR95.xx
|
| Estimating Uncertain Spatial Relationships in Robotics (1990).
| Peter Cheeseman, Randall Smith, and Matthew Self
| TR90.xx
|
