Stem conform$ (all stems)

179 papers:

WICSA-2015-CaraccioloLN #approach #architecture #consistency

A Unified Approach to Architecture Conformance Checking (AC, MFL, ON), pp. 41–50.

KDD-2015-WangYLXXCR #predict #using

Regularity and Conformity: Location Prediction Using Heterogeneous Mobility Data (YW, NJY, DL, LX, XX, EC, YR), pp. 1275–1284.

SIGIR-2015-ZhangCQZL #multi #personalisation #recommendation #similarity

When Personalization Meets Conformity: Collective Similarity based Multi-Domain Recommendation (XZ, JC, SQ, ZZ, HL), pp. 1019–1022.

SAC-2015-CalvagnaFT #case study #combinator #consistency #effectiveness #random #testing

Random versus combinatorial effectiveness in software conformance testing: a case study (AC, AF, ET), pp. 1797–1802.

SAC-2015-Gregorio-Rodriguez #consistency #simulation

Extending mCRL2 with ready simulation and iocos input-output conformance simulation (CGR, LL, RMT), pp. 1781–1788.

SAC-2015-KhelladiBBLG #consistency #framework #process #verification

A framework to formally verify conformance of a software process to a software method (DEK, RB, SB, YL, MPG), pp. 1518–1525.

CAV-2015-DeshmukhMP #consistency #metric #using

Quantifying Conformance Using the Skorokhod Metric (JVD, RM, VSP), pp. 234–250.

QoSA-2014-OlssonTWE #architecture #consistency #evaluation #game studies

Evaluation of a static architectural conformance checking method in a line of computer games (TO, DT, AW, ME), pp. 113–118.

WICSA-2014-WeinreichB #architecture #automation #consistency

Automatic Reference Architecture Conformance Checking for SOA-Based Software Systems (RW, GB), pp. 95–104.

FM-2014-ArenisWDMA #consistency #industrial #standard #verification

The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification (SFA, BW, DD, MM, ASA), pp. 658–672.

SEFM-2014-KeshishzadehM #consistency #domain-specific language #formal method #reasoning #semantics #testing

Formalizing DSL Semantics for Reasoning and Conformance Testing (SK, AJM), pp. 81–95.

SCSM-2014-FawziS #gender #network #online #social

An Investigation into Gender Role Conformity in an Online Social Networking Environment (AF, AS), pp. 322–330.

ICEIS-v2-2014-MerouaniMS #approach #consistency #formal method #process #testing #towards

Formalizing Artifact-Centric Business Processes — Towards a Conformance Testing Approach (HM, FM, HSB), pp. 368–374.

ICEIS-v3-2014-PutterRS #consistency #enterprise #testing

Testing Conformance of EJB 3 Enterprise Application Servers (SdP, SAR, AS), pp. 272–279.

SAC-2014-BeoharM #consistency #testing

Input-output conformance testing based on featured transition systems (HB, MRM), pp. 1272–1278.

SAC-2014-MolkaRDCZG #consistency #modelling #process

Conformance checking for BPMN-based process models (TM, DR, MD, AC, XJZ, WG), pp. 1406–1413.

SAC-2014-WatanabeGF #consistency #navigation

Keyboard navigation mechanisms in tab widgets: an investigation on ARIA’s conformance (WMW, RJG, RPdMF), pp. 721–726.

ICSE-2014-RempelMKC #consistency #guidelines #traceability

Mind the gap: assessing the conformance of software traceability to relevant guidelines (PR, PM, TK, JCH), pp. 943–954.

ECSA-2013-BuchgeherW #analysis #architecture #consistency #towards

Towards Continuous Reference Architecture Conformance Analysis (GB, RW), pp. 332–335.

ECSA-2013-DimechB #approach #architecture #consistency #development #maintenance

Maintaining Architectural Conformance during Software Development: A Practical Approach (CD, DB), pp. 208–223.

ECSA-2013-SilvaB #architecture #automation #consistency #named

PANDArch: A Pluggable Automated Non-intrusive Dynamic Architecture Conformance Checker (LdS, DB), pp. 240–248.

