aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/docs/src/pages/index.tsx
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/docs/src/pages/index.tsx')
-rw-r--r--subprojects/docs/src/pages/index.tsx272
1 files changed, 113 insertions, 159 deletions
diff --git a/subprojects/docs/src/pages/index.tsx b/subprojects/docs/src/pages/index.tsx
index 7caf5727..6b65c32b 100644
--- a/subprojects/docs/src/pages/index.tsx
+++ b/subprojects/docs/src/pages/index.tsx
@@ -7,12 +7,11 @@
7import Link from '@docusaurus/Link'; 7import Link from '@docusaurus/Link';
8import Layout from '@theme/Layout'; 8import Layout from '@theme/Layout';
9import clsx from 'clsx'; 9import clsx from 'clsx';
10import { useState } from 'react';
11 10
12import styles from './index.module.css'; 11import styles from './index.module.css';
13import videoCover from './video-cover.webp?url';
14 12
15import Features from '@site/src/components/Features'; 13import Features from '@site/src/components/Features';
14import Video from '@site/src/components/Video';
16 15
17function Hero() { 16function Hero() {
18 return ( 17 return (
@@ -62,52 +61,6 @@ function Hero() {
62 ); 61 );
63} 62}
64 63
65function Video() {
66 const [started, setStarted] = useState(false);
67 return (
68 <section className={clsx(styles['section'], styles['section--video'])}>
69 <h2 className="sr-only">Check out the intro video</h2>
70 <div className="container">
71 <div className={styles['video__container']}>
72 {started ? (
73 <iframe
74 width="560"
75 height="315"
76 src="https://www.youtube-nocookie.com/embed/Qy_3udNsWsM?autoplay=1"
77 title="YouTube video player"
78 frameBorder="0"
79 allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share"
80 referrerPolicy="strict-origin-when-cross-origin"
81 allowFullScreen
82 className={styles['video']}
83 />
84 ) : (
85 <button
86 type="button"
87 title="Play video (requires acceping cookies from YouTube)"
88 onClick={() => setStarted(true)}
89 className={styles['video__button']}
90 >
91 <h2>Modeling with Graphs</h2>
92 <p>
93 Graph based models are widely used in software engineering for
94 systems models, the analysis of data structures, databases, and
95 AI test environments.
96 </p>
97 <p>
98 Testing, benchmarking or design-space exploration scnearios rely
99 on the automated generation of consistent models!
100 </p>
101 <img src={videoCover} alt="" className={styles['video__cover']} />
102 <div className={styles['video__play']} />
103 </button>
104 )}
105 </div>
106 </div>
107 </section>
108 );
109}
110
111function Publication({ 64function Publication({
112 doi, 65 doi,
113 pdf, 66 pdf,
@@ -153,113 +106,110 @@ Publication.defaultProps = {
153 106
154function Publications() { 107function Publications() {
155 return ( 108 return (
156 <div className={styles['section']}> 109 <div className="container">
157 <div className="container"> 110 <h2 className={styles['section__title']}>Related publications</h2>
158 <h2 className={styles['section__title']}>Related publications</h2> 111 <div className="row">
159 <div className="row"> 112 <div className="col col--6">
160 <div className="col col--6"> 113 <h3>Tool demonstration</h3>
161 <h3>Tool demonstration</h3> 114 <ul>
162 <ul> 115 <Publication
163 <Publication 116 doi="10.1145/3639478.3640045"
164 doi="10.1145/3639478.3640045" 117 pdf="pathname:///papers/icse24-demo.pdf"
165 pdf="pathname:///papers/icse24-demo.pdf" 118 video="https://youtu.be/Qy_3udNsWsM"
166 video="https://youtu.be/Qy_3udNsWsM" 119 >
167 > 120 K. Marussy, A. Ficsor, O. Semeráth, D. Varró: &ldquo;Refinery:
168 K. Marussy, A. Ficsor, O. Semeráth, D. Varró: &ldquo;Refinery: 121 Graph Solver as a Service&rdquo; <em>ICSE 2024 Demonstrations</em>
169 Graph Solver as a Service&rdquo;{' '} 122 </Publication>
170 <em>ICSE 2024 Demonstrations</em> 123 </ul>
171 </Publication> 124 <h3>Partial model specification language</h3>
172 </ul> 125 <ul>
173 <h3>Partial model specification language</h3> 126 <Publication
174 <ul> 127 doi="10.5381/jot.2020.19.3.a12"
175 <Publication 128 pdf="https://www.jot.fm/issues/issue_2020_03/article12.pdf"
176 doi="10.5381/jot.2020.19.3.a12" 129 video="https://www.youtube.com/watch?v=ggTbv_s5t2A"
177 pdf="https://www.jot.fm/issues/issue_2020_03/article12.pdf" 130 >
178 video="https://www.youtube.com/watch?v=ggTbv_s5t2A" 131 K. Marussy, O. Semeráth, A. Babikian, D. Varró:{' '}
179 > 132 <em>
180 K. Marussy, O. Semeráth, A. Babikian, D. Varró:{' '} 133 A Specification Language for Consistent Model Generation based
181 <em> 134 on Partial Models.
182 A Specification Language for Consistent Model Generation based 135 </em>{' '}
183 on Partial Models. 136 J. Object Technol. <b>19</b>(3): 3:1-22 (2020)
184 </em>{' '} 137 </Publication>
185 J. Object Technol. <b>19</b>(3): 3:1-22 (2020) 138 </ul>
186 </Publication> 139 <h3>Diverse and realistic graph generation</h3>
187 </ul> 140 <ul>
188 <h3>Diverse and realistic graph generation</h3> 141 <Publication
189 <ul> 142 doi="10.1007/s10009-019-00530-6"
190 <Publication 143 pdf="https://link.springer.com/content/pdf/10.1007/s10009-019-00530-6.pdf?pdf=button"
191 doi="10.1007/s10009-019-00530-6" 144 >
192 pdf="https://link.springer.com/content/pdf/10.1007/s10009-019-00530-6.pdf?pdf=button" 145 O. Semeráth, R. Farkas, G. Bergmann, D. Varró:{' '}
193 > 146 <em>
194 O. Semeráth, R. Farkas, G. Bergmann, D. Varró:{' '} 147 Diversity of graph models and graph generators in mutation
195 <em> 148 testing.
196 Diversity of graph models and graph generators in mutation 149 </em>{' '}
197 testing. 150 Int. J. Softw. Tools Technol. Transf. <b>22</b>(1): 57-78 (2020)
198 </em>{' '} 151 </Publication>
199 Int. J. Softw. Tools Technol. Transf. <b>22</b>(1): 57-78 (2020) 152 <Publication
200 </Publication> 153 doi="10.1007/s10270-021-00884-z"
201 <Publication 154 pdf="https://link.springer.com/content/pdf/10.1007/s10270-021-00884-z.pdf?pdf=button"
202 doi="10.1007/s10270-021-00884-z" 155 >
203 pdf="https://link.springer.com/content/pdf/10.1007/s10270-021-00884-z.pdf?pdf=button" 156 O. Semeráth, A. Babikian, B. Chen, C. Li, K. Marussy, G. Szárnyas,
204 > 157 D. Varró:{' '}
205 O. Semeráth, A. Babikian, B. Chen, C. Li, K. Marussy, G. 158 <em>
206 Szárnyas, D. Varró:{' '} 159 Automated generation of consistent, diverse and structurally
207 <em> 160 realistic graph models.
208 Automated generation of consistent, diverse and structurally 161 </em>{' '}
209 realistic graph models. 162 Softw. Syst. Model. <b>20</b>(5): 1713-1734 (2021)
210 </em>{' '} 163 </Publication>
211 Softw. Syst. Model. <b>20</b>(5): 1713-1734 (2021) 164 </ul>
212 </Publication> 165 </div>
213 </ul> 166 <div className="col col--6">
214 </div> 167 <h3>Consistent graph generation techniques</h3>
215 <div className="col col--6"> 168 <ul>
216 <h3>Consistent graph generation techniques</h3> 169 <Publication
217 <ul> 170 doi="10.1145/3180155.3180186"
218 <Publication 171 pdf="https://dl.acm.org/doi/pdf/10.1145/3180155.3180186"
219 doi="10.1145/3180155.3180186" 172 >
220 pdf="https://dl.acm.org/doi/pdf/10.1145/3180155.3180186" 173 O. Semeráth, A. Nagy, D. Varró: &ldquo;A graph solver for the
221 > 174 automated generation of consistent domain-specific models.&rdquo;{' '}
222 O. Semeráth, A. Nagy, D. Varró: &ldquo;A graph solver for the 175 <em>ICSE 2018:</em> 969-980
223 automated generation of consistent domain-specific 176 </Publication>
224 models.&rdquo; <em>ICSE 2018:</em> 969-980 177 <Publication
225 </Publication> 178 doi="10.1109/TSE.2020.3025732"
226 <Publication 179 pdf="https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9201551"
227 doi="10.1109/TSE.2020.3025732" 180 >
228 pdf="https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9201551" 181 K. Marussy, O. Semeráth, D. Varró:{' '}
229 > 182 <em>
230 K. Marussy, O. Semeráth, D. Varró:{' '} 183 Automated Generation of Consistent Graph Models With
231 <em> 184 Multiplicity Reasoning.
232 Automated Generation of Consistent Graph Models With 185 </em>{' '}
233 Multiplicity Reasoning. 186 IEEE Trans. Softw. Eng. <b>48</b>(5): 1610-1629 (2022)
234 </em>{' '} 187 </Publication>
235 IEEE Trans. Softw. Eng. <b>48</b>(5): 1610-1629 (2022) 188 <Publication
236 </Publication> 189 doi="10.1007/s10270-021-00918-6"
237 <Publication 190 pdf="https://link.springer.com/content/pdf/10.1007/s10270-021-00918-6.pdf?pdf=button"
238 doi="10.1007/s10270-021-00918-6" 191 >
239 pdf="https://link.springer.com/content/pdf/10.1007/s10270-021-00918-6.pdf?pdf=button" 192 A. Babikian, O. Semeráth, A. Li, K. Marussy, D. Varró:{' '}
240 > 193 <em>
241 A. Babikian, O. Semeráth, A. Li, K. Marussy, D. Varró:{' '} 194 Automated generation of consistent models using qualitative
242 <em> 195 abstractions and exploration strategies.
243 Automated generation of consistent models using qualitative 196 </em>{' '}
244 abstractions and exploration strategies. 197 Softw. Syst. Model. <b>21</b>(5): 1763-1787 (2022)
245 </em>{' '} 198 </Publication>
246 Softw. Syst. Model. <b>21</b>(5): 1763-1787 (2022) 199 </ul>
247 </Publication> 200 <h3>Correctness proofs</h3>
248 </ul> 201 <ul>
249 <h3>Correctness proofs</h3> 202 <Publication
250 <ul> 203 doi="10.1007/978-3-319-75396-6_16"
251 <Publication 204 pdf="https://inf.mit.bme.hu/sites/default/files/publications/fmhe-model-generation.pdf"
252 doi="10.1007/978-3-319-75396-6_16" 205 >
253 pdf="https://inf.mit.bme.hu/sites/default/files/publications/fmhe-model-generation.pdf" 206 D. Varró, O. Semeráth, G. Szárnyas, Á. Horváth: &ldquo;Towards the
254 > 207 Automated Generation of Consistent, Diverse, Scalable and
255 D. Varró, O. Semeráth, G. Szárnyas, Á. Horváth: &ldquo;Towards 208 Realistic Graph Models.&rdquo;{' '}
256 the Automated Generation of Consistent, Diverse, Scalable and 209 <em>Graph Transformation, Specifications, and Nets</em> 2018:
257 Realistic Graph Models.&rdquo;{' '} 210 285-312
258 <em>Graph Transformation, Specifications, and Nets</em> 2018: 211 </Publication>
259 285-312 212 </ul>
260 </Publication>
261 </ul>
262 </div>
263 </div> 213 </div>
264 </div> 214 </div>
265 </div> 215 </div>
@@ -270,11 +220,15 @@ export default function Home() {
270 return ( 220 return (
271 <Layout> 221 <Layout>
272 <Hero /> 222 <Hero />
273 <div className={styles['section']}> 223 <section className={styles['section']}>
274 <Features /> 224 <Features />
275 </div> 225 </section>
276 <Video /> 226 <section className={clsx(styles['section'], styles['section--video'])}>
277 <Publications /> 227 <Video />
228 </section>
229 <section className={styles['section']}>
230 <Publications />
231 </section>
278 </Layout> 232 </Layout>
279 ); 233 );
280} 234}
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-28 09:35:24 +0000