Traversal Techniques for Concurrent Systems. - Marc Solé; Enric Pastor (FMCAD, 2002)

Evaluating Symbolic Traversal Algorithms Applied to Asynchronous Concurrent Systems. - Marc Solé; Enric Pastor (ACSD, 2004)

TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems. - Enric Pastor; Marco A. Peña; Marc Solé (CAV, 2005)

Incremental Process Mining. - Marc Solé; Josep Carmona 001 (ACSD/Petri Nets Workshops, 2010)

Process Mining from a Basis of State Regions. - Marc Solé; Josep Carmona 001 (Petri Nets, 2010)

Rbminer: A Tool for Discovering Petri Nets from Transition Systems. - Marc Solé; Josep Carmona 001 (ATVA, 2010)

CoreCast: How core/edge separation can help improving inter-domain live streaming. - Loránd Jakab; Albert Cabellos-Aparicio; Thomas Silverston; Marc Solé; Florin Coras; Jordi Domingo-Pascual (Comput. Networks, 2010)

Light Region-based Techniques for Process Discovery. - Marc Solé; Josep Carmona 001 (Fundam. Informaticae, 2011)

Optimal Symbol Alignment Distance: A New Distance for Sequences of Symbols. - Javier Herranz; Jordi Nin; Marc Solé (IEEE Trans. Knowl. Data Eng., 2011)

A High-Level Strategy for C-net Discovery. - Marc Solé; Josep Carmona 001 (ACSD, 2012)

An SMT-Based Discovery Algorithm for C-Nets. - Marc Solé; Josep Carmona 001 (Petri Nets, 2012)

Efficient microaggregation techniques for large numerical data volumes. - Marc Solé; Victor Muntés-Mulero; Jordi Nin (Int. J. Inf. Sec., 2012)

Kd-trees and the real disclosure risks of large statistical databases. - Javier Herranz; Jordi Nin; Marc Solé (Inf. Fusion, 2012)

More Hybrid and Secure Protection of Statistical Data Sets. - Javier Herranz; Jordi Nin; Marc Solé (IEEE Trans. Dependable Secur. Comput., 2012)

Incremental Process Discovery. - Marc Solé; Josep Carmona 001 (Trans. Petri Nets Other Model. Concurr., 2012)

Amending C-net discovery algorithms. - Marc Solé; Josep Carmona 001 (SAC, 2013)

A modification of the k-means method for quasi-unsupervised learning. - David Rebollo-Monedero; Marc Solé; Jordi Nin; Jordi Forné (Knowl. Based Syst., 2013)

Region-Based Foldings in Process Discovery. - Marc Solé; Josep Carmona 001 (IEEE Trans. Knowl. Data Eng., 2013)

Modeling and Exploiting the Relation Between Packet Losses and Hidden Traffic. - Marc Portoles-Comeras; Albert Cabellos-Aparicio; Pablo Serrano 001; Josep Mangues-Bafalluy; José Núñez-Martínez; Marc Solé; Albert Banchs; Jordi Domingo-Pascual (IEEE Wirel. Commun. Lett., 2013)

PMLAB: An Scripting Environment for Process Mining. - Josep Carmona 001; Marc Solé (BPM (Demos), 2014)

Worker ranking determination in crowdsourcing platforms using aggregation functions. - David Sanchez-Charles; Jordi Nin; Marc Solé; Victor Muntés-Mulero (FUZZ-IEEE, 2014)

CrowdWON: A Modelling Language for Crowd Processes based on Workflow Nets. - David Sanchez-Charles; Victor Muntés-Mulero; Marc Solé; Jordi Nin (AAAI, 2015)

Process Model Comparison Based on Cophenetic Distance. - David Sánchez-Charles; Victor Muntés-Mulero; Josep Carmona 001; Marc Solé (BPM (Forum), 2016)

Scalable and Efficient Big Data Analytics - The LeanBigData Approach. - Ricardo Jimenez; Marta Patiño 001; Valerio Vianello; Ivan Brondino; Ricardo Vilaça; Jorge Teixeira; Miguel Biscaia; Giannis Drossis; Damien Michel; Chryssi Birliraki; George Margetis; Antonis A. Argyros; et al. (EPS, 2016)

Data driven Vertical Total Electron Content workflow for GNSS positioning for single frequency receivers. - Susana Sanchez-Naranjo; Fabio A. González 001; Raúl Ramos-Pollán; Marc Solé (ICL-GNSS, 2016)

