Changes between Version 54 and Version 55 of References


Ignore:
Timestamp:
11/23/13 01:01:50 (10 years ago)
Author:
Ryseff724
Comment:

/* Published in 2011 */ Added entries to 2011 as part of a Google Code-in challenge

Legend:

Unmodified
Added
Removed
Modified
  • References

    v54 v55  
    144144
    145145 *  Delange, Julien, Christophe Honvault, and James Windsor. "Model-Based Engineering Approach for System Architecture Exploration." [http://taste.tuxfamily.org/wiki/images/d/d7/Erts2012-evaluation-ima.pdf]
     146
     147 *  Masmano, M., Y. Valiente, P. Balbastre, I. Ripoll, and A. Crespo. "ARINC-653 APEX based on XtratuM." [http://wks.gii.upv.es/sidireli/files/jtr_patricia_arinc.pdf]
     148
     149 *  Druzhinin, I. V., A. A. Mynzhasova, and E. A. Sinelnikov. "Design and implementation of a hardware-software module for testing real-time systems." In ''MIPRO, 2011 Proceedings of the 34th International Convention'', pp. 788-791. IEEE, 2011.
     150
     151 *  Rufino, José, João Craveiro, and Paulo Verissimo. "Building a time-and space-partitioned architecture for the next generation of space vehicle avionics." In ''Software Technologies for Embedded and Ubiquitous Systems'', pp. 179-190. Springer Berlin Heidelberg, 2011. [http://air.di.fc.ul.pt/air-ii/downloads/Rufino10SEUS.pdf]
     152
     153 *  Cotroneo, Domenico, Domenico Di Leo, Nuno Silva, and Ricardo Barbosa. "The PreCertification Kit for Operating Systems in Safety Domains." In ''Software Certification (WoSoCER), 2011 First International Workshop on'', pp. 19-24. IEEE, 2011.
     154
     155 *  Guzman, David, Manuel Prieto, Sebastián Sanchez, Javier Almena, Oscar Rodriguez, and Daniel Meziat. "Improving the LEON Spacecraft Computer Processor for Real-Time Performance Analysis." ''Journal of Spacecraft and Rockets'' 48, no. 4 (2011): 671-678.
     156
     157 *  Ahmed, Fayyaz. "Communication protocols, queuing and scheduling delay analysis in CANDU SCWR hydrogen co-generation model." PhD diss., 2011. [https://ir.library.dc-uoit.ca/bitstream/10155/163/1/Ahmad_Fayyaz.pdf]
     158
     159 *  Natella, Roberto. "Achieving Representative Faultloads in Software Fault Injection." (2011). [http://www.fedoa.unina.it/8833/1/thesis_natella.pdf]
    146160=  Published in 2008  =
    147161