Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Franz Weitl
@article{DBLP:journals/ijnc/ArthoSHLPPTWY15,
author = {Cyrille Artho and
Kuniyasu Suzaki and
Masami Hagiya and
Watcharin Leungwattanakit and
Richard Potter and
Eric Platon and
Yoshinori Tanabe and
Franz Weitl and
Mitsuharu Yamamoto},
title = {Using Checkpointing and Virtualization for Fault Injection},
journal = {Int. J. Netw. Comput.},
volume = {5},
number = {2},
pages = {347--372},
year = {2015},
url = {http://www.ijnc.org/index.php/ijnc/article/view/112},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijnc/ArthoSHLPPTWY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijnc/SebihHWYAT15,
author = {Nazim Sebih and
Masami Hagiya and
Franz Weitl and
Mitsuharu Yamamoto and
Cyrille Artho and
Yoshinori Tanabe},
title = {Software Model Checking of UDP-based Distributed Applications},
journal = {Int. J. Netw. Comput.},
volume = {5},
number = {2},
pages = {373--402},
year = {2015},
url = {http://www.ijnc.org/index.php/ijnc/article/view/113},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijnc/SebihHWYAT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/WeitlSAHTYY15,
author = {Franz Weitl and
Nazim Sebih and
Cyrille Artho and
Masami Hagiya and
Yoshinori Tanabe and
Yoriyuki Yamagata and
Mitsuharu Yamamoto},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Cardinality of {UDP} Transmission Outcomes},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {120--134},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_8},
doi = {10.1007/978-3-319-25942-0\_8},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/setta/WeitlSAHTYY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/SebihWAHTY14,
author = {Nazim Sebih and
Franz Weitl and
Cyrille Artho and
Masami Hagiya and
Yoshinori Tanabe and
Mitsuharu Yamamoto},
title = {Software Model Checking of UDP-based Distributed Applications},
booktitle = {Second International Symposium on Computing and Networking, {CANDAR}
2014, Shizuoka, Japan, December 10-12, 2014},
pages = {96--105},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CANDAR.2014.66},
doi = {10.1109/CANDAR.2014.66},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic-nc/SebihWAHTY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/ArthoHLPPSTWY14,
author = {Cyrille Artho and
Masami Hagiya and
Watcharin Leungwattanakit and
Eric Platon and
Richard Potter and
Kuniyasu Suzaki and
Yoshinori Tanabe and
Franz Weitl and
Mitsuharu Yamamoto},
title = {Using Checkpointing and Virtualization for Fault Injection},
booktitle = {Second International Symposium on Computing and Networking, {CANDAR}
2014, Shizuoka, Japan, December 10-12, 2014},
pages = {144--150},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CANDAR.2014.45},
doi = {10.1109/CANDAR.2014.45},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic-nc/ArthoHLPPSTWY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ArthoHPTWY13,
author = {Cyrille Artho and
Masami Hagiya and
Richard Potter and
Yoshinori Tanabe and
Franz Weitl and
Mitsuharu Yamamoto},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Software model checking for distributed systems with selector-based,
non-blocking communication},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {169--179},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693077},
doi = {10.1109/ASE.2013.6693077},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ArthoHPTWY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/WeitlN11,
author = {Franz Weitl and
Shin Nakajima},
title = {Integrated Model Checking of Static Structure and Dynamic Behavior
using Temporal Description Logics},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {46},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.46.691},
doi = {10.14279/TUJ.ECEASST.46.691},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/WeitlN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/SchonbergWF11,
author = {Christian Sch{\"{o}}nberg and
Franz Weitl and
Burkhard Freitag},
title = {Verifying the consistency of web-based technical documentations},
journal = {J. Symb. Comput.},
volume = {46},
number = {2},
pages = {183--206},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.08.007},
doi = {10.1016/J.JSC.2010.08.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/SchonbergWF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/WeitlNF10,
author = {Franz Weitl and
Shin Nakajima and
Burkhard Freitag},
title = {From Counterexamples to Incremental Interactive Tracing of Errors
(Schrittweise Fehleranalyse auf der Grundlage von Model-Checking)},
journal = {it Inf. Technol.},
volume = {52},
number = {5},
pages = {295--297},
year = {2010},
url = {https://doi.org/10.1524/itit.2010.0606},
doi = {10.1524/ITIT.2010.0606},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/it/WeitlNF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/WeitlNF10,
author = {Franz Weitl and
Shin Nakajima and
Burkhard Freitag},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Stefania Gnesi and
Andrea Maggiolo{-}Schettini},
title = {Structured Counterexamples for the Temporal Description Logic {ALCCTL}},
booktitle = {8th {IEEE} International Conference on Software Engineering and Formal
Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
pages = {232--243},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SEFM.2010.36},
doi = {10.1109/SEFM.2010.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/WeitlNF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/WeitlN10,
author = {Franz Weitl and
Shin Nakajima},
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {Incremental Construction of Counterexamples in Model Checking Web
Documents},
booktitle = {6th International Workshop on Automated Specification and Verification
of Web Systems, {WWV} 2010, Vienna, Austria, July 30-31, 2010},
series = {EPiC Series in Computing},
volume = {18},
pages = {34--50},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/c8jt},
doi = {10.29007/C8JT},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/WeitlN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/WeitlJF09,
author = {Franz Weitl and
Mirjana Jaksic and
Burkhard Freitag},
title = {Towards the automated verification of semi-structured documents},
journal = {Data Knowl. Eng.},
volume = {68},
number = {3},
pages = {292--317},
year = {2009},
url = {https://doi.org/10.1016/j.datak.2008.10.003},
doi = {10.1016/J.DATAK.2008.10.003},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dke/WeitlJF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/doceng/SchonbergWJF09,
author = {Christian Sch{\"{o}}nberg and
Franz Weitl and
Mirjana Jaksic and
Burkhard Freitag},
editor = {Uwe M. Borghoff and
Boris Chidlovskii},
title = {Logic-based verification of technical documentation},
booktitle = {Proceedings of the 2009 {ACM} Symposium on Document Engineering, Munich,
Germany, September 16-18, 2009},
pages = {251--252},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1600193.1600250},
doi = {10.1145/1600193.1600250},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/doceng/SchonbergWJF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/gi/Weitl08,
author = {Franz Weitl},
editor = {Abraham Bernstein and
Thomas Dreier and
Steffen H{\"{o}}lldobler and
G{\"{u}}nter Hotz and
Klaus{-}Peter L{\"{o}}hr and
Paul Molitor and
Gustaf Neumann and
R{\"{u}}diger Reischuk and
Dietmar Saupe and
Myra Spiliopoulou and
Harald St{\"{o}}rrle and
Dorothea Wagner},
title = {Dokumentverifikation mit Temporaler Beschreibungslogik [Document Verification
with Temporal Description Logics]},
booktitle = {Ausgezeichnete Informatikdissertationen 2008},
series = {{LNI}},
volume = {{D-9}},
pages = {321--330},
publisher = {{GI}},
year = {2008},
url = {https://dl.gi.de/handle/20.500.12116/33613},
timestamp = {Tue, 04 Jul 2023 17:43:36 +0200},
biburl = {https://dblp.org/rec/conf/gi/Weitl08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0022697,
author = {Franz Weitl},
title = {Document verification with temporal description logics},
school = {University of Passau, Germany},
year = {2007},
url = {http://www.opus-bayern.de/uni-passau/volltexte/2008/1252/},
urn = {urn:nbn:de:bvb:739-opus-12528},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0022697.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/schule/BucurGKW07,
author = {Johanna Bucur and
Werner Grass and
Rudolf Kammerl and
Franz Weitl},
editor = {Sigrid E. Schubert},
title = {{ELTIS:} Technische Informatik - Fernstudium f{\"{u}}r Sch{\"{u}}ler},
booktitle = {Didaktik der Informatik in Theorie und Praxis. {INFOS} 2007: 12. GI-Fachtagung
Informatik und Schule, 19.-21. September 2007 in Siegen},
series = {{LNI}},
volume = {{P-112}},
pages = {241--252},
publisher = {{GI}},
year = {2007},
url = {https://dl.gi.de/handle/20.500.12116/22425},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/schule/BucurGKW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/WeitlF06,
author = {Franz Weitl and
Burkhard Freitag},
title = {Checking Content Consistency of Integrated Web Documents},
journal = {J. Comput. Sci. Technol.},
volume = {21},
number = {3},
pages = {418--429},
year = {2006},
url = {https://doi.org/10.1007/s11390-006-0418-9},
doi = {10.1007/S11390-006-0418-9},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/WeitlF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/WeitlF04,
author = {Franz Weitl and
Burkhard Freitag},
editor = {Shan Wang and
Dongqing Yang and
Katsumi Tanaka and
Fabio Grandi and
Shuigeng Zhou and
Eleni E. Mangina and
Tok Wang Ling and
Il{-}Yeol Song and
Jihong Guan and
Heinrich C. Mayr},
title = {Checking Semantic Integrity Constraints on Integrated Web Documents},
booktitle = {Conceptual Modeling for Advanced Application Domains, {ER} 2004 Workshops
CoMoGIS, COMWIM, ECDM, CoMoA, DGOV, and ECOMO, Shanghai, China, November
8-12, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3289},
pages = {198--209},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30466-1\_19},
doi = {10.1007/978-3-540-30466-1\_19},
timestamp = {Tue, 30 Jun 2020 07:48:06 +0200},
biburl = {https://dblp.org/rec/conf/er/WeitlF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/WeitlF04,
author = {Franz Weitl and
Burkhard Freitag},
editor = {Peter Dadam and
Manfred Reichert},
title = {Datenqualit{\"{a}}t durch inhaltsbezogene Referenzierung},
booktitle = {34. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
verbindet, {INFORMATIK} 2004, Ulm, Germany, September 20-24, 2004,
Band 1},
series = {{LNI}},
volume = {{P-50}},
pages = {336--340},
publisher = {{GI}},
year = {2004},
url = {https://dl.gi.de/handle/20.500.12116/28882},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/WeitlF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
