| 130 | |
| 131 | * Arcas, Oriol, Nehir Sonmez, Satnam Singh, Osman S. Unsal, Adrian Cristal, Ibrahim Hur, and Mateo Valero. "Resource-bounded multicore emulation using Beefarm." Microprocessors and Microsystems 36, no. 8 (2012): 620-631. |
| 132 | |
| 133 | * CTO, Benjamin Gittins, and Ronald Keslon CEO. "Verifying Secure Systems is also Not Reasonable (Today)." |
| 134 | |
| 135 | * Alkazemi, Basem Y. "On verification of software components." arXiv preprint arXiv:1210.3758 (2012). [http://arxiv.org/ftp/arxiv/papers/1210/1210.3758.pdf] |
| 136 | |
| 137 | * Lin, Shiyao, Andy Wellings, and Alan Burns. "Supporting lock-based multiprocessor resource sharing protocols in real-time programming languages." Concurrency and Computation: Practice and Experience (2012). |
| 138 | |
| 139 | * Gómez, M., R. V. González, Tomás Martínez-Marín, Daniel Meziat, and S. Sánchez. "Optimal motion planning by reinforcement learning in autonomous mobile vehicles." Robotica 30, no. 2 (2012): 159-170. |