| 2004 |
|---|
| 8 | EE | Daniel Dvorak,
Gregory Bollella,
Tim Canham,
Vanessa Carson,
Virgil Champlin,
Brian Giovannoni,
Mark Indictor,
Kenny Meyer,
Alex Murray,
Kirk Reinholtz:
Project Golden Gate: Towards Real-Time Java in Space Missions.
ISORC 2004: 15-22 |
| 2003 |
|---|
| 7 | EE | Gregory Bollella,
Tim Canham,
Vanessa Carson,
Virgil Champlin,
Daniel Dvorak,
Brian Giovannoni,
Mark Indictor,
Kenny Meyer,
Alex Murray,
Kirk Reinholtz:
Programming with non-heap memory in the real time specification for Java.
OOPSLA Companion 2003: 361-369 |
| 2002 |
|---|
| 6 | EE | Diane J. Litman,
Peter F. Patel-Schneider,
Anil Mishra,
James M. Crawford,
Daniel Dvorak:
R++: Adding Path-Based Rules to C++.
IEEE Trans. Knowl. Data Eng. 14(3): 638-658 (2002) |
| 1998 |
|---|
| 5 | | Michael R. Lowry,
Daniel Dvorak:
Analytic Verification of Flight Software.
IEEE Intelligent Systems 13(5): 45-49 (1998) |
| 1996 |
|---|
| 4 | | James M. Crawford,
Daniel Dvorak,
Diane J. Litman,
Anil Mishra,
Peter F. Patel-Schneider:
Path-Based Rules in Object-Oriented Programming.
AAAI/IAAI, Vol. 1 1996: 490-497 |
| 1995 |
|---|
| 3 | | James M. Crawford,
Daniel Dvorak,
Diane J. Litman,
Anil Mishra,
Peter F. Patel-Schneider:
Device Representation and Reasoning with Affective Relations.
IJCAI 1995: 1814-1820 |
| 1991 |
|---|
| 2 | EE | Daniel Dvorak,
Benjamin Kuipers:
Process Monitoring and Diagnosis: A Model-Based Approach.
IEEE Expert 6(3): 67-74 (1991) |
| 1989 |
|---|
| 1 | | Daniel Dvorak,
Benjamin Kuipers:
Model-Based Monitoring of Dynamic Systems.
IJCAI 1989: 1238-1243 |
