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
Collaborated with:
K.Baukus Y.Lakhnech S.Bensalem
Talks about:
parameter (2) protocol (1) abstract (1) network (1) verifi (1) system (1) safeti (1) verif (1) coher (1) live (1)

Person: Karsten Stahl

DBLP DBLP: Stahl:Karsten

Contributed to:

VMCAI 20022002
TACAS 20002000

Wrote 2 papers:

VMCAI-2002-BaukusLS #liveness #protocol #safety #verification
Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness (KB, YL, KS), pp. 317–330.
TACAS-2000-BaukusBLS #network #verification
Abstracting WS1S Systems to Verify Parameterized Networks (KB, SB, YL, KS), pp. 188–203.

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.