Franz Weitl

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