![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Franz Weitl
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
- [j7]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): 347-372 (2015) - [j6]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): 373-402 (2015) - [c10]Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata
, Mitsuharu Yamamoto:
Cardinality of UDP Transmission Outcomes. SETTA 2015: 120-134 - 2014
- [c9]Nazim Sebih, Franz Weitl, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
Software Model Checking of UDP-based Distributed Applications. CANDAR 2014: 96-105 - [c8]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: 144-150 - 2013
- [c7]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: 169-179 - 2011
- [j5]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) - [j4]Christian Schönberg, Franz Weitl, Burkhard Freitag:
Verifying the consistency of web-based technical documentations. J. Symb. Comput. 46(2): 183-206 (2011) - 2010
- [j3]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): 295-297 (2010) - [c6]Franz Weitl, Shin Nakajima, Burkhard Freitag:
Structured Counterexamples for the Temporal Description Logic ALCCTL. SEFM 2010: 232-243 - [c5]Franz Weitl, Shin Nakajima:
Incremental Construction of Counterexamples in Model Checking Web Documents. WWV 2010: 34-50
2000 – 2009
- 2009
- [j2]Franz Weitl, Mirjana Jaksic, Burkhard Freitag:
Towards the automated verification of semi-structured documents. Data Knowl. Eng. 68(3): 292-317 (2009) - [c4]Christian Schönberg, Franz Weitl, Mirjana Jaksic, Burkhard Freitag:
Logic-based verification of technical documentation. ACM Symposium on Document Engineering 2009: 251-252 - 2008
- [p1]Franz Weitl:
Dokumentverifikation mit Temporaler Beschreibungslogik [Document Verification with Temporal Description Logics]. Ausgezeichnete Informatikdissertationen 2008: 321-330 - 2007
- [b1]Franz Weitl:
Document verification with temporal description logics. University of Passau, Germany, 2007, pp. 1-313 - [c3]Johanna Bucur, Werner Grass, Rudolf Kammerl, Franz Weitl:
ELTIS: Technische Informatik - Fernstudium für Schüler. INFOS 2007: 241-252 - 2006
- [j1]Franz Weitl, Burkhard Freitag:
Checking Content Consistency of Integrated Web Documents. J. Comput. Sci. Technol. 21(3): 418-429 (2006) - 2004
- [c2]Franz Weitl, Burkhard Freitag:
Checking Semantic Integrity Constraints on Integrated Web Documents. ER (Workshops) 2004: 198-209 - [c1]Franz Weitl, Burkhard Freitag:
Datenqualität durch inhaltsbezogene Referenzierung. GI Jahrestagung (1) 2004: 336-340
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint