Radu Gruian

According to our database1, Radu Gruian
  • authored at least 2 papers in 2005.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2005
CodeSurfer/x86-A Platform for Analyzing x86 Executables.
Proceedings of the Compiler Construction, 14th International Conference, 2005

Model Checking x86 Executables with CodeSurfer/x86 and WPDS++.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005


  Loading...