Probabilistically Analysable Real-Time Systems

José Ruiz

José Ruiz, Dr., is a Senior Software Engineer at AdaCore. He received his Ph.D. Degree for his work in the field of real-time and multimedia systems, including scheduling policies and resource management in real-time operating systems. His area of expertise is embedded certifiable real-time systems, where he has been working for more than 15 years, having authored/coauthored over 25 papers in that area.