www.prismmodelchecker.org
[SMA+07] A. Susu, M. Magno, A. Acquaviva, D, Atienzay and G. De Micheli. Reconfiguration Strategies for Environmentally Powered Devices: Theoretical Analysis and Experimental Validation. Transactions on High-Performance Embedded Architectures and Compilers, 1(1), pages 327-346. January 2007. [bib] http://si2.epfl.ch/~susu/pubs.html
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications