VLDB 2026 Research / reviewers in the wild / expert
Daniel Riera
dblp:33/3603
· DBLP profile ↗
6ranked-venue papers
0as first author
1since 2021 · last 2025
0000-0002-4718-7234ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3Artificial intelligence and machine learning · 2Theory of computation · 1Applied, interdisciplinary, general and emerging computing · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Program verification · 100% | |
| Theoretical computer science
1 paper |
Computational complexity · 100% |
Topics — the 2 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program verification
model verification |
0.1 | 1 | 2007 | UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming · ASE 2007 |
Computational complexity
constraint satisfaction |
0.0 | 1 | 2007 | UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming · ASE 2007 |
Methods — techniques the papers use, named apart from their topics
constraint logic programming · 0.1ECLiPSe · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Towards an Evaluative AI Framework for Hypothesis-Driven Strategic Decision-Making in SMEs
Gines Molina-Abril, Laura Calvet, Daniel Riera |
IDEAL (1) | 3 |
| 2016 | ACO and CP Working Together to Build a Flexible Tool for the VRP
Negar ZakeriNejad, Daniel Riera, Daniel Guimarans |
ICORES | 2 |
| 2014 | On the verification of UML/OCL class diagrams using constraint programming
Jordi Cabot, Robert Clarisó, Daniel Riera |
J. Syst. Softw. | 3 |
| 2013 | Multi-start Approach for Solving an Asymmetric Heterogeneous Vehicle Routing Problem in a Real Urban Context
José Cáceres-Cruz, Daniel Riera, Roman Buil, Angel A. Juan, Rosa Herrero |
ICORES | 2 |
| 2009 | Verifying UML/OCL Operation Contracts
Jordi Cabot, Robert Clarisó, Daniel Riera |
IFM | 3 |
| 2007 | UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programmingabstractWe present UMLtoCSP, a tool for the formal verification of UML/OCL models. Given a UML class diagram annotated with OCL constraints, UMLtoCSP is able to automatically check several correctness properties, such as the strong and weak satisfiability of the model or the lack of redundant constraints. The tool uses Constraint Logic Programming as the underlying formalism and the constraint solver ECLiPSe as the verification engine. Jordi Cabot, Robert Clarisó, Daniel Riera |
ASE | 3 |