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)
framework (7)
model (6)
use (6)
theorem (4)

Stem instanti$ (all stems)

57 papers:

ICPCICPC-2015-LafetaMR #dynamic analysis #framework #using
Framework instantiation using cookbooks constructed with static and dynamic analysis (RFL, MdAM, DR), pp. 125–128.
ECMFAECMFA-2015-BhalotiaK #interface #reuse
Reusable Model Interfaces with Instantiation Cardinalities (SB, JK), pp. 108–124.
GPCEGPCE-2015-AlsharaSTBDS #component #inheritance #migration #object-oriented #scalability
Migrating large object-oriented Applications into component-based ones: instantiation and inheritance transformation (ZA, ADS, CT, HLB, CD, AS), pp. 55–64.
SACSAC-2015-WeberFMS #mining #multi #process
Mining processes with multi-instantiation (IW, MF, JM, JGS), pp. 1231–1237.
CAVCAV-2015-ReynoldsDKTB #quantifier #smt #synthesis
Counterexample-Guided Quantifier Instantiation for Synthesis in SMT (AR, MD, VK, CT, CWB), pp. 198–216.
ICSTICST-2015-XuLCK #approach #bound #detection #lightweight #thread
A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops (JX, YL, RHC, DCK), pp. 1–10.
CAiSECAiSE-2014-NeumayrJSS #concept #implementation
Dual Deep Instantiation and Its ConceptBase Implementation (BN, MAJ, MS, CGS), pp. 503–517.
ICEISICEIS-v2-2014-SilvaMTW #modelling #process
Business Process Modeling and Instantiation in Home Care Environments (JKKdS, GMM, LHT, LKW), pp. 513–525.
DACDAC-2013-AgrawalRHSPC #architecture #clustering #framework #multi
Early exploration for platform architecture instantiation with multi-mode application partitioning (PA, PR, MH, NS, LVdP, FC), p. 8.
GCMGCM-J-2012-SmolenovaKC #graph grammar #parallel #performance
Parallel Graph Grammars with Instantiation Rules Allow Efficient Structural Factorization of Virtual Vegetation (KS, WK, PHC).
SEKESEKE-2013-CorralSS #mobile #quality #using
Using a Partially Instantiated GQM to Measure the Quality of Mobile Applications (S) (LC, AS, GS), pp. 520–524.
POPLPOPL-2013-TotlaW
Complete instantiation-based interpolation (NT, TW), pp. 537–548.
CADECADE-2013-ReynoldsTGKDB #finite #quantifier #smt
Quantifier Instantiation Techniques for Finite Model Finding in SMT (AR, CT, AG, SK, MD, CB), pp. 377–391.
GRAPHITEGRAPHITE-2012-KantP #equation #game studies #performance
Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games (GK, JvdP), pp. 50–65.
KEODKEOD-2011-HotzR
Thoughts about Structuralization, Specialization, Instantiation, and Metaization (LH, SvR), pp. 457–460.
MODELSMoDELS-2011-KainzBK #automation #concept #metamodelling #model transformation
Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation (GK, CB, AK), pp. 17–31.
MODELSMoDELS-2011-KainzBK #automation #concept #metamodelling #model transformation
Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation (GK, CB, AK), pp. 17–31.
SCAMSCAM-2010-WheelerB #subclass
Subclass Instantiation Distribution (AW, DB), pp. 23–32.
CAiSECAiSE-2010-LyRD #design #graph #information management #verification
Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware Information Systems (LTL, SRM, PD), pp. 9–23.
ICEISICEIS-ISAS-2010-BoubakerBB #specification #uml
Specification and Instantiation of Domain Specific Patterns based on UML (SRB, NB, RB), pp. 230–235.
IJCARIJCAR-2010-KorovinS #named #proving #similarity #theorem proving
iProver-Eq: An Instantiation-Based Theorem Prover with Equality (KK, CS), pp. 196–202.
ICSMEICSM-2009-SuttonHM #c++
Abstracting the template instantiation relation in C++ (AS, RH, JIM), pp. 559–562.
SLESLE-2009-LaarmanK #metamodelling #ontology
Ontological Metamodeling with Explicit Instantiation (AL, IK), pp. 174–183.
CADECADE-2009-Korovin #automation #reasoning #theory and practice
Instantiation-Based Automated Reasoning: From Theory to Practice (KK), pp. 163–166.
CAVCAV-2009-GeM #modulo theories #quantifier #satisfiability
Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories (YG, LMdM), pp. 306–320.
GT-VMTGT-VMT-2008-AzabP #c++ #graph #source code #type checking
Type Checking C++ Template Instantiation by Graph Programs (KA, KHP).
ICSEICSE-2008-SchaferJM #framework #mining
Mining framework usage changes from instantiation code (TS, JJ, MM), pp. 471–480.
IJCARIJCAR-2008-Korovin #first-order #logic #named #proving #theorem proving
iProver — An Instantiation-Based Theorem Prover for First-Order Logic (System Description) (KK), pp. 292–298.
SMTSMT-J-2006-KimJS07 #difference #finite #integer #logic
Disequality Management in Integer Difference Logic via Finite Instantiations (HK, HJ, FS), pp. 47–66.
SACSAC-2006-Sridhar #component
Dynamic instantiation-checking components (NS), pp. 1442–1446.
DocEngDocEng-2005-ManakaS #lazy evaluation #optimisation #parsing #xml
Static optimization of XSLT stylesheets: template instantiation optimization and lazy XML parsing (KM, HS), pp. 55–57.
DATEDATE-v2-2004-JalabertMBM #network
×pipesCompiler: A Tool for Instantiating Application Specific Networks on Chip (AJ, SM, LB, GDM), pp. 884–889.
CAiSECAiSE-2004-GuabtniC #multi #workflow
Multiple Instantiation in a Dynamic Workflow Environment (AG, FC), pp. 175–188.
CSLCSL-2004-GanzingerK #equation #proving #reasoning #theorem proving
Integrating Equational Reasoning into Instantiation-Based Theorem Proving (HG, KK), pp. 71–84.
TACASTACAS-2003-EsparzaM #multi #protocol
Simple Representative Instantiations for Multicast Protocols (JE, MM), pp. 128–143.
SEKESEKE-2003-Fernandez-CondeG #framework
Case-based Framework Instantiation (CFC, PAGC), pp. 281–288.
GPCEGPCE-2003-CechtickyCPS #approach #framework
A Genertative Approach to Framework Instantiation (VC, PC, AP, WS), pp. 267–286.
LICSLICS-2003-GanzingerK #proving #theorem proving
New Directions in Instantiation-Based Theorem Proving (HG, KK), pp. 55–64.
ICEISICEIS-2002-OliveiraFL #approach #framework #named
Frameworks — A High Level Instantiation Approach (TCdO, IMF, CJPdL), pp. 650–657.
SEKESEKE-2002-ReisRSN #process
A policy-based resource instantiation mechanism to automate software process management (CALR, RQR, HS, DJN), pp. 795–802.
SPLCSPLC-2002-DeursenJK #product line #using
Feature-Based Product Line Instantiation Using Source-Level Packages (AvD, MdJ, TK), pp. 217–234.
ASEASE-2001-Albin-AmiotCGJ #design pattern #detection
Instantiating and Detecting Design Patterns: Putting Bits and Pieces Together (HAA, PC, YGG, NJ), pp. 166–173.
ICMLICML-2001-Wiering #learning #using
Reinforcement Learning in Dynamic Environments using Instantiated Information (MW), pp. 585–592.
CAVCAV-2001-RodehS #equivalence #finite #logic
Finite Instantiations in Equivalence Logic with Uninterpreted Functions (YR, OS), pp. 144–154.
PLDIPLDI-2000-FahndrichRD #analysis #constraints #scalability #using
Scalable context-sensitive flow analysis using instantiation constraints (MF, JR, MD), pp. 253–263.
OOPSLAOOPSLA-2000-OrtigosaCM #framework #towards
Towards agent-oriented assistance for framework instantiation (AO, MC, RM), pp. 253–263.
GPCEGCSE-2000-BoschH #case study #product line
Product Instantiation in Software Product Lines: A Case Study (JB, MH), pp. 147–162.
TOOLSTOOLS-EUROPE-1999-OrtigosaC #framework #named
SmartBooks: A Step Beyond Active-Cookbooks to Aid in Framework Instantiation (AO, MC), pp. 131–140.
CAVCAV-1999-PnueliRSS #similarity
Deciding Equality Formulas by Small Domains Instantiations (AP, YR, OS, MS), pp. 455–469.
LOPSTRLOPSTR-1998-SmausHK #fault #logic programming #multi #source code #using
Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations (JGS, PMH, AK), pp. 289–307.
CADECADE-1998-BishopA
Selectively Instantiating Definitions (MB, PBA), pp. 365–380.
HCIHCI-CC-1997-SavidisSE #design #incremental #interface #physics #polymorphism
Abstract Task Definition and Incremental Polymorphic Physical Instantiation: The Unified Interface Design Method (AS, CS, PLE), pp. 465–468.
CAiSECAiSE-1996-LahlouM #information retrieval #towards
Relaxing the Instantiation Link: Towards a Content-Based Data Model for Information Retrieval (YL, NM), pp. 540–561.
PPDPALP-1996-PierroD #on the
On Negation As Instantiation (ADP, WD), pp. 32–46.
CADECADE-1996-Felty #calculus #proving #set
Proof Search with Set Variable Instantiation in the Calculus of Constructions (APF), pp. 658–672.
CADECADE-1984-Simon #algorithm #higher-order #linear
A Linear Time Algorithm for a Subcase of Second Order Instantiation (DS), pp. 209–223.
ICSEICSE-1981-Dershowitz #abstraction #evolution #source code
The Evolution of Programs: Program Abstraction and Instantiation (ND), pp. 79–89.

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.