Larry M. Augustin

According to our database, Larry M. Augustin authored at least 7 papers between 1988 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Accelerating software development through collaboration.

Larry M. Augustin, Dan Bressler, Guy Smith

Proceedings of the 24th International Conference on Software Engineering, 2002

1995

Correction to "Specification and Analysis of System Architecture Using Rapide".

David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann

IEEE Trans. Software Eng., 1995

Specification and Analysis of System Architecture Using Rapide.

David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann

IEEE Trans. Software Eng., 1995

1993

Partial orderings of event sets and their application to prototyping concurrent, timed systems.

David C. Luckham, James Vera, Doug Bryan, Larry M. Augustin, Frank C. Belz

J. Syst. Softw., 1993

1991

Hardware design and simulation in VAL/VHDL.

Larry M. Augustin, David C. Luckham, Benoit A. Gennart, Youm Huh, Alec G. Stanculescu

The Kluwer international series in engineering and computer science 112, Kluwer, ISBN: 978-0-7923-9087-9, 1991

1989

Timing models in VAL/VHDL.

Larry M. Augustin

Proceedings of the 1989 IEEE International Conference on Computer-Aided Design, 1989

1988

Verification of VHDL Designs Using VAL.

Larry M. Augustin, Benoit A. Gennart, Youm Huh, David C. Luckham, Alec G. Stanculescu

Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988