Matthew Wilding

According to our database, Matthew Wilding authored at least 8 papers between 1985 and 2010.

Collaborative distances:

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

2010

Formal Verification of Partition Management for the AAMP7G Microprocessor.

Matthew Wilding, David A. Greve, Raymond J. Richards, David S. Hardin

Proceedings of the Design and Verification of Microprocessor Systems for High-Assurance Applications., 2010

2008

Efficient execution in an automated reasoning environment.

David A. Greve, Matt Kaufmann, Panagiotis Manolios, J Strother Moore, Sandip Ray, José-Luis Ruiz-Reina, Rob Sumners, Daron Vroon, Matthew Wilding

J. Funct. Program., 2008

2001

Efficient Simulation of Formal Processor Models.

Matthew Wilding, David A. Greve, David S. Hardin

Formal Methods Syst. Des., 2001

1998

A Machine-Checked Proof of the Optimality of a Real-Time Scheduling Policy.

Matthew Wilding

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

Transforming the Theorem Prover into a Digital Design Tool: From Concept Car to Off-Road Vehicle.

David S. Hardin, Matthew Wilding, David A. Greve

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1993

A Mechanically Verified Application for a Mechanically Verified Environment.

Matthew Wilding

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1991

Proving Matijasevich's Lemma with a Default Arithmetic Strategy.

Matthew Wilding

J. Autom. Reason., 1991

1985

Improving Human-Ciomputer Interaction by Learning Model of User Preferences.

J. Roach, Matthew Wilding

Proceedings of the Artificial Intelligence Applications, 1985