| 2025 | ETFA | Smooth path planning with safety margins using Piece-Wise Bezier curves. | Iancu Andrei, Marius Kloetzer, Cristian Mahulea, Catalin Dosoftei |
| 2025 | ETFA | Decomposition of LTL specifications via formal concurrency relations in Bchi automata. | Ioana Hustiu, Marius Kloetzer, Cristian Mahulea |
| 2023 | ETFA | Modeling and performance analysis of an industrial transport platform manufacturing process. | Csar Arzola, Daniel Latorre, Germn Sacramento, Cristian Mahulea, Jorge Jlvez |
| 2023 | ETFA | Analysis and optimization of clinical pathways using timed continuous Petri nets. | Csar Arzola, Cristian Mahulea, Jorge Jlvez |
| 2023 | ETFA | Extension of a decomposition method for a global LTL specification. | Ioana Hustiu, Marius Kloetzer, Cristian Mahulea |
| 2022 | ETFA | Whitening of greenhouse's roof using drones and Petri net models | Sofia Hustiu, Marius Kloetzer, Alejandro Lpez-Martnez, Cristian Mahulea |
| 2021 | ETFA | Optimal task allocation for distributed co-safe LTL specifications. | Ioana Hustiu, Cristian Mahulea, Marius Kloetzer |
| 2019 | ETFA | Optimal Indoor Goods Delivery Using Drones. | Marius Kloetzer, Adrian Burlacu, Gabriel Enescu, Simona Caraiman, Cristian Mahulea |
| 2019 | SMC | From Healthcare System Specifications to Formal Models. | Daniel Clavel, Cristian Mahulea, Manuel Silva |
| 2018 | ETFA | Path-planning in Discretized Environments with Optimized Waypoints Computation. | Emanuele Vitolo, Cristian Mahulea, Marius Kloetzer |
| 2017 | ETFA | Towards efficient algorithms for planning surgeries in operation rooms. | Daniel Clavel, Cristian Mahulea, Jorge Albareda, Manuel Silva Surez |
| 2016 | ETFA | Operation planning of elective patients in an Orthopedic Surgery Department. | Daniel Clavel, Cristian Mahulea, Jorge Albareda, Manuel Silva Surez |
| 2014 | ETFA | A model-based approach for the specification and verification of clinical guidelines. | Simona Bernardi, Jos Manuel Colom, Jorge Albareda, Cristian Mahulea |
| 2014 | ETFA | An assembly problem with mobile robots. | Marius Kloetzer, Cristian Mahulea |
| 2014 | ETFA | Deadlock prevention policy for S | Xu Wang, Cristian Mahulea, Manuel Silva Surez |
| 2013 | ETFA | Petri net approach for deadlock prevention in robot planning. | Marius Kloetzer, Cristian Mahulea, Jos Manuel Colom |
| 2013 | ETFA | Decentralized diagnosis based on fault diagnosis graph. | Xu Wang, Cristian Mahulea, Manuel Silva Surez |
| 2012 | ETFA | Modular Petri net modeling of the Spanish health system. | Cristian Mahulea, Juan-Manuel Garcia-Soriano, Jos Manuel Colom |
| 2012 | ETFA | Online Petri net based algorithm for planning and controlling mobile robots. | Cristian Mahulea, Marius Kloetzer |
| 2011 | ETFA | A probabilistic abstraction approach for planning and controlling mobile robots. | Marius Kloetzer, Cristian Mahulea, Octavian Pastravanu |
| 2010 | SMC | Fault diagnosis of manufacturing systems using continuous Petri nets. | Maria Paola Cabasino, Carla Seatzu, Cristian Mahulea, Manuel Silva Surez |