In: IEEE International Symposium on Circuits and Systems, ISCAS 2015 Proceedings - IEEE International Symposium on Circuits and Systems (2015-J) IEEE, New York, pp. 1977-1980. ISSN 0271-4310
Analysis of parallel processor architectures for the solution of the Black-Scholes PDE
In: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science (9035) Springer, Berlin; Heidelberg, pp. 643-657.
Saturation-based incremental LTL model checking with inductive proofs