diff options
Diffstat (limited to 'subprojects/docs/src/pages/index.tsx')
-rw-r--r-- | subprojects/docs/src/pages/index.tsx | 166 |
1 files changed, 165 insertions, 1 deletions
diff --git a/subprojects/docs/src/pages/index.tsx b/subprojects/docs/src/pages/index.tsx index 713223c2..7caf5727 100644 --- a/subprojects/docs/src/pages/index.tsx +++ b/subprojects/docs/src/pages/index.tsx | |||
@@ -5,7 +5,6 @@ | |||
5 | */ | 5 | */ |
6 | 6 | ||
7 | import Link from '@docusaurus/Link'; | 7 | import Link from '@docusaurus/Link'; |
8 | // import PlayCircle from 'vg'; | ||
9 | import Layout from '@theme/Layout'; | 8 | import Layout from '@theme/Layout'; |
10 | import clsx from 'clsx'; | 9 | import clsx from 'clsx'; |
11 | import { useState } from 'react'; | 10 | import { useState } from 'react'; |
@@ -13,6 +12,8 @@ import { useState } from 'react'; | |||
13 | import styles from './index.module.css'; | 12 | import styles from './index.module.css'; |
14 | import videoCover from './video-cover.webp?url'; | 13 | import videoCover from './video-cover.webp?url'; |
15 | 14 | ||
15 | import Features from '@site/src/components/Features'; | ||
16 | |||
16 | function Hero() { | 17 | function Hero() { |
17 | return ( | 18 | return ( |
18 | <header className={clsx('hero', 'hero--dark', styles['hero'])}> | 19 | <header className={clsx('hero', 'hero--dark', styles['hero'])}> |
@@ -65,6 +66,7 @@ function Video() { | |||
65 | const [started, setStarted] = useState(false); | 66 | const [started, setStarted] = useState(false); |
66 | return ( | 67 | return ( |
67 | <section className={clsx(styles['section'], styles['section--video'])}> | 68 | <section className={clsx(styles['section'], styles['section--video'])}> |
69 | <h2 className="sr-only">Check out the intro video</h2> | ||
68 | <div className="container"> | 70 | <div className="container"> |
69 | <div className={styles['video__container']}> | 71 | <div className={styles['video__container']}> |
70 | {started ? ( | 72 | {started ? ( |
@@ -106,11 +108,173 @@ function Video() { | |||
106 | ); | 108 | ); |
107 | } | 109 | } |
108 | 110 | ||
111 | function Publication({ | ||
112 | doi, | ||
113 | pdf, | ||
114 | video, | ||
115 | children, | ||
116 | }: { | ||
117 | doi?: string; | ||
118 | pdf?: string; | ||
119 | video?: string; | ||
120 | children?: React.ReactNode; | ||
121 | }) { | ||
122 | return ( | ||
123 | <li> | ||
124 | {children} | ||
125 | {doi && ( | ||
126 | <> | ||
127 | {' '} | ||
128 | [<Link href={`https://doi.org/${doi}`}>doi</Link>] | ||
129 | </> | ||
130 | )} | ||
131 | {pdf && ( | ||
132 | <> | ||
133 | {' '} | ||
134 | [<Link href={pdf}>pdf</Link>] | ||
135 | </> | ||
136 | )} | ||
137 | {video && ( | ||
138 | <> | ||
139 | {' '} | ||
140 | [<Link href={video}>video</Link>] | ||
141 | </> | ||
142 | )} | ||
143 | </li> | ||
144 | ); | ||
145 | } | ||
146 | |||
147 | Publication.defaultProps = { | ||
148 | doi: undefined, | ||
149 | pdf: undefined, | ||
150 | video: undefined, | ||
151 | children: undefined, | ||
152 | }; | ||
153 | |||
154 | function Publications() { | ||
155 | return ( | ||
156 | <div className={styles['section']}> | ||
157 | <div className="container"> | ||
158 | <h2 className={styles['section__title']}>Related publications</h2> | ||
159 | <div className="row"> | ||
160 | <div className="col col--6"> | ||
161 | <h3>Tool demonstration</h3> | ||
162 | <ul> | ||
163 | <Publication | ||
164 | doi="10.1145/3639478.3640045" | ||
165 | pdf="pathname:///papers/icse24-demo.pdf" | ||
166 | video="https://youtu.be/Qy_3udNsWsM" | ||
167 | > | ||
168 | K. Marussy, A. Ficsor, O. Semeráth, D. Varró: “Refinery: | ||
169 | Graph Solver as a Service”{' '} | ||
170 | <em>ICSE 2024 Demonstrations</em> | ||
171 | </Publication> | ||
172 | </ul> | ||
173 | <h3>Partial model specification language</h3> | ||
174 | <ul> | ||
175 | <Publication | ||
176 | doi="10.5381/jot.2020.19.3.a12" | ||
177 | pdf="https://www.jot.fm/issues/issue_2020_03/article12.pdf" | ||
178 | video="https://www.youtube.com/watch?v=ggTbv_s5t2A" | ||
179 | > | ||
180 | K. Marussy, O. Semeráth, A. Babikian, D. Varró:{' '} | ||
181 | <em> | ||
182 | A Specification Language for Consistent Model Generation based | ||
183 | on Partial Models. | ||
184 | </em>{' '} | ||
185 | J. Object Technol. <b>19</b>(3): 3:1-22 (2020) | ||
186 | </Publication> | ||
187 | </ul> | ||
188 | <h3>Diverse and realistic graph generation</h3> | ||
189 | <ul> | ||
190 | <Publication | ||
191 | doi="10.1007/s10009-019-00530-6" | ||
192 | pdf="https://link.springer.com/content/pdf/10.1007/s10009-019-00530-6.pdf?pdf=button" | ||
193 | > | ||
194 | O. Semeráth, R. Farkas, G. Bergmann, D. Varró:{' '} | ||
195 | <em> | ||
196 | Diversity of graph models and graph generators in mutation | ||
197 | testing. | ||
198 | </em>{' '} | ||
199 | Int. J. Softw. Tools Technol. Transf. <b>22</b>(1): 57-78 (2020) | ||
200 | </Publication> | ||
201 | <Publication | ||
202 | doi="10.1007/s10270-021-00884-z" | ||
203 | pdf="https://link.springer.com/content/pdf/10.1007/s10270-021-00884-z.pdf?pdf=button" | ||
204 | > | ||
205 | O. Semeráth, A. Babikian, B. Chen, C. Li, K. Marussy, G. | ||
206 | Szárnyas, D. Varró:{' '} | ||
207 | <em> | ||
208 | Automated generation of consistent, diverse and structurally | ||
209 | realistic graph models. | ||
210 | </em>{' '} | ||
211 | Softw. Syst. Model. <b>20</b>(5): 1713-1734 (2021) | ||
212 | </Publication> | ||
213 | </ul> | ||
214 | </div> | ||
215 | <div className="col col--6"> | ||
216 | <h3>Consistent graph generation techniques</h3> | ||
217 | <ul> | ||
218 | <Publication | ||
219 | doi="10.1145/3180155.3180186" | ||
220 | pdf="https://dl.acm.org/doi/pdf/10.1145/3180155.3180186" | ||
221 | > | ||
222 | O. Semeráth, A. Nagy, D. Varró: “A graph solver for the | ||
223 | automated generation of consistent domain-specific | ||
224 | models.” <em>ICSE 2018:</em> 969-980 | ||
225 | </Publication> | ||
226 | <Publication | ||
227 | doi="10.1109/TSE.2020.3025732" | ||
228 | pdf="https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9201551" | ||
229 | > | ||
230 | K. Marussy, O. Semeráth, D. Varró:{' '} | ||
231 | <em> | ||
232 | Automated Generation of Consistent Graph Models With | ||
233 | Multiplicity Reasoning. | ||
234 | </em>{' '} | ||
235 | IEEE Trans. Softw. Eng. <b>48</b>(5): 1610-1629 (2022) | ||
236 | </Publication> | ||
237 | <Publication | ||
238 | doi="10.1007/s10270-021-00918-6" | ||
239 | pdf="https://link.springer.com/content/pdf/10.1007/s10270-021-00918-6.pdf?pdf=button" | ||
240 | > | ||
241 | A. Babikian, O. Semeráth, A. Li, K. Marussy, D. Varró:{' '} | ||
242 | <em> | ||
243 | Automated generation of consistent models using qualitative | ||
244 | abstractions and exploration strategies. | ||
245 | </em>{' '} | ||
246 | Softw. Syst. Model. <b>21</b>(5): 1763-1787 (2022) | ||
247 | </Publication> | ||
248 | </ul> | ||
249 | <h3>Correctness proofs</h3> | ||
250 | <ul> | ||
251 | <Publication | ||
252 | doi="10.1007/978-3-319-75396-6_16" | ||
253 | pdf="https://inf.mit.bme.hu/sites/default/files/publications/fmhe-model-generation.pdf" | ||
254 | > | ||
255 | D. Varró, O. Semeráth, G. Szárnyas, Á. Horváth: “Towards | ||
256 | the Automated Generation of Consistent, Diverse, Scalable and | ||
257 | Realistic Graph Models.”{' '} | ||
258 | <em>Graph Transformation, Specifications, and Nets</em> 2018: | ||
259 | 285-312 | ||
260 | </Publication> | ||
261 | </ul> | ||
262 | </div> | ||
263 | </div> | ||
264 | </div> | ||
265 | </div> | ||
266 | ); | ||
267 | } | ||
268 | |||
109 | export default function Home() { | 269 | export default function Home() { |
110 | return ( | 270 | return ( |
111 | <Layout> | 271 | <Layout> |
112 | <Hero /> | 272 | <Hero /> |
273 | <div className={styles['section']}> | ||
274 | <Features /> | ||
275 | </div> | ||
113 | <Video /> | 276 | <Video /> |
277 | <Publications /> | ||
114 | </Layout> | 278 | </Layout> |
115 | ); | 279 | ); |
116 | } | 280 | } |