DAC-2013-LeiXC #consistency #prototype

Post-silicon conformance checking with virtual prototypes (LL, FX, KC), p. 6.

DATE-2013-NegreanKE #analysis #manycore

Timing analysis of multi-mode applications on AUTOSAR conform multi-core systems (MN, SK, RE), pp. 302–307.

EDOC-2013-HeroldMRS #architecture #case study #consistency

Checking Conformance with Reference Architectures: A Case Study (SH, MM, AR, IS), pp. 71–80.

KDD-2013-TangWS #confluence #named #network #scalability #social

Confluence: conformity influence in large social networks (JT, SW, JS), pp. 347–355.

ICMT-2013-HildebrandtLG #automation #consistency #graph grammar #implementation #specification #testing

Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations (SH, LL, HG), pp. 174–188.

SAC-2013-AnconaBM #consistency #dynamic analysis #multi #protocol

Constrained global types for dynamic checking of protocol conformance in multi-agent systems (DA, MB, VM), pp. 1377–1379.

SAC-2013-MaalejKJ #composition #consistency #named #testing

WSCCT: a tool for WS-BPEL compositions conformance testing (AJM, MK, MJ), pp. 1055–1061.

ESEC-FSE-2013-AroraSBZG #automation #consistency #flexibility #named

RUBRIC: a flexible tool for automated checking of conformance to requirement boilerplates (CA, MS, LCB, FZ, RG), pp. 599–602.

ICTSS-2013-FariaPC #consistency #diagrams #sequence chart #testing #tool support #uml

Techniques and Toolset for Conformance Testing against UML Sequence Diagrams (JPF, ACRP, MVdC), pp. 180–195.

ICTSS-2013-LeonHL #concurrent #consistency #testing

Unfolding-Based Test Selection for Concurrent Conformance (HPdL, SH, DL), pp. 98–113.

DAC-2012-HuangCBK #consistency #embedded #realtime #runtime

Conforming the runtime inputs for hard real-time embedded systems (KH, GC, CB, AK), pp. 430–436.

DocEng-2012-ChuangW #documentation #graph #morphism #xml

Structure-conforming XML document transformation based on graph homomorphism (TRC, HYW), pp. 99–102.

ITiCSE-2012-Johnson #automation #consistency #generative #interface #named #testing

SpecCheck: automated generation of tests for interface conformance (CJ), pp. 186–191.

FASE-2012-Aalst #consistency #distributed #process

Distributed Process Discovery and Conformance Checking (WMPvdA), pp. 1–25.

SAC-2012-AccorsiS #consistency #mining #on the #process #security

On the exploitation of process mining for security audits: the conformance checking case (RA, TS), pp. 1709–1716.

SAC-2012-NguyenPZ #consistency #testing

Passive conformance testing of service choreographies (HNN, PP, FZ), pp. 1528–1535.

ICSE-2012-PradelJAG #api #consistency #multi #protocol #specification

Statically checking API protocol conformance with mined multi-object specifications (MP, CJ, JA, TRG), pp. 925–935.

ICSE-2012-ZhengT #architecture #behaviour #consistency #implementation

Enhancing architecture-implementation conformance with change management and support for behavioral mapping (YZ, RNT), pp. 628–638.

ICST-2012-FrankeKWP #consistency #lifecycle #mobile #testing

Testing Conformance of Life Cycle Dependent Properties of Mobile Applications (DF, SK, CW, NP), pp. 241–250.

ICTSS-2012-BannourEGG #consistency #generative #modelling #testing

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing (BB, JPE, CG, PLG), pp. 119–135.

TAP-2012-KiniryZH #consistency #library #specification #testing #verification

Testing Library Specifications by Verifying Conformance Tests (JRK, DMZ, RH), pp. 51–66.

TAP-2012-LeonHL #consistency

Conformance Relations for Labeled Event Structures (HPdL, SH, DL), pp. 83–98.

ICSM-2011-BrunetGF #consistency #design #evaluation #testing #usability

