12 papers:
FM-2014-BlomH #concurrent #source code #verification- The VerCors Tool for Verification of Concurrent Programs (SB, MH), pp. 127–131.
SFM-2014-AmighiBDHMZ #concurrent #verification- Verification of Concurrent Systems with VerCors (AA, SB, SD, MH, WM, MZS), pp. 172–216.
FASE-2013-GudemannPSD #framework #named #verification- VerChor: A Framework for Verifying Choreographies (MG, PP, GS, AD), pp. 226–230.
SEFM-2011-SoleimanifardGH #composition #named #safety #verification- ProMoVer: Modular Verification of Temporal Safety Properties (SS, DG, MH), pp. 366–381.
TACAS-2005-GanaiGA #framework #model checking #named #satisfiability #scalability #verification- DiVer: SAT-Based Model Checking Platform for Verifying Large Scale Systems (MKG, AG, PA), pp. 575–580.
SAT-J-2004-SubbarayanP05 #named #preprocessor #satisfiability- NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances (SS, DKP), pp. 276–291.
CAV-2005-ChanderEILN #java #named #verification- JVer: A Java Verifier (AC, DE, NI, PL, GCN), pp. 144–147.
- CAV-2003-GuptaGWYA #abstraction #satisfiability
- Abstraction and BDDs Complement SAT-Based BMC in DiVer (AG, MKG, CW, ZY, PA), pp. 206–209.
HT-1996-HaakeH #hypermedia #named #towards #version control- VerSE: Towards Hypertext Versioning Styles (AH, DLH), pp. 224–234.
- HT-ECHT-1994-Haake #hypermedia #implementation
- Under CoVer: The Implementation of a Contextual Version Server for Hypertext Applications (AH), pp. 81–93.
INTERCHI-1993-HaakeH- Take CoVer: exploiting version support in cooperative systems (AH, JMH), pp. 406–413.
- HT-ECHT-1992-Haake #hypermedia #named
- CoVer: A Contextual Version Server for Hypertext Applications (AH), pp. 43–52.
