1. Formal Verification of a Public-Domain DDR2 Controller Design
2. M. Hassan and H. Patel . 2016. MCXplore: An automated framework for validating memory controller designs. In 2016 Design , Automation Test in Europe Conference Exhibition (DATE). 1357–1362 . M. Hassan and H. Patel. 2016. MCXplore: An automated framework for validating memory controller designs. In 2016 Design, Automation Test in Europe Conference Exhibition (DATE). 1357–1362.
3. MCXplore: Automating the Validation Process of DRAM Memory Controller Designs
4. Lasse Jacobsen , Morten Jacobsen , Mikael H. Møller , and Jiří Srba . 2011. Verification of Timed-Arc Petri Nets . In SOFSEM 2011: Theory and Practice of Computer Science, Ivana Černá, Tibor Gyimóthy, Juraj Hromkovič, Keith Jefferey, Rastislav Králović, Marko Vukolić , and Stefan Wolf (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 46–72. Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, and Jiří Srba. 2011. Verification of Timed-Arc Petri Nets. In SOFSEM 2011: Theory and Practice of Computer Science, Ivana Černá, Tibor Gyimóthy, Juraj Hromkovič, Keith Jefferey, Rastislav Králović, Marko Vukolić, and Stefan Wolf (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 46–72.
5. Fast validation of DRAM protocols with timed petri nets