Franz Weitl

According to our database, Franz Weitl authored at least 17 papers between 2004 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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

Cardinality of UDP Transmission Outcomes.

Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

2013

Software model checking for distributed systems with selector-based, non-blocking communication.

Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2011

Verifying the consistency of web-based technical documentations.

Christian Schönberg, Franz Weitl, Burkhard Freitag

J. Symb. Comput., 2011

Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics.

Franz Weitl, Shin Nakajima

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

2010

From Counterexamples to Incremental Interactive Tracing of Errors (Schrittweise Fehleranalyse auf der Grundlage von Model-Checking).

Franz Weitl, Shin Nakajima, Burkhard Freitag

it Inf. Technol., 2010

Incremental Construction of Counterexamples in Model Checking Web Documents.

Franz Weitl, Shin Nakajima

Proceedings of the 6th International Workshop on Automated Specification and Verification of Web Systems, 2010

Structured Counterexamples for the Temporal Description Logic ALCCTL.

Franz Weitl, Shin Nakajima, Burkhard Freitag

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

2009

Towards the automated verification of semi-structured documents.

Franz Weitl, Mirjana Jaksic, Burkhard Freitag

Data Knowl. Eng., 2009

Logic-based verification of technical documentation.

Christian Schönberg, Franz Weitl, Mirjana Jaksic, Burkhard Freitag

Proceedings of the 2009 ACM Symposium on Document Engineering, 2009

2008

Dokumentverifikation mit Temporaler Beschreibungslogik [Document Verification with Temporal Description Logics].

Franz Weitl

Proceedings of the Ausgezeichnete Informatikdissertationen 2008, 2008

2007

ELTIS: Technische Informatik - Fernstudium für Schüler.

Johanna Bucur, Werner Grass, Rudolf Kammerl, Franz Weitl

Proceedings of the Didaktik der Informatik in Theorie und Praxis. INFOS 2007: 12. GI-Fachtagung Informatik und Schule, 2007

Document verification with temporal description logics.

Franz Weitl

PhD thesis, 2007

2006

Checking Content Consistency of Integrated Web Documents.

Franz Weitl, Burkhard Freitag

J. Comput. Sci. Technol., 2006

2004

Datenqualität durch inhaltsbezogene Referenzierung.

Franz Weitl, Burkhard Freitag

Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, 2004

Checking Semantic Integrity Constraints on Integrated Web Documents.

Franz Weitl, Burkhard Freitag

Proceedings of the Conceptual Modeling for Advanced Application Domains, 2004