Travelled to:1 × France
1 × Italy
3 × USA
Collaborated with:B.Fenicle G.T.Leavens N.Cataño Q.Wang X.Chen A.L.Baker C.Rueda V.Rivera D.Yu
Talks about:specif (5) translat (3) formal (3) methodolog (2) interchang (2) servic (2) semant (2) machin (2) execut (2) applic (2)
Person: Tim Wahls
DBLP: Wahls:Tim
Contributed to:
2014
201220092003200420011999Wrote 8 papers:
- SEFM-2014-WangW #database
- Translating Event-B Machines to Database Applications (QW, TW), pp. 265–270.
- SAC-2012-CatanoWRRY #ml #specification
- Translating B machines to JML specifications (NC, TW, CR, VR, DY), pp. 1271–1277.
- SAC-2009-CatanoW #case study #java #ml #specification
- Executing JML specifications of Java card applications: a case study (NC, TW), pp. 404–408.
- SAC-2003-FenicleW
- A Methodology to Provide and Use Interchangeable Services (BF, TW), pp. 1140–1146.
- SAC-J-2003-FenicleW04
- A secure methodology for interchangeable services (BF, TW), pp. 343–349.
- SAC-2001-ChenW #specification #user interface #visual notation
- A graphical user interface for executing formal specifications (XC, TW), pp. 648–652.
- SAC-2001-WahlsL #algorithm #concurrent #constraints #modelling #semantics #source code #specification
- Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs (TW, GTL), pp. 567–575.
- SAC-1999-LeavensWB #data flow #diagrams #semantics #specification
- Formal Semantics for SA Style Data Flow Diagram Specification Languages (GTL, TW, ALB), pp. 526–532.