Ledeczi, A. ., & Abbott, B. . (1993). Model-Based Hardware Configuration Management. Transputer Research and Applications, ISSN: 0925-4986, ISO Press, 6, 318–332.

Ledeczi, A. ., Biegl, C. ., Abbott, B. ., Bapty, T. ., & Sztipanovits, J. . (1993). Automatic Parallel Program Generation for Aerospace Testing. In 9th AIAA Conference on Computing in Aerospace (p. 434–440). San Diego, CA. (Original work published 2024)

Abbott, B. ., Bapty, T. ., Biegl, C. ., Karsai, G. ., & Sztipanovits, J. . (1993). Model-Based Approach for Software Synthesis. IEEE Software, 10, 42–52. (Original work published 2024)

Bapty, T. ., Abbott, B. ., Biegl, C. ., Ledeczi, A. ., & Sztipanovits, J. . (1993). Parallel Turbine Engine Instrumentation System. In Proceedings of the the 9th AIAA Conference on Computing in Aerospace (p. 423–433). San Diego, CA. (Original work published 2024)

Abbott, B. . (1994). Model-Based Automatic Program Synthesis. Vanderbilt University.

Abbott, B. ., & Ledeczi, A. . (1994). TICK: TI TMS320C40 Utility Program. In International Conference on Signal Processing Applications and Technology. Dallas, TX. (Original work published 2024)

Ledeczi, A. ., & Abbott, B. . (1994). Parallel Systems with Flexible Topology. In Scalable High Performance Computing Conference (p. 460–470). Knoxville, TN. (Original work published 2024)

Ledeczi, A. ., Biegl, C. ., & Abbott, B. . (1994). High Performance Graphics for Parallel Systems. In Int. Conf. on Signal Processing Applications and Technology (p. 733–738). Dallas, TX. (Original work published 2024)

Sztipanovits, J. ., Abbott, B. ., & Bapty, T. . (1994). Model-based synthesis of complex embedded systems. In Proceedings of the 1994 Complex Systems Engineering Synthesis and Assessment Technology Workshop (CSESAW’94). Washington DC. (Original work published 2024)

Tibbals, T. ., Bapty, T. ., & Abbott, B. . (1994). CADDMAS: A Real-Time Parallel System for Dynamic Data Analysis. In International Gas Turbine and Aeroengine Congress. The Hauge, Netherlands. (Original work published 2024)