El grup de recerca ALBCOM uneix 19 reconeguts investigadors en mètodes formals; disseny, automatització i verificació de VLSI; algorismes i complexitat; bioinformàtica (vegeu http://albcom.cs.upc.edu/ per a més detalls). La recerca que es realitza a ALBCOM té un important prestigi en la comunitat científica internacional, degut a la qualitat de la seva recerca, tal com mostren les seves publicacions, i a l'activitat en projectes de recerca i de transferència de tecnologia amb empreses i institucions del sector.

El grupo de investigación ALBCOM une 19 reconocidos investigadores en métodos formales; diseño, automatización y verificación de VLSI; algoritmos y complejidad; bioinformática (véase http://albcom.cs.upc.edu/ para más detalles). La investigación que se realiza a ALBCOM tiene un importante prestigio en la comunidad científica internacional, debido a la calidad de su investigación, tal como muestran sus publicaciones, y a la actividad en proyectos de investigación y de transferencia de tecnología con empresas e instituciones del sector.

The primary goal is to produce relevant contributions in the areas of expertise of the group and to disseminate them in renowned international journals and conferences. It is the group's aim that these contributions have a tangible and long-term impact on the scientific community. Technology transfer is considered a byproduct of research excellence and should be sought as a means of increasing the impact of the results, obtaining resources for the group and envisioning new directions for future research.

The primary goal is to produce relevant contributions in the areas of expertise of the group and to disseminate them in renowned international journals and conferences. It is the group's aim that these contributions have a tangible and long-term impact on the scientific community. Technology transfer is considered a byproduct of research excellence and should be sought as a means of increasing the impact of the results, obtaining resources for the group and envisioning new directions for future research.

Recent Submissions

  • Tandem repeats in Bacillus: Unique features and taxonomic distribution 

    Subirana Torrent, Juan A.; Messeguer Peypoch, Xavier (2021-05-20)
    Article
    Open Access
    Little is known about DNA tandem repeats across prokaryotes. We have recently described an enigmatic group of tandem repeats in bacterial genomes with a constant repeat size but variable sequence. These findings strongly ...
  • Fast energy-optimal multi-kernel DNN-like application allocation on multi-FPGA platforms 

    Shan, Junnan; Lazarescu, Mihai T.; Cortadella, Jordi; Lavagno, Luciano; Casu, Mario R. (2021-04-30)
    Article
    Open Access
    Platforms with multiple Field Programmable Gate Arrays (FPGAs), such as Amazon Web Services (AWS) F1 instances, can efficiently accelerate multi-kernel pipelined applications, e.g., Convolutional Neural Networks for machine ...
  • Knowledge-based segmentation to improve accuracy and explainability in non-technical losses detection 

    Calvo Ibáñez, Albert; Coma Puig, Bernat; Carmona Vargas, Josep; Arias Vicente, Marta (2020-10-30)
    Article
    Open Access
    Utility companies have a great interest in identifying energy losses. Here, we focus on Non-Technical Losses (NTL), which refer to losses caused by utility theft or meter errors. Typically, utility companies resort to ...
  • Automatic safe data reuse detection for the WCET analysis of systems with data caches 

    Segarra Flor, Juan; Cortadella, Jordi; Gran Tejero, Rubén; Viñals Yúfera, Victor (Institute of Electrical and Electronics Engineers (IEEE), 2020-10-19)
    Article
    Open Access
    Worst-case execution time (WCET) analysis of systems with data caches is one of the key challenges in real-time systems. Caches exploit the inherent reuse properties of programs, temporarily storing certain memory contents ...
  • Empowering conformance checking using Big Data through horizontal decomposition 

    Valencia Parra, Álvaro; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Carmona Vargas, Josep; Bergenthum, Robin (Elsevier, 2021-07)
    Article
    Restricted access - publisher's policy
    Conformance checking unleashes the full power of process mining: techniques from this discipline enable the analysis of the quality of a process model through the discovery of event data, the identification of potential ...
  • CNN-on-AWS: Efficient allocation of multikernel applications on Multi-FPGA platforms 

    Shan, Junnan; Lazarescu, Mihai T.; Cortadella, Jordi; Lavagno, Luciano; Casu, Mario R. (2021-02)
    Article
    Open Access
    Multi-FPGA platforms, like Amazon AWS F1, can run in the cloud multikernel pipelined applications, like convolutional neural networks (CNNs), with excellent performance and lower energy consumption than CPUs or GPUs. We ...
  • Explainable predictive process monitoring 

    Galanti, Riccardo; Coma Puig, Bernat; de Leoni, Massimiliano; Carmona Vargas, Josep; Navarin, Nicolò (Institute of Electrical and Electronics Engineers (IEEE), 2020)
    Conference report
    Open Access
    Predictive Business Process Monitoring is becoming an essential aid for organizations, providing online operational support of their processes. This paper tackles the fundamental problem of equipping predictive business ...
  • Uncovering de novo gene birth in yeast using deep transcriptomics 

    Blevins, William R.; Ruiz Orera, Jorge; Messeguer Peypoch, Xavier; Blasco Moreno, Bernat; Villanueva Cañas, José Luis; Espinar Calvo, Lorena; Díez Antón, Juana; Carey, Lucas B.; Albà Soler, M. Mar (2021-01-27)
    Article
    Open Access
    De novo gene origination has been recently established as an important mechanism for the formation of new genes. In organisms with a large genome, intergenic and intronic regions provide plenty of raw material for new ...
  • Actionable conformance checking: from intuitions to code 

    Carmona Vargas, Josep; Weidlich, Matthias; Dongen, Boudewijn F. van (Springer, 2019)
    Conference report
    Open Access
    Conformance checking is receiving increasing attention in the last years. This is due to several reasons, that can be summarized into two: the explosion of digital information that talks about processes, and the need to ...
  • 1849-2016 - IEEE Standard for eXtensible Event Stream (XES) for achieving interoperability in event logs and event streams 

    Van der Aalst, Wil M.P.; Günther, Christian; Bose, J. C.; Carmona Vargas, Josep; Dumas, Marlon; van Geffen, Frank; Goel, Sukriti; Guzzo, Antonella; Khalaf, Rania; Kuhn, Rudolf; Lehto, Teemu; Mannhardt, Felix (2016-09-22)
    External research report
    Restricted access - publisher's policy
    Abstract: A grammar for a tag-based language whose aim is to provide designers of information systems with a unified and extensible methodology for capturing systems behaviors by means of event logs and event streams is ...
  • On list k-coloring convex bipartite graphs 

    Díaz Cort, Josep; Yasar Diner, Oznur; Serna Iglesias, María José; Serra Albó, Oriol (Springer, 2020)
    Conference report
    Restricted access - publisher's policy
    List k–Coloring (LI k-COL) is the decision problem asking if a given graph admits a proper coloring compatible with a given list assignment to its vertices with colors in {1,2,..., k}. The problem is known to be NP-hard ...
  • A generalized Robinson-Foulds distance for clonal trees, mutation trees, and phylogenetic trees and networks 

    Llabrés Segura, Mercè; Rosselló Llompart, Francesc A.; Valiente Feruglio, Gabriel Alejandro (Association for Computing Machinery (ACM), 2020)
    Conference report
    Open Access
    Cancer evolution is often modeled by clonal trees (whose nodes are labeled by multiple somatic mutations) or mutation trees (where nodes are labeled by single somatic mutations). Clonal trees are generated from sequence ...

View more