From 4b0a88d902343097eddfc5f4268bbdd03d7f8c5f Mon Sep 17 00:00:00 2001 From: Zoltan Micskei Date: Wed, 9 Jul 2025 12:07:33 +0200 Subject: [PATCH 1/5] Add ESA VAMPIR project --- .../images/projects/vampir-esa-project.png | Bin 0 -> 122947 bytes src/content/projects/projects.yml | 25 +++++++++++------- src/locales/en/research.json | 4 ++- src/locales/hu/research.json | 3 ++- 4 files changed, 20 insertions(+), 12 deletions(-) create mode 100644 src/content/images/projects/vampir-esa-project.png diff --git a/src/content/images/projects/vampir-esa-project.png b/src/content/images/projects/vampir-esa-project.png new file mode 100644 index 0000000000000000000000000000000000000000..6006147ed2374c6471190f862cbec02141c832f6 GIT binary patch literal 122947 zcmeI52fP$T^2Zx6AY#rahzcqgK{!QJKoA5`6v2p!o(cUMKujkJhEtGWKtap`=A69~ zIl=6KS=3X(fQn#7!2tBXz6CvRcHi!M`*vsc&FoHnKJU%!OixdDO-)U8ch#>(9C$#t zH5xQ(V2oL#`@UUz%l2XZ>aQaIM_xPTY}u@K=DvrYWz2@n`K!~tce9_2X==K6>D1@E zI_B|VJ%`p=xNwn`f(a!Yh#d#&SfSXpI%#mi0pUR1gbN7=;>v+Uc;ouyl6EJWH<5w( zav;&X@qKn>-||Fw%U%TH%Ya09k(X0N^WGJpN`R}NPs zMT)_JM0ktA<>Vfra3Jw8tA?#hmo7DHuf4YU_19muOy|y>tGOyUT?`JCwdVci zn{UjdNt4Vix7?DI*K_8~QNgWKr;e6+?z!i(mJRyE0}ni4X3d%vbhV{ZAHKciNb~2< zw<3`EHQQBIS;ao})KeMR@YrLIX_-Cu+*7x0+qTVEF6e`_k9N_%%{JT2o^Zkm_MwL! zvWpil4*FKHt*>k~?*!xTGcr1+O;#idi65zyz`Fv```a=Wo zNHXV~bB_7?>#xnb@4l65T@3C{P9Qc z+(8E&q~~O2z&jS?4lj==SpD01=bi0@2@~vBUwvgo5C!Tm>khhIx zU1cx4Vm_!a9C+Y?-UCFVi7l+hx7cC}?>IZxU3Z-xKkTr>QjQ1p!+i<%-g|G=@=lQ5 z{B+&Ab#33ieeDlF{1DVFV_Q$zFBLQ2yZY*@o7GlZ&4@r45e`gC^V(~#nO9zU#bATB zXwgEC@sAmSZMWUlFlQ{Eb?9X8vDxXrRv*G2_@06Y*y!a2Wx>Z|*8|KwlU#%LwQKLq+)r?r( zx9kUOv3gobV^cT~8M9&G!iDCjqmDBD`}fz?uas6MKN1dP;y_e}tKuA^BY0_}Zui(@ z4=YQiQE6V;wBx()zOy}h_O$Q4_g>`t92w2~x4->O-z}N^SKosdUwlyqF5;4?^R1a) zyyRH099Xnyk$SY@#dgINR|H#m7`0XVdNqHk^F2OafNIMJP(VU;?8+;zZ1K4jFE5QI z*lDMoR3o#(w9h{K*vB7#Jb*hTRb=7-J{$)he6aExA7iv})G1O67UFAbaZV9WFXfwz z#_gSV-f5dOY2uj|5)^603oPnW0;XPtGdm~Q!1QVUl_N_gqNECkp! z*Id*7{PWKqI~c^l*oF-o+JFA@pLVz1c2hydaix9x_EvlVyt2to%{YLE9ehONPMbEZ zW*66T>BtE$S{Lmr%dyHDL9wyol&$u#eKD7AD9&t^zQCkKj3@;Dvri(@9|+hhelSK zWftAsc;k&mK)quBy-QcY9XfV26K=fO2tb(`H-3WY+@%5-_^L5uj6hq)PMB(=!HK7O z$Xv&6@Eg4yI(E`<3Rx-e?hHiE;K75;b5oXs1QXsoP>j`Mk3G&SQ`HVQR$Oz)A%`e5 zP*r71>0CWo=pI%|9g0$4(74x2#HFJ)ZQB|mFjK$dM!zgwy6j`#dHXFhckW!Kgv=`v z3%^=})pCk~2d7mae-zuw`JK9Zmhv{TW<%VWUfERWWF}0wQ3Whh-_XRFOo-}?VnBsu z=}~6GY}tXFCBmCYk_tSA=A0#Xrf#%GbxoQy&MLU>b_npOQDaO?K?#Hy)r}rCD(k2Y z&vHx!f&4LV3R?ESfdlorFpyHT;)wlA%!Uvi2(j&g{B@xb z7da2IC)2H&jO{3PG4osCokFj@`l^wbDI>0S8gepy`ZP^yam_W?n%7@{-N+K9Li|t` z^MQHCdGqEO@#yDJ$xEzO_0y6iOU=%L4FyVyIE5GiLNjyb%oeR}70*hX8vMmeYCqAu zAwEttFsRXAfBlX5=)({7PM?1IiCMIGk!jz4k1Fqs23{z(>^KV4FcOGNDusAi(0xVCoBUw9~+D z>TJ-Uv#Qj<8*I2?YGqk|!S{Pb^NP!uIrrRiE6rwPxh(dF1Ch2DRActqU#*HLkkqDoupvZ(kVu1#4dM z4%fsF0{5+$`4VSh1X?_dw#K?nr-4_Mwc7jcyI1>Cl?G64RylumXjtX-30pPr;fO05ISbNh&7U@WhsDF9U`-VYRpT^-lP>$+!@F z0TAX3FS+>b0+@SS;5zItI0&lG&t zLk~SvGavHhIQ{g~jbw?@+kN`!rEplu{cr!_K=%VP8`4{KyCl_>^gEhn z{o;!+R)J10ll(TCAdcy-#fyGZC_)m_^U(7lln09;-Mjb5=kl!AV8cqvA|u#bI=dlx zaMdi}0)aX*f*Yk;Hhpnq?X}l7`|Y=%5lE!0br*6XP|fRa2$SZZ>hXyoKPeOFe0mb9 z-~h|PVEz9lCc|HUEis)tcQHHcxRduet|*y#58?2;S@IcY@E3Hv5z}C#7G-u}@ZiCo z;L@tbjT;-rJJ`T}BAX-5LtzdgLla&)vcnELC@3#EN^iO47I`?GmwQ9`ds(LYe0mul ztSoc2b?eqqhaSFE_$Vx0u>e#RYnqEvnDX3I^TwNR={7xFBS-;8<1(X=i6m6n2>g*a z65XbYCCoZuPIT|yUEMtK&j^e1G8@Q;iW3N*Dfh>x&h4}H|7I}4r*X!N83x}|ayZ33 zGO*AG!bp9{kPFlwp`i?LmMvQy9M)&poDlVK`Sp_{JU9Y)m4m$vApONA4mlE&dGP01|sn3ga99T(3&FfdR@;~x{qoB%O`n5%8^L+iE;I02ef5TBJxOEq*__!agPxOQ z3hK1ePOp+RnM{a5GVj{I|FKnGm&-|PTzrOc5jgV5Bh9V1-dbzE6^ZcX^2An@VG+hH z*)kaQ=YM5k=2dYZhlp2W;FXQgSdt*ZJoeaQ-fY2C$>%z7V5-gNuE&gUHgK1Hx@s_| zJC|*nZbDFQu((eaBEYnR!J8m|Yx@PpGu!Qpb6gr!ICb9q_{*FxK;gB;q6V;6FiNGj|{F+8wsv&Pup_w&FP*7xTf&oUfIbx}3^~S*T)EP@MNB)_1`d!4a#8 zeqv1E2vb0VCEbAxTc(=QiOK&H#YFgR(PEuCTe@_a`TdVSbxLXvafos>NkZU9j~?ZI zX5EqzeB#7ODY0_roqLY@pk%$MniEaMcZFG#D0mbm!duP5@}EW+9Hl#-;F#n{w2e*? zy5G5Oi4bNb>q{|5@HlJMytx9CF#R-g_CWsg<4b zFs?gcs`XN(?A4S(;K-y%7Dv?cbIqngcDA1r*hhIy@V23Oa$=}u)v#(pru?( znM*Fd*fRriF(Jg`Pcc^=eC5&o`dRrZq|_VNACbgDjVd$6S;Z4hQC3#8Z%R|e`^r0y z-3z8`O$a*}0j-KSPmTm9j81?vU4!8I%XRI#Pss=_{Y}h<8hkQwzV;K7_I_eE!4WHr z*oHMB>|i&;knK9o6DxP{}IK{c0F#3xw9O9MPbhFLO4L3|s+%)fC+;=j) zvB|N_9N=>+PA8srl?2Nv1!WMYSz<&cv&v18 zd253vG;oIw9VOKMBMk(gegIFt|Nc93r8tU%vI9Adi*IhpQAUwY4rb*5X^lj1Jnc)u zGe5~JffYw2?>zas#5vzzB+&g#gE(jBmeSxX6Vs9bTPChlb4)a;C!E`FzkQ|BS30J;T0xC(7eHf=+vo`hneO~h4d%~*S;{eL=}Vj zGjrxlHDhqf@-N(kanFJ@FR3d@;m)$D|Br#nm@#9lJgiJFOze+|4}q6AN*;=)n-n{^ zQon`|AMR;i%JBzpP(WbV&{54I}$gNtnvZQG& zMH2i1Pk0eZaeK_zP3&R+fX-=Tx5Yk|92Qo>YBF9Q#e*c0PM3j}EjG5DJ8mF$_(qk^ z3205=-Keqf%Cu2R!#aq-PHViS{jy0j{d>3ZR`$R~o28VI7_Pt@9)$|gv}hhDglr{5 zCS%i>kr2ov%M!D{ynp}Rd+*J7ZPX4jk1co|zGu9N9dlVj``3ICr|*qjBHR0JUClOY zwy{?RC6?*SR7l@yyxMmE{r3yMmlG~4*Ve0Vwv?DGM{CPKVr0ElO>0wejDb!mMievG zOSm`Dy^gNF`f7DNmj~qz>6XFFfB^$EvO=<3E2sykIdLRb85yiCCu>Gr^s^Z_;8!Ct zrb^OP)3?`RGhq~9g1oE7eEaRU3K^z90{T}WVL4XF41=SC>a1ke6=6-M`f}|2dKC%6 za25RMqmR;ymBjCzci!2ELyhsfPLif;_uY5*J>ZJ2lH!V}3T7g}`T9Uo1c+a-qAzBP z+^x7e8haqNJKBERzf8Zr%NIx7F}K}&&p*sg+f}^8q%I4RYAn2jwm520XT_`L4*0fB zL>v3@B>mU7%$7 zH{X1-7rPdP_7>6x|Fc~Dd*v^$zwY0C=l!zdFO%K}23nl|hLv-W+yVh4&W~z4zXGMtpr0VG+O)@=L^- z{Lk{G*H$$W1f7w@<-@%2YK5}fZbc@fjD_H1Q^mba1#jI?{#1=bNS`N^R61<2hVuu z(4mTNoL&+4f+qwyHkZf=nR3#VDOSw<$|3!_sQhO9;tzd4sK+8R>f)ay!E{9ndH+X` zYiO>zp(6AN6Ux6TSy4K_y&4NIgABsC-DnyCK2ip5UFxo68p!?((YRxm{beNeoku)G zfGL6`ULanipo!OOqm4H*ci(-F;;$7_KVdz9wg3$Z&R2CLQ)P;iP+hqwobM}8s~{pd z+Og%I<{txpG0nDEVm|$BB{TlEhUWQ~Dx?{iam(xOnnJfV7G7>RVZsD+$t9QMbZ=1A zZ@>L^P5YkH1vwT9OL*Pw(T+e?0iFUN2pTzG0(=C)L>uD^kWG-|B)qd`%~E?FnE&dC z85X8kfe{Fj@)BMez*G+!HCskT<~7l_=bwMRqUZ$KXzKC{FU}|kT0TUQ5KIShKBPwn zyZZQ)(+>cbv(x7bes1f00kW6!pTYkYgiVkZnKENE4nLV%BnJez$8jP2oU!Mt0+~kp zjvYHzQJ4bn*W<%_4z2N$n}3OfumZ`qq@E~l?NFY)Mi>6?fB*9r4SZj|&E9fO|Ni|0 zsbAn?tblUacJ11Eb-RACl|&7J+^3W(!BdEJ?jAjQr0`5&B&|%jgcfE35A#;V{#Qxr z(HVFQW5No8o+I(!%kBGBao4V075KoND|Ab!gm|GCRv%E4ev*fz*+%@!Z2t4*yw4|u zKkSCJ)>{iVF9HtaXiyP7EO(MKGJP&dh01Ga* zuvZ!f2LV^`ekVJ{=RhL7Ir5x5PUJA~uPTrd$?v(8V^vA9fH;r{Zw(lUEq9M(we|y= zfeyleHKF2jAQ9dg@*J2)iHY*AVm2b^r6jNNWT#3F6kT|6W<5vpGR2v|zQ<9)kwjs7 z=+y35vJIaDMH60P!Uqi+r0Et(0OlZP!tY}6cOWhvM+-NFHh1n^6SU`b@U1Sr8jB*l z*n~$MafF5suumHCjvYJ3nwz+X`DY)(%x4;FMuph;ywV2Mq&;}0kTU$CiEYoH;d}wa zV+GJJg1drFBg6_13+l|x;>*XXA1RIyG(pWvnXj!$KU`UyBY=iv>I_F+g7rv^?x(62 z{Qc$PxKH1&mo!H>W-#-@v*oY0DUhY&Y@NUhhIBIwa2Tx%nu)=iI|%YG6<1XspLt%G zeDgoy&4cGTSyrkea=7BSTS|l*T)O8y{Uc4L_?OgbS3@%)$d80KGlIM2mRqX58dh$+n8AJ zo6Iack5EY-QlNyZoP$z4_0&@Xt=nIj-#rr7MX>pC)${*JV3}>&w5jK|2lf(Z%(!*_ z_~VcI2j;%m%y!|zg;toaf8h2@?6-Fv^@B9xubX|`DRBqoJb%<*DkRwu74x-y`}UQ( z1S*XX%Xb@?@Deiw;oCV;GJz1(MhE5dnzGGw4B-Pq zDPLk>m5qr1DU`6A`NP&rCx8778W5ivf1`G`R``D>YS?AEQDW_Lj=6XT9896DHU z73>U5co`6}WXkjyZ>AGkzp$q7^P4}hH>+r3=2K#ed7;G&o_Klqg!>8bEWE%R;g8Gw zB=>~e{oQ&0ZxFQ^X+z9dFxqy%U3p#_mcAW<3snllOUfV&khaN_Cu?LS0*h$?uIfi0|L6aWIL(!Ip>ou0%m1Z$ch#%=uTk$ z3$k8{xj_9OP|KjRWD|B&$28{3Wid)~8Avdzl`ma&mjrq~_FCBgnlo6#Nr#AEWu$mpsh(b(Ch7sKFDNeOQl3`**ZE(bz$(ur=Dla`eV z2NK~el_yz-{YZqj3?F)_bU6{;QhAbP*pEbb%kZI>N|zJiEtMx(hW$u{w+tV8sdPCJ z-coszW!R6{3NP-L@uOA~HrdMg0@P0HS$(|p(o5A3p>|pj&Rt`-+Qw3?WbamQr)Qpd zCTnCxIP8jNtz<;((4m7i9=~J)OiO|S^_mE=viIMAU-Mx|+?3~QDxi2F-m$c*7H>N% z5x`a=BCI6RD~Zk#We{m1x>bBgHHuZVg_Y23E1E+ESVG<--S((8?!pT%RK7_VlSLWC zogyo|k{rxRJe3s>E)`s|_(*iH6}$jTGzD5jJig-2|Dv{^=o2#gpadk$$4WxwqTWB~ zn?*`^2}O}aCsqOgExw|d2xwi2bnyBu+543FJcNX5&H*qh;4cC!IB!vuDq? z`|Y=%XVVHisuiqXH46xg#O8Gb!i``nSb=%6;)L!FC)+$YAV`o_07F!OCE7ZV8fyQN zS{Gj6mn6rRm2h$^fqx!HBq_2oRoyLu7 zU3g)bK!#dE(9?-nF>GH3Xaanp12}}2{e*(yz_e-8tVBwy01F~~FqIammPiP1RedE8 zQex9oh%pz?&D#;T9X+^kQ~j03ex&5C$U`_$RQmN|}g^mamVIfvrYJ(|4A4!^RE+Are%` zxKN!&M}0Lh@^%EDp{Y}+s*xtheW87o1nS)iC|g#8JhU6HsF)Q6zUO=GwU_o)q$p*} zK){V;!){Al>JJQ&FU(igq27fF$;~~0i-Ew90)D+%M5Y)ZHRlLiJ0Q4VOm*qfML#*f zl9TyFR%ZF=>{P^)1ukG5ktDXlQD52#Xi2Mi+^gBR-Nu%7)NB`nt|z$yRHMlxw2_wt zb1GwTQ0W*|0vkjACo(DqL4f2!)Sro*U!!=~WIA1z$09Ghk|aU1ofLvnUEPxv`paY99#JXmTLgXUvcsjcEk_DCF9gcDgKoCc-O^ z9nA~1Zrxf<0`}8|m+UP9RcT1n(7AJGim0a6oq+zi6ryBhbOhGukRe0#-Uu#}vKN{7@*dl*w%W?8k~L|7c_BQBP^;*~F&IOyAyM15s%HaL@kc~wU;ZKfc-4BW^sK%(LS0|uBq z_uSLSf{6~;B%59+km+vVMiv?FD+wZuOq02$C0ic{%3gTgV9nXF@Min%w^wv&@atKu zXx_ZJ<{97|vjLF5ydDVXpA%keZc^Nr7Txzm+cmQL0uU8tx%0Ye80Ba&?ux7UmO;=g<1%ww#oZ56v$?wiV2YFo?O`o;`bN)o!XRjQf;Aon zGXLt&UF&RRQU-;Yw8EJY{^>J+`;z_T94KqyW$^(mE2I6K>B64V#Wg6zK$2B8 zncdKooi(_$tcu3M!z`>PB2!Z4_19m|xq7F0!}jKupffXn{(M80?}V~*psY1-cD7_b zQ!LHP-4nsh{0#g@%UbjL8ByInjyXez4mBX!$zn!z#gp?z;6Mapgo@DX^g0pVl6Z{e*@;AWBlq0bI_b=}joEzv?p-=1ZoD}^okWmxW>r!! zY8*&}H)>BLX;01^NQ5_MRwV_a#(_k5qxM9S_T Date: Wed, 9 Jul 2025 12:07:46 +0200 Subject: [PATCH 2/5] Update project numbers --- src/components/research-components/ProjectCounters.tsx | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/components/research-components/ProjectCounters.tsx b/src/components/research-components/ProjectCounters.tsx index 3af2ea8a..0d1632b6 100644 --- a/src/components/research-components/ProjectCounters.tsx +++ b/src/components/research-components/ProjectCounters.tsx @@ -8,9 +8,9 @@ const counterData = [ { /* EEMCN, FUTEG, HIDE, DECOS, RESIST, Sensoria, Deserec, Diana, Hidenets, SafeDMI, Amber, Genesys, Mogentes, SecureChange, E-freight, R3-COP, CECRIS, Concerto, MONDO, R5-COP, ADVANCE, Arrowhead Tools, EMBrACE, ProtectME, - Urban Mobility ADA, SME4DD, OpenSCALING, EDGE-Skills, DOSS */ + Urban Mobility ADA, SME4DD, OpenSCALING, EDGE-Skills, DOSS, RESCHIP4EU, Digitaltech EDIH */ title: 'research.projects.counter1.title', - count: 29 + count: 31 }, { title: 'research.projects.counter2.title', From 2781b9f3e75afd8854a9f63cf0601d69f064c9a0 Mon Sep 17 00:00:00 2001 From: Zoltan Micskei Date: Wed, 9 Jul 2025 12:13:46 +0200 Subject: [PATCH 3/5] Add Refinery tool, closes #352 --- src/components/research-components/ToolsSection.tsx | 10 +++++++--- src/locales/en/research.json | 6 +++--- src/locales/hu/research.json | 4 ++-- static/images/logos/refinery-logo.svg | 1 + 4 files changed, 13 insertions(+), 8 deletions(-) create mode 100644 static/images/logos/refinery-logo.svg diff --git a/src/components/research-components/ToolsSection.tsx b/src/components/research-components/ToolsSection.tsx index 73a21e6c..7a1853ec 100644 --- a/src/components/research-components/ToolsSection.tsx +++ b/src/components/research-components/ToolsSection.tsx @@ -2,7 +2,6 @@ import { ImageDataLike, StaticImage } from 'gatsby-plugin-image' import { useI18next } from 'gatsby-plugin-react-i18next' import React, { PropsWithChildren } from 'react' import { Col, Row } from 'react-bootstrap' -import { FaProjectDiagram } from 'react-icons/fa' import Hero from '~components/Hero' type Props = { @@ -80,8 +79,13 @@ const ToolsSection: React.FC = ({ heroBackgroundImage }) => { - - + + diff --git a/src/locales/en/research.json b/src/locales/en/research.json index 5da3d3df..2af1d917 100644 --- a/src/locales/en/research.json +++ b/src/locales/en/research.json @@ -15,11 +15,11 @@ "research.publications.description": "Our research group regularly publishes papers in the leading venues of software engineering (TSE, IST, STTT), model-driven engineering (MODELS, SoSyM), formal verification (TACAS, JAR) and software testing (ICST, STVR).", "research.tools.tool1.title": "Gamma statechart composition framework", - "research.tools.tool1.desc": "The Gamma modeling toolset helps to design and formally verify component-based reactive systems and can generate implementations automatically.", + "research.tools.tool1.desc": "The Gamma modeling toolset helps to design and formally verify component-based reactive systems and can generate implementations.", "research.tools.tool2.title": "Theta model checking framework", "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": "VIATRA Solver graphgenerator framework", - "research.tools.tool3.desc": "VIATRA Solver is a framework, which can automatically and efficiently generate consistent and diverse graphs from domain-specific models.", + "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.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/src/locales/hu/research.json b/src/locales/hu/research.json index 58928f53..0d1769c4 100644 --- a/src/locales/hu/research.json +++ b/src/locales/hu/research.json @@ -17,8 +17,8 @@ "research.tools.tool1.desc": "A Gamma modellezőeszköz reaktív rendszerek komponensalapú tervezését, formális ellenőrzését, illetve implementációjának automatikus előállítását teszi lehetővé.", "research.tools.tool2.title": "A Theta modellellenőrző keretrendszer", "research.tools.tool2.desc": "A Theta modellellenőrző keretrendszer absztrakció-finomítás alapú, korszerű algoritmusok kollekciója, amelyek kombinálhatóságuk révén mindig az adott problémához szabhatók.", - "research.tools.tool3.title": "A VIATRA Solver gráfgenerátor keretrendszer", - "research.tools.tool3.desc": "A VIATRA Solver egy keretrendszer, amely szakterület-specifikus nyelvek jólformált és változatos példánymodelljeinek automatikus és skálázódó generálására szolgál.", + "research.tools.tool3.title": "A Refinery gráfmegoldó keretrendszer", + "research.tools.tool3.desc": "A Refinery egy keretrendszer, amely szakterület-specifikus nyelvek jólformált és változatos példánymodelljeinek automatikus és hatékony generálására szolgál.", "research.publications.autoGenGraphModel": "Olyan módszereket javasoltunk, amivel gráfok generálása során adott célfüggvény szerinti optimalizációs problémákat tudunk megoldani.", "research.publications.autoGenQualitative": "Olyan új algoritmusokat javasoltunk, amik többféle megoldó kombinálásával képesek teszt forgatókönyvek automatikus generálására.", diff --git a/static/images/logos/refinery-logo.svg b/static/images/logos/refinery-logo.svg new file mode 100644 index 00000000..43d302e3 --- /dev/null +++ b/static/images/logos/refinery-logo.svg @@ -0,0 +1 @@ + From b25fe6634e501ca97acd48ba224fc015d1cdf432 Mon Sep 17 00:00:00 2001 From: Zoltan Micskei Date: Wed, 9 Jul 2025 12:28:03 +0200 Subject: [PATCH 4/5] Update TDK and thesis numbers --- src/components/indexpage-components/EducationCounters.tsx | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/components/indexpage-components/EducationCounters.tsx b/src/components/indexpage-components/EducationCounters.tsx index 144e7988..297f6d19 100644 --- a/src/components/indexpage-components/EducationCounters.tsx +++ b/src/components/indexpage-components/EducationCounters.tsx @@ -9,17 +9,17 @@ const counterData = [ title: 'home.counters.c1.title', isGatsbyLink: false, url: 'https://diplomaterv.vik.bme.hu/hu/Browse.aspx?d=MIT&e=SE', - count: 600, + count: 757, suffix: '+' - /* From diplomaterv portal, 2010-2021 Summer */ + /* diplomaterv portal: from 2010 until 2024/2025 Autumn */ }, { title: 'home.counters.c2.title', isGatsbyLink: false, url: 'https://tdk.bme.hu/browse', - count: 230, + count: 245, suffix: '+' - /* Until 2024-12: 38 OTDK (2001-) and 191 TDK (2000-) */ + /* Until 2025-07: 55 OTDK (2001-) and 190 TDK (2000-) */ }, { title: 'home.counters.c3.title', From b636fdb7d80c0fc54d286b5466236ab79954e05f Mon Sep 17 00:00:00 2001 From: Zoltan Micskei Date: Wed, 9 Jul 2025 12:35:56 +0200 Subject: [PATCH 5/5] Update scholarship and specialization names --- src/locales/en/home.json | 4 ++-- src/locales/hu/home.json | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/locales/en/home.json b/src/locales/en/home.json index 52b2c92a..6a88ea4d 100644 --- a/src/locales/en/home.json +++ b/src/locales/en/home.json @@ -14,13 +14,13 @@ "home.competences.c3.desc": "Empirical analysis, measurement and scaling of performance and reliability requirements based on qualitative models and fault modelling.", "home.education.card1.category": "Education", "home.education.card1.title": "Our courses cover the main topics of designing, analyzing and verifying critical systems", - "home.education.card1.desc": "We provide three specializations (Systems and Software Engineering at BSc, Critical Systems at MSc) and more than 12 courses for interested students.", + "home.education.card1.desc": "We provide two specializations (Software Engineering at BSc, Critical Systems at MSc) and more than 12 courses for interested students.", "home.education.card2.category": "Talent care", "home.education.card2.title": "Talent care is our top priority; our students are awarded regularly on international competitions", "home.education.card2.desc": "Our students participate in many innovative projects, from which new scientific results, open-source tools or industry collaborations emerge.", "home.education.card3.category": "Awards and scholarships", "home.education.card3.title": "Every year our students perform remarkably on excellence and research scholarships", - "home.education.card3.desc": "Research visits, Rector’s Award, New National Excellence Programme, National Higher Education Scholarship, University and Faculty Scholarships...", + "home.education.card3.desc": "Research visits, Rector's Award, University Research Scholarship Programme, National Higher Education Scholarship, University and Faculty Scholarships...", "home.about.p1": "Our main area is the design, verification, and analysis of critical software systems. High quality is not only the overarching attribute of our application domains, but it is in our DNA for research and education.", "home.about.p2": "Prof. András Pataricza founded the Fault Tolerant Systems Research Group (ftsrg) in 1994 at the Department of Artificial Intelligence and Systems Engineering of BME VIK. In the coming decade, ftsrg evolved into an internationally recognized research group in systems modeling, engineering and verification, participating in more than twenty EU-level R&D collaborative projects. From 2019, we continue the traditions of the first 25 years with a new design and the Critical Systems Research Group name while keeping the same „ftsrg” acronym and enthusiasm.", "home.about.p3": "", diff --git a/src/locales/hu/home.json b/src/locales/hu/home.json index d38dcd9d..aa9c731c 100644 --- a/src/locales/hu/home.json +++ b/src/locales/hu/home.json @@ -14,13 +14,13 @@ "home.competences.c3.desc": "Teljesítmény és megbízhatósági követelmények kísérleti vizsgálata, mérése, analízise, méretezése származtatott modellek alapján, hibamodellezés.", "home.education.card1.category": "Oktatás", "home.education.card1.title": "Képzésünk lefedi a kritikus rendszerek tervezésének, analízisének és üzemeltetésének legfontosabb területeit", - "home.education.card1.desc": "Három szakiránnyal (Rendszertervezés és Szoftverfejlesztés BSc-n, Kritikus rendszerek MSc-n) és több mint 12 tárggyal várjuk az érdeklődő hallgatókat.", + "home.education.card1.desc": "Két specializációval (Szoftverfejlesztés BSc-n, Kritikus rendszerek MSc-n) és több mint 12 tárggyal várjuk az érdeklődő hallgatókat.", "home.education.card2.category": "Tehetséggondozás", "home.education.card2.title": "Kiemelt figyelmet fordítunk a tehetséggondozásra, hallgatóink előkelő helyezéseket szereznek a kari és országos TDK-n", "home.education.card2.desc": "Hallgatóink számos innovatív projekten dolgoznak, amelyek nemritkán önálló tudományos eredményekhez és ipari együttműködésekhez vezetnek.", "home.education.card3.category": "Díjak, pályázatok", "home.education.card3.title": "Hallgatóink minden évben kiválóan szerepelnek a tanulmányi és kutatói pályázatokon, ösztöndíjakon", - "home.education.card3.desc": "Külföldi tanulmányutak, Rektori Különdíj, Új Nemzeti Kiválóság Program, Nemzeti Felsőoktatási Ösztöndíj, Kari és Egyetemi BME Ösztöndíjak...", + "home.education.card3.desc": "Külföldi tanulmányutak, Rektori Különdíj, Egyetemi Kutatói Ösztöndíj Program (EKÖP), Nemzeti Felsőoktatási Ösztöndíj (NFÖD), KBME Ösztöndíjak...", "home.about.p1": "Fő területünk a kritikus informatikai rendszerek, folyamatok és platformok tervezése, ellenőrzése és üzemeltetésének támogatása. A magas színvonalat nemcsak a tervezett rendszerekkel szemben várjuk el, hanem a kutatás és oktatás területén is magunkénak valljuk.", "home.about.p2": "A BME VIK Mesterséges Intelligencia és Rendszertervezés Tanszékén működő Hibatűrő Rendszerek Kutatócsoportot (ftsrg) 1994-ben alapította Prof. Pataricza András a hibatűrő számítástechnika kutatására és oktatására. A csoport az azóta eltelt években a rendszermodellezés, tervezés és ellenőrzés nemzetközileg jegyzett kutatócsoportjává vált, húsznál is több európai kutatási és ipari együttműködésben kamatoztatva tudását. 2019-től megújult arculattal, Kritikus Rendszerek Kutatócsoport (Critical Systems Research Group) néven, de a jól bevált „ftsrg” rövidítéssel és mentalitással folytatjuk az első 25 év hagyományait.", "home.about.p3": "Bővebben a kutatócsoportról a <0>BME és az <1>Impulzus interjújában olvasható.",