Raul Gorcitz

According to our database, Raul Gorcitz authored at least 1 paper in 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2015

On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling.

Raul Gorcitz, Emilien Kofman, Thomas Carle, Dumitru Potop-Butucaru, Robert de Simone

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015