102 papers:
FM-2015-ConchonMZ #model checking- Certificates for Parameterized Model Checking (SC, AM, FZ), pp. 126–142.
SEFM-2015-Jakobs #clustering #configuration management #reduction #validation- Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning (MCJ), pp. 159–174.
- SEFM-2015-VollingerR #algorithm #certification #distributed #problem
- Certification of Distributed Algorithms Solving Problems with Optimal Substructure (KV, WR), pp. 190–195.
CSCW-2015-LiCYH #online- Massive Open Online Proctor: Protecting the Credibility of MOOCs certificates (XL, KmC, YY, AGH), pp. 1129–1137.
SAC-2015-AbdiH #algorithm #distributed- An algorithm for distributed certificate chain discovery in open environments (SA, JH), pp. 2292–2298.
ESEC-FSE-2015-ChenS #difference #implementation #testing #validation- Guided differential testing of certificate validation in SSL/TLS implementations (YC, ZS), pp. 793–804.
RTA-2015-AvanziniST #certification #complexity #proving #using- Certification of Complexity Proofs using CeTA (MA, CS, RT), pp. 23–39.
DAC-2014-KosmidisQAFWC #certification #hardware- Containing Timing-Related Certification Cost in Automotive Systems Deploying Complex Hardware (LK, EQ, JA, GF, FW, FJC), p. 6.
- DAC-2014-YangHCLRX #behaviour #certification #framework #scalability #synthesis
- Scalable Certification Framework for Behavioral Synthesis Front-End (ZY, KH, KC, LL, SR, FX), p. 6.
ICALP-v1-2014-WangY #data type- Certificates in Data Structures (YW, YY), pp. 1039–1050.
- RTA-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.
DATE-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.
SAS-2013-FouilheMP #abstract domain #correctness #generative #performance- Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra (AF, DM, MP), pp. 345–365.
DUXU-WM-2013-CagiltayAOE #certification #challenge #process- Developing ISO 9241-151 Product Certification Process: Challenges (KÇ, ÖA, NO, FE), pp. 334–341.
RE-2013-Nair #assurance #certification #safety- Evidence management for evolutionary safety assurance and certification (SN), pp. 385–388.
CADE-2013-ChihaniMR #first-order #logic #proving- Foundational Proof Certificates in First-Order Logic (ZC, DM, FR), pp. 162–177.
CAV-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.
TACAS-2012-HamlenJS #aspect-oriented #certification #monitoring #runtime- Aspect-Oriented Runtime Monitor Certification (KWH, MJ, MS), pp. 126–140.
STOC-2012-Belovs #source code- Span programs for functions with constant-sized 1-certificates: extended abstract (AB), pp. 77–84.
POPL-2012-StrubSFC #coq #named #self- Self-certification: bootstrapping certified typecheckers in F* with Coq (PYS, NS, CF, JC), pp. 571–584.
ICSE-2012-Steele #development- Certification-based development of critical systems (PS), pp. 1575–1578.
PLEASE-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.
SPLC-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.
SAT-2012-NiemetzPLSB- Resolution-Based Certificate Extraction for QBF — (Tool Presentation) (AN, MP, FL, MS, AB), pp. 430–435.
- FM-2011-DiosP #bound #certification #memory management #polynomial
- Certification of Safe Polynomial Memory Bounds (JdD, RP), pp. 184–199.
- SAT-2011-DantsinH #satisfiability
- Satisfiability Certificates Verifiable in Subexponential Time (ED, EAH), pp. 19–32.
ITiCSE-2010-YukselturkYSK #case study #education #experience #online- Online education experiences: information technologies certificate program at METU (EY, AY, AS, ÖK), pp. 83–87.
ESOP-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.
ICGT-2010-HagstromP- A Model for Distribution and Revocation of Certificates (ÅH, FPP), pp. 314–329.
- SAC-2010-OCallaghanDC #grid #trust
- Evaluating trust in grid certificates (DO, LD, BAC), pp. 1449–1450.
- ICSE-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.
CSEET-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.
FASE-2009-NarasamdyaP #certification- Certification of Smart-Card Applications in Common Criteria (IN, MP), pp. 309–324.
ICFP-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.
- POPL-2009-BartheGB #certification #encryption #proving
- Formal certification of code-based cryptographic proofs (GB, BG, SZB), pp. 90–101.
- SAC-2009-MarconSLS #architecture #policy
- Policy management architecture based on provisioning model and authorization certificates (ALMJ, AOS, LAdPLJ, MS), pp. 1594–1598.
- SAC-2009-NarasamdyaP #certification
- Certification of smart-card applications in common criteria (IN, MP), pp. 601–608.
- SAT-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.
TAP-2009-Chetali #certification #formal method #security #smarttech #testing- Security Testing and Formal Methods for High Levels Certification of Smart Cards (BC), pp. 1–5.
CASE-2008-LiuYGB #certification #functional #safety- Functional safety certification: Practice and issues (JL, CY, FG, SB), pp. 412–417.
- ESOP-2008-BartheK #abstract interpretation
- Certificate Translation in Abstract Interpretation (GB, CK), pp. 368–382.
SEKE-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.
- SAC-2008-SarmentaDRD
- Offline count-limited certificates (LFGS, MvD, JR, SD), pp. 2145–2152.
- DATE-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.
- CSEET-2007-Jenkins #certification #experience #quality
- Experience in Training Software Quality Engineers to Achieve a Professional Certification (MJ), pp. 83–88.
ICEIS-DISI-2007-DiasCABM #certification #quality #web #web service #xml- A XML-based quality model for web services certification (JDJ, JAOGdC, AÁ, RSMdB, SRdLM), pp. 288–294.
- RE-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.
- RE-2007-LeeGWM #certification #named #requirements
- r-AnalytiCA: Requirements Analytics for Certification & Accreditation (SWL, RAG, SJW, ABM), pp. 383–384.
ASE-2006-DenneyF #automation #certification #safety- Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract) (ED, BF), pp. 265–268.
- ASE-2006-HassanZ #certification #predict #using
- Using Decision Trees to Predict the Certification Result of a Build (AEH, KZ), pp. 189–198.
- CSEET-2006-BagertL #certification
- Visioning a Certification Exam for Graduating Software Engineers (DJB, MJL), p. 246.
- TACAS-2006-Chaki #certification #satisfiability
- SAT-Based Software Certification (SC), pp. 151–166.
- SAS-2006-BartheGKR #compilation #optimisation
- Certificate Translation for Optimizing Compilers (GB, BG, CK, TR), pp. 301–317.
FLOPS-2006-GregoireTW #approach #type system- A Computational Approach to Pocklington Certificates in Type Theory (BG, LT, BW), pp. 97–113.
GPCE-2006-DenneyF #algorithm #automation #certification #safety- A generic annotation inference algorithm for the safety certification of automatically generated code (ED, BF), pp. 121–130.
- POPL-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.
- SAC-2006-LallouetL #consistency #constraints #satisfiability
- From satisfiability to consistency through certificates: application to partially defined constraints (AL, AL), pp. 415–416.
ICLP-2006-AlbertAPH- Reduced Certificates for Abstraction-Carrying Code (EA, PAS, GP, MVH), pp. 163–178.
- ESOP-2005-TseZ #classification #design
- A Design for a Security-Typed Language with Certificate-Based Declassification (ST, SZ), pp. 279–294.
AdaEurope-2005-AmeyCW #certification- Smart Certification of Mixed Criticality Systems (PA, RC, NW), pp. 144–155.
- SAC-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-FSE-2005-Sherriff #fault #validation #verification
- Utilizing verification and validation certificates to estimate software defect density (MS), pp. 381–384.
- ASE-2004-Eusterbrock #certification
- Context-Aware Code Certification (JE), pp. 358–361.
- ITiCSE-2004-ZurV #education
- Teaching certificate in computer science: didactics workshop (EZ, TV), p. 240.
- TACAS-2004-KupfermanV #certification
- From Complementation to Certification (OK, MYV), pp. 591–606.
- SAC-2004-EgidiP #case study #certification #email
- Anonymity and certification: e-mail, a case study (LE, GP), pp. 397–403.
- SAC-2004-KambourakisRG
- Delivering Attribute Certificates over GPRS (GK, ANR, SG), pp. 1166–1170.
- ICLP-2004-AlbertPH #abstract interpretation #certification #mobile
- Abstract Interpretation-Based Mobile Code Certification (EA, GP, MVH), pp. 446–447.
- CSEET-2003-SeidmanMBNSFP #certification
- Certification for Software Professionals: The IEEE Computer Society?s CSDP Program (SBS, JM, DJB, JFN, AEKS, DJF, ASP), p. 323–?.
- FME-2003-Glesner
- Program Checking with Certificates: Separating Correctness-Critical Code (SG), pp. 758–777.
- AdaEurope-2003-KuballH #approach #certification
- Evidential Volume Approach for Certification (SK, GH), pp. 246–257.
- SAC-2003-EgidiM #authentication
- Authentication and Access Delegation with User-Released Certificates (LE, MM), pp. 288–293.
VMCAI-2003-Rival #abstract interpretation #assembly #certification- Abstract Interpretation-Based Certification of Assembly Code (XR), pp. 41–55.
- CSEET-2002-HongCY #re-engineering #towards
- Towards a Certification-Centred Software Engineering Programme (LWH, LSC, YHY), pp. 22–31.
- SAC-2002-TanM #mobile #security
- Certificates for mobile code security (HKT, LM), pp. 76–81.
- CADE-2002-WhalenSF #automation #certification #named #synthesis
- AutoBayes/CC — Combining Program Synthesis with Automatic Code Certification — System Description (MWW, JS, BF), pp. 290–294.
CBSE-2001-Councill #certification- Third-Party Certification and Its Required Elements (WTC), p. 20.
- CBSE-2001-GhoshM #certification #component #distributed #middleware
- Certification of Distributed Component Computing Middleware and Applications (SG, APM), p. 4.
- CBSE-2001-GiannakopoulouP #certification #component #verification
- Component Verification and Certification in NASA Missions (DG, JP), p. 23.
- CBSE-2001-Lau #certification #component #predict
- Component Certification and System Prediction: Is There a Role for Formality (KKL), p. 16.
- CBSE-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.
- CBSE-2001-StaffordW #certification #question
- Is Third Party Certification Necessary? (JAS, KCW), p. 5.
- CBSE-2001-Voas #certification #component #trust
- Component Trust and Certification (keynote) (JV), p. 1.
SIGAda-2001-Santhanam #automation #certification #testing- Automating software module testing for FAA certification (US), pp. 31–38.
- POPL-2000-CraryW #bound #certification
- Resource Bound Certification (KC, SW), pp. 184–198.
- POPL-2000-GunterJ
- Generalized Certificate Revocation (CAG, TJ), pp. 316–329.
- ICRE-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.
- ICRE-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.
- SPLC-2000-YacoubMKD #certification #off the shelf
- A hierarchy of COTS certification criteria (SMY, AM, CK, MD), pp. 397–412.
- CL-2000-KozenP #algebra #certification #compilation #optimisation #testing #using
- Certification of Compiler Optimizations Using Kleene Algebra with Tests (DK, MCP), pp. 568–582.
- ICALP-1999-GottlobLS
- Computing LOGCFL Certificates (GG, NL, FS), pp. 361–371.
- AdaEurope-1999-Frost #ada #certification #embedded #safety
- An Ada95 Solution for Certification of Embedded Safety Critical Applications (JF), pp. 52–63.
- CSEET-1998-Werth #certification
- Certification and Licensing for Software Professionals and Organizations (LHW), pp. 151–162.
- ICSE-1998-DemirorsDDK #certification #process #towards
- Process Improvement Towards ISO 9001 Certification in a Small Software Organization (ED, OD, OD, BK), pp. 435–438.
- CSEET-1997-Mead #certification
- Issues in licensing and certification of software engineers (NRM), pp. 150–160.
- CAV-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.
- AdaEurope-1994-SilbergR #ada #certification #runtime
- FAA Certification of Ada Run-Time Systems (SS, TBR), pp. 489–498.
- SEKE-1994-LuqiG #analysis #certification #synthesis
- Suggestions for progress in software analysis, synthesis and certification (L, JAG), pp. 501–507.
- AdaEurope-1993-BrygierR #ada #certification #realtime #safety
- Certification of Ada Real-Time Executives for Safety Critical Applications (JB, MRF), pp. 264–279.
- STOC-1991-CheriyanT #algorithm #parallel
- Algorithms for Parallel k-Vertex Connectivity and Sparse Certificates (Extended Abstract) (JC, RT), pp. 391–401.
SIGMOD-1985-SinhaNM #certification #database #distributed #transaction- Timestamp Based Certification Schemes for Transactions in Distributed Database Systems (MKS, PDN, SLM), pp. 402–411.
VLDB-1984-BoksenbaumCFP #certification #database #distributed- Certification by Intervals of Timestamps in Distributed Database Systems (CB, MC, JF, JFP), pp. 377–387.
