Exact Missing Papers from Comprehensive List

This document lists the 3 papers that are definitively missing from the comprehensive publication list after normalized title comparison.

Total Papers in JSON Data: 68
Papers Successfully Matched in Current List: 65
Papers Definitely Missing: 3

---

2013 (1 papers)

1. Validation of Derived Features and Well-Formedness Constraints in DSLs by mapping graph queries to an SMT-solver
   • Authors: Semeráth O, Horváth Á, Varró D
   • Year: 2013
   • Detail URL: https://inf.mit.bme.hu/en/research/publications/validation-derived-features-and-well-formedness-constraints-dsls-mapping-graph
   • ✅ PDF Available: pdfs/Validation_of_Derived_Features_and_Well-Formedness_Constraints_in_DSLs_by_mappin.pdf

2012 (1 papers)

1. Change-driven model transformations. Change (in) the rule to rule the change.
   • Authors: Bergmann G, Ráth I, Varró G, Varró D
   • Year: 2012
   • Detail URL: https://inf.mit.bme.hu/en/research/publications/change-driven-model-transformations-change-rule-rule-change
   • ❌ PDF Not Found: pdfs/Change-driven_model_transformations__Change__in__the_rule_to_rule_the_change.pdf

2009 (1 papers)

1. CSP(M): Constraint Satisfaction Problem over Models
   • Authors: Horváth Á, Varró D
   • Year: 2009
   • Detail URL: https://inf.mit.bme.hu/en/research/publications/cspm-constraint-satisfaction-problem-over-models
   • ✅ PDF Available: pdfs/CSP_M___Constraint_Satisfaction_Problem_over_Models.pdf

---

Next Steps

1. Add These Papers: These 3 papers need to be added to the comprehensive publication list
2. Find Academic URLs: Search for proper academic publisher URLs for each paper
3. Add PDF Links: Link to available PDFs in the pdfs/ folder
4. Verify Completeness: Ensure final list matches the original BME FTSRG bibliography

---

Generated: August 2025
Purpose: Identify the exact missing papers for complete BME FTSRG publication coverage