Larry M. Augustin

Publication Activity (10 Years)

Years Active: 1988-2002
Publications (10 Years): 0

Publications

Larry M. Augustin, Dan Bressler, Guy Smith
Accelerating software development through collaboration. ICSE (2002)
David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann
Correction to "Specification and Analysis of System Architecture Using Rapide". IEEE Trans. Software Eng. 21 (6) (1995)
David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann
Specification and Analysis of System Architecture Using Rapide. IEEE Trans. Software Eng. 21 (4) (1995)
David C. Luckham, James Vera, Doug Bryan, Larry M. Augustin, Frank C. Belz
Partial orderings of event sets and their application to prototyping concurrent, timed systems. J. Syst. Softw. 21 (3) (1993)
Larry M. Augustin
Timing models in VAL/VHDL. ICCAD (1989)
Larry M. Augustin, Benoit A. Gennart, Youm Huh, David C. Luckham, Alec G. Stanculescu
Verification of VHDL Designs Using VAL. DAC (1988)