Tag #plugin
63 papers:
SANER-2019-BartaMSF #challenge #maintenance- Challenges of SonarQube Plug-In Maintenance (BB, GM, IS, RF), pp. 574–578.
Haskell-2019-PickeringWN - Working with source plugins (MP, NW, BN), pp. 85–97.
CIKM-2019-RoySMSG #information retrieval #named- I-REX: A Lucene Plugin for EXplainable IR (DR, SS, MM, BS, DG), pp. 2949–2952.
SCAM-2018-DiarraMV #optimisation #source code- [Engineering Paper] RECKA and RPromF: Two Frama-C Plug-ins for Optimizing Registers Usage in CUDA, OpenACC and OpenMP Programs (RD, AM, BV), pp. 187–192.
- Haskell-2018-OtwaniE
- The Thoralf plugin: for your fancy type needs (DO, RAE), pp. 106–118.
CAV-2017-EkiciMTKKRB #coq #named #smt- SMTCoq: A Plug-In for Integrating SMT Solvers into Coq (BE, AM, CT, CK, GK, AR, CWB), pp. 126–133.
ICPC-2016-Hills #navigation- Navigating the WordPress plugin landscape (MH0), pp. 1–10.
- SCAM-2016-BlanchardKLL #c #composition #named #parallel #source code #verification
- Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs (AB, NK, ML, FL), pp. 67–72.
ICST-2016-ArcuriCF #development #generative #testing- Unit Test Generation During Software Development: EvoSuite Plugins for Maven, IntelliJ and Jenkins (AA, JC, GF), pp. 401–408.
- Haskell-2015-Gundry #constraints #haskell #theorem proving
- A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell (AG), pp. 11–22.
ASE-2015-Narasimhan #c++ #eclipse- Clone Merge — An Eclipse Plugin to Abstract Near-Clone C++ Methods (KN), pp. 819–823.
- SCAM-2014-FerencLSGB
- Source Meter Sonar Qube Plug-in (RF, LL, IS, TG, TB), pp. 77–82.
KDIR-2014-DistanteCVL #learning #online #paradigm #topic- Enhancing Online Discussion Forums with a Topic-driven Navigational Paradigm — A Plugin for the Moodle Learning Management System (DD, LC, AV, ML), pp. 97–106.
CSMR-2013-Businge #co-evolution #eclipse #framework- Co-evolution of the Eclipse SDK Framework and Its Third-Party Plug-Ins (JB), pp. 427–430.
- ICPC-2013-FalconeS #diagrams #eclipse #graph #named #uml #visualisation
- OnionUML: An Eclipse plug-in for visualizing UML class diagrams in onion graph notation (MF, BS), pp. 233–235.
ICML-c3-2013-DembczynskiJKWH #approach #classification #multi #optimisation- Optimizing the F-Measure in Multi-Label Classification: Plug-in Rule Approach versus Structured Loss Minimization (KD, AJ, WK, WW, EH), pp. 1130–1138.
KEOD-2013-CalegariCM #owl- Linguistic-variable Definition in OWL 2 — A Protégé Plugin (SC, DC, MM), pp. 269–277.
SIGIR-2013-WangJHW #crowdsourcing #named- YaLi: a crowdsourcing plug-in for NERD (YW, LJ, JH, GW), pp. 1111–1112.
ICSM-2012-BusingeSB #eclipse- Survival of Eclipse third-party plug-ins (JB, AS, MvdB), pp. 368–377.
- SCAM-2012-BusingeSB #eclipse #predict
- Compatibility Prediction of Eclipse Third-Party Plug-ins in New Eclipse Releases (JB, AS, MvdB), pp. 164–173.
- Haskell-2012-FarmerGKS #haskell #interactive #source code
- The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs (AF, AG, EK, NS), pp. 1–12.
CSCW-2012-RoyGG #named #realtime #tool support- DiscoTech: a plug-in toolkit to improve handling of disconnection and reconnection in real-time groupware (BR, TCNG, CG), pp. 1287–1296.
- ICML-2012-FedorovaGNV #online #testing
- Plug-in martingales for testing exchangeability on-line (VF, AJG, IN, VV), p. 121.
ECMFA-2012-RadjenovicPRWK #approach #simulation #uml- A Plug-in Based Approach for UML Model Simulation (AR, RFP, LMR, JW, SK), pp. 328–339.
PEPM-2012-KarlsenHO #debugging #eclipse #java- Finding and fixing Java naming bugs with the lancelot eclipse plugin (EKK, EWH, BMØ), pp. 35–38.
- ASE-2012-CamposRPA #debugging #eclipse #named #testing
- GZoltar: an eclipse plug-in for testing and debugging (JC, AR, AP, RA), pp. 378–381.
ICSE-2012-GreilerDS #case study #testing- Test confessions: A study of testing practices for plug-in systems (MG, AvD, MADS), pp. 244–254.
- ICSE-2012-MarianiP #composition #named
- MASH: A tool for end-user plug-in composition (LM, FP), pp. 1387–1390.
WICSA-2011-TsakirisKM #case study #evaluation #hybrid #industrial #quality #using- Evaluation of the Use of Quality Attribute Scenarios in a Plug-In Hybrid Electric Vehicle Controls System — Industrial Case Study (AT, JK, RM), pp. 66–72.
- ICML-2011-RobbianoC #learning #ranking
- Minimax Learning Rates for Bipartite Ranking and Plug-in Rules (SR, SC), pp. 441–448.
SPLC-2011-ThurimellaJ #feature model- Metadoc Feature Modeler: A Plug-in for IBM Rational DOORS (AKT, DJ), pp. 313–322.
ITiCSE-2010-AhmadzadehS #eclipse #java #named #student- JavaMarker: an eclipse plug-in to mark students’ Java exercises (MA, MS), p. 324.
- ICSM-2010-LuciaDGR #design pattern #detection #dynamic analysis #eclipse
- An Eclipse plug-in for the detection of design pattern instances through static and dynamic analysis (ADL, VD, CG, MR), pp. 1–6.
WCRE-2010-GreilerGD #comprehension #perspective #testing- Understanding Plug-in Test Suites from an Extensibility Perspective (MG, HGG, AvD), pp. 67–76.
ICEIS-AIDSS-2010-SantosBC #composition #concept #named #ontology- FONTE — A Protégé Plugin for Engineering Complex Ontologies by Assembling Modular Ontologies of Space, Time and Domain Concepts (JS, LB, AGC), pp. 93–102.
- ICEIS-J-2010-SantosBC10a #named #ontology
- FONTE: A Protégé Plug-in for Engineering Complex Ontologies (JS, LB, AGC), pp. 222–236.
LDTA-2009-KatsKV10 #composition #domain-specific language #editing- Domain-Specific Languages for Composable Editor Plugins (LCLK, KTK, EV), pp. 149–163.
GPCE-2010-WolfingerLJM #framework- Adding genericity to a plug-in framework (RW, ML, MJ, HM), pp. 93–102.
- ITiCSE-2009-Kagawa #framework #named #programming
- WAPPEN: a web-based application framework for programming and its bison/flex plug-in (KK), p. 383.
- ITiCSE-2009-NorvellB #education
- Rich content plug-ins for the teaching machine (TSN, MBL), p. 348.
- CSMR-2009-LuciaFMST #eclipse #migration #named
- DB-MELIS: An Eclipse Plug-in for Data Migration (ADL, FF, MM, GS, GT), pp. 329–330.
MSR-2008-WermelingerY #eclipse #evolution- Analyzing the evolution of eclipse plugins (MW, YY), pp. 133–136.
IFL-2008-JansenPK #interactive #named- iEditors: Extending iTask with Interactive Plug-ins (JMJ, RP, PWMK), pp. 192–211.
GT-VMT-2006-Varro08 #database #graph transformation #implementation #independence #query #using- Implementing an EJB3-Specific Graph Transformation Plugin by Using Database Independent Queries (GV), pp. 121–132.
- SPLC-2008-Sivonen #domain-specific language #eclipse
- DSML for Developing Repository-Based Eclipse Plug-Ins (SS), p. 356.
RE-2008-GlorioPMT #analysis #eclipse #named- DaWaRA: An Eclipse Plugin for Usingi* on Data Warehouse Requirement Analysis (OG, JP, JNM, JT), pp. 317–318.
AGTIVE-2007-BiermannEET #eclipse #editing #generative #using- Generating Eclipse Editor Plug-Ins Using Tiger (EB, KE, CE, GT), pp. 583–584.
FASE-2007-BachFS #eclipse #programming- Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types (MB, FF, FS), pp. 117–120.
- CAV-2007-CharltonH #analysis #model checking #named
- Hector: Software Model Checking with Cooperating Analysis Plugins (NC, MH), pp. 168–172.
- CSMR-2006-CanforaC #eclipse #impact analysis #named
- Jimpa: An Eclipse Plug-in for Impact Analysis (GC, LC), pp. 341–342.
- ICPC-2006-ClearyE #eclipse
- The Cognitive Assignment Eclipse Plug-in (BC, CE), pp. 241–244.
- ICPC-2006-PoshyvanykMD #eclipse #named #source code
- JIRiSS — an Eclipse plug-in for Source Code Exploration (DP, AM, YD), pp. 252–255.
FM-2006-Stephan #formal method #lightweight #security- Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline (WS), pp. 587–591.
SAC-2006-BaloghVVP #compilation #model transformation- Compiling model transformations to EJB3-specific transformer plugins (AB, GV, DV, AP), pp. 1288–1295.
- ICSM-IT-2005-VittekBM #c++ #comprehension #java #refactoring
- A collection of C, C++ and Java code understanding and refactoring plugins (MV, PB, PEM), pp. 61–64.
VISSOFT-2005-ClearyGEB #eclipse #static analysis #visualisation- A Combined Software Reconnaissance & Static Analysis Eclipse Visualisation Plug-in (BC, ALG, CE, JB), pp. 121–122.
SAS-2005-GlewPG #architecture #optimisation #type safety- Type-Safe Optimisation of Plugin Architectures (NG, JP, CG), pp. 135–154.
- ASE-2005-EhrigEHT #eclipse #editing #generative #visual notation
- Generation of visual editors as eclipse plug-ins (KE, CE, SH, GT), pp. 134–143.
IWPC-2004-BeyerHJM #eclipse #model checking- An Eclipse Plug-in for Model Checking (DB, TAH, RJ, RM), pp. 251–255.
- FASE-2004-ChatleyEKMU #predict
- Predictable Dynamic Plugin Systems (RC, SE, JK, JM, SU), pp. 129–143.
JCDL-2002-WittenBPB #architecture- The Greenstone plugin architecture (IHW, DB, GWP, SJB), pp. 285–286.
DAC-2002-HortaLTP #configuration management #hardware #runtime- Dynamic hardware plugins in an FPGA with partial run-time reconfiguration (ELH, JWL, DET, DBP), pp. 343–348.
- DAC-1986-WallaceS #modelling #verification
- Plug-in timing models for an abstract timing verifier (DEW, CHS), pp. 683–689.
