| 2018 | CLUSTER | Next Stop "NoOps": Enabling Cross-System Diagnostics Through Graph-Based Composition of Logs and Metrics. | Michal Zasadzinski, Marc Sol, lvaro Brandn, Victor Munts-Mulero, David Carrera |
| 2018 | EuroPar | Early Termination of Failed HPC Jobs Through Machine and Deep Learning. | Michal Zasadzinski, Victor Munts-Mulero, Marc Sol, David Carrera, Thomas Ludwig |
| 2017 | BPM | Reducing Event Variability in Logs by Clustering of Word Embeddings. | David Snchez-Charles, Josep Carmona, Victor Munts-Mulero, Marc Sol |
| 2016 | BPM | Process Model Comparison Based on Cophenetic Distance. | David Snchez-Charles, Victor Munts-Mulero, Josep Carmona, Marc Sol |
| 2015 | AAAI | CrowdWON: A Modelling Language for Crowd Processes based on Workflow Nets. | David Sanchez-Charles, Victor Munts-Mulero, Marc Sol, Jordi Nin |
| 2014 | BPM | PMLAB: An Scripting Environment for Process Mining. | Josep Carmona, Marc Sol |
| 2013 | SAC | Amending C-net discovery algorithms. | Marc Sol, Josep Carmona |
| 2010 | ATVA | Rbminer: A Tool for Discovering Petri Nets from Transition Systems. | Marc Sol, Josep Carmona |
| 2005 | CAV | TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems. | Enric Pastor, Marco A. Pea, Marc Sol |
| 2002 | FMCAD | Traversal Techniques for Concurrent Systems. | Marc Sol, Enric Pastor |