16 papers:
TACAS-2015-Beyer #verification- Software Verification and Verifiable Witnesses — (Report on SV-COMP 2015) (DB), pp. 401–416.
- TACAS-2015-CimattiGMT #hybrid #model checking #named #smt
- HyComp: An SMT-Based Model Checker for Hybrid Systems (AC, AG, SM, ST), pp. 52–67.
POPL-2015-StewartBCA #composition- Compositional CompCert (GS, LB, SC, AWA), pp. 275–287.
- TACAS-2014-Beyer #contest #summary #verification
- Status Report on Software Verification — (Competition Summary SV-COMP 2014) (DB0), pp. 373–388.
DHM-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.
ICDAR-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.
- TACAS-2013-Beyer #contest #summary #verification
- Second Competition on Software Verification — (Summary of SV-COMP 2013) (DB0), pp. 594–609.
KEOD-2013-LabadieFR #personalisation #semantics- Personalized Semantic Resources — The SemComp Project Presentation and Preliminary Works (AL, SF, TR), pp. 164–169.
ESOP-2012-BartheDP- A Formally Verified SSA-Based Middle-End — Static Single Assignment Meets CompCert (GB, DD, DP), pp. 47–66.
- TACAS-2012-Beyer #contest #verification
- Competition on Software Verification — (SV-COMP) (DB0), pp. 504–524.
- ICDAR-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.
WCRE-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.
FASE-2008-DattaE #component #named- COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems (SD, RvE), pp. 332–346.
ICPC-2006-LiT #component #framework #java #named- JComp: A Reuse-Driven Componentization Framework for Java Applications (SL, LT), pp. 264–267.
CAV-2005-BarrettMS #contest #modulo theories #named #satisfiability- SMT-COMP: Satisfiability Modulo Theories Competition (CWB, LMdM, AS), pp. 20–23.
DAC-1989-JordanW #composition #named- COMP: A VHDL Composition System (PRJ, RDW), pp. 750–753.
