Daniel Clavel

According to our database, Daniel Clavel authored at least 5 papers between 2016 and 2023.

Collaborative distances:

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

2023

On Liveness Enforcement of Distributed Petri Net Systems.

Daniel Clavel, Cristian Mahulea, Manuel Silva

IEEE Trans. Autom. Control., June, 2023

2019

From Healthcare System Specifications to Formal Models.

Daniel Clavel, Cristian Mahulea, Manuel Silva

Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

2017

Towards efficient algorithms for planning surgeries in operation rooms.

Daniel Clavel, Cristian Mahulea, Jorge Albareda, Manuel Silva Suárez

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2016

Operation planning of elective patients in an Orthopedic Surgery Department.

Daniel Clavel, Cristian Mahulea, Jorge Albareda, Manuel Silva Suárez

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

On liveness enforcement of DSSP net systems.

Daniel Clavel, Cristian Mahulea, Manuel Silva Suárez

Proceedings of the 55th IEEE Conference on Decision and Control, 2016