E. Thomas Schubert

According to our database, E. Thomas Schubert authored at least 5 papers between 1991 and 1995.

Collaborative distances:

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

1995

A Mechanized Logic for Secure Key Escrow Protocol Verification.

E. Thomas Schubert, Sarah Mocas

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

1994

A Hybrid Model for Reasoning about Composed Hardware Systems.

E. Thomas Schubert

Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1993

Report on the UCD Microcoded Viper Verification Project.

Tej Arora, Tony Leung, Karl N. Levitt, E. Thomas Schubert, Phillip J. Windley

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

1991

Verification of Composed Hardware Systems Using CCS.

E. Thomas Schubert

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

Verification of Integrated Subsystems.

E. Thomas Schubert

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991