From f101bb78a681f74434c60b771eff9da482f911ab Mon Sep 17 00:00:00 2001
From: Armin Zavada <zavadaarmin@edu.bme.hu>
Date: Wed, 13 May 2026 15:47:43 +0200
Subject: [PATCH] Added the Semantifyr tool

---
 .../research-components/ToolsSection.tsx         | 16 +++++++++++++---
 src/locales/en/research.json                     |  6 ++++--
 static/images/logos/semantifyr-logo.svg          |  1 +
 3 files changed, 18 insertions(+), 5 deletions(-)
 create mode 100644 static/images/logos/semantifyr-logo.svg

diff --git a/src/components/research-components/ToolsSection.tsx b/src/components/research-components/ToolsSection.tsx
index 4d2dc7fd..71055fa2 100644
--- a/src/components/research-components/ToolsSection.tsx
+++ b/src/components/research-components/ToolsSection.tsx
@@ -62,22 +62,32 @@ const ToolsSection: React.FC<Props> = ({ heroBackgroundImage }) => {
           <Tool title="research.tools.tool3.title" desc="research.tools.tool3.desc" url="https://refinery.tools/">
             <StaticImage
               src="../../../static/images/logos/refinery-logo.svg"
-              alt={t('research.tools.tool2.title')}
+              alt={t('research.tools.tool3.title')}
               width={58}
               style={{ filter: 'brightness(0) invert(1)' }}
             />
           </Tool>
         </Col>
         <Col lg={4} md={6} className="mb-5 mt-5">
-          <Tool title="research.tools.tool4.title" desc="research.tools.tool4.desc" url="https://eclipse.dev/viatra">
+          <Tool title="research.tools.tool4.title" desc="research.tools.tool4.desc" url="https://ftsrg.mit.bme.hu/semantifyr">
             <StaticImage
-              src="../../../static/images/logos/viatra.png"
+              src="../../../static/images/logos/semantifyr-logo.svg"
               alt={t('research.tools.tool4.title')}
               width={58}
               style={{ filter: 'brightness(0) invert(1)' }}
             />
           </Tool>
         </Col>
+        <Col lg={4} md={6} className="mb-5 mt-5">
+          <Tool title="research.tools.tool5.title" desc="research.tools.tool5.desc" url="https://eclipse.dev/viatra">
+            <StaticImage
+              src="../../../static/images/logos/viatra.png"
+              alt={t('research.tools.tool5.title')}
+              width={58}
+              style={{ filter: 'brightness(0) invert(1)' }}
+            />
+          </Tool>
+        </Col>
       </Row>
     </Hero>
   )
diff --git a/src/locales/en/research.json b/src/locales/en/research.json
index 998fa420..570a9c78 100644
--- a/src/locales/en/research.json
+++ b/src/locales/en/research.json
@@ -20,8 +20,10 @@
   "research.tools.tool2.desc": "The Theta model checking framework is a collection of modern, abstraction refinement-based algorithms, which can be tailored to the give problem due to their configurability.",
   "research.tools.tool3.title": "Refinery graph solver",
   "research.tools.tool3.desc": "Refinery is an efficient graph solver for generating diverse, well-formed domain-specific models using partial modeling techniques.",
-  "research.tools.tool4.title": "VIATRA",
-  "research.tools.tool4.desc": "Eclipse VIATRA is a model query and transformation framework, focusing on high-performance and incremental synchronization.",
+  "research.tools.tool4.title": "Semantifyr",
+  "research.tools.tool4.desc": "Semantifyr is a framework to support the declarative definition of engineering model semantics.",
+  "research.tools.tool5.title": "VIATRA",
+  "research.tools.tool5.desc": "Eclipse VIATRA is a model query and transformation framework, focusing on high-performance and incremental synchronization.",
 
   "research.publications.autoGenGraphModel": "We designed a new method to solve optimization problems during graph generations according to various object functions.",
   "research.publications.autoGenQualitative": "We designed new algorithms to combine various solvers for synthesizing test scenarios represented as graph models.",
diff --git a/static/images/logos/semantifyr-logo.svg b/static/images/logos/semantifyr-logo.svg
new file mode 100644
index 00000000..0f2c0865
--- /dev/null
+++ b/static/images/logos/semantifyr-logo.svg
@@ -0,0 +1 @@
+<svg width="136" height="136" xmlns="http://www.w3.org/2000/svg" xml:space="preserve" overflow="hidden"><g transform="translate(-102 -69)"><path d="M206.692 138.842C209.242 149.183 198.617 159.383 188.133 155.133 179.35 152.017 175.95 141.817 182.042 133.033 195.783 114.758 185.725 86 162.917 76.0833 173.258 95.6333 157.392 113.625 148.325 121.133 139.258 128.642 133.167 136.433 131.325 140.967 122.117 163.35 135.858 184.742 145.208 189.842 140.958 180.208 136.992 161.792 153.708 144.508 153.708 144.508 148.892 162.925 159.375 175.675 169.858 188.425 169.717 197.917 169.717 197.917 186.008 197.917 201.45 188.142 207.967 172.133 212.925 162.642 213.35 147.625 206.692 138.842" fill="#C00000"/></g></svg>