René's URL Explorer Experiment


Title: Viet-Man Le

Open Graph Title: Viet-Man Le

X Title: Viet-Man Le

Keywords:

Mail addresses
v.m.le@tugraz.at

Opengraph URL: https://manleviet.github.io/

direct link

Domain: manleviet.github.io

og:typearticle
twitter:cardsummary
twitter:urlhttps://manleviet.github.io/

Links:

Viet-Man Lehttps://manleviet.github.io
https://scholar.google.com/citations?user=l2UTi1MAAAAJ&hl=en
https://orcid.org/0000-0001-5778-975X
https://github.com/manleviet/
https://www.linkedin.com/in/viet-man-le-a6474829/
Abouthttps://manleviet.github.io/
Researchhttps://manleviet.github.io/research.html
Publicationshttps://manleviet.github.io/publications.html
Servicehttps://manleviet.github.io/service.html
Teachinghttps://manleviet.github.io/teaching.html
Awards & Grantshttps://manleviet.github.io/awards.html
CVhttps://manleviet.github.io/assets/pdf/cv.pdf
Institute of Software Engineering and Artificial Intelligencehttps://www.tugraz.at/institute/ist/home
Graz University of Technologyhttps://www.tugraz.at/
Professor Alexander Felfernighttps://felfernig.sai.tugraz.at
University of Economics, Hue Universityhttps://hce.edu.vn/
Institute for Informatics in French-speaking areashttps://ifi.vnu.edu.vn/en/about/
University of La Rochellehttps://www.univ-larochelle.fr/
Hanoi University of Science and Technologyhttps://hust.edu.vn/
Catholic University of Louvainhttps://uclouvain.be/
Professor Michel Verleysenhttps://www.uclouvain.be/en/people/michel.verleysen
Journal of Artificial Intelligence Researchhttps://www.jair.org/
Early-Stage Product Line Validation Using LLMs: A Study on Semi-Formal Blueprint Analysishttps://doi.org/10.1145/3748522.3779903
SAC 2026https://www.sigapp.org/sac/sac2026/
Robust Lazy Conflict Detection via Multi-Conflict Extraction and Genetic Diversity Controlhttps://ojs.aaai.org/index.php/AAAI/article/view/38995
Robust Lazy Conflict Detection via Multi-Conflict Extraction and Genetic Diversity Controlhttps://ojs.aaai.org/index.php/AAAI/article/view/38995
AAAI 2026https://aaai.org/conference/aaai/aaai-26/
27th International Workshop on Configuration (ConfWS 2025)https://confws.github.io/2025/
28th European Conference on Artificial Intelligence (ECAI 2025)https://ecai2025.org
Early-Stage Product Line Validation Using LLMs: A Study on Semi-Formal Blueprint Analysishttps://doi.org/10.1145/3748522.3779903
Robust Lazy Conflict Detection via Multi-Conflict Extraction and Genetic Diversity Controlhttps://ojs.aaai.org/index.php/AAAI/article/view/38995
Learning Constraint Orderings for Direct Diagnosishttps://doi.org/10.1007/s10844-025-00962-4
InformedQX: Informed Conflict Detection for Over-Constrained Problemshttps://doi.org/10.1609/aaai.v38i9.28932
FastDiagP: An Algorithm for Parallelized Direct Diagnosishttps://doi.org/10.1609/aaai.v37i5.25792
DirectDebug: Automated Testing and Debugging of Feature Modelshttps://doi.org/10.1109/ICSE-NIER52604.2021.00025
selected publicationshttps://manleviet.github.io/publications.html
Viet-Man Lehttps://github.com/manleviet
Jekyll Researcher themehttps://github.com/ankitsultana/researcher
Ruben Brancohttps://github.com/RubenBranco/rubenbranco.github.io

Viewport: width=device-width, initial-scale=1

URLs of crawlers that visited me.