35 papers:
CHI-2015-SatoYOSHTHR #classification #interactive #named- SpecTrans: Versatile Material Classification for Interaction with Textureless, Specular and Transparent Surfaces (MS, SY, AO, BS, AH, TT, MH, RR), pp. 2191–2200.
ASPLOS-2015-HicksSKS #debugging #lightweight #named #runtime #specification- SPECS: A Lightweight Runtime Mechanism for Protecting Software from Security-Critical Processor Bugs (MH, CS, STK, JMS), pp. 517–529.
DAC-2014-Rodriguez-NavasSHNLL #approach #automation #functional #safety #specification #verification- Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach (GRN, CCS, HH, MN, OL, HL), p. 4.
HPCA-2014-ZhaoVZLZ0 #memory management #specification- Over-clocked SSD: Safely running beyond flash memory chip I/O clock specs (KZ, KSV, XZ, JL, NZ, TZ), pp. 536–545.
VMCAI-2014-BloemKS #safety #satisfiability #specification #synthesis- SAT-Based Synthesis Methods for Safety Specs (RB, RK, MS), pp. 1–20.
HCI-AS-2013-PlischkeSPK #specification #standard- Human Adequate Lighting in Optimal Healing Environments — Measuring Non-visual Light Effects of a LED Light Source According to German Draft Pre-standard DIN SPEC 5031-100: 2012 (HP, CS, PP, NK), pp. 163–172.
ITiCSE-2012-Johnson #automation #consistency #generative #interface #named #testing- SpecCheck: automated generation of tests for interface conformance (CJ), pp. 186–191.
ASE-2010-XingSLD #debugging #named #specification- SpecDiff: debugging formal specifications (ZX, JS, YL, JSD), pp. 353–354.
SEKE-2010-KhwajaU #execution #implementation #realtime #specification- Intertwining Implementation with the RealSpec Executable Real-Time Specification Language (AAK, JEU), pp. 649–652.
TAP-2010-ClaessenSH #named #specification #testing #using- QuickSpec: Guessing Formal Specifications Using Testing (KC, NS, JH), pp. 6–21.
SAC-2009-CasadeiO #tuple- Situated tuple centres in ReSpecT (MC, AO), pp. 1361–1368.
MBT-2009-KrennA #contract #generative #specification #testing- Test Case Generation by Contract Mutation in Spec# (WK, BKA), pp. 71–86.
- SEKE-2008-KhwajaU #execution #modelling #named #specification
- RealSpec: an Executable Specification Language for Modeling Resources (AAK, JEU), pp. 97–102.
- SEKE-2007-LeitaoTB #named #natural language #specification #testing
- NLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications (DL, DT, FdAB), pp. 129–134.
PPoPP-2007-KejariwalTGLKBNVP #analysis #concurrent #cpu #performance #specification #thread #using- Tight analysis of the performance potential of thread speculation using spec CPU 2006 (AK, XT, MG, WL, SK, UB, AN, AVV, CDP), pp. 215–225.
ICSE-2006-DongHZQ #modelling #named- HighSpec: a tool for building and checking OZTA models (JSD, PH, XZ, SQ), pp. 775–778.
DATE-2005-HassanSTI #kernel #simulation- RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC (MAH, KS, YT, MI), pp. 554–559.
FM-2005-CampbellGNSTV #concurrent #object-oriented #specification #testing- Testing Concurrent Object-Oriented Systems with Spec Explorer (CC, WG, LN, WS, NT, MV), pp. 542–547.
- SAC-2005-RicciV
- A timed extension of ReSpecT (AR, MV), pp. 420–427.
- PPoPP-2005-PrabhuO #concurrent #parallel #specification #thread
- Exposing speculative thread parallelism in SPEC2000 (MKP, KO), pp. 142–152.
- DATE-2003-HondaT #design #evaluation
- Evaluation of Applying SpecC to the Integrated Design Method of Device Driver and Device (SH, HT), pp. 20138–20143.
SEFM-2003-BhattLK #design- The Fallacy of Spec-Based Design (RB, DL, AK), p. 156–?.
- DATE-2002-CaiGKO #design #top-down #using
- Top-Down System Level Design Methodology Using SpecC, VCC and SystemC (LC, DG, PK, MO), p. 1137.
TACAS-2002-ArmoniFFGGKLMSTVZ #logic- The ForSpec Temporal Logic: A New Temporal Property-Specification Language (RA, LF, AF, RG, BG, TK, AL, SMH, ES, AT, MYV, YZ), pp. 296–211.
- DAC-2001-SchenkelPZSGA #analysis #optimisation
- Mismatch Analysis and Direct Yield Optimization by Spec-Wise Linearization and Feasibility-Guided Search (FS, MP, SZ, RS, HEG, KA), pp. 858–863.
IFM-2000-Jonkers #interface #named #specification #towards- ISpec: Towards Practical and Sound Interface Specifications (HBMJ), pp. 116–135.
PADL-1999-CadoliPSV #execution #named #problem #specification- NP-SPEC: An Executable Specification Language for Solving All Problems in NP (MC, LP, AS, DV), pp. 16–30.
LCTES-1999-Engblom #benchmark #embedded #metric #tool support #why- Why SpecInt95 Should Not Be Used to Benchmark Embedded Systems Tools (JE), pp. 96–103.
- DAC-1998-GajskiVNG
- System-level exploration with SpecSyn (DG, FV, SN, JG), pp. 812–817.
CSMR-1998-KirnerG #re-engineering #specification #using- System Specification Reengineering Using the SpecView Tool (TGK, RCG), pp. 135–141.
- HPCA-1996-CvetanovicB #performance #specification #using
- Performance Characterization of the Alpha 21164 Microprocessor Using TP and SPEC Workloads (ZC, DB), pp. 270–280.
TOOLS-USA-1992-Szafron #named #object-oriented #specification- SPECTalk: an Object-Oriented Data Specification Language (DS), pp. 123–137.
- ASPLOS-1991-CmelikKDK #analysis #benchmark #metric #set #specification
- An Analysis of SPARC and MIPS Instruction Set Utilization on the SPEC Benchmarks (RFC, SIK, DRD, EJK), pp. 290–302.
- HCI-CE-1987-Soloway #specification #what
- I Can’t Tell What in the Code Implements What in the Specs (ES), pp. 317–328.
- DAC-1983-BastianEFHM #simulation #specification
- Symbolic Parasitic Extractor for Circuit Simulation (SPECS) (JDB, ME, PJF, CEH, LPM), pp. 346–352.
