BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
plugin
Google plugin

Tag #plugin

63 papers:

SANERSANER-2019-BartaMSF #challenge #maintenance
Challenges of SonarQube Plug-In Maintenance (BB, GM, IS, RF), pp. 574–578.
HaskellHaskell-2019-PickeringWN
Working with source plugins (MP, NW, BN), pp. 85–97.
CIKMCIKM-2019-RoySMSG #information retrieval #named
I-REX: A Lucene Plugin for EXplainable IR (DR, SS, MM, BS, DG), pp. 2949–2952.
SCAMSCAM-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.
HaskellHaskell-2018-OtwaniE
The Thoralf plugin: for your fancy type needs (DO, RAE), pp. 106–118.
CAVCAV-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.
ICPCICPC-2016-Hills #navigation
Navigating the WordPress plugin landscape (MH0), pp. 1–10.
SCAMSCAM-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.
ICSTICST-2016-ArcuriCF #development #generative #testing
Unit Test Generation During Software Development: EvoSuite Plugins for Maven, IntelliJ and Jenkins (AA, JC, GF), pp. 401–408.
HaskellHaskell-2015-Gundry #constraints #haskell #theorem proving
A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell (AG), pp. 11–22.
ASEASE-2015-Narasimhan #c++ #eclipse
Clone Merge — An Eclipse Plugin to Abstract Near-Clone C++ Methods (KN), pp. 819–823.
SCAMSCAM-2014-FerencLSGB
Source Meter Sonar Qube Plug-in (RF, LL, IS, TG, TB), pp. 77–82.
KDIRKDIR-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.
CSMRCSMR-2013-Businge #co-evolution #eclipse #framework
Co-evolution of the Eclipse SDK Framework and Its Third-Party Plug-Ins (JB), pp. 427–430.
ICPCICPC-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.
ICMLICML-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.
KEODKEOD-2013-CalegariCM #owl
Linguistic-variable Definition in OWL 2 — A Protégé Plugin (SC, DC, MM), pp. 269–277.
SIGIRSIGIR-2013-WangJHW #crowdsourcing #named
YaLi: a crowdsourcing plug-in for NERD (YW, LJ, JH, GW), pp. 1111–1112.
ICSMEICSM-2012-BusingeSB #eclipse
Survival of Eclipse third-party plug-ins (JB, AS, MvdB), pp. 368–377.
SCAMSCAM-2012-BusingeSB #eclipse #predict
Compatibility Prediction of Eclipse Third-Party Plug-ins in New Eclipse Releases (JB, AS, MvdB), pp. 164–173.
HaskellHaskell-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.
CSCWCSCW-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.
ICMLICML-2012-FedorovaGNV #online #testing
Plug-in martingales for testing exchangeability on-line (VF, AJG, IN, VV), p. 121.
ECMFAECMFA-2012-RadjenovicPRWK #approach #simulation #uml
A Plug-in Based Approach for UML Model Simulation (AR, RFP, LMR, JW, SK), pp. 328–339.
PEPMPEPM-2012-KarlsenHO #debugging #eclipse #java
Finding and fixing Java naming bugs with the lancelot eclipse plugin (EKK, EWH, BMØ), pp. 35–38.
ASEASE-2012-CamposRPA #debugging #eclipse #named #testing
GZoltar: an eclipse plug-in for testing and debugging (JC, AR, AP, RA), pp. 378–381.
ICSEICSE-2012-GreilerDS #case study #testing
Test confessions: A study of testing practices for plug-in systems (MG, AvD, MADS), pp. 244–254.
ICSEICSE-2012-MarianiP #composition #named
MASH: A tool for end-user plug-in composition (LM, FP), pp. 1387–1390.
WICSAWICSA-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.
ICMLICML-2011-RobbianoC #learning #ranking
Minimax Learning Rates for Bipartite Ranking and Plug-in Rules (SR, SC), pp. 441–448.
SPLCSPLC-2011-ThurimellaJ #feature model
Metadoc Feature Modeler: A Plug-in for IBM Rational DOORS (AKT, DJ), pp. 313–322.
ITiCSEITiCSE-2010-AhmadzadehS #eclipse #java #named #student
JavaMarker: an eclipse plug-in to mark students’ Java exercises (MA, MS), p. 324.
ICSMEICSM-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.
WCREWCRE-2010-GreilerGD #comprehension #perspective #testing
Understanding Plug-in Test Suites from an Extensibility Perspective (MG, HGG, AvD), pp. 67–76.
ICEISICEIS-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.
ICEISICEIS-J-2010-SantosBC10a #named #ontology
FONTE: A Protégé Plug-in for Engineering Complex Ontologies (JS, LB, AGC), pp. 222–236.
LDTALDTA-2009-KatsKV10 #composition #domain-specific language #editing
Domain-Specific Languages for Composable Editor Plugins (LCLK, KTK, EV), pp. 149–163.
GPCEGPCE-2010-WolfingerLJM #framework
Adding genericity to a plug-in framework (RW, ML, MJ, HM), pp. 93–102.
ITiCSEITiCSE-2009-Kagawa #framework #named #programming
WAPPEN: a web-based application framework for programming and its bison/flex plug-in (KK), p. 383.
ITiCSEITiCSE-2009-NorvellB #education
Rich content plug-ins for the teaching machine (TSN, MBL), p. 348.
CSMRCSMR-2009-LuciaFMST #eclipse #migration #named
DB-MELIS: An Eclipse Plug-in for Data Migration (ADL, FF, MM, GS, GT), pp. 329–330.
MSRMSR-2008-WermelingerY #eclipse #evolution
Analyzing the evolution of eclipse plugins (MW, YY), pp. 133–136.
IFLIFL-2008-JansenPK #interactive #named
iEditors: Extending iTask with Interactive Plug-ins (JMJ, RP, PWMK), pp. 192–211.
GT-VMTGT-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.
SPLCSPLC-2008-Sivonen #domain-specific language #eclipse
DSML for Developing Repository-Based Eclipse Plug-Ins (SS), p. 356.
RERE-2008-GlorioPMT #analysis #eclipse #named
DaWaRA: An Eclipse Plugin for Usingi* on Data Warehouse Requirement Analysis (OG, JP, JNM, JT), pp. 317–318.
AGTIVEAGTIVE-2007-BiermannEET #eclipse #editing #generative #using
Generating Eclipse Editor Plug-Ins Using Tiger (EB, KE, CE, GT), pp. 583–584.
FASEFASE-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.
CAVCAV-2007-CharltonH #analysis #model checking #named
Hector: Software Model Checking with Cooperating Analysis Plugins (NC, MH), pp. 168–172.
CSMRCSMR-2006-CanforaC #eclipse #impact analysis #named
Jimpa: An Eclipse Plug-in for Impact Analysis (GC, LC), pp. 341–342.
ICPCICPC-2006-ClearyE #eclipse
The Cognitive Assignment Eclipse Plug-in (BC, CE), pp. 241–244.
ICPCICPC-2006-PoshyvanykMD #eclipse #named #source code
JIRiSS — an Eclipse plug-in for Source Code Exploration (DP, AM, YD), pp. 252–255.
FMFM-2006-Stephan #formal method #lightweight #security
Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline (WS), pp. 587–591.
SACSAC-2006-BaloghVVP #compilation #model transformation
Compiling model transformations to EJB3-specific transformer plugins (AB, GV, DV, AP), pp. 1288–1295.
ICSMEICSM-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.
VISSOFTVISSOFT-2005-ClearyGEB #eclipse #static analysis #visualisation
A Combined Software Reconnaissance & Static Analysis Eclipse Visualisation Plug-in (BC, ALG, CE, JB), pp. 121–122.
SASSAS-2005-GlewPG #architecture #optimisation #type safety
Type-Safe Optimisation of Plugin Architectures (NG, JP, CG), pp. 135–154.
ASEASE-2005-EhrigEHT #eclipse #editing #generative #visual notation
Generation of visual editors as eclipse plug-ins (KE, CE, SH, GT), pp. 134–143.
IWPCIWPC-2004-BeyerHJM #eclipse #model checking
An Eclipse Plug-in for Model Checking (DB, TAH, RJ, RM), pp. 251–255.
FASEFASE-2004-ChatleyEKMU #predict
Predictable Dynamic Plugin Systems (RC, SE, JK, JM, SU), pp. 129–143.
JCDLJCDL-2002-WittenBPB #architecture
The Greenstone plugin architecture (IHW, DB, GWP, SJB), pp. 285–286.
DACDAC-2002-HortaLTP #configuration management #hardware #runtime
Dynamic hardware plugins in an FPGA with partial run-time reconfiguration (ELH, JWL, DET, DBP), pp. 343–348.
DACDAC-1986-WallaceS #modelling #verification
Plug-in timing models for an abstract timing verifier (DEW, CHS), pp. 683–689.

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.