Marc Solé

According to our database, Marc Solé authored at least 41 papers between 2002 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

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

Proceedings of the Software Engineering 2025 Companion Proceedings, 2025

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

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2024

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

Proceedings of the 27th Euromicro Conference on Digital System Design, 2024

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, Ivan Rodriguez-Ferrandez, Marc Solé Bonet, Giulia Stazi, Matina Maria Trompouki, Alessandro Ulisse, Valerio Di Valerio, Jannis Wolf, Irune Yarza

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2023

Acceleration of Synthetic Aperture Radar for On-board Space Systems.

Marc Solé, Ivan Rodriguez-Ferrandez, David Steenari, Leonidas Kosmidis

Proceedings of the IEEE High Performance Extreme Computing Conference, 2023

2022

SPARROW: A Low-Cost Hardware/Software Co-designed SIMD Microarchitecture for AI Operations in Space Processors.

Marc Solé Bonet, Leonidas Kosmidis

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

2020

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, Victor Muntés-Mulero

J. Syst. Softw., 2020

2018

Encoding process discovery problems in SMT.

Marc Solé, Josep Carmona

Softw. Syst. Model., 2018

Mistral Supercomputer Job History Analysis.

Michal Zasadzinski, Victor Muntés-Mulero, Marc Solé, Thomas Ludwig

CoRR, 2018

Early Termination of Failed HPC Jobs Through Machine and Deep Learning.

Michal Zasadzinski, Victor Muntés-Mulero, Marc Solé, David Carrera, Thomas Ludwig

Proceedings of the Euro-Par 2018: Parallel Processing, 2018

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

Proceedings of the IEEE International Conference on Cluster Computing, 2018

2017

Survey on Models and Techniques for Root-Cause Analysis.

Marc Solé, Victor Muntés-Mulero, Annie Ibrahim Rana, Giovani Estrada

CoRR, 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, Florin Coras, Vina Ermagan, Hugo Latapie, Chris Cassar, John Evans, Fabio Maino, Jean C. Walrand, Albert Cabellos

Comput. Commun. Rev., 2017

Reducing Event Variability in Logs by Clustering of Word Embeddings.

David Sánchez-Charles, Josep Carmona, Victor Muntés-Mulero, Marc Solé

Proceedings of the Business Process Management Workshops, 2017

2016

Clustering Software Developer Repository Accesses with the Cophenetic Distance.

David Sanchez-Charles, Josep Carmona, Victor Muntés-Mulero, Marc Solé

Proceedings of the 6th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2016), 2016

Improving Process Model Precision by Loop Unrolling.

David Sanchez-Charles, Marc Solé, Josep Carmona, Victor Muntés-Mulero

Proceedings of the 6th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2016), 2016

Data driven Vertical Total Electron Content workflow for GNSS positioning for single frequency receivers.

Susana Sanchez-Naranjo, Fabio A. González, Raúl Ramos-Pollán, Marc Solé

Proceedings of the International Conference on Localization and GNSS, 2016

Scalable and Efficient Big Data Analytics - The LeanBigData Approach.

Ricardo Jimenez, Marta Patiño, Valerio Vianello, Ivan Brondino, Ricardo Vilaça, Jorge Teixeira, Miguel Biscaia, Giannis Drossis, Damien Michel, Chryssi Birliraki, George Margetis, Antonis A. Argyros, Constantine Stephanidis, Luigi Sgaglione, Gaetano Papale, Giavanni Mazzeo, Ferdinando Campanile, Marc Solé, Victor Muntés-Mulero, David Solans, Alberto Huélamo, Pavlos Kranas, Dora Varvarigou, Vrettos Moulos, Fotis Aisopos

Proceedings of the European Space project on Smart Systems, Big Data, Future Internet, 2016

Process Model Comparison Based on Cophenetic Distance.

David Sánchez-Charles, Victor Muntés-Mulero, Josep Carmona, Marc Solé

Proceedings of the Business Process Management Forum, 2016

2015

CrowdWON: A Modelling Language for Crowd Processes based on Workflow Nets.

David Sanchez-Charles, Victor Muntés-Mulero, Marc Solé, Jordi Nin

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Worker ranking determination in crowdsourcing platforms using aggregation functions.

David Sanchez-Charles, Jordi Nin, Marc Solé, Victor Muntés-Mulero

Proceedings of the IEEE International Conference on Fuzzy Systems, 2014

PMLAB: An Scripting Environment for Process Mining.

Josep Carmona, Marc Solé

Proceedings of the BPM Demo Sessions 2014 Co-located with the 12th International Conference on Business Process Management (BPM 2014), 2014

2013

Modeling and Exploiting the Relation Between Packet Losses and Hidden Traffic.

Marc Portoles-Comeras, Albert Cabellos-Aparicio, Pablo Serrano, Josep Mangues-Bafalluy, José Núñez-Martínez, Marc Solé, Albert Banchs, Jordi Domingo-Pascual

IEEE Wirel. Commun. Lett., 2013

Region-Based Foldings in Process Discovery.

Marc Solé, Josep Carmona

IEEE Trans. Knowl. Data Eng., 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

Amending C-net discovery algorithms.

Marc Solé, Josep Carmona

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

2012

Incremental Process Discovery.

Marc Solé, Josep Carmona

Trans. Petri Nets Other Model. Concurr., 2012

More Hybrid and Secure Protection of Statistical Data Sets.

Javier Herranz, Jordi Nin, Marc Solé

IEEE Trans. Dependable Secur. Comput., 2012

Kd-trees and the real disclosure risks of large statistical databases.

Javier Herranz, Jordi Nin, Marc Solé

Inf. Fusion, 2012

Efficient microaggregation techniques for large numerical data volumes.

Marc Solé, Victor Muntés-Mulero, Jordi Nin

Int. J. Inf. Sec., 2012

An SMT-Based Discovery Algorithm for C-Nets.

Marc Solé, Josep Carmona

Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

A High-Level Strategy for C-net Discovery.

Marc Solé, Josep Carmona

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2011

Optimal Symbol Alignment Distance: A New Distance for Sequences of Symbols.

Javier Herranz, Jordi Nin, Marc Solé

IEEE Trans. Knowl. Data Eng., 2011

Light Region-based Techniques for Process Discovery.

Marc Solé, Josep Carmona

Fundam. Informaticae, 2011

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

Rbminer: A Tool for Discovering Petri Nets from Transition Systems.

Marc Solé, Josep Carmona

Proceedings of the Automated Technology for Verification and Analysis, 2010

Process Mining from a Basis of State Regions.

Marc Solé, Josep Carmona

Proceedings of the Applications and Theory of Petri Nets, 2010

Incremental Process Mining.

Marc Solé, Josep Carmona

Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

2005

TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems.

Enric Pastor, Marco A. Peña, Marc Solé

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Evaluating Symbolic Traversal Algorithms Applied to Asynchronous Concurrent Systems.

Marc Solé, Enric Pastor

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2002

Traversal Techniques for Concurrent Systems.

Marc Solé, Enric Pastor

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002