According to our database1, Oded Fuhrmann authored at least 3 papers between 2008 and 2011.
Legend:Book In proceedings Article PhD thesis Other
Int. J. Softw. Tools Technol. Transf., 2011
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
Proceedings of the Hardware and Software: Verification and Testing, 2008