9 papers:
OSDI-2012-Kapritsos0QCAD #all about #manycore #replication- All about Eve: Execute-Verify Replication for Multi-Core Servers (MK, YW, VQ, AC, LA, MD), pp. 237–250.
ICSE-2004-DongLLW #verification- Verifying DAML+OIL and Beyond in Z/EVES (JSD, CHL, YFL, HHW), pp. 201–210.
SIGMOD-1999-RundensteinerKZWLLN #evolution #maintenance- Evolvable View Environment (EVE): Non-Equivalent View Maintenance under Schema Changes (EAR, AK, XZ, AvW, YL, AJL, AN), pp. 553–555.
ASE-1998-Ledru #identification #proving #theorem proving- Identifying Pre-Conditions with the Z/EVES Theorem Prover (YL), p. 32–?.
FM-1998-Canada #bibliography #perspective- Z/EVES Version 1.5: An Overview (OC), pp. 367–376.
- FME-1993-SaaltinkKPCM #abstraction
- An EVES Data Abstraction Example (MS, SK, BP, DC, IM), pp. 578–596.
CADE-1992-CraigenKMPS- Eves System Description (DC, SK, IM, BP, MS), pp. 771–775.
- VDME-1991-1-CraigenKMPS #bibliography #named #perspective
- EVES: An Overview (DC, SK, IM, BP, MS), pp. 389–405.
- ICSE-1988-CraigenKMNPS #named #verification
- m-EVES: A Tool for Verifying Software (DC, SK, IM, AN, BP, MS), pp. 324–333.