Structural conformance checking with design tests: An evaluation of usability and calability (JB, DSG, JCAdF), pp. 143–152.

SEFM-2011-NorooziKMW #consistency #testing

Synchronizing Asynchronous Conformance Testing (NN, RK, MRM, TACW), pp. 334–349.

AGTIVE-2011-HildebrandtLGPR #automation #consistency #graph grammar #implementation #testing

Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations (SH, LL, HG, DP, IR), pp. 238–253.

AGTIVE-2011-MantzJT #concept #consistency #evolution #graph transformation #metamodelling #migration

Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration (FM, SJ, GT), pp. 3–18.

DUXU-v1-2011-AuingerAKH #design #difference #question #web

Conformity with User Expectations on the Web: Are There Cultural Differences for Design Principles? (AA, AMA, HK, AH), pp. 3–12.

EDOC-2011-AdriansyahDA #consistency #cost analysis #using

Conformance Checking Using Cost-Based Fitness Analysis (AA, BFvD, WMPvdA), pp. 55–64.

CIKM-2011-LiBS #analysis #named #network #online #social #towards

CASINO: towards conformity-aware social influence analysis in online social networks (HL, SSB, AS), pp. 1007–1012.

SEKE-2011-GeigerSW #automation #consistency #towards

Towards Automated Conformance Checking of ebBP-ST Choreographies and Corresponding WS-BPEL Based Orchestrations (MG, AS, GW), pp. 566–571.

SEKE-2011-LemosSLO #consistency #development #mining #process

Conformance Checking of Software Development Processes Through Process Mining (AML, CCS, RMFL, CALO), pp. 654–659.

MoDELS-2011-MoffettBD #consistency #model checking #protocol #uml #using #verification

Verifying UML-RT Protocol Conformance Using Model Checking (YM, AB, JD), pp. 410–424.

MoDELS-2011-MoffettBD #consistency #model checking #protocol #uml #using #verification

Verifying UML-RT Protocol Conformance Using Model Checking (YM, AB, JD), pp. 410–424.

ESEC-FSE-2011-DriscollBR #consistency

Checking conformance of a producer and a consumer (ED, AB, TWR), pp. 113–123.

ICST-2011-DanH #consistency #sequence chart #testing

Conformance Testing from Message Sequence Charts (HD, RMH), pp. 279–288.

ICST-2011-SaifanDBP #consistency #implementation #mobile #runtime

Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems (AAS, JD, JSB, EP), pp. 269–278.

ICTSS-2011-CavalcantiGH #consistency #csp #distributed #testing

Conformance Relations for Distributed Testing Based on CSP (AC, MCG, RMH), pp. 48–63.

TAP-2011-BentakoukPZ #behaviour #consistency #smt #testing #web #web service

Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver (LB, PP, FZ), pp. 33–50.

WCRE-2010-Bittencourt #consistency #evolution

Conformance Checking during Software Evolution (RAB), pp. 289–292.

ICPR-2010-Machucho-CadenaB #3d #algebra #geometry #re-engineering #using

3D Reconstruction of Tumors for Applications in Laparoscopy Using Conformal Geometric Algebra (RMC, EBC), pp. 2532–2535.

ICPR-2010-SzeptyckiACZGS #2d #composition #using

Partial Face Biometry Using Shape Decomposition on 2D Conformal Maps of Faces (PS, MA, LC, WZ, XDG, DS), pp. 1505–1508.

MoDELS-v1-2010-RahimW #code generation #consistency #semantics #state machine #verification

Verifying Semantic Conformance of State Machine-to-Java Code Generators (LAR, JW), pp. 166–180.

ICSE-2010-DeissenboeckHHJ #architecture #assessment #consistency #flexibility

Flexible architecture conformance assessment with ConQAT (FD, LH, BH, EJ), pp. 247–250.

ICST-2010-JobstlWAW #consistency #execution #smt #symbolic computation #testing

When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving (EJ, MW, BKA, FW), pp. 479–488.

SEKE-2009-LiYJQG #behaviour #consistency #named #testing #web #web service

