Franz Weitl

Publication Activity (10 Years)

Years Active: 2004-2015
Publications (10 Years): 3

Top Venues

CANDAR

Int. J. Netw. Comput.

SETTA

ASE

University of Passau, Germany (PHD)

Education History

University of Passau, Germany

PHD

Publications

Nazim Sebih, Masami Hagiya, Franz Weitl, Mitsuharu Yamamoto, Cyrille Artho, Yoshinori Tanabe
Software Model Checking of UDP-based Distributed Applications. Int. J. Netw. Comput. 5 (2) (2015)
Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya, Watcharin Leungwattanakit, Richard Potter, Eric Platon, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
Using Checkpointing and Virtualization for Fault Injection. Int. J. Netw. Comput. 5 (2) (2015)
Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto
Cardinality of UDP Transmission Outcomes. SETTA (2015)
Nazim Sebih, Franz Weitl, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Software Model Checking of UDP-based Distributed Applications. CANDAR (2014)
Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Eric Platon, Richard Potter, Kuniyasu Suzaki, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
Using Checkpointing and Virtualization for Fault Injection. CANDAR (2014)
Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
Software model checking for distributed systems with selector-based, non-blocking communication. ASE (2013)
Franz Weitl, Shin Nakajima
Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011)
Christian Schönberg, Franz Weitl, Burkhard Freitag
Verifying the consistency of web-based technical documentations. J. Symb. Comput. 46 (2) (2011)
Franz Weitl, Shin Nakajima
Incremental Construction of Counterexamples in Model Checking Web Documents. WWV (2010)
Franz Weitl, Shin Nakajima, Burkhard Freitag
Structured Counterexamples for the Temporal Description Logic ALCCTL. SEFM (2010)
Franz Weitl, Shin Nakajima, Burkhard Freitag
From Counterexamples to Incremental Interactive Tracing of Errors (Schrittweise Fehleranalyse auf der Grundlage von Model-Checking). it Inf. Technol. 52 (5) (2010)
Christian Schönberg, Franz Weitl, Mirjana Jaksic, Burkhard Freitag
Logic-based verification of technical documentation. ACM Symposium on Document Engineering (2009)
Franz Weitl, Mirjana Jaksic, Burkhard Freitag
Towards the automated verification of semi-structured documents. Data Knowl. Eng. 68 (3) (2009)
Franz Weitl
Document Verification with Temporal Description Logics. Ausgezeichnete Informatikdissertationen (2008)
Johanna Bucur, Werner Grass, Rudolf Kammerl, Franz Weitl
ELTIS: Technische Informatik - Fernstudium für Schüler. INFOS (2007)
Franz Weitl, Burkhard Freitag
Checking Content Consistency of Integrated Web Documents. J. Comput. Sci. Technol. 21 (3) (2006)
Franz Weitl, Burkhard Freitag
Datenqualität durch inhaltsbezogene Referenzierung. GI Jahrestagung (1) (2004)
Franz Weitl, Burkhard Freitag
Checking Semantic Integrity Constraints on Integrated Web Documents. ER (Workshops) (2004)

Franz Weitl.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Franz Weitl