BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Italy
1 × USA
Collaborated with:
B.Freitag S.Nakajima C.Schönberg M.Jaksic C.Artho M.Hagiya R.Potter Y.Tanabe M.Yamamoto
Talks about:
logic (2) base (2) counterexampl (1) distribut (1) structur (1) selector (1) document (1) descript (1) communic (1) technic (1)

Person: Franz Weitl

DBLP DBLP: Weitl:Franz

Contributed to:

ASE 20132013
SEFM 20102010
DocEng 20092009

Wrote 3 papers:

ASE-2013-ArthoHPTWY #communication #distributed #model checking
Software model checking for distributed systems with selector-based, non-blocking communication (CA, MH, RP, YT, FW, MY), pp. 169–179.
SEFM-2010-WeitlNF #logic
Structured Counterexamples for the Temporal Description Logic ALCCTL (FW, SN, BF), pp. 232–243.
DocEng-2009-SchonbergWJF #documentation #verification
Logic-based verification of technical documentation (CS, FW, MJ, BF), pp. 251–252.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.