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: Weitl:Franz
Contributed to:
2013
2010
2009Wrote 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.