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 × Italy
Collaborated with:
H.P.d.León S.Schwoon P.Liu T.Wahl
Talks about:
thread (2) use (2) structur (1) unbound (1) program (1) generat (1) concurr (1) system (1) verif (1) state (1)

Person: Konstantinos Athanasiou

DBLP DBLP: Athanasiou:Konstantinos

Contributed to:

TAP 20152015
IJCAR 20162016

Wrote 2 papers:

TAP-2015-AthanasiouLS #concurrent #generative #testing #using
Test Case Generation for Concurrent Systems Using Event Structures (KA, HPdL, SS), pp. 19–37.
IJCAR-2016-AthanasiouLW #bound #equation #thread #using #verification
Unbounded-Thread Program Verification using Thread-State Equations (KA, PL, TW), pp. 516–531.

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.