Tuur Benoit

According to our database, Tuur Benoit authored at least 3 papers between 2011 and 2019.

Collaborative distances:

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

2019

Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming.

Tuur Benoit, Bart Jacobs

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2017

Real-time physics-based simulation of mechanisms and systems.

Tuur Benoit, Sikandar Moten, Yves Lemmens

Proceedings of the 21st IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2017

2011

Recognition of 6 DOF rigid body motion trajectories using a coordinate-free representation.

Joris De Schutter, Enrico Di Lello, Jochem F. M. De Schutter, Roel Matthysen, Tuur Benoit, Tinne De Laet

Proceedings of the IEEE International Conference on Robotics and Automation, 2011