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: Athanasiou:Konstantinos
Contributed to:
2015
2016Wrote 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.