WSTester: Testing Web Service for Behavior Conformance (BL, LY, SJ, DQ, XG), pp. 456–459.

OOPSLA-2009-Abi-AntounA #analysis #architecture #consistency #runtime #using

Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations (MAA, JA), pp. 321–340.

PADL-2009-TranNPS #consistency #declarative #performance #specification #static analysis

Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications (DVT, HKN, EP, TCS), pp. 239–253.

SAC-2009-CavalliMO #approach #consistency #protocol #testing

A passive conformance testing approach for a MANET routing protocol (ARC, SM, EMdO), pp. 207–211.

SAC-2009-MenezesNQF #interface

Expert system for supporting conformity inspections of software application interfaces to the ISO 9241 (LLdM, MRdN, JERdQ, JMF), pp. 110–115.

MBT-2009-AichernigBW #consistency #hybrid #modelling #reasoning #testing

Conformance Testing of Hybrid Systems with Qualitative Reasoning Models (BKA, HB, FW), pp. 53–69.

TestCom-FATES-2009-EscobedoGGC #composition #consistency #testing #web #web service

Observability and Controllability Issues in Conformance Testing of Web Service Compositions (JPE, CG, PLG, ARC), pp. 217–222.

TestCom-FATES-2009-WangYXZGWLGZL #consistency #mobile #network #testing

TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks (ZW, XY, YX, RZ, SG, XW, SL, SG, LZ, PL), pp. 163–178.

CBSE-2008-BothZ #automation #component #consistency #parallel #protocol #recursion

Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems (AB, WZ), pp. 163–179.

ICGT-2008-Aalst #consistency #verification #workflow

Discovery, Verification and Conformance of Workflows with Cancellation (WMPvdA), pp. 18–37.

ICPR-2008-Falcon-MoralesB #algebra #geometry

Radon transform and Conformal Geometric Algebra with lines (LFM, EBC), pp. 1–4.

MoDELS-2008-LuongLC #behaviour #consistency #development #implementation #incremental #modelling

Implementation of the Conformance Relation for Incremental Development of Behavioural Models (HVL, TL, ALC), pp. 356–370.

MoDELS-2008-LuongLC #behaviour #consistency #development #implementation #incremental #modelling

Implementation of the Conformance Relation for Incremental Development of Behavioural Models (HVL, TL, ALC), pp. 356–370.

PADL-2008-Marpons-UceroMCHMF #automation #consistency #logic programming #using

Automatic Coding Rule Conformance Checking Using Logic Programming (GMU, JMC, MC, ÁHN, JJMN, LÅF), pp. 18–34.

SAC-2008-Deba #approach #model transformation #modelling #on the #transducer

On the conformity of models: a transducer-based approach for model transformation (EAD), pp. 791–796.

SAC-2008-RamosSM #composition #consistency #framework #refinement

Framework composition conformance via refinement checking (RR, AS, AM), pp. 119–125.

ICSE-2008-HuynhCSS #automation #composition #consistency

Automatic modularity conformance checking (SH, YC, YS, KJS), pp. 411–420.

SPLC-2008-Lutz #consistency #product line

Enabling Verifiable Conformance for Product Lines (RRL), pp. 35–44.

ICST-2008-KaplanKPSWY #approach #consistency #generative #less is more #modelling #testing #uml

Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation (MK, TK, AMP, AS, CW, CY), pp. 82–91.

MBT-2008-AichernigWW #consistency #testing

Improving Fault-based Conformance Testing (BKA, MW, FW), pp. 63–77.

TestCom-FATES-2008-BruckerBW #consistency #modelling #testing

Model-Based Firewall Conformance Testing (ADB, LB, BW), pp. 103–118.

ASE-2007-Abi-AntounWT #consistency #data flow #diagrams #implementation #modelling #security

Checking threat modeling data flow diagrams for implementation conformance and security (MAA, DW, PT), pp. 393–396.

DAC-2007-ZhouLS #bound #embedded #hybrid #multi #performance #using

