Daniel L. Dvorak

A unifying framework for systems modeling, control systems design, and system operation

Daniel L. Dvorak, Mark B. Indictor, Michel D. Ingham, 2005, 2005 IEEE International Conference on Systems, Man and Cybernetics.

Separating essentials from incidentals: an execution architecture for real-time control systems

Daniel L. Dvorak, William K. Reinholtz, 2004, Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings..

Programming with non-heap memory in the real time specification for Java

Daniel L. Dvorak, Mark B. Indictor, Kirk Reinholtz, 2003, OOPSLA '03.

Hard real-time: C++ versus RTSJ

Daniel L. Dvorak, William K. Reinholtz, 2004, OOPSLA '04.

Reduced, Reusable and Reliable Monitor Software

Daniel L. Dvorak, D. Dvorak, 1997 .

Combinatorial Generation of Test Suites

Daniel L. Dvorak, Anthony C. Barrett, 2009 .

Guide to CL-Protos: An Exemplar-based Learning Apprentice,

Daniel L. Dvorak, D. Dvorak, 1988 .

Architecture for Verifiable Software

Daniel L. Dvorak, William K. Reinholtz, 2005 .

NASA Study on Flight Software Complexity

Daniel L. Dvorak, D. Dvorak, 2009 .

Project Golden Gate: towards real-time Java in space missions

Daniel L. Dvorak, Mark B. Indictor, Kirk Reinholtz, 2004, Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings..

Goal-Based Operations of an Antenna Array for Deep Space Communication

Daniel L. Dvorak, Michel D. Ingham, Joshua S. Choi, 2008 .