Checking Semantic Integrity Constraints on Integrated Web Documents. - Franz Weitl; Burkhard Freitag (ER (Workshops), 2004)

Datenqualität durch inhaltsbezogene Referenzierung. - Franz Weitl; Burkhard Freitag (GI Jahrestagung (1), 2004)

Checking Content Consistency of Integrated Web Documents. - Franz Weitl; Burkhard Freitag (J. Comput. Sci. Technol., 2006)

Document verification with temporal description logics. - Franz Weitl (2007)

ELTIS: Technische Informatik - Fernstudium für Schüler. - Johanna Bucur; Werner Grass; Rudolf Kammerl; Franz Weitl (INFOS, 2007)

Dokumentverifikation mit Temporaler Beschreibungslogik [Document Verification with Temporal Description Logics]. - Franz Weitl (Ausgezeichnete Informatikdissertationen, 2008)

Logic-based verification of technical documentation. - Christian Schönberg; Franz Weitl; Mirjana Jaksic; Burkhard Freitag (ACM Symposium on Document Engineering, 2009)

Towards the automated verification of semi-structured documents. - Franz Weitl; Mirjana Jaksic; Burkhard Freitag (Data Knowl. Eng., 2009)

Structured Counterexamples for the Temporal Description Logic ALCCTL. - Franz Weitl; Shin Nakajima 001; Burkhard Freitag (SEFM, 2010)

Incremental Construction of Counterexamples in Model Checking Web Documents. - Franz Weitl; Shin Nakajima 001 (WWV, 2010)

From Counterexamples to Incremental Interactive Tracing of Errors (Schrittweise Fehleranalyse auf der Grundlage von Model-Checking). - Franz Weitl; Shin Nakajima 001; Burkhard Freitag (it Inf. Technol., 2010)

Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics. - Franz Weitl; Shin Nakajima 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Verifying the consistency of web-based technical documentations. - Christian Schönberg; Franz Weitl; Burkhard Freitag (J. Symb. Comput., 2011)

Software model checking for distributed systems with selector-based, non-blocking communication. - Cyrille Artho; Masami Hagiya; Richard Potter; Yoshinori Tanabe; Franz Weitl; Mitsuharu Yamamoto (ASE, 2013)

Cardinality of UDP Transmission Outcomes. - Franz Weitl; Nazim Sebih; Cyrille Artho; Masami Hagiya; Yoshinori Tanabe; Yoriyuki Yamagata; Mitsuharu Yamamoto (SETTA, 2015)

Using Checkpointing and Virtualization for Fault Injection. - Cyrille Artho; Kuniyasu Suzaki; Masami Hagiya; Watcharin Leungwattanakit; Richard Potter; Eric Platon; Yoshinori Tanabe; Franz Weitl; Mitsuharu Yamamoto (Int. J. Netw. Comput., 2015)

Software Model Checking of UDP-based Distributed Applications. - Nazim Sebih; Masami Hagiya; Franz Weitl; Mitsuharu Yamamoto; Cyrille Artho; Yoshinori Tanabe (Int. J. Netw. Comput., 2015)