| Certifying Kalman Filters (2003).
| Laurentiu Leustean and Grigore Rosu
| TR03.02
|
| Practical Formal Verification of Diagnosability of Large Models via Symbolic Model Checking (2003).
| Roberto Cavada and Charles Pecheur
| TR03.03
|
| The Livingstone Model of a Main Propulsion System (2002).
| Anupa Bajwa, and Adam Sweet
| TR03.04
|
| Generating Canonical Example Sentences Using Candidate Words (2003).
| John Dowding, Gregory Aist, Beth Ann Hockey and Elizabeth Owen Bratt
| TR03.05
|
| Technology Requirements for Information Management (2002).
| Sara Graves, Craig Knoblock and Larry Lannom
| TR02.07
|
| A Software Architecture for Intelligent Synthesis Environments (2001).
| Robert Filman
| TR01.10
|
| Applying Aspect-Oriented Programming to Intelligent Synthesis (2001).
| Robert E. Filman
| TR01.13
|
| RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems (2001).
| Charles Pecheur, Willem Visser and Reid Simmons
| TR01.20
|
| Runtime Analysis of Linear Temporal Logic Specifications (2001).
| Dimitra Giannakopoulou and Klaus Havelund
| TR01.21
|
| D3: A Collaborative Infrastructure for Aerospace Design (2001).
| Joan Walton, Robert E. Filman, Chris Knight, David J. Korsmeyer, and Diana D. Lee
| TR01.22
|
| Efficient translation of LTL formulae into Buchi automata (2001).
| Dimitra Giannakopoulou and Flavio Lerda
| TR01.29
|
