Travelled to:1 × Spain
1 × Sweden
1 × USA
Collaborated with:R.Delmas A.F.Pires V.Wiels S.Duprat
Talks about:exchang (2) polici (2) verif (2) behaviour (1) softwar (1) specif (1) requir (1) method (1) formal (1) diffus (1)
Person: Thomas Polacsek
DBLP: Polacsek:Thomas
Contributed to:
20152013
2013Wrote 3 papers:
- CAiSE-2015-DelmasP #policy #requirements #verification
- Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies (RD, TP), pp. 151–165.
- CAiSE-2013-DelmasP #formal method #policy #specification
- Formal Methods for Exchange Policy Specification (RD, TP), pp. 288–303.
- MoDELS-2013-PiresPWD #behaviour #embedded #source code #verification
- Behavioural Verification in Embedded Software, from Model to Source Code (AFP, TP, VW, SD), pp. 320–335.