N. Liveris

NWU-EECS-0620 2 / 21 / 2007 Abstraction Techniques for Model-Checking Parameterized Systems

Y. Chen, N. Liveris, H. Zhou, 2007 .

State space abstraction for parameterized self-stabilizing embedded systems

Hai Zhou, Prithviraj Banerjee, Robert P. Dick, 2008, EMSOFT '08.

A code transformation-based methodology for improving I-cache performance of DSP applications

Dimitrios Soudris, Constantinos E. Goutis, N. Liveris, 2002, Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition.

A code transformation-based methodology for improving I-cache performance

Dimitrios Soudris, Constantinos E. Goutis, Nikolaos D. Zervas, 2001, ICECS 2001. 8th IEEE International Conference on Electronics, Circuits and Systems (Cat. No.01EX483).