Fast Capacitance Extraction in Multilayer, Conformal and Embedded Dielectric using Hybrid Boundary Element Method (NYZ, ZL, WS), pp. 835–840.

SEFM-2007-AichernigPWW #consistency #formal method #industrial #protocol #testing

Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods (BKA, BP, MW, FW), pp. 215–226.

SEFM-2007-MerayoN #consistency #probability #testing

Testing conformance on Stochastic Stream X-Machines (MGM, MN), pp. 227–236.

EDOC-2007-QuartelS #assessment #composition #consistency #on the

On Interoperability and Conformance Assessment in Service Composition (DACQ, MvS), pp. 229–240.

SAC-2007-KimS #approach #consistency #modelling #uml

An approach to evaluating structural pattern conformance of UML models (DKK, WS), pp. 1404–1408.

EDOC-2006-AlmeidaEI #consistency #development #modelling #requirements #traceability

Requirements Traceability and Transformation Conformance in Model-Driven Development (JPAA, PvE, MEI), pp. 355–366.

ICPR-v1-2006-Lopez-FrancoB #algebra #geometry #invariant #navigation #using

Omnidirectional Vision and Invariant Theory for Robot Navigation Using Conformal Geometric Algebra (CLF, EBC), pp. 570–573.

ICPR-v3-2006-GutmanWLCT #analysis #using

Hippocampal Surface Analysis Using Spherical Harmonic Function Applied to Surface Conformal Mapping (BG, YW, LML, TFC, PMT), pp. 964–967.

SAC-2006-Bellur #consistency #object-oriented #on the #using #workflow

On using OO techniques to establish workflow conformance (UB), pp. 1447–1448.

SAC-2006-ChongL #using

An extension of dead end elimination for protein side-chain conformation using merge-decoupling (KFC, HWL), pp. 195–199.

FATES-RV-2006-Osch #consistency #generative #hybrid #testing

Hybrid Input-Output Conformance and Test Generation (MvO), pp. 70–84.

MBT-2006-BourdonovKK #consistency #testing

Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions (IBB, AK, VVK), pp. 83–96.

FASE-2005-BergGJLRS #consistency #on the #testing

On the Correspondence Between Conformance Testing and Regular Inference (TB, OG, BJ, ML, HR, BS), pp. 175–189.

FASE-2005-HeckelM #automation #consistency #testing #web #web service

Automatic Conformance Testing of Web Services (RH, LM), pp. 34–48.

FM-2005-RusuMJ #automation #consistency #safety #testing #validation #verification

Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems (VR, HM, TJ), pp. 189–204.

CAV-2005-ChakiCST #automation #consistency #reasoning #simulation

Automated Assume-Guarantee Reasoning for Simulation Conformance (SC, EMC, NS, PT), pp. 534–547.

FATES-2005-NunezR #consistency #testing

Conformance Testing Relations for Timed Systems (MN, IR), pp. 103–117.

FATES-2005-PetrenkoY #automaton #consistency #nondeterminism #testing

Conformance Tests as Checking Experiments for Partial Nondeterministic FSM (AP, NY), pp. 118–133.

TestCom-2005-BijlRT #consistency #refinement #testing

Action Refinement in Conformance Testing (MvdB, AR, JT), pp. 81–96.

TestCom-2005-KulvatunyouIJ #case study #consistency #testing

Content-Level Conformance Testing: An Information Mapping Case Study (BK, NI, ATJ), pp. 349–364.

TestCom-2005-SennBC #consistency #testing

Firewall Conformance Testing (DS, DAB, GC), pp. 226–241.

SEFM-2004-NguyenM #analysis #consistency

A Formalism for Conformance Analysis and Its Applications (TNN, EVM), pp. 330–339.

ICPR-v1-2004-TsuiTC #image #metric #using

Metric Measurement on Arbitrary Planes in 2 Images Using the Conformal Point (PTT, HTT, WkC), pp. 108–111.

ICPR-v2-2004-Tweed #formal method

Estimating Rigid Motions via the Conformal Model of Euclidean Space (DT), pp. 171–174.

