Customer Success Simics and Nasa IVV

First Page		Document Content
Date: 2015-05-06 06:08:25 Debuggers Simics Wind River Systems Simulation Logic simulation Application software Virtutech SimOS System software Software Simulation software		Customer Success Simics and Nasa IVV Add to Reading List Source URL: www.windriver.com Download Document from Source Website File Size: 1,97 MB Share Document on Facebook

	Synthesis and verification of self-aware systems Radu Calinescu, Marco Autili, Javier C´amara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Kwiatkowska DocID: 1xU2x - View Document
	Designing Robust Software Systems through Parametric Markov Chain Synthesis ˇ ska† , Simos Gerasimou∗ , Marta Kwiatkowska‡ and Nicola Paoletti§ Radu Calinescu∗ , Milan Ceˇ ∗ Department of Computer Science, U DocID: 1xTt6 - View Document
	RODES: A Robust-Design Synthesis Tool for Probabilistic Systems? ˇ ska2 , Simos Gerasimou1 , Marta Kwiatkowska3 , and Radu Calinescu1 , Milan Ceˇ Nicola Paoletti4 1 DocID: 1xTnd - View Document
	How Easy is Code Equivalence over GF (q)? Dimitris E. Simos (joint work with Nicolas Sendrier) Project-Team SECRET INRIA Paris-Rocquencourt DocID: 1vfPF - View Document
	Post-Quantum CryptographyList of Accepted Papers 1. The Hardness of Code Equivalence over Fq and its Application to Code-based Cryptography Nicolas Sendrier and Dimitris E. Simos DocID: 1u7Hw - View Document