Travelled to:1 × Portugal
Collaborated with:A.Wijs S.A.Roubtsov A.Serebrenik
Talks about:verifi (2) transform (1) enterpris (1) techniqu (1) correct (1) conform (1) server (1) formal (1) applic (1) verif (1)
Person: Sander de Putter
DBLP: Putter:Sander_de
Contributed to:
2014
2016Wrote 2 papers:
- ICEIS-v3-2014-PutterRS #consistency #enterprise #testing
- Testing Conformance of EJB 3 Enterprise Application Servers (SdP, SAR, AS), pp. 272–279.
- FASE-2016-PutterW #automaton #correctness #lts #verification
- Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique (SdP, AW), pp. 383–400.