ICPR-v4-2004-KamberovK #evaluation #formal method #performance

Conformal Method for Quantitative Shape Extraction: Performance Evaluation (GK, GK), pp. 31–35.

ICPR-v4-2004-Lopez-FrancoB #algebra #framework #geometry #using

Unified Model for Omnidirectional Vision Using the Conformal Geometric Algebra Framework (CLF, EBC), pp. 48–51.

TOOLS-USA-2003-RibetAZC04 #consistency #eiffel

Conformance of agents in the Eiffel language (PR, CA, OZ, DC), pp. 125–143.

SAC-J-2003-Paradkar04 #consistency #generative #interactive #modelling #self #testing #towards

Towards model-based generation of self-priming and self-checking conformance tests for interactive system (AMP), pp. 315–322.

CAV-2004-FournetHRR #consistency

Stuck-Free Conformance (CF, CARH, SKR, JR), pp. 242–254.

FATES-2004-Frutos-EscrigG #consistency

Preserving Contexts for Soft Conformance Relation (DdFE, CGR), pp. 33–48.

TestCom-2004-Schulz #consistency #protocol #testing

Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols (SS), pp. 177–192.

ASE-2003-TurnerGWBHSR #consistency #constraints #diagrams #implementation #modelling #runtime #uml #visual notation

Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations (CJT, TCNG, CW, JB, DH, HDS, AGR), pp. 271–276.

SIGMOD-2003-ZhouWGGZWXYF #named #xml

TREX: DTD-Conforming XML to XML Transformations (AZ, QW, ZG, XG, SZ, HW, JX, KY, WF), p. 670.

ICEIS-v1-2003-AbelloRSODGS #object-oriented #on the

On Operations to Conform Object-Oriented Schemas (AA, ER, FS, MO, CD, EG, JS), pp. 39–46.

ICML-2003-WuC #adaptation #learning

Adaptive Feature-Space Conformal Transformation for Imbalanced-Data Learning (GW, EYC), pp. 816–823.

SAC-2003-Paradkar #consistency #generative #interactive #modelling #self #testing #towards

Towards Model-Based Generation of Self-Priming and Self-Checking Conformance Tests for Interactive Systems (AMP), pp. 1110–1117.

SAC-2003-Viroli #consistency #coordination #framework #semantics

Comparing Semantic Frameworks for Coordination: On the Conformance Issue for Coordination Media (MV), pp. 394–401.

CAV-2003-GlusmanK #consistency #model checking #specification

Model Checking Conformance with Scenario-Based Specifications (MG, SK), pp. 328–340.

FATES-2003-BeekM #automation #consistency #internet #testing

Automatic Conformance Testing of Internet Applications (HMAvB, SM), pp. 205–222.

TestCom-2003-Cousin #consistency #process #testing

Interoperabolity Events Complementing Conformance Testing Activities (PC), p. 128.

TestCom-2003-FreyS #consistency #distributed

Conformance of Distributed Systems (MF, BHS), pp. 163–179.

PLDI-2002-RamalingamWFGS #analysis #component #consistency

Deriving Specialized Program Analyses for Certifying Component-Client Conformance (GR, AV, JF, DG, SS), pp. 83–94.

Ada-2002-Thom #ada #exclamation #integration #modelling #programming language #standard #uml #using

Conformity! A Practical Integration of Standards — A Case for using the Unified Modelling Language (UML) with the Ada Programming Language (FT), pp. 29–36.

CAV-2002-RajamaniR #consistency #message passing #modelling

Conformance Checking for Models of Asynchronous Message Passing Software (SKR, JR), pp. 166–179.

ISSTA-2002-Cardell-Oliver #consistency #distributed #realtime

Conformance test experiments for distributed real-time systems (RCO), pp. 159–163.

ISSTA-2002-LatellaM #behaviour #consistency #diagrams #on the #statechart #testing #uml

On testing and conformance relations for UML statechart diagrams behaviours (DL, MM), pp. 144–153.

FASE-2001-PaigeO #consistency #metamodelling