Improving Process Model Precision by Loop Unrolling. - David Sanchez-Charles; Marc Solé; Josep Carmona 001; Victor Muntés-Mulero (SIMPDA, 2016)

Clustering Software Developer Repository Accesses with the Cophenetic Distance. - David Sanchez-Charles; Josep Carmona 001; Victor Muntés-Mulero; Marc Solé (SIMPDA, 2016)

Reducing Event Variability in Logs by Clustering of Word Embeddings. - David Sánchez-Charles; Josep Carmona 001; Victor Muntés-Mulero; Marc Solé (Business Process Management Workshops, 2017)

Knowledge-Defined Networking. - Albert Mestres; Alberto Rodríguez-Natal; Josep Carner; Pere Barlet-Ros; Eduard Alarcón; Marc Solé; Victor Muntés-Mulero; David Meyer; Sharon Barkai; Mike J. Hibbett; Giovani Estrada; Khaldun Maruf; et al. (Comput. Commun. Rev., 2017)

Survey on Models and Techniques for Root-Cause Analysis. - Marc Solé; Victor Muntés-Mulero; Annie Ibrahim Rana; Giovani Estrada (CoRR, 2017)

Next Stop "NoOps": Enabling Cross-System Diagnostics Through Graph-Based Composition of Logs and Metrics. - Michal Zasadzinski; Marc Solé; Álvaro Brandón; Victor Muntés-Mulero; David Carrera 001 (CLUSTER, 2018)

Early Termination of Failed HPC Jobs Through Machine and Deep Learning. - Michal Zasadzinski; Victor Muntés-Mulero; Marc Solé; David Carrera 001; Thomas Ludwig 002 (Euro-Par, 2018)

Mistral Supercomputer Job History Analysis. - Michal Zasadzinski; Victor Muntés-Mulero; Marc Solé; Thomas Ludwig 002 (CoRR, 2018)

Encoding process discovery problems in SMT. - Marc Solé; Josep Carmona 001 (Softw. Syst. Model., 2018)

Graph-based root cause analysis for service-oriented and microservice architectures. - Álvaro Brandón; Marc Solé; Alberto Huélamo; David Solans; María S. Pérez 001; Victor Muntés-Mulero (J. Syst. Softw., 2020)

SPARROW: A Low-Cost Hardware/Software Co-designed SIMD Microarchitecture for AI Operations in Space Processors. - Marc Solé Bonet; Leonidas Kosmidis (DATE, 2022)

Acceleration of Synthetic Aperture Radar for On-board Space Systems. - Marc Solé; Ivan Rodriguez-Ferrandez; David Steenari; Leonidas Kosmidis (HPEC, 2023)

METASAT: Modular Model-Based Design and Testing for Applications in Satellites. - Leonidas Kosmidis; Alejandro J. Calderón; Aridane Álvarez Suárez; Stefano Sinisi; Eckart Göhler; Paco Gómez Molinero; Alfred Hönle; Alvaro Jover-Alvarez; Lorenzo Lazzara; Miguel Masmano Tello; Peio Onaindia; Tomaso Poggi; et al. (SAMOS, 2023)

The METASAT Modelling and Code Generation Toolchain for XtratuM and Hardware Accelerators. - Alejandro J. Calderón; Aitor Amonarriz; Mar Hernández; Leonidas Kosmidis; Jannis Wolf; Marc Solé Bonet; Matina Maria Trompouki; Mikel Segura; Peio Onaindia (DSD, 2024)

Design and Implementation of an Open Source OpenGL SC 2.0.1 Installable Client Driver and Offline Compiler. - Matina Maria Trompouki; Marc Solé Bonet; Josué Pedrajas Pérez; Leonidas Kosmidis (SAMOS, 2024)

Integration of GPU RTL IP into System-level Simulation through TLM: A Case Study with Vortex RISC-V GPU in the METASAT Platform Digital Twin. - Lorenzo Lazzara; Giulia Stazi; Valerio Di Valerio; Stefano Sinisi; Alessandro Ulisse; Marc Solé Bonet; Janis Wolf; Leonidas Kosmidis (Software Engineering Companion, 2025)

A RISC-V Multicore and GPU SoC Platform with a Qualifiable Software Stack for Safety Critical Systems. - Marc Solé Bonet; Jannis Wolf; Leonidas Kosmidis (CoRR, 2025)