Daniel Clavel

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 6

Top Topics

Stochastic Domains

Emergency Department

Planning Process

Top Venues

Publications

Daniel Clavel, Cristian Mahulea, Manuel Silva
On Liveness Enforcement of Distributed Petri Net Systems. IEEE Trans. Autom. Control. 68 (6) (2023)
Daniel Clavel, Cristian Mahulea, Manuel Silva
On Liveness Enforcement of Distributed Petri Net Systems. CoRR (2020)
Daniel Clavel, Cristian Mahulea, Manuel Silva
From Healthcare System Specifications to Formal Models. SMC (2019)
Daniel Clavel, Cristian Mahulea, Jorge Albareda, Manuel Silva Suárez
Towards efficient algorithms for planning surgeries in operation rooms. ETFA (2017)
Daniel Clavel, Cristian Mahulea, Jorge Albareda, Manuel Silva Suárez
Operation planning of elective patients in an Orthopedic Surgery Department. ETFA (2016)
Daniel Clavel, Cristian Mahulea, Manuel Silva Suárez
On liveness enforcement of DSSP net systems. CDC (2016)