Metamodelling and Conformance Checking with PVS (RFP, JSO), pp. 2–16.

FME-2001-HelkeS #analysis #behaviour #consistency #eiffel #library

Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries (SH, TS), pp. 20–42.

IFM-2000-MeyerS #approach #behaviour #consistency #uml #using #verification

Behavioral Conformance Verification in an Integrated Approach Using UML and B (EM, TS), pp. 358–379.

CAV-2000-RusinowitchSK #consistency #incremental #verification

Mechanical Verification of an Ideal Incremental ABR Conformance (MR, SS, FK), pp. 344–357.

TestCom-2000-MednonogovKMM #consistency #corba #testing #using

Conformance Testing of CORBA Services Using TTCN (AM, HK, OM, JM), p. 193–?.

DAC-1999-ChenW #approximate #bound #fault

Error Bounded Padé Approximation via Bilinear Conformal Transformation (CPC, DFW), pp. 7–12.

TACAS-1999-KahloucheVZ #communication #consistency #hardware #protocol #testing #using

Hardware Testing Using a Communication Protocol Conformance Testing Tool (HK, CV, MZ), pp. 315–329.

DLT-1999-Yokomori #paradigm #self #towards

Computation = self-assembly + conformational change: toward new computing paradigms (TY), pp. 32–43.

FM-v1-1999-MoninK #algorithm #consistency #correctness #proving #standard

Correctness Proof of the Standardized Algorithm for ABR Conformance (JFM, FK), pp. 662–681.

SIGAda-1999-Tonndorf #ada #programming language #question

Ada conformity assessments: a model for other programming languages? (MT), pp. 89–99.

ICEIS-1999-Jamoo #consistency #enterprise

Importance of Conformance of Data Collection to the ERP Model (GJ), p. 787.

CAV-1999-BerardF #automation #consistency #parametricity #protocol #realtime #verification

Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol (BB, LF), pp. 96–107.

CAV-1999-Brinksma #consistency #formal method #testing

Formal Methods for Conformance Testing: Theory Can Be Practical (EB), pp. 44–45.

IWTCS-1999-ArtychB #concept #consistency #requirements #tool support

External Conformance Requirements: Concepts, Methods and Tools (RA, KMB), pp. 363–378.

IWTCS-1999-Frey-PuckoKN #automation #consistency #generative #industrial #testing

Automatic Test Case Generation from the Industrial Point of View: Conformance Testing in IskraTEL (MFP, MKK, RN), pp. 347–362.

IWTCS-1999-KangSKHYKSYK #consistency #development #protocol

Development and Application of ATM Protocol Conformance Test System (SK, YS, DK, MH, JY, IK, JS, SY, MK), pp. 331–346.

IWTCS-1999-ParkKK #consistency #multi #testing

Conformance Testing of Multiprotocol IUTs (YP, MK, SK), pp. 267–286.

IWTCS-1998-BourhfirDAR #consistency #generative #incremental #protocol #testing

A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols (CB, RD, EMA, NR), pp. 275–290.

IWTCS-1998-FeijsMMW #consistency #multi #testing #using

Conformance Testing of a Multimedia System Using PHACT (LMGF, FACM, JRM, JvW), pp. 193–210.

IWTCS-1998-Gecse #consistency #hypermedia #internet #protocol #testing

Conformance Testing Methodology of Internet Protocols Internet Application-Layer Protocol Testing — the Hypertext Transfer Protocol (RG), pp. 35–48.

AdaEurope-1996-Madhav #ada #architecture #consistency #source code #testing

Testing Ada 95 Programs for Conformance to Rapide Architectures (NM), pp. 123–134.

SAC-1996-Duben #statistics #using

Conformational statistics of the nitrogen linkage in glycopeptides using umbrella sampling (AJD), pp. 38–43.

SAC-1995-Duben #modelling #statistics #using

Conformational statistics of models for serine- and threonine-linked glycopeptides using umbrella sampling (AJD), pp. 108–112.

SAC-1994-Duben #simulation

