Henzinger, Thomas A., and Christoph Kirsch. A Typed Assembly Language for Real-Time Programs. ACM, 2004, pp. 104–13, doi:10.1145/1017753.1017774.

Henzinger, Thomas A., et al. Abstractions from Proofs. ACM, 2004, pp. 232–44, doi:10.1145/964001.964021.

Henzinger, Thomas A., et al. “Extreme Model Checking.”10.1007/978-3-540-39910-0_16__Verification: Theory and Practice, vol. 2772, Springer, 2004, pp. 332–58, doi:10.1007/978-3-540-39910-0_16.

Henzinger, Thomas A., et al. Race Checking by Context Inference. ACM, 2004, pp. 1–13, doi:10.1145/996841.996844.

Ghosal, Arkadeb, et al. Event-Driven Programming with Logical Execution Times. Vol. 2993, Springer, 2004, pp. 167–70, doi:10.1007/978-3-540-24743-2_24.

Chatterjee, Krishnendu, et al. Trading Memory for Randomness. IEEE, 2004, pp. 206–17, doi:10.1109/QEST.2004.10051.

Chatterjee, Krishnendu, et al. Quantitative Stochastic Parity Games. SIAM, 2004, pp. 121–30.

Chatterjee, Krishnendu, et al. “Stack Size Analysis for Interrupt-Driven Programs.”10.1016/j.ic.2004.06.001__Information and Computation, vol. 194, no. 2, Elsevier, 2004, pp. 144–74, doi:10.1016/j.ic.2004.06.001.

Beyer, Dirk, et al. The BLAST Query Language for Software Verification. Vol. 3148, Springer, 2004, pp. 2–18, doi:10.1007/978-3-540-27864-1_2.

Beyer, Dirk, et al. An Eclipse Plug-in for Model Checking. IEEE, 2004, pp. 251–55, doi:10.1109/WPC.2004.1311069Â  .