BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
verif (6)
competit (6)
softwar (5)
system (3)
java (3)

Stem comp$ (all stems)

16 papers:

TACASTACAS-2015-Beyer #verification
Software Verification and Verifiable Witnesses — (Report on SV-COMP 2015) (DB), pp. 401–416.
TACASTACAS-2015-CimattiGMT #hybrid #model checking #named #smt
HyComp: An SMT-Based Model Checker for Hybrid Systems (AC, AG, SM, ST), pp. 52–67.
POPLPOPL-2015-StewartBCA #composition
Compositional CompCert (GS, LB, SC, AWA), pp. 275–287.
TACASTACAS-2014-Beyer #contest #summary #verification
Status Report on Software Verification — (Competition Summary SV-COMP 2014) (DB0), pp. 373–388.
HCIDHM-2014-LiuTZSLSF #assessment #behaviour #framework #modelling #named #performance
COMPAss: A Space Cognitive Behavior Modeling and Performance Assessment Platform (YL, ZT, YZ, QS, JL, JS, FF), pp. 630–636.
ICDARICDAR-2013-MalikLAOBF #contest #identification #verification
ICDAR 2013 Competitions on Signature Verification and Writer Identification for On- and Offline Skilled Forgeries (SigWiComp 2013) (MIM, ML, LA, WO, MB, BF), pp. 1477–1483.
TACASTACAS-2013-Beyer #contest #summary #verification
Second Competition on Software Verification — (Summary of SV-COMP 2013) (DB0), pp. 594–609.
KEODKEOD-2013-LabadieFR #personalisation #semantics
Personalized Semantic Resources — The SemComp Project Presentation and Preliminary Works (AL, SF, TR), pp. 164–169.
ESOPESOP-2012-BartheDP
A Formally Verified SSA-Based Middle-End — Static Single Assignment Meets CompCert (GB, DD, DP), pp. 47–66.
TACASTACAS-2012-Beyer #contest #verification
Competition on Software Verification — (SV-COMP) (DB0), pp. 504–524.
ICDARICDAR-2011-LiwickiMHCBSBF #contest #online #verification
Signature Verification Competition for Online and Offline Skilled Forgeries (SigComp2011) (ML, MIM, CEvdH, XC, CB, RS, MB, BF), pp. 1480–1484.
WCREWCRE-1999-AnquetilRAAHPPP99a #architecture #java #named #source code
JavaCompExt: Extracting Architectural Elements from Java Source Code (NA, JCR, PA, GA, PH, TP, DP, VP), pp. 317–318.
FASEFASE-2008-DattaE #component #named
COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems (SD, RvE), pp. 332–346.
ICPCICPC-2006-LiT #component #framework #java #named
JComp: A Reuse-Driven Componentization Framework for Java Applications (SL, LT), pp. 264–267.
CAVCAV-2005-BarrettMS #contest #modulo theories #named #satisfiability
SMT-COMP: Satisfiability Modulo Theories Competition (CWB, LMdM, AS), pp. 20–23.
DACDAC-1989-JordanW #composition #named
COMP: A VHDL Composition System (PRJ, RDW), pp. 750–753.

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.