57 papers:
ICPC-2015-LafetaMR #dynamic analysis #framework #using- Framework instantiation using cookbooks constructed with static and dynamic analysis (RFL, MdAM, DR), pp. 125–128.
ECMFA-2015-BhalotiaK #interface #reuse- Reusable Model Interfaces with Instantiation Cardinalities (SB, JK), pp. 108–124.
GPCE-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.
SAC-2015-WeberFMS #mining #multi #process- Mining processes with multi-instantiation (IW, MF, JM, JGS), pp. 1231–1237.
CAV-2015-ReynoldsDKTB #quantifier #smt #synthesis- Counterexample-Guided Quantifier Instantiation for Synthesis in SMT (AR, MD, VK, CT, CWB), pp. 198–216.
ICST-2015-XuLCK #approach #bound #detection #lightweight #thread- A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops (JX, YL, RHC, DCK), pp. 1–10.
CAiSE-2014-NeumayrJSS #concept #implementation- Dual Deep Instantiation and Its ConceptBase Implementation (BN, MAJ, MS, CGS), pp. 503–517.
ICEIS-v2-2014-SilvaMTW #modelling #process- Business Process Modeling and Instantiation in Home Care Environments (JKKdS, GMM, LHT, LKW), pp. 513–525.
DAC-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.
GCM-J-2012-SmolenovaKC #graph grammar #parallel #performance- Parallel Graph Grammars with Instantiation Rules Allow Efficient Structural Factorization of Virtual Vegetation (KS, WK, PHC).
SEKE-2013-CorralSS #mobile #quality #using- Using a Partially Instantiated GQM to Measure the Quality of Mobile Applications (S) (LC, AS, GS), pp. 520–524.
POPL-2013-TotlaW- Complete instantiation-based interpolation (NT, TW), pp. 537–548.
CADE-2013-ReynoldsTGKDB #finite #quantifier #smt- Quantifier Instantiation Techniques for Finite Model Finding in SMT (AR, CT, AG, SK, MD, CB), pp. 377–391.
GRAPHITE-2012-KantP #equation #game studies #performance- Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games (GK, JvdP), pp. 50–65.
KEOD-2011-HotzR- Thoughts about Structuralization, Specialization, Instantiation, and Metaization (LH, SvR), pp. 457–460.
MoDELS-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.
- MoDELS-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.
SCAM-2010-WheelerB #subclass- Subclass Instantiation Distribution (AW, DB), pp. 23–32.
- CAiSE-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.
- ICEIS-ISAS-2010-BoubakerBB #specification #uml
- Specification and Instantiation of Domain Specific Patterns based on UML (SRB, NB, RB), pp. 230–235.
IJCAR-2010-KorovinS #named #proving #similarity #theorem proving- iProver-Eq: An Instantiation-Based Theorem Prover with Equality (KK, CS), pp. 196–202.
ICSM-2009-SuttonHM #c++- Abstracting the template instantiation relation in C++ (AS, RH, JIM), pp. 559–562.
SLE-2009-LaarmanK #metamodelling #ontology- Ontological Metamodeling with Explicit Instantiation (AL, IK), pp. 174–183.
- CADE-2009-Korovin #automation #reasoning #theory and practice
- Instantiation-Based Automated Reasoning: From Theory to Practice (KK), pp. 163–166.
- CAV-2009-GeM #modulo theories #quantifier #satisfiability
- Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories (YG, LMdM), pp. 306–320.
GT-VMT-2008-AzabP #c++ #graph #source code #type checking- Type Checking C++ Template Instantiation by Graph Programs (KA, KHP).
ICSE-2008-SchaferJM #framework #mining- Mining framework usage changes from instantiation code (TS, JJ, MM), pp. 471–480.
- IJCAR-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.
SMT-J-2006-KimJS07 #difference #finite #integer #logic- Disequality Management in Integer Difference Logic via Finite Instantiations (HK, HJ, FS), pp. 47–66.
- SAC-2006-Sridhar #component
- Dynamic instantiation-checking components (NS), pp. 1442–1446.
DocEng-2005-ManakaS #lazy evaluation #optimisation #parsing #xml- Static optimization of XSLT stylesheets: template instantiation optimization and lazy XML parsing (KM, HS), pp. 55–57.
DATE-v2-2004-JalabertMBM #network- ×pipesCompiler: A Tool for Instantiating Application Specific Networks on Chip (AJ, SM, LB, GDM), pp. 884–889.
- CAiSE-2004-GuabtniC #multi #workflow
- Multiple Instantiation in a Dynamic Workflow Environment (AG, FC), pp. 175–188.
CSL-2004-GanzingerK #equation #proving #reasoning #theorem proving- Integrating Equational Reasoning into Instantiation-Based Theorem Proving (HG, KK), pp. 71–84.
TACAS-2003-EsparzaM #multi #protocol- Simple Representative Instantiations for Multicast Protocols (JE, MM), pp. 128–143.
- SEKE-2003-Fernandez-CondeG #framework
- Case-based Framework Instantiation (CFC, PAGC), pp. 281–288.
- GPCE-2003-CechtickyCPS #approach #framework
- A Genertative Approach to Framework Instantiation (VC, PC, AP, WS), pp. 267–286.
LICS-2003-GanzingerK #proving #theorem proving- New Directions in Instantiation-Based Theorem Proving (HG, KK), pp. 55–64.
- ICEIS-2002-OliveiraFL #approach #framework #named
- Frameworks — A High Level Instantiation Approach (TCdO, IMF, CJPdL), pp. 650–657.
- SEKE-2002-ReisRSN #process
- A policy-based resource instantiation mechanism to automate software process management (CALR, RQR, HS, DJN), pp. 795–802.
SPLC-2002-DeursenJK #product line #using- Feature-Based Product Line Instantiation Using Source-Level Packages (AvD, MdJ, TK), pp. 217–234.
ASE-2001-Albin-AmiotCGJ #design pattern #detection- Instantiating and Detecting Design Patterns: Putting Bits and Pieces Together (HAA, PC, YGG, NJ), pp. 166–173.
ICML-2001-Wiering #learning #using- Reinforcement Learning in Dynamic Environments using Instantiated Information (MW), pp. 585–592.
- CAV-2001-RodehS #equivalence #finite #logic
- Finite Instantiations in Equivalence Logic with Uninterpreted Functions (YR, OS), pp. 144–154.
PLDI-2000-FahndrichRD #analysis #constraints #scalability #using- Scalable context-sensitive flow analysis using instantiation constraints (MF, JR, MD), pp. 253–263.
OOPSLA-2000-OrtigosaCM #framework #towards- Towards agent-oriented assistance for framework instantiation (AO, MC, RM), pp. 253–263.
- GCSE-2000-BoschH #case study #product line
- Product Instantiation in Software Product Lines: A Case Study (JB, MH), pp. 147–162.
TOOLS-EUROPE-1999-OrtigosaC #framework #named- SmartBooks: A Step Beyond Active-Cookbooks to Aid in Framework Instantiation (AO, MC), pp. 131–140.
- CAV-1999-PnueliRSS #similarity
- Deciding Equality Formulas by Small Domains Instantiations (AP, YR, OS, MS), pp. 455–469.
LOPSTR-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.
- CADE-1998-BishopA
- Selectively Instantiating Definitions (MB, PBA), pp. 365–380.
HCI-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.
- CAiSE-1996-LahlouM #information retrieval #towards
- Relaxing the Instantiation Link: Towards a Content-Based Data Model for Information Retrieval (YL, NM), pp. 540–561.
ALP-1996-PierroD #on the- On Negation As Instantiation (ADP, WD), pp. 32–46.
- CADE-1996-Felty #calculus #proving #set
- Proof Search with Set Variable Instantiation in the Calculus of Constructions (APF), pp. 658–672.
- CADE-1984-Simon #algorithm #higher-order #linear
- A Linear Time Algorithm for a Subcase of Second Order Instantiation (DS), pp. 209–223.
- ICSE-1981-Dershowitz #abstraction #evolution #source code
- The Evolution of Programs: Program Abstraction and Instantiation (ND), pp. 79–89.
