Deploying to gh-pages from @ d37e094 🚀

Author: dfuchss

feed.xml

@@ -1 +1 @@
-<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en"><generator uri="https://jekyllrb.com/" version="4.4.1">Jekyll</generator><link href="https://ardoco.de/feed.xml" rel="self" type="application/atom+xml"/><link href="https://ardoco.de/" rel="alternate" type="text/html" hreflang="en"/><updated>2025-12-15T08:47:50+00:00</updated><id>https://ardoco.de/feed.xml</id><title type="html">blank</title><subtitle>In this research project, we aim to provide consistency analyses between different kind of documentation, namely formal models and informal (textual) documentation. </subtitle></feed>
+<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en"><generator uri="https://jekyllrb.com/" version="4.4.1">Jekyll</generator><link href="https://ardoco.de/feed.xml" rel="self" type="application/atom+xml"/><link href="https://ardoco.de/" rel="alternate" type="text/html" hreflang="en"/><updated>2025-12-15T09:54:37+00:00</updated><id>https://ardoco.de/feed.xml</id><title type="html">blank</title><subtitle>In this research project, we aim to provide consistency analyses between different kind of documentation, namely formal models and informal (textual) documentation. </subtitle></feed>

sitemap.xml

@@ -1 +1 @@
-<?xml version="1.0" encoding="UTF-8"?> <urlset xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.sitemaps.org/schemas/sitemap/0.9 http://www.sitemaps.org/schemas/sitemap/0.9/sitemap.xsd" xmlns="http://www.sitemaps.org/schemas/sitemap/0.9"> <url> <loc>https://ardoco.de/approaches/arcotl/</loc> <lastmod>2025-12-15T08:47:50+00:00</lastmod> </url> <url> <loc>https://ardoco.de/approaches/ardocode/</loc> <lastmod>2025-12-15T08:47:50+00:00</lastmod> </url> <url> <loc>https://ardoco.de/approaches/exarch/</loc> <lastmod>2025-12-15T08:47:50+00:00</lastmod> </url> <url> <loc>https://ardoco.de/approaches/inconsistency-detection/</loc> <lastmod>2025-12-15T08:47:50+00:00</lastmod> </url> <url> <loc>https://ardoco.de/approaches/lissa/</loc> <lastmod>2025-12-15T08:47:50+00:00</lastmod> </url> <url> <loc>https://ardoco.de/approaches/secdreqan/</loc> <lastmod>2025-12-15T08:47:50+00:00</lastmod> </url> <url> <loc>https://ardoco.de/approaches/swattr/</loc> <lastmod>2025-12-15T08:47:50+00:00</lastmod> </url> <url> <loc>https://ardoco.de/approaches/transarc/</loc> <lastmod>2025-12-15T08:47:50+00:00</lastmod> </url> <url> <loc>https://ardoco.de/approaches/tv/</loc> <lastmod>2025-12-15T08:47:50+00:00</lastmod> </url> <url> <loc>https://ardoco.de/c/aire25</loc> <lastmod>2025-12-15T08:47:50+00:00</lastmod> </url> <url> <loc>https://ardoco.de/c/ecsa21</loc> <lastmod>2025-12-15T08:47:50+00:00</lastmod> </url> <url> <loc>https://ardoco.de/c/fg-arch24</loc> <lastmod>2025-12-15T08:47:50+00:00</lastmod> </url> <url> <loc>https://ardoco.de/c/icsa23</loc> <lastmod>2025-12-15T08:47:50+00:00</lastmod> </url> <url> <loc>https://ardoco.de/c/icsa25</loc> <lastmod>2025-12-15T08:47:50+00:00</lastmod> </url> <url> <loc>https://ardoco.de/c/icse24</loc> <lastmod>2025-12-15T08:47:50+00:00</lastmod> </url> <url> <loc>https://ardoco.de/c/icse25</loc> <lastmod>2025-12-15T08:47:50+00:00</lastmod> </url> <url> <loc>https://ardoco.de/c/refsq25</loc> <lastmod>2025-12-15T08:47:50+00:00</lastmod> </url> <url> <loc>https://ardoco.de/c/se24</loc> <lastmod>2025-12-15T08:47:50+00:00</lastmod> </url> <url> <loc>https://ardoco.de/c/se25</loc> <lastmod>2025-12-15T08:47:50+00:00</lastmod> </url> <url> <loc>https://ardoco.de/</loc> </url> <url> <loc>https://ardoco.de/approaches/</loc> </url> <url> <loc>https://ardoco.de/_pages/conferences/</loc> </url> <url> <loc>https://ardoco.de/initial-poster-2019/</loc> </url> <url> <loc>https://ardoco.de/people/</loc> </url> <url> <loc>https://ardoco.de/publications/</loc> </url> <url> <loc>https://ardoco.de/repositories/</loc> </url> <url> <loc>https://ardoco.de/assets/pdf/ecsa-21-swattr.pdf</loc> <lastmod>2025-12-15T08:47:09+00:00</lastmod> </url> <url> <loc>https://ardoco.de/assets/pdf/presentation_21_ecsa_TLR.pdf</loc> <lastmod>2025-12-15T08:47:09+00:00</lastmod> </url> <url> <loc>https://ardoco.de/assets/pdf/presentation_23_ICSA_InconsistencyDetection.pdf</loc> <lastmod>2025-12-15T08:47:09+00:00</lastmod> </url> <url> <loc>https://ardoco.de/assets/pdf/presentation_24_SE_InconsistencyDetection.pdf</loc> <lastmod>2025-12-15T08:47:09+00:00</lastmod> </url> <url> <loc>https://ardoco.de/assets/pdf/presentation_25_SE_TransArC.pdf</loc> <lastmod>2025-12-15T08:47:09+00:00</lastmod> </url> <url> <loc>https://ardoco.de/assets/pdf/presentation_aire25.pdf</loc> <lastmod>2025-12-15T08:47:09+00:00</lastmod> </url> <url> <loc>https://ardoco.de/assets/pdf/presentation_fgarch24_keim.pdf</loc> <lastmod>2025-12-15T08:47:09+00:00</lastmod> </url> <url> <loc>https://ardoco.de/assets/pdf/presentation_icsa25.pdf</loc> <lastmod>2025-12-15T08:47:09+00:00</lastmod> </url> <url> <loc>https://ardoco.de/assets/pdf/presentation_icse24.pdf</loc> <lastmod>2025-12-15T08:47:09+00:00</lastmod> </url> <url> <loc>https://ardoco.de/assets/pdf/presentation_icse25.pdf</loc> <lastmod>2025-12-15T08:47:09+00:00</lastmod> </url> </urlset>
+<?xml version="1.0" encoding="UTF-8"?> <urlset xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.sitemaps.org/schemas/sitemap/0.9 http://www.sitemaps.org/schemas/sitemap/0.9/sitemap.xsd" xmlns="http://www.sitemaps.org/schemas/sitemap/0.9"> <url> <loc>https://ardoco.de/approaches/arcotl/</loc> <lastmod>2025-12-15T09:54:37+00:00</lastmod> </url> <url> <loc>https://ardoco.de/approaches/ardocode/</loc> <lastmod>2025-12-15T09:54:37+00:00</lastmod> </url> <url> <loc>https://ardoco.de/approaches/exarch/</loc> <lastmod>2025-12-15T09:54:37+00:00</lastmod> </url> <url> <loc>https://ardoco.de/approaches/inconsistency-detection/</loc> <lastmod>2025-12-15T09:54:37+00:00</lastmod> </url> <url> <loc>https://ardoco.de/approaches/lissa/</loc> <lastmod>2025-12-15T09:54:37+00:00</lastmod> </url> <url> <loc>https://ardoco.de/approaches/secdreqan/</loc> <lastmod>2025-12-15T09:54:37+00:00</lastmod> </url> <url> <loc>https://ardoco.de/approaches/swattr/</loc> <lastmod>2025-12-15T09:54:37+00:00</lastmod> </url> <url> <loc>https://ardoco.de/approaches/transarc/</loc> <lastmod>2025-12-15T09:54:37+00:00</lastmod> </url> <url> <loc>https://ardoco.de/approaches/tv/</loc> <lastmod>2025-12-15T09:54:37+00:00</lastmod> </url> <url> <loc>https://ardoco.de/c/aire25</loc> <lastmod>2025-12-15T09:54:37+00:00</lastmod> </url> <url> <loc>https://ardoco.de/c/ecsa21</loc> <lastmod>2025-12-15T09:54:37+00:00</lastmod> </url> <url> <loc>https://ardoco.de/c/fg-arch24</loc> <lastmod>2025-12-15T09:54:37+00:00</lastmod> </url> <url> <loc>https://ardoco.de/c/icsa23</loc> <lastmod>2025-12-15T09:54:37+00:00</lastmod> </url> <url> <loc>https://ardoco.de/c/icsa25</loc> <lastmod>2025-12-15T09:54:37+00:00</lastmod> </url> <url> <loc>https://ardoco.de/c/icse24</loc> <lastmod>2025-12-15T09:54:37+00:00</lastmod> </url> <url> <loc>https://ardoco.de/c/icse25</loc> <lastmod>2025-12-15T09:54:37+00:00</lastmod> </url> <url> <loc>https://ardoco.de/c/refsq25</loc> <lastmod>2025-12-15T09:54:37+00:00</lastmod> </url> <url> <loc>https://ardoco.de/c/se24</loc> <lastmod>2025-12-15T09:54:37+00:00</lastmod> </url> <url> <loc>https://ardoco.de/c/se25</loc> <lastmod>2025-12-15T09:54:37+00:00</lastmod> </url> <url> <loc>https://ardoco.de/</loc> </url> <url> <loc>https://ardoco.de/approaches/</loc> </url> <url> <loc>https://ardoco.de/_pages/conferences/</loc> </url> <url> <loc>https://ardoco.de/initial-poster-2019/</loc> </url> <url> <loc>https://ardoco.de/people/</loc> </url> <url> <loc>https://ardoco.de/publications/</loc> </url> <url> <loc>https://ardoco.de/repositories/</loc> </url> <url> <loc>https://ardoco.de/assets/pdf/ecsa-21-swattr.pdf</loc> <lastmod>2025-12-15T09:53:33+00:00</lastmod> </url> <url> <loc>https://ardoco.de/assets/pdf/presentation_21_ecsa_TLR.pdf</loc> <lastmod>2025-12-15T09:53:33+00:00</lastmod> </url> <url> <loc>https://ardoco.de/assets/pdf/presentation_23_ICSA_InconsistencyDetection.pdf</loc> <lastmod>2025-12-15T09:53:33+00:00</lastmod> </url> <url> <loc>https://ardoco.de/assets/pdf/presentation_24_SE_InconsistencyDetection.pdf</loc> <lastmod>2025-12-15T09:53:33+00:00</lastmod> </url> <url> <loc>https://ardoco.de/assets/pdf/presentation_25_SE_TransArC.pdf</loc> <lastmod>2025-12-15T09:53:33+00:00</lastmod> </url> <url> <loc>https://ardoco.de/assets/pdf/presentation_aire25.pdf</loc> <lastmod>2025-12-15T09:53:33+00:00</lastmod> </url> <url> <loc>https://ardoco.de/assets/pdf/presentation_fgarch24_keim.pdf</loc> <lastmod>2025-12-15T09:53:33+00:00</lastmod> </url> <url> <loc>https://ardoco.de/assets/pdf/presentation_icsa25.pdf</loc> <lastmod>2025-12-15T09:53:33+00:00</lastmod> </url> <url> <loc>https://ardoco.de/assets/pdf/presentation_icse24.pdf</loc> <lastmod>2025-12-15T09:53:33+00:00</lastmod> </url> <url> <loc>https://ardoco.de/assets/pdf/presentation_icse25.pdf</loc> <lastmod>2025-12-15T09:53:33+00:00</lastmod> </url> </urlset>