Travelled to:1 × Canada
1 × China
1 × Denmark
1 × France
1 × Italy
1 × Singapore
1 × USA
Collaborated with:∅ W.Viriyasitavat M.Kaufmann C.Pixley A.Simpson J.Gibbons J.Davies S.McKeever A.C.Simpson C.J.F.Cremers I.Flechais I.Martinovic K.B.Rasmussen G.Bai J.Hao J.Wu Y.Liu Z.Liang
Talks about:trust (3) softwar (2) formal (2) model (2) logic (2) check (2) time (2) part (2) constraint (1) postgradu (1)
Person: Andrew Martin
DBLP: Martin:Andrew
Contributed to:
2015
2014
201120031999
19981993Wrote 7 papers:
- ICSE-v2-2015-SimpsonMCFMR #case study #education #experience #security
- Experiences in Developing and Delivering a Programme of Part-Time Education in Software and Systems Security (ACS, AM, CJFC, IF, IM, KBR), pp. 435–444.
- FM-2014-BaiHWLLM #formal method #model checking #named #platform #towards
- TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms (GB, JH, JW, YL, ZL, AM), pp. 110–126.
- ICEIS-v3-2011-ViriyasitavatM #formal method #requirements #specification #trust #workflow
- Formalizing Trust Requirements and Specification in Service Workflow Environments (WV, AM), pp. 196–206.
- ICSE-2003-SimpsonMGDM #assessment #on the #re-engineering
- On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects (AS, AM, JG, JD, SM), pp. 628–633.
- FM-v2-1999-Martin #first-order #logic
- Relating Z and First-Order Logic (AM), pp. 1266–1280.
- CAV-1998-KaufmannMP #constraints #design #model checking
- Design Constraints in Symbolic Model Checking (MK, AM, CP), pp. 477–487.
- FME-1993-Martin #encoding #logic
- Encoding W: A Logic for Z in 2OBJ (AM), pp. 462–481.