BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
electron (5)
formal (3)
mondex (3)
protocol (2)
check (2)

Stem purs$ (all stems)

8 papers:

FMFM-2008-GrandyBSSR #protocol #security #verification
Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code (HG, MB, KS, GS, WR), pp. 165–180.
IFMIFM-2007-KongOF #algebra #analysis #formal method
Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System (WK, KO, KF), pp. 393–412.
HCIHCI-AS-2007-Kilic #problem #user interface
“My Money in E-Purse” Searching Problems in Self Service User Interface (EK), pp. 58–66.
FMFM-2006-SchellhornGHR #challenge #proving
The Mondex Challenge: Machine Checked Proofs for an Electronic Purse (GS, HG, DH, WR), pp. 16–31.
FMFM-2005-BanachPJS #finite #sequence
Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern (RB, MP, CJ, SS), pp. 382–398.
FMFME-2002-CatanoH #java #specification #static analysis #using
Formal Specification and Static Checking of Gemplus’ Electronic Purse Using ESC/Java (NC, MH), pp. 272–289.
ASEASE-2001-JurjensW #protocol #testing
Formally Testing Fail-Safety of Electronic Purse Protocols (JJ, GW), pp. 408–411.
ICMLML-1991-WisniewskiM #data-driven
Is it a Pocket or a Purse? Tighly Coupled Theory and Data Driven Learing (EJW, DLM), pp. 564–568.

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.