We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Fix incorrect Springer URL in incremental pattern matching paper Corrected URL and citation details for the transitive closure paper: - Fixed Springer URL from wrong paper to correct ICGT 2012 paper - Updated conference details from ICGT 2008 to ICGT 2012 - Corrected authors and publication information 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
Update with correct ACM Digital Library URL for incremental backward change propagation paper Replaced temporary ResearchGate URL with the correct ACM Digital Library URL: https://dl.acm.org/doi/abs/10.1145/2976767.2976788 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
Fix incorrect ACM URL in incremental backward change propagation paper Replaced incorrect ACM Digital Library URL with verified ResearchGate URL for the correct paper by Semeráth et al. from MODELS 2016. 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
Fix broken ACM URL in IncQuery-D workshop paper Removed broken ACM Digital Library URL that gave 404 error. The workshop version citation now appears without a URL while keeping the working Springer URL for the extended conference version. 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
Fix broken IEEE URL in BPEL to SAL paper Removed broken IEEE Xplore URL that led to error page and corrected publication venue details based on available information. 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
Add Academia.edu URL to traceability visualization paper Added Academia.edu link for GraBaTs 2010 workshop paper on visualization of traceability models with domain-specific layouting. 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
Add Springer publication URL to MODELS 2010 EMF-IncQuery paper Added Springer URL for the award-winning MODELS 2010 paper on incremental evaluation of model queries over EMF models. 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
Add Springer publication URL to incremental pattern matching paper Added Springer URL for ICGT 2008 paper on incremental pattern matching for transitive closure computation. 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
Add ACM Digital Library URL to incremental backward change propagation paper Added ACM Digital Library URL for MODELS 2016 paper on incremental backward change propagation by logic solvers. 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
Add ACM and Springer publication URLs to IncQuery-D paper Added ACM Digital Library URL for BigMDE 2013 workshop version and Springer link for MODELS 2014 extended version. 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
Add Springer publication URL to OCL graph patterns paper Added Springer link for Translating OCL to Graph Patterns (MODELS 2014) paper. 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
Add IEEE publication URL to BPEL to SAL tool demo paper Added IEEE Xplore conference proceedings URL for From BPEL to SAL And Back tool demo from SEFM 2009. 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
Add VIATRA2/GRaTS reference to Home.md navigation - Add link to VIATRA2/GRaTS page in the VIATRA section - Maintain alphabetical organization within the section - Provide clear navigation to the stochastic graph transformation system documentation
fix VIATRA url
Add VIATRA2/GRaTS stochastic graph transformation system page - Create comprehensive documentation for GRaTS system - Include abstract, overview, technical implementation details - Add complete publication list with DOI links (FASE 2010, GT-VMT 2010, etc.) - Document system requirements and source code access - Include GRaTS documentation PDF (tool6.pdf) - Cover research applications in VoIP, P2P networks, and performance evaluation - Follow established markdown formatting standards
fix image urls
Format Visualization-of-Traceability-Models.md - Add proper publication reference for GraBaTs 2010 workshop - Include complete author list: Hegedüs, Ujhelyi, Horváth, Ráth - Add structured abstract describing domain-specific layouting for traceability models - Standardize header hierarchy with consistent markdown formatting - Add comprehensive tags for discoverability 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
Format Validation-of-Derived-Features-and-Well-Formedness-Constraints-in-DSLs.md - Add proper publication reference for MODELS 2013 conference and SoSyM journal - Include complete author list: Semeráth, Horváth, Varró - Add structured abstract describing DSL validation with Z3 SMT solver - Standardize header hierarchy with consistent markdown formatting - Add comprehensive tags for discoverability 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
Format VIATRA-CEP.md - Add proper publication reference for Software and Systems Modeling journal (2017) - Include complete author list: Bergmann, Hegedüs, Horváth, Ráth, et al. - Add structured abstract describing streaming model transformations with CEP - Standardize header hierarchy with consistent markdown formatting - Add comprehensive tags for discoverability 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
Format Using-queries-for-derived-features-(ECMFA12).md - Add proper publication reference for ECMFA 2012 conference paper (LNCS vol 7349) - Include complete author list: Ujhelyi, Bergmann, Hegedüs, Horváth, et al. - Add structured abstract describing EMF-IncQuery derived features integration - Standardize header hierarchy with consistent markdown formatting - Add comprehensive tags for discoverability 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
Format Towards-the-Automated-Generation-of-Consistent,-Diverse,-Scalable,-and-Realistic-Graph-Models.md - Add proper publication reference for Springer book chapter (LNCS vol 10800, 2018) - Include complete author list: Varró, Semeráth, Szárnyas, Horváth - Add structured abstract describing automated graph model generation approach - Standardize header hierarchy with consistent markdown formatting - Add comprehensive tags for discoverability 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
Fix markdown formatting and add publication reference for Slicing-of-Model-Transformations.md - Add proper title and abstract describing the dynamic backward slicing approach - Add publication reference to ASE 2011 paper by Ujhelyi, Horváth, and Varró - Convert HTML tables to clean markdown tables - Fix header hierarchy throughout document (# main, ## sections, ### subsections) - Add standardized tags for VIATRA2, model-transformation, slicing, debugging - Improve document structure and readability while preserving all measurement data
Fix markdown formatting for Realtime gesture recognition demo - Add proper title and abstract describing EclipseCon Europe 2012 demo - Fix header hierarchy throughout document (# main, ## sections, ### subsections) - Add standardized tags for realtime, gesture-recognition, EMF-IncQuery, etc. - Improve document structure and readability - Preserve all technical content and code examples
Format Query-driven-synchronization.md - Fix markdown headers (# for main, ## for sections, ### for subsections) - Add comprehensive abstract with view model synchronization context - Add publication details for VAO 2014 workshop with correct DOI and location - Include workshop co-location with STAF 2014 information - Add BibTeX citation format with proper venue details - Fix LaTeX escape sequence for Java 7 in measurement description - Add descriptive tags for view models and incremental queries - Maintain all original content, measurement data, and performance tables 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
Format Query-driven-soft-interconnection-of-EMF-models-(MODELS12).md - Fix markdown headers (# for main, ## for sections, ### for subsections) - Add comprehensive abstract with EMF interconnection context - Add publication details for MODELS 2012 conference paper with DOI - Include Springer LNCS series information and page numbers - Add BibTeX citation format with proper venue details - Fix indentation in numbered lists for consistency - Add descriptive tags for EMF-IncQuery and soft interconnection - Maintain all original content, code examples, and technical details 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
Format Query-based-Access-Control-for-Secure-Collaborative-Modeling-using-Bidirectional-Transformations.md - Fix markdown headers (# for main, ## for sections, ### for subsections) - Add proper title as main header - Add publication details for MODELS 2016 conference paper with DOI - Include extended journal version from Software and Systems Modeling - Add BibTeX citation format - Fix "Reproducable" to "Reproducible" spelling - Add descriptive tags for access control and collaborative modeling - Maintain all original evaluation data and results 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
Format Program-Query-Evaluation.md - Fix markdown headers (# for main, ## for sections, ### for subsections) - Add proper abstract section with program query context - Add publication details for CSMR-WCRE 2014 paper with Best Paper Award - Include extended journal version information - Add BibTeX citation format - Fix image references in diagram sections - Add descriptive tags for software evolution and anti-pattern detection - Maintain all original content and measurement data 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
Format Model-driven-framework-for-Design-Space-Exploration.md - Fix markdown headers (# for main, ## for sections, ### for subsections) - Add proper abstract section - Add publication details for ASE 2011 paper with DOI and award info - Add BibTeX citation format - Add descriptive tags - Maintain all original content and structure 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
Improve markdown formatting and add publication details for MODELS 2010 EMF-IncQuery paper - Add proper title and consistent header hierarchy - Include complete MODELS 2010 publication citation with award recognition - Add comprehensive abstract describing EMF-IncQuery framework and incremental pattern matching - Standardize section headers with consistent markdown formatting - Add relevant tags for EMF-IncQuery, graph patterns, and AUTOSAR case study - Remove duplicate authors section 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
Improve markdown formatting and add publication details for backward change propagation paper - Add proper title and consistent header hierarchy - Include complete MODELS 2016 publication citation - Add comprehensive abstract describing backward transformation technique using SAT solvers - Standardize section headers with consistent markdown formatting - Add relevant tags for logic solvers, model synchronization, and bidirectional transformations 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>