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:
product (20)
model (19)
base (17)
softwar (16)
system (13)

Stem variant$ (all stems)

142 papers:

ICSMEICSME-2015-StanciulescuSW #open source
Forked and integrated variants in an open-source firmware project (SS, SS, AW), pp. 151–160.
ICALPICALP-v1-2015-ImM #order
Weighted Reordering Buffer Improved via Variants of Knapsack Covering Inequalities (SI, BM), pp. 737–748.
ICMLICML-2015-KordaA #approximate #bound #convergence #exponential #on the
On TD(0) with function approximation: Concentration bounds and a centered variant with exponential convergence (NK, PLA), pp. 626–634.
GPCEGPCE-2015-SelgradLKSL #generative #lightweight
Lightweight, generative variant exploration for high-performance graphics Applications (KS, AL, FK, MS, DL), pp. 141–150.
SACSAC-2015-FahnrichSP #database #identification #in memory #search-based
Facing the genome data deluge: efficiently identifying genetic variants with in-memory database technology (CF, MPS, HP), pp. 18–25.
ICSEICSE-v2-2015-Assuncao #architecture #migration #product line #search-based
Search-Based Migration of Model Variants to Software Product Line Architectures (WKGA), pp. 895–898.
SPLCSPLC-2015-BeucheH #lifecycle #product line #using
Using pure: : variants across the product line lifecycle (DB, RH), pp. 352–354.
DATEDATE-2014-GrafGTL #design #embedded #multi
Multi-variant-based design space exploration for automotive embedded systems (SG, MG, JT, CL), pp. 1–6.
DATEDATE-2014-YamashitaMOT #performance
A smaller and faster variant of RSM (NY, KM, TO, YT), pp. 1–6.
FASEFASE-2014-KowalST #analysis #performance
Family-Based Performance Analysis of Variant-Rich Software Systems (MK, IS, MT), pp. 94–108.
SANERCSMR-WCRE-2014-Bos #lightweight #reverse engineering #runtime
Lightweight runtime reverse engineering of binary file format variants (JvdB), pp. 367–370.
ICSMEICSME-2014-FischerLLE #reuse
Enhancing Clone-and-Own with Systematic Reuse for Developing Software Variants (SF, LL, RELH, AE), pp. 391–400.
CAiSECAiSE-2014-ChanYGM #development #execution #mining #process
Mining Event Logs to Assist the Development of Executable Process Variants (NNC, KY, WG, JM), pp. 548–563.
CAiSECAiSE-2014-MurguzurCTS #process #runtime #staged
Context-Aware Staged Configuration of Process Variants@Runtime (AM, XDC, ST, GS), pp. 241–255.
ICMLICML-c2-2014-SunZZ #analysis #convergence
A Convergence Rate Analysis for LogitBoost, MART and Their Variant (PS, TZ, JZ), pp. 1251–1259.
ICPRICPR-2014-FranchiA #adaptation
Spatially-Variant Area Openings for Reference-Driven Adaptive Contour Preserving Filtering (GF, JA), pp. 1043–1048.
ICPRICPR-2014-OtteSZ #algorithm #named #using
ANTSAC: A Generic RANSAC Variant Using Principles of Ant Colony Algorithms (SO, US, AZ), pp. 3558–3563.
SEKESEKE-2014-Al-MsiedeenSHUV #implementation #object-oriented #source code
Documenting the Mined Feature Implementations from the Object-oriented Source Code of a Collection of Software Product Variants (RAM, AS, MH, CU, SV), pp. 138–143.
SEKESEKE-2014-MaazounBB #feature model
Feature model recovery from product variants based on a cloning technique (JM, NB, HBA), pp. 431–436.
SEKESEKE-2014-SalmanSD #clustering #feature model #information retrieval
Feature Location in a Collection of Product Variants: Combining Information Retrieval and Hierarchical Clustering (HES, AS, CD), pp. 426–430.
ECMFAECMFA-2014-MartinezZKT #identification #variability #visualisation
Identifying and Visualising Commonality and Variability in Model Variants (JM, TZ, JK, YLT), pp. 117–131.
MODELSMoDELS-2014-VaupelTHSGG #development #mobile #modelling
Model-Driven Development of Mobile Applications Allowing Role-Driven Variants (SV, GT, JPH, RS, RG, MG), pp. 1–17.
MODELSMoDELS-2014-VaupelTHSGG #development #mobile #modelling
Model-Driven Development of Mobile Applications Allowing Role-Driven Variants (SV, GT, JPH, RS, RG, MG), pp. 1–17.
PPDPPPDP-2014-YangEMMN #encryption #finite #unification
Theories of Homomorphic Encryption, Unification, and the Finite Variant Property (FY, SE, CM, JM, PN), pp. 123–133.
SACSAC-2014-BassoOF #java #model transformation
Extending JUnit 4 with Java annotations and reflection to test variant model transformation assets (FPB, TCdO, KF), pp. 1601–1608.
SPLCSPLC-2014-Tribastone #algebra #behaviour #process
Behavioral relations in a process algebra for variants (MT), pp. 82–91.
ICTSSICTSS-2014-SamihGBAB #approach #modelling #testing
An Approach to Derive Usage Models Variants for Model-Based Testing (HS, HLG, RB, MA, BB), pp. 80–96.
ISSTAISSTA-2014-BaudryAM #program transformation #source code
Tailored source code transformations to synthesize computationally diverse program variants (BB, SA, MM), pp. 149–159.
SEKESEKE-2013-Al-MsiedeenSHUVS #concept analysis #mining #object-oriented #semantics #source code #using
Mining Features from the Object-Oriented Source Code of a Collection of Software Variants Using Formal Concept Analysis and Latent Semantic Indexing (RAM, ADS, MH, CU, SV, HES), pp. 244–249.
SIGIRSIGIR-2013-Leveling #coordination #generative #query
Interpretation of coordinations, compound generation, and result fusion for query variants (JL), pp. 805–808.
SACSAC-2013-LaboreiroBSRO #microblog
Determining language variant in microblog messages (GL, MB, LS, EMR, ECO), pp. 902–907.
ICSEICSE-2013-RubinC #framework
A framework for managing cloned product variants (JR, MC), pp. 1233–1236.
SPLCSPLC-2013-KandaII #evolution #source code
Extraction of product evolution tree from source code of product variants (TK, TI, KI), pp. 141–150.
SPLCSPLC-2013-LinsbauerLE #traceability
Recovering traceability between features and code in product variants (LL, RELH, AE), pp. 131–140.
SPLCSPLC-2013-MurashkinARC #product line #visualisation
Visualization and exploration of optimal variants in product line engineering (AM, MA, DR, KC), pp. 111–115.
SPLCSPLC-2013-RubinCC #experience #framework
Managing cloned variants: a framework and experience (JR, KC, MC), pp. 101–110.
LICSLICS-2013-BalbianiHT #logic
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL (PB, AH, NT), pp. 143–152.
RTARTA-2013-BaumgartnerKLV #anti #higher-order
A Variant of Higher-Order Anti-Unification (AB, TK, JL, MV), pp. 113–127.
CASECASE-2012-LuiP #assembly #difference #evolution #flexibility #scheduling #using
Scheduling Flexible Assembly Lines using variants of Differential Evolution (WHVL, SGP), pp. 594–599.
WRLAWRLA-J-2010-EscobarSM12 #termination
Folding variant narrowing and optimal variant termination (SE, RS, JM), pp. 898–928.
CSMRCSMR-2012-ZiadiFSZ #identification #source code
Feature Identification from the Source Code of Product Variants (TZ, LF, MAAdS, MZ), pp. 417–422.
ICPCICPC-2012-TenevD #analysis
Applying bioinformatics in the analysis of software variants (VLT, SD), pp. 259–260.
WCREWCRE-2012-HemelK #case study #clone detection #detection #linux #reverse engineering #source code #using #variability
Reverse Engineering Variability in Source Code Using Clone Detection: A Case Study for Linux Variants of Consumer Electronic Devices (AH, RK), pp. 357–366.
WCREWCRE-2012-XueXJ #feature model
Feature Location in a Collection of Product Variants (YX, ZX, SJ), pp. 145–154.
DLTDLT-2012-Okhotin #theorem
Non-erasing Variants of the Chomsky-Schützenberger Theorem (AO), pp. 121–129.
CSCWCSCW-2012-CheungH #game studies #lessons learnt
Remix and play: lessons from rule variants in texas hold’em and halo 2 (GC, JH), pp. 559–568.
CAiSECAiSE-2012-SchalerLRS #database #information management #using
Building Information System Variants with Tailored Database Schemas Using Features (MS, TL, MR, GS), pp. 597–612.
ICPRICPR-2012-YlioinasHP #classification #using
Age Classification in Unconstrained Conditions Using LBP Variants (JY, AH, MP), pp. 1257–1260.
SPLCSPLC-2012-RubinKBC
Managing forked product variants (JR, AK, GB, MC), pp. 156–160.
CSLCSL-2012-Parys #automaton
Variants of Collapsible Pushdown Systems (PP), pp. 500–515.
IJCARIJCAR-2012-MarshallN #algorithm #unification
New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants (AMM, PN), pp. 408–422.
DATEDATE-2011-MontagA #precise #realtime
Precise WCET calculation in highly variant real-time systems (PM, SA), pp. 920–925.
WCREWCRE-2011-DuszynskiKB #multi #reuse #source code
Analyzing the Source Code of Multiple Software Variants for Reuse Potential (SD, JK, MB), pp. 303–307.
ICALPICALP-v1-2011-EpsteinILN #on the
On Variants of File Caching (LE, CI, AL, JNG), pp. 195–206.
ICEISICEIS-v4-2011-DavisC11a #data transformation #logic #metadata #modelling
Variant Logic Meta-data Management for Model Driven Applications — Allows Unlimited End User Configuration and Customisation of All Meta-data EIS Application Features (JD, EC), pp. 395–400.
CIKMCIKM-2011-ChengQ #algorithm #axiom #incremental
An algorithm for axiom pinpointing in EL+ and its incremental variant (XC, GQ), pp. 2433–2436.
KDIRKDIR-2011-OmerBG #algorithm #mining #motivation #using
A New Frequent Similar Tree Algorithm Motivated by Dom Mining — Using RTDM and its New Variant — SiSTeR (OB, RB, SG), pp. 238–243.
RTARTA-2011-DuranEEMT #maude #reachability #unification
Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6 (FD, SE, SE, JM, CLT), pp. 31–40.
WRLAWRLA-2010-EscobarSM #termination
Folding Variant Narrowing and Optimal Variant Termination (SE, RS, JM), pp. 52–68.
WCREWCRE-2010-XueXJ #comprehension #evolution #product line
Understanding Feature Evolution in a Family of Product Variants (YX, ZX, SJ), pp. 109–118.
DLTDLT-J-2008-Csuhaj-VarjuDV10
Variants of Competence-Based Derivations in CD Grammar Systems (ECV, JD, GV), pp. 549–569.
ICALPICALP-v1-2010-GuruswamiKOPTW
SDP Gaps for 2-to-1 and Other Label-Cover Variants (VG, SK, RO, PP, MT, YW), pp. 617–628.
ICSEICSE-2010-Pichler #framework #modelling
A framework for handling variants of software models (CP), pp. 345–346.
ICDARICDAR-2009-DreuwRGN #adaptation #recognition #refinement
Writer Adaptive Training and Writing Variant Model Refinement for Offline Arabic Handwriting Recognition (PD, DR, CG, HN), pp. 21–25.
ICDARICDAR-2009-NavonBO #approach #scalability
A Generic Form Processing Approach for Large Variant Templates (YN, EB, BO), pp. 311–315.
WRLAWRLA-2008-EscobarMS09 #equation #unification
Variant Narrowing and Equational Unification (SE, JM, RS), pp. 103–119.
ESOPESOP-2009-CameronD #quantifier
Existential Quantification for Variant Ownership (NRC, SD), pp. 128–142.
ESOPESOP-2009-CraciunCHQ #parametricity
An Interval-Based Inference of Variant Parametric Types (FC, WNC, GH, SQ), pp. 112–127.
LATALATA-2009-Masopust #context-free grammar #generative #power of
A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions (TM), pp. 554–565.
KEODKEOD-2009-AnderlMS #approach #complexity #optimisation #reduction
An Approach to Support Interdisciplinary Variant Diversity Optimization — Planning Variant Diversity — Beyond Complexity Reduction (RA, SM, DS), pp. 408–411.
MLDMMLDM-2009-Mendes-MoreiraJSS #approach #case study #learning
Ensemble Learning: A Study on Different Variants of the Dynamic Selection Approach (JMM, AMJ, CS, JFdS), pp. 191–205.
SEKESEKE-2009-UllahRG #architecture #case study #design #evaluation #open source #towards
Towards Design and Architectural Evaluation of Product Variants: A Case Study on an Open Source Software System (MIU, GR, VG), pp. 141–146.
TOOLSTOOLS-EUROPE-2009-KastnerATKB #approach #correctness #independence #product line
Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach (CK, SA, ST, MK, DSB), pp. 175–194.
SPLCSPLC-2009-DordowskyH #product line
Adopting software product line principles to manage software variants in a complex avionics system (FD, WH), pp. 265–274.
CASECASE-2008-ChenS #problem
A variant of examination timetabling problem (WC, LS), pp. 353–358.
DACDAC-2008-AlkabaniK #design
N-variant IC design: methodology and applications (YA, FK), pp. 546–551.
WCREWCRE-2008-DuszynskiKNHS #comparison #visualisation
Variant Comparison — A Technique for Visualizing Software Variants (SD, JK, MN, DH, CS), pp. 229–233.
ICEISICEIS-ISAS2-2008-BrunetSLG #modelling #using
Using Variants in KAOS Goal Modelling (JB, FS, RL, CG), pp. 339–344.
ICEISICEIS-ISAS2-2008-HallerbachBR #lifecycle #process
Managing Process Variants in the Process Life Cycle (AH, TB, MR), pp. 154–161.
ICEISICEIS-ISAS2-2008-MahmodSL #process #similarity
Similarity Matching of Business Process Variants (NMM, SWS, RL), pp. 234–239.
ICPRICPR-2008-NorellL #distance #image
Spatially-variant morphological operations on binary images based on the polar distance transform (KN, JL), pp. 1–4.
ICPRICPR-2008-TuSK #3d #approach #image
A new approach to 3D shape recovery of local planar surface patches from shift-variant blurred images (XT, MS, YsK), pp. 1–5.
SIGIRSIGIR-2008-SekiHU #generative
Generating diverse katakana variants based on phonemic mapping (KS, HH, KU), pp. 793–794.
SPLCSPLC-2008-Beuche #modelling #product line
Modeling and Building Software Product Lines with Pure: : Variants (DB), p. 358.
RTARTA-2008-EscobarMS #effectiveness #finite
Effectively Checking the Finite Variant Property (SE, JM, RS), pp. 79–93.
DocEngDocEng-2007-Sellman
VDP templates with theme-driven layer variants (RS), pp. 53–55.
PODSPODS-2007-GottlobMS #np-hard
Generalized hypertree decompositions: np-hardness and tractable variants (GG, ZM, TS), pp. 13–22.
WCREWCRE-2007-FrenzelKBA #product line
Extending the Reflexion Method for Consolidating Software Variants into Product Lines (PF, RK, APJB, KA), pp. 160–169.
ICEISICEIS-EIS-2007-LuS #architecture #process
A Reference Architecture for Managing Business Process Variants (RL, SWS), pp. 416–421.
OOPSLAOOPSLA-2007-IgarashiV #scalability
Variant path types for scalable extensibility (AI, MV), pp. 113–132.
SACSAC-2007-KoschmiderO #detection #how #process #question #semantics
How to detect semantic business process model variants? (AK, AO), pp. 1263–1264.
SPLCSPLC-2007-WhiteSWN #automation #mobile #product line
Automating Product-Line Variant Selection for Mobile Devices (JW, DCS, EW, AN), pp. 129–140.
ECIRECIR-2006-Ernst-GerlachF #generative
Generating Search Term Variants for Text Collections with Historic Spellings (AEG, NF), pp. 49–60.
ICPRICPR-v1-2006-YinWLB #3d #interactive #using
Analyzing Facial Expressions Using Intensity-Variant 3D Data For Human Computer Interaction (LY, XW, PL, AB), pp. 1248–1251.
ICPRICPR-v2-2006-ArcaCLL #recognition
A face recognition system dealing with expression variant faces (SA, PC, RL, GL), pp. 1242–1245.
ICPRICPR-v2-2006-HeW #composition #empirical #image
Spatial-variant Image Filtering Based on Bidimensional Empirical Mode Decomposition (LH, HW), pp. 1196–1199.
ICPRICPR-v3-2006-SureshR
Super-resolution in the presence of space-variant blur (KVS, ANR), pp. 770–773.
OOPSLAOOPSLA-2006-ChinCKP #approach #parametricity
A flow-based approach for variant parametric types (WNC, FC, SCK, CP), pp. 273–290.
MSRMSR-2005-AntoniolRV #linear #mining #predict #repository
Linear predictive coding and cepstrum coefficients for mining time variant information from software repositories (GA, VFR, GV), pp. 61–65.
ICALPICALP-2005-EpsteinL #online
Online Interval Coloring and Variants (LE, ML), pp. 602–613.
SIGIRSIGIR-2005-MasuyamaN
Web-based acquisition of Japanese katakana variants (TM, HN), pp. 338–344.
GPCEGPCE-2005-CzarneckiA #approach #modelling
Mapping Features to Models: A Template Approach Based on Superimposed Variants (KC, MA), pp. 422–437.
SACSAC-2005-RimassaV #comprehension #java #parametricity #strict
Understanding access restriction of variant parametric types and Java wildcards (GR, MV), pp. 1390–1397.
RTARTA-2005-Comon-LundhD #algebra #finite #how
The Finite Variant Property: How to Get Rid of Some Algebraic Properties (HCL, SD), pp. 294–307.
ICALPICALP-2004-JothiR #algorithm #approximate #design #network #problem
Approximation Algorithms for the Capacitated Minimum Spanning Tree Problem and Its Variants in Network Design (RJ, BR), pp. 805–818.
ICPRICPR-v3-2004-ZhangM #recognition #using
Recognition of Expression Variant Faces Using Weighted Subspaces (YZ, AMM), pp. 149–152.
KDDKDD-2004-KummamuruKA #difference #learning #metric
Learning spatially variant dissimilarity (SVaD) measures (KK, RK, RA), pp. 611–616.
ICDARICDAR-2003-Schambach03a #recognition #word
Determination of the Number of Writing Variants with an HMM based Cursive Word Recognition System (MPS), p. 119–?.
SEKESEKE-2003-Schobel-Theuer #on the
On Variants of Genericity (TST), pp. 359–365.
SIGIRSIGIR-2003-PirkolaTKVJ #fuzzy
Fuzzy translation of cross-lingual spelling variants (AP, JT, HK, KV, KJ), pp. 345–352.
SIGIRSIGIR-2003-TsuruokaT #generative #probability
Probabilistic term variant generator for biomedical terms (YT, JT), pp. 167–173.
ICSEICSE-2003-JarzabekBZZ #named #xml
XVCL: XML-based Variant Configuration Language (SJ, PB, HZ, WZ), pp. 810–811.
DLTDLT-2002-DassowNR #complexity #on the
On the Descriptional Complexity of Some Variants of Lindenmayer Systems (JD, TYN, BR), pp. 128–139.
ICPRICPR-v2-2002-Okombi-DibaMS #image #segmentation
Segmentation of Spatially Variant Image Textures (BROD, JM, KS), pp. 917–920.
ICPRICPR-v3-2002-MullerH #linear
Extending the Linear Interpolating Condition to Advanced Synthetic Discriminant Function Variants (NM, BMH), pp. 883–886.
POPLPOPL-2002-FournetG #stack
Stack inspection: theory and variants (CF, ADG), pp. 307–318.
CSLCSL-2002-ChernovSSV #logic
Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle (AVC, DPS, EZS, NKV), pp. 74–88.
RTARTA-2002-DoughertyW #decidability #higher-order
A Decidable Variant of Higher Order Matching (DJD, TW), pp. 340–351.
SEKESEKE-2001-JarzabekOZ #modelling #requirements
Handling Variant Requirements in 9omain Modeling (SJ, WCO, HZ), pp. 61–68.
RERE-2001-JarzabekZ #domain model #modelling #requirements #xml
XML-Based Method and Tool for Handling Variant Requirements in Domain Models (SJ, HZ), pp. 166–173.
ICPRICPR-v2-2000-LiuG #network
Outlier Rejection with MLPs and Variants of RBF Networks (JL, PDG), pp. 2680–2683.
DACDAC-1999-RichterZETT #embedded #optimisation #representation #synthesis
Representation of Function Variants for Embedded System Optimization and Synthesis (KR, DZ, RE, LT, JT), pp. 517–522.
ICALPICALP-1999-HammarN #approximate
Approximation Results for Kinetic Variants of TSP (MH, BJN), pp. 392–401.
ICALPICALP-1999-PelegR #complexity #distributed
A Variant of the Arrow Distributed Directory with Low Average Complexity (DP, ER), pp. 615–624.
CAiSECAiSE-1999-HesseN #approach #modelling #multi #process
A Multi-variant Approach to Software Process Modelling (WH, JN), pp. 210–224.
UMLUML-1999-Henderson-SellersAF #uml
A UML Variant: OML (BHS, CA, DF), pp. 49–66.
FoSSaCSFoSSaCS-1998-NiemannO #context-sensitive grammar
The Church-Rosser Languages Are the Deterministic Variants of the Growing Context-Sensitive Languages (GN, FO), pp. 243–257.
ICPRICPR-1998-ToepferWBN #detection #navigation
Robot navigation by combining central and peripheral optical flow detection on a space-variant map (CT, MW, GB, HN), pp. 1804–1807.
SIGMODSIGMOD-1997-ONeilQ #performance #query
Improved Query Performance with Variant Indexes (PEO, DQ), pp. 38–49.
PPDPALP-1997-CesarM #linear
A Left-Linear Variant of λσ (AC, HM), pp. 224–239.
AdaTRI-Ada-1996-NeedhamDGPZME #ada #design #eiffel #independence #inheritance #modelling #named #object-oriented
ADAM: A Language-Independent, Object-Oriented, Design Environment for Modeling Inheritance and Relationship Variants in Ada 95, C++, and Eiffel (DMN, SAD, KEG, TJP, PZ, MM, HJCE), pp. 99–113.
ICPRICPR-1996-LimVW
Resolution consideration in spatially variant sensors (FLL, SV, GAWW), pp. 795–799.
ICPRICPR-1996-LimWV
Tracking in a space variant active vision system (FLL, GAWW, SV), pp. 745–749.
SACSAC-1996-LeeHHC #case study #how #implementation #performance #problem #process #set
Efficient implementations of two variant subset sum problems: a case study of how to process appraisal books resulting from fire-destroyed money (PL, FYH, CYH, HTC), pp. 230–237.
VLDBVLDB-1995-KalusD #flexibility #relational
Flexible Relations — Operational Support of Variant Relational Structures (CK, PD), pp. 539–550.
ICLPICLP-1995-SadriK #calculus
Variants of the Event Calculus (FS, RAK), pp. 67–81.
SIGIRSIGIR-1994-JacqueminR #framework
Retrieving Terms and their Variants in a Lexicalised Unification-Based Framework (CJ, JR), pp. 132–141.
CSLCSL-1991-HeuschS #aspect-oriented #behaviour #probability
Some Aspects of the Probabilistic Behavior of Variants of Resolution (PH, ES), pp. 164–172.
CSLCSL-1990-Fermuller #set
A Resolution Variant Deciding some Classes of Clause Sets (CGF), pp. 128–144.
POPLPOPL-1989-Remy #ml
Typechecking Records and Variants in a Natural Extension of ML (DR), pp. 77–88.
SIGIRSIGIR-1985-ChouekaKP #performance
Efficient Variants of Huffman Codes in High Level Languages (YC, STK, YP), pp. 122–130.
AdaAda-1983-Harrison #named
Dianette — A Pragmatic Variant of Diana (MPH), pp. 48–59.

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.