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:
base (15)
softwar (13)
code (10)
safeti (10)
system (9)

Stem certif$ (all stems)

102 papers:

FMFM-2015-ConchonMZ #model checking
Certificates for Parameterized Model Checking (SC, AM, FZ), pp. 126–142.
SEFMSEFM-2015-Jakobs #clustering #configuration management #reduction #validation
Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning (MCJ), pp. 159–174.
SEFMSEFM-2015-VollingerR #algorithm #certification #distributed #problem
Certification of Distributed Algorithms Solving Problems with Optimal Substructure (KV, WR), pp. 190–195.
CSCWCSCW-2015-LiCYH #online
Massive Open Online Proctor: Protecting the Credibility of MOOCs certificates (XL, KmC, YY, AGH), pp. 1129–1137.
SACSAC-2015-AbdiH #algorithm #distributed
An algorithm for distributed certificate chain discovery in open environments (SA, JH), pp. 2292–2298.
ESEC-FSEESEC-FSE-2015-ChenS #difference #implementation #testing #validation
Guided differential testing of certificate validation in SSL/TLS implementations (YC, ZS), pp. 793–804.
RTARTA-2015-AvanziniST #certification #complexity #proving #using
Certification of Complexity Proofs using CeTA (MA, CS, RT), pp. 23–39.
DACDAC-2014-KosmidisQAFWC #certification #hardware
Containing Timing-Related Certification Cost in Automotive Systems Deploying Complex Hardware (LK, EQ, JA, GF, FW, FJC), p. 6.
DACDAC-2014-YangHCLRX #behaviour #certification #framework #scalability #synthesis
Scalable Certification Framework for Behavioral Synthesis Front-End (ZY, KH, KC, LL, SR, FX), p. 6.
ICALPICALP-v1-2014-WangY #data type
Certificates in Data Structures (YW, YY), pp. 1039–1050.
RTARTA-TLCA-2014-SternagelT #algebra #certification #complexity #formal method #proving #termination
Formalizing Monotone Algebras for Certification of Termination and Complexity Proofs (CS, RT), pp. 441–455.
DATEDATE-2013-MohanramWI #certification #compilation #memory management #named #order #reduction
Mempack: an order of magnitude reduction in the cost, risk, and time for memory compiler certification (KM, MW, SI), pp. 1490–1493.
SASSAS-2013-FouilheMP #abstract domain #correctness #generative #performance
Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra (AF, DM, MP), pp. 345–365.
HCIDUXU-WM-2013-CagiltayAOE #certification #challenge #process
Developing ISO 9241-151 Product Certification Process: Challenges (, ÖA, NO, FE), pp. 334–341.
RERE-2013-Nair #assurance #certification #safety
Evidence management for evolutionary safety assurance and certification (SN), pp. 385–388.
CADECADE-2013-ChihaniMR #first-order #logic #proving
Foundational Proof Certificates in First-Order Logic (ZC, DM, FR), pp. 162–177.
CAVCAV-2013-KongHSHG #generative #hybrid #safety #verification
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems (HK, FH, XS, WNNH, MG), pp. 242–257.
TACASTACAS-2012-HamlenJS #aspect-oriented #certification #monitoring #runtime
Aspect-Oriented Runtime Monitor Certification (KWH, MJ, MS), pp. 126–140.
STOCSTOC-2012-Belovs #source code
Span programs for functions with constant-sized 1-certificates: extended abstract (AB), pp. 77–84.
POPLPOPL-2012-StrubSFC #coq #named #self
Self-certification: bootstrapping certified typecheckers in F* with Coq (PYS, NS, CF, JC), pp. 571–584.
ICSEICSE-2012-Steele #development
Certification-based development of critical systems (PS), pp. 1575–1578.
PLEASEPLEASE-2012-BaumgartFP #approach #certification #component #functional #performance #safety #towards #using
Towards efficient functional safety certification of construction machinery using a component-based approach (SB, JF, SP), pp. 1–4.
SPLCSPLC-2012-BragaJBL #certification #feature model #modelling #product line
Incorporating certification in feature modelling of an unmanned aerial vehicle product line (RTVB, OTJ, KRLJCB, JL), pp. 249–258.
ICSTSAT-2012-NiemetzPLSB
Resolution-Based Certificate Extraction for QBF — (Tool Presentation) (AN, MP, FL, MS, AB), pp. 430–435.
FMFM-2011-DiosP #bound #certification #memory management #polynomial
Certification of Safe Polynomial Memory Bounds (JdD, RP), pp. 184–199.
ICSTSAT-2011-DantsinH #satisfiability
Satisfiability Certificates Verifiable in Subexponential Time (ED, EAH), pp. 19–32.
ITiCSEITiCSE-2010-YukselturkYSK #case study #education #experience #online
Online education experiences: information technologies certificate program at METU (EY, AY, AS, ÖK), pp. 83–87.
ESOPESOP-2010-AmtoftHR #array #automation #certification #contract #data flow #precise #reasoning #source code #verification
Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays (TA, JH, ER), pp. 43–63.
ICGTICGT-2010-HagstromP
A Model for Distribution and Revocation of Certificates (ÅH, FPP), pp. 314–329.
SACSAC-2010-OCallaghanDC #grid #trust
Evaluating trust in grid certificates (DO, LD, BAC), pp. 1449–1450.
ICSEICSE-2010-PaulischZ #architecture #case study #certification #experience
A role-based qualification and certification program for software architects: an experience report from Siemens (FP, PZ), pp. 21–27.
CSEETCSEET-2009-MansharamaniBGGKNR #certification #enterprise #performance #scalability
DCPE Rollout: Scaling Performance Engineering Training and Certification across a Very Large Enterprise (RKM, AB, KG, KG, AK, MKN, MR), pp. 263–270.
FASEFASE-2009-NarasamdyaP #certification
Certification of Smart-Card Applications in Common Criteria (IN, MP), pp. 309–324.
ICFPICFP-2009-PaganoAMCCWMC #case study #certification #embedded #experience #framework #ml #safety #tool support #using
Experience report: using objective caml to develop safety-critical embedded tools in a certification framework (BP, OA, TM, BC, EC, PW, PM, JLC), pp. 215–220.
POPLPOPL-2009-BartheGB #certification #encryption #proving
Formal certification of code-based cryptographic proofs (GB, BG, SZB), pp. 90–101.
SACSAC-2009-MarconSLS #architecture #policy
Policy management architecture based on provisioning model and authorization certificates (ALMJ, AOS, LAdPLJ, MS), pp. 1594–1598.
SACSAC-2009-NarasamdyaP #certification
Certification of smart-card applications in common criteria (IN, MP), pp. 601–608.
ICSTSAT-2009-LarrosaNOR #bound #branch #generative #optimisation
Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates (JL, RN, AO, ERC), pp. 453–466.
TAPTAP-2009-Chetali #certification #formal method #security #smarttech #testing
Security Testing and Formal Methods for High Levels Certification of Smart Cards (BC), pp. 1–5.
CASECASE-2008-LiuYGB #certification #functional #safety
Functional safety certification: Practice and issues (JL, CY, FG, SB), pp. 412–417.
ESOPESOP-2008-BartheK #abstract interpretation
Certificate Translation in Abstract Interpretation (GB, CK), pp. 368–382.
SEKESEKE-2008-TekbacakTD #approach #certification #data access #security #semantics #using
A Semantic Based Certification and Access Control Approach Using Security Patterns on SEAGENT (FT, TT, OD), pp. 741–744.
SACSAC-2008-SarmentaDRD
Offline count-limited certificates (LFGS, MvD, JR, SD), pp. 2145–2152.
DATEDATE-2007-RousseauMGMLDG #certification #configuration management #using
Enabling certification for dynamic partial reconfiguration using a minimal flow (BR, PM, DG, DM, JDL, FD, YG), pp. 983–988.
CSEETCSEET-2007-Jenkins #certification #experience #quality
Experience in Training Software Quality Engineers to Achieve a Professional Certification (MJ), pp. 83–88.
ICEISICEIS-DISI-2007-DiasCABM #certification #quality #web #web service #xml
A XML-based quality model for web services certification (JDJ, JAOGdC, , RSMdB, SRdLM), pp. 288–294.
RERE-2007-GandhiL #assessment #certification #comprehension #correlation #multi #requirements #risk management
Discovering and Understanding Multi-dimensional Correlations among Certification Requirements with application to Risk Assessment (RAG, SWL), pp. 231–240.
RERE-2007-LeeGWM #certification #named #requirements
r-AnalytiCA: Requirements Analytics for Certification & Accreditation (SWL, RAG, SJW, ABM), pp. 383–384.
ASEASE-2006-DenneyF #automation #certification #safety
Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract) (ED, BF), pp. 265–268.
ASEASE-2006-HassanZ #certification #predict #using
Using Decision Trees to Predict the Certification Result of a Build (AEH, KZ), pp. 189–198.
CSEETCSEET-2006-BagertL #certification
Visioning a Certification Exam for Graduating Software Engineers (DJB, MJL), p. 246.
TACASTACAS-2006-Chaki #certification #satisfiability
SAT-Based Software Certification (SC), pp. 151–166.
SASSAS-2006-BartheGKR #compilation #optimisation
Certificate Translation for Optimizing Compilers (GB, BG, CK, TR), pp. 301–317.
FLOPSFLOPS-2006-GregoireTW #approach #type system
A Computational Approach to Pocklington Certificates in Type Theory (BG, LT, BW), pp. 97–113.
GPCEGPCE-2006-DenneyF #algorithm #automation #certification #safety
A generic annotation inference algorithm for the safety certification of automatically generated code (ED, BF), pp. 121–130.
POPLPOPL-2006-Leroy #certification #compilation #programming #proving
Formal certification of a compiler back-end or: programming a compiler with a proof assistant (XL), pp. 42–54.
SACSAC-2006-LallouetL #consistency #constraints #satisfiability
From satisfiability to consistency through certificates: application to partially defined constraints (AL, AL), pp. 415–416.
ICLPICLP-2006-AlbertAPH
Reduced Certificates for Abstraction-Carrying Code (EA, PAS, GP, MVH), pp. 163–178.
ESOPESOP-2005-TseZ #classification #design
A Design for a Security-Typed Language with Certificate-Based Declassification (ST, SZ), pp. 279–294.
AdaEuropeAdaEurope-2005-AmeyCW #certification
Smart Certification of Mixed Criticality Systems (PA, RC, NW), pp. 144–155.
SACSAC-2005-BicakciCT #certification #how #metric #trust
How to incorporate revocation status information into the trust metrics for public-key certification (KB, BC, AST), pp. 1594–1598.
ESEC-FSEESEC-FSE-2005-Sherriff #fault #validation #verification
Utilizing verification and validation certificates to estimate software defect density (MS), pp. 381–384.
ASEASE-2004-Eusterbrock #certification
Context-Aware Code Certification (JE), pp. 358–361.
ITiCSEITiCSE-2004-ZurV #education
Teaching certificate in computer science: didactics workshop (EZ, TV), p. 240.
TACASTACAS-2004-KupfermanV #certification
From Complementation to Certification (OK, MYV), pp. 591–606.
SACSAC-2004-EgidiP #case study #certification #email
Anonymity and certification: e-mail, a case study (LE, GP), pp. 397–403.
SACSAC-2004-KambourakisRG
Delivering Attribute Certificates over GPRS (GK, ANR, SG), pp. 1166–1170.
ICLPICLP-2004-AlbertPH #abstract interpretation #certification #mobile
Abstract Interpretation-Based Mobile Code Certification (EA, GP, MVH), pp. 446–447.
CSEETCSEET-2003-SeidmanMBNSFP #certification
Certification for Software Professionals: The IEEE Computer Society?s CSDP Program (SBS, JM, DJB, JFN, AEKS, DJF, ASP), p. 323–?.
FMFME-2003-Glesner
Program Checking with Certificates: Separating Correctness-Critical Code (SG), pp. 758–777.
AdaEuropeAdaEurope-2003-KuballH #approach #certification
Evidential Volume Approach for Certification (SK, GH), pp. 246–257.
SACSAC-2003-EgidiM #authentication
Authentication and Access Delegation with User-Released Certificates (LE, MM), pp. 288–293.
VMCAIVMCAI-2003-Rival #abstract interpretation #assembly #certification
Abstract Interpretation-Based Certification of Assembly Code (XR), pp. 41–55.
CSEETCSEET-2002-HongCY #re-engineering #towards
Towards a Certification-Centred Software Engineering Programme (LWH, LSC, YHY), pp. 22–31.
SACSAC-2002-TanM #mobile #security
Certificates for mobile code security (HKT, LM), pp. 76–81.
CADECADE-2002-WhalenSF #automation #certification #named #synthesis
AutoBayes/CC — Combining Program Synthesis with Automatic Code Certification — System Description (MWW, JS, BF), pp. 290–294.
CBSECBSE-2001-Councill #certification
Third-Party Certification and Its Required Elements (WTC), p. 20.
CBSECBSE-2001-GhoshM #certification #component #distributed #middleware
Certification of Distributed Component Computing Middleware and Applications (SG, APM), p. 4.
CBSECBSE-2001-GiannakopoulouP #certification #component #verification
Component Verification and Certification in NASA Missions (DG, JP), p. 23.
CBSECBSE-2001-Lau #certification #component #predict
Component Certification and System Prediction: Is There a Role for Formality (KKL), p. 16.
CBSECBSE-2001-MohagheghiC #case study #certification #component #experience #reuse
Experiences with Certification of Reusable Components in the GSN Project in Ericsson, Norway (PM, RC), p. 7.
CBSECBSE-2001-StaffordW #certification #question
Is Third Party Certification Necessary? (JAS, KCW), p. 5.
CBSECBSE-2001-Voas #certification #component #trust
Component Trust and Certification (keynote) (JV), p. 1.
AdaSIGAda-2001-Santhanam #automation #certification #testing
Automating software module testing for FAA certification (US), pp. 31–38.
POPLPOPL-2000-CraryW #bound #certification
Resource Bound Certification (KC, SW), pp. 184–198.
POPLPOPL-2000-GunterJ
Generalized Certificate Revocation (CAG, TJ), pp. 316–329.
REICRE-2000-AntonA #certification #requirements #what
What Do You Mean I’ve Been Practicing without a License? Certification and Licensing of Requirements Engineering Professionals (AIA, JMA), p. 151.
REICRE-2000-Mead00a #certification #requirements #what
What Do You Mean I’m Practicing without a License? Certification and Licensing of Requirements Engineering Professionals (NRM), p. 152.
SPLCSPLC-2000-YacoubMKD #certification #off the shelf
A hierarchy of COTS certification criteria (SMY, AM, CK, MD), pp. 397–412.
ICLPCL-2000-KozenP #algebra #certification #compilation #optimisation #testing #using
Certification of Compiler Optimizations Using Kleene Algebra with Tests (DK, MCP), pp. 568–582.
ICALPICALP-1999-GottlobLS
Computing LOGCFL Certificates (GG, NL, FS), pp. 361–371.
AdaEuropeAdaEurope-1999-Frost #ada #certification #embedded #safety
An Ada95 Solution for Certification of Embedded Safety Critical Applications (JF), pp. 52–63.
CSEETCSEET-1998-Werth #certification
Certification and Licensing for Software Professionals and Organizations (LHW), pp. 151–162.
ICSEICSE-1998-DemirorsDDK #certification #process #towards
Process Improvement Towards ISO 9001 Certification in a Small Software Organization (ED, OD, OD, BK), pp. 435–438.
CSEETCSEET-1997-Mead #certification
Issues in licensing and certification of software engineers (NRM), pp. 150–160.
CAVCAV-1997-CimattiGPPPRTY #certification #embedded #safety #verification
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software (AC, FG, PP, BP, JP, DR, PT, BY), pp. 202–213.
AdaEuropeAdaEurope-1994-SilbergR #ada #certification #runtime
FAA Certification of Ada Run-Time Systems (SS, TBR), pp. 489–498.
SEKESEKE-1994-LuqiG #analysis #certification #synthesis
Suggestions for progress in software analysis, synthesis and certification (L, JAG), pp. 501–507.
AdaEuropeAdaEurope-1993-BrygierR #ada #certification #realtime #safety
Certification of Ada Real-Time Executives for Safety Critical Applications (JB, MRF), pp. 264–279.
STOCSTOC-1991-CheriyanT #algorithm #parallel
Algorithms for Parallel k-Vertex Connectivity and Sparse Certificates (Extended Abstract) (JC, RT), pp. 391–401.
SIGMODSIGMOD-1985-SinhaNM #certification #database #distributed #transaction
Timestamp Based Certification Schemes for Transactions in Distributed Database Systems (MKS, PDN, SLM), pp. 402–411.
VLDBVLDB-1984-BoksenbaumCFP #certification #database #distributed
Certification by Intervals of Timestamps in Distributed Database Systems (CB, MC, JF, JFP), pp. 377–387.

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.