BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Martin:Andrew

Contributed to:

ICSE 20152015
FM 20142014
ICEIS v3 20112011
ICSE 20032003
World Congress on Formal Methods 19991999
CAV 19981998
FME 19931993

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.