The effect of the choice of motional model in the determination of molecular conformation in solution from NMR-NOESY spectra: a simulation study (AJD), pp. 561–565.

FME-1993-ParkinW

Conformity Clause for VDM-SL (GIP, BAW), pp. 501–520.

IWPTS-1993-CavalliFP #consistency #formal method #testing

Formal Methods for Conformance Testing: Results and Perspectives (ARC, JPF, MP), pp. 3–17.

IWPTS-1993-PetrenkoBD #consistency

Conformance Relations and Test Derivation (AP, GvB, RD), pp. 157–178.

IWPTS-1993-PetrenkoYLD #consistency #nondeterminism #protocol #state machine #testing

Nondeterministic State Machines in Protocol Conformance Testing (AP, NY, AL, AD), pp. 363–378.

IWPTS-1993-Tretmans #approach #consistency #formal method #testing

A Formal Approach to Conformance Testing (JT), pp. 257–276.

DAC-1992-NaborsW #3d #algorithm #multi

Multipole-Accelerated 3-D Capacitance Extraction Algorithms for Structures with Conformal Dielectrics (KN, JW), pp. 710–715.

IWPTS-1992-CavalliMK #automation #consistency #formal method #generative #protocol #specification #testing

Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications (ARC, PM, SUK), pp. 237–248.

IWPTS-1992-ChansonL #consistency #on the #testing

On Inconclusive Verdict in Conformance Testing (STC, QL), pp. 81–92.

IWPTS-1992-DriraASC #consistency #detection #fault #testing

Characterizing and Ordering Errors Detected by Conformance Testing (KD, PA, BS, AMC), pp. 67–78.

IWPTS-1992-Koster #consistency #problem #protocol #testing

Problems and Difficulties with GSM Protocol Conformance Testing (RK), p. 291.

IWPTS-1992-KosterD #consistency #mobile #network #testing

ISO Conformance Testing of the GSM Mobile Network System (RK, MD), pp. 263–273.

IWPTS-1992-LidongJL #consistency #multi #optimisation #sequence #testing

A Further Optimization Technique for Conformance Testing Based on Multiple UIO Sequences (ZL, LJ, HL), pp. 229–235.

IWPTS-1992-RoblesMH #consistency #specification #testing

Specification and Derivation of OSI Conformance Test Suites (TR, JAM, GH), pp. 177–188.

IWPTS-1992-TangLF #consistency #multi

The IS-IS Multi-Party Conformance Test System (DT, JL, JPF), pp. 251–262.

IWPTS-1992-Witteman #consistency #experience #protocol

Promoting the Local Test Method, GSM Protocol Conformance Test Experience (MFW), pp. 292–294.

IWPTS-1991-Berghe #bibliography #consistency #specification #standard #tool support

Overview of the Standardisation of Conformance Test Specifications and Tools: European Work, Contribution to ISO/CCITT and Worldwide Harmonisation (FvdB), pp. 297–310.

IWPTS-1991-CavalliK #consistency #generative #graph grammar #protocol #term rewriting #testing #using

Protocol Conformance Test Generation Using a Graph Rewriting System (ARC, SUK), pp. 285–288.

IWPTS-1991-Hogrefe #consistency #development #on the #standard #testing

On the Development of a Standard for Conformance Testing Based on Formal Specifictations (DH), pp. 59–66.

IWPTS-1991-Hogrefe91a #consistency #formal method #requirements

Session on Conformance Requirements and Test Purposes in the Context of Formal Methods (DH), pp. 289–290.

IWPTS-1991-TretmansKB #consistency #formal method #protocol #testing

Protocol Conformance Testing: A Formal Perspective on ISO IS-9646 (JT, PK, EB), pp. 131–142.

IWPTS-1991-VelthuysZ #approach #consistency #testing

Relating Events for Conformance Testing — a Pragmatic Approach (RJV, GZ), pp. 231–253.

ECOOP-1987-Horn #consistency #inheritance

Conformance, Genericity, Inheritance and Enhancement (CH), pp. 223–233.