| 162 | |
| 163 | * Jianping, W. U., L. I. N. G. Ming, Yang Zhang, M. E. I. Chen, and W. A. N. G. Huan. "Dynamic Allocation of SPM Based on Time-Slotted Cache Conflict Graph for System Optimization." IEICE TRANSACTIONS on Information and Systems 95, no. 8 (2012): 2039-2052. |
| 164 | |
| 165 | * D'Amico, Simone, J-S. Ardaens, and Robin Larsson. "Spaceborne Autonomous Formation-Flying Experiment on the PRISMA Mission." Journal of Guidance, Control, and Dynamics 35, no. 3 (2012): 834-850, [http://www.weblab.dlr.de/rbrt/pdf/AIAA_GNC_11.pdf] |
| 166 | |
| 167 | * Silva, N., R. Barbosa, A. Lanzaro, D. Cotroneo, and J. Duraes. "Multicore Systems: Challenges for creating a representative fault model for fault injection.", [http://www.safety-validation.com/system/resources/BAhbBlsHOgZmSSJcMjAxMi8wNi8xNS8wOV81N18xNF80MDFfQ1NXX0NTVEVQXzIwMTJfUlBUXzAwMjQzX211bHRpY29yZV9maV9jaGFsbGVuZ2VzX2Rhc2lhXzIwMTIucGRmBjoGRVQ/CSW-CSTEP-2012-RPT-00243-multicore-fi-challenges-dasia-2012.pdf] |
| 168 | |
| 169 | * Horrein, Pierre-Henri, Christine Hennebert, and Frédéric Pétrot. "An environment for (re) configuration and execution management of heterogeneous flexible radio platforms." Microprocessors and Microsystems (2012). |
| 170 | |
| 171 | * Codetta-Raiteri, Daniele, Luigi Portinale, Andrea Guiotto, and Y. Yushstein. "Evaluation of anomaly and failure scenarios involving an exploration rover: a Bayesian network approach." In Proceedings of the 11th international symposium on artificial intelligence, robotics, and automation in space (iSAIRAS-2012). 2012. |
| 172 | |
| 173 | * Guo, Yu, Xinyu Feng, Zhong Shao, and Peizhi Shi. "Modular Verification of Concurrent Thread Management (Extended).", [http://kyhcs.ustcsz.edu.cn/~guoyu/sched/schedtr.pdf] |
| 174 | |
| 175 | * Goossens, Kees, Arnaldo Azevedo, Karthik Chandrasekar, Manil Dev Gomony, Sven Goossens, Martijn Koedam, Yonghui Li et al. "Virtual Execution Platforms for Mixed-Time-Criticality Systems: The CompSOC Architecture and Design Flow.", [http://www.es.ele.tue.nl/~kgoossens/2013-sigbed.pdf] |