MYabrv.bib

% conference
@String{AAAI = "Proc.\ Conf.\ on Artificial Intelligence (AAAI)"}
@String{AAMAS = "Proc.\ Int'l Conf.\ on Autonomous Agents and Multiagent Systems (AAMAS)"}
@String{ABZ = "Proc.\ Int'l Conf.\ on Abstract State Machines, Alloy, B and Z (ABZ)"}
@String{AOSD = "Proc.\ Int'l Conf.\ on Aspect-Oriented Software Development (AOSD)"}
@String{APS = "Proc.\ Int'l Conf.\ on Automated Planning and Scheduling"}
@String{APSEC = "Proc.\ Asia-Pacific Software Engineering Conference (APSEC)"}
@String{ASE = "Proc.\ Int'l Conf.\ on Automated Software Engineering (ASE)"}
@String{ASPDAC = "Proc.\ Asia and South Pacific Conf.\ on Design Automation (ASP-DAC)"}
@String{ASPLOS = "Proc.\ Int'l Conf.\ on Architectural Support for Programming Languages and Operating Systems (ASPLOS)"}
@String{ATC = "Proc.\ USENIX Annual Technical Conference (ATC)"}
@String{BSDCan = "Proc.\ BSD Conference (BSDCan)"}
@String{CADE = "Proc.\ Int'l Conf.\ on Automated Deduction (CADE)"}
@String{CAiSE = "Proc.\ Int'l Conf.\ on Advanced Information Systems Engineering (CAiSE)"}
@String{CASCON = "Proc.\ Conf.\ Centre for Advanced Studies on Collaborative Research (CASCON)"}
@String{CASSIS = "Proc.\ Int'l Conf.\ on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (CASSIS)"}
@String{CAV = "Proc.\ Int'l Conf.\ on Computer Aided Verification (CAV)"}
@String{CEC = "Proc.\ Congress Evolutionary Computation (CEC)"}
@String{CBSOFT = "Proc.\ Brazilian Conf.\ Software: Theory and Practice (CBSoft)"}
@String{CISTI = "Proc.\ Iberian Conf.\ on Information Systems and Technologies (CISTI)"}
@String{COMPSAC = "Proc.\ on Computer Software and Applications Conf.\ (COMPSAC)"}
@String{CONCUR = "Proc.\ Int'l Conf.\ on Concurrency Theory (CONCUR)"}
@String{COORDINATION = "Proc.\ Int'l Conf.\ on Coordination Models and Languages (COORDINATION)"}
@String{CPAIOR = "Proc.\ Int'l Conf.\ on Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR)"}
@String{CP = "Proc.\ Int'l Conf.\ on Principles and Practice of Constraint Programming (CP)"}
@String{CSEET = "Proc.\ IEEE Conf.\ on Software Engineering Education and Training (CSEE\&T)"}
@String{CSMR = "Proc.\ Europ.\ Conf.\ on Software Maintenance and Reengineering (CSMR)"}
@String{CSMR-WCRE = "Proc.\  Software Evolution Week - IEEE Conf.\ on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE)"}
@String{DAC = "Proc.\ Anual Conf.\ on Design Automation (DAC)"}
@String{EASE = "Proc.\ Int'l Conf. on Evaluation Assessment in Software Engineering (EASE)"}
@String{EAI = "Proc.\ Europ.\ Conf.\ on Artificial Intelligence"}
@String{ECBS = "Proc.\ Int'l Conf.\ on Engineering of Computer-Based Systems (ECBS)"}
@String{ECCV = "European Conference on Computer Vision (ECCV)"}
@String{ECMDA = "Proc.\ Europ.\ Conf.\ on Model Driven Architecture - Foundations and Applications (ECMDA)"}
@String{ECMFA = "Proc.\ Europ.\ Conf.\ on Modelling Foundations and Applications (ECMFA)"}
@String{ECOOP = "Proc.\ Europ.\ Conf.\ on Object-Oriented Programming (ECOOP)"}
@String{ESEC = "Proc.\ Europ.\ Software Engineering Conf.\ (ESEC)"}
@String{ESECFSE = "Proc.\ Europ.\ Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE)"}
@String{ESOP = "Proc.\ Europ.\ Conf.\ on Programming (ESOP)"}
@String{ESREL= "Proc.\ Europ.\ Conf.\ on Safety and Reliability (ESREL)"}
@String{EuroSys = "Proc.\ Europ.\ Conf.\ on Computer Systems (EuroSys)"}
@String{EURODAC = "Proc.\ Europ.\ Conf.\ on Design Automation (EURO-DAC)"}
@String{FASE = "Proc.\ Int'l Conf.\ on Fundamental Approaches to Software Engineering (FASE)"}
@String{FAST = "USENIX Conf.\ on File and Storage Technologies (FAST)"}
@String{FMCAD = "Proc.\ Int'l Conf.\ on Formal Methods in Computer-Aided Design (FMCAD)"}
@String{FMICS = "Proc.\ Int'l Conf.\ on Formal Methods for Industrial Critical Systems (FMICS)"}
@String{FMOODS = "Proc.\ IFIP Int'l Conf.\ on Formal Methods for Open Object-Based Distributed Systems (FMOODS)"}
@String{FMOODSFORTE = "Proc.\ Int'l Conf.\ on Formal Methods for Open Object-Based Distributed Systems and Int'l Conf.\ Formal Techniques for Networked and Distributed Systems (FMOODS/FORTE)"}
@String{FormaliSE = "Proc.\ Int'l Conf.\ on Formal Methods in Software Engineering (FormaliSE)"}
@String{FORTE = "Proc.\ Int'l Conf.\ on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)"}
@String{FoVeOOS = "Proc.\ Int'l Conf.\ on Formal Verification of Object-Oriented Software (FoVeOOS)"}
@String{FSE24 = "Proc.\ Int'l Conference on the Foundations of Software Engineering (FSE)"}
@String{FSE24Companion = "Companion Proc.\ Int'l Conference on the Foundations of Software Engineering (FSE Companion)"}
@String{FSEN = "Proc.\ Int'l Conf.\ on Fundamentals of Software Engineering (FSEN)"}
@String{GCPR = "Proc.\ German Conf.\ on Pattern Recognition (GCPR)"}
@String{GCSE = "Proc.\ Int'l Conf.\ on Generative and Component-Based Software Engineering (GCSE)"}
@String{GECCO = "Proc.\ Int'l Conf.\ on Genetic and Evolutionary Computation (GECCO)"}
@String{GPCE = "Proc.\ Int'l Conf.\ on Generative Programming and Component Engineering (GPCE)"}
@String{GPCE13 = "Proc.\ Int'l Conf.\ on Generative Programming: Concepts \& Experiences (GPCE)"}
@String{HICSS = "Proc.\ Hawaii Int'l Conf.\ on System Sciences (HICSS)"}
@String{HVC = "Proc.\ Int'l Haifa Verification Conf.\ (HVC)"}
@String{ICAI = "Proc.\ Int'l Conf.\ on Artificial Intelligence (ICAI)"}
@String{ICAIb = "Proc.\ Int'l Conf.\ on Applied Informatics (ICAI)"}
@String{ICALP = "Proc.\ Int'l Colloquium on Automata, Languages, and Programming (ICALP)"}
@String{ICCAD = "Proc.\ Int'l Conf.\ on Computer-Aided Design (ICCAD)"}
@String{ICCD = "Proc.\ Int'l Conf.\ on Computer Design (ICCD)"}
@String{ICCS = "Proc.\ Int'l Conf.\ on Computational Science (ICCS)"}
@String{ICDE = "Proc.\ Int'l Conf.\ on Data Engineering (ICDE)"}
@String{ICE = "Proc.\ Int'l Conf.\ on Engineering, Technology and Innovation (ICE/ITMC)"}
@String{ICECCS = "Proc.\ Int'l Conf.\ on Engineering of Complex Computer Systems (ICECCS)"}
@String{ICFEM = "Proc.\ Int'l Conf.\ on Formal Engineering Methods (ICFEM)"}
@String{ICFI = "Proc.\ Int'l Conf.\ on Feature Interactions in Software and Communication Systems (ICFI)"}
@String{ICFP = "Proc.\ Int'l Conf.\ on Functional Programming (ICFP)"}
@String{ICGT = "Proc.\ Int'l Conf.\ on Graph Transformation(ICGT)"}
@String{ICMT = "Proc.\ Int'l Conf.\ on Theory and Practice of Model Transformations (ICMT)"}
@String{ICPC = "Proc.\ Int'l Conf.\ on Program Comprehension (ICPC)"}
@String{ICPE = "Proc.\ Int'l Conf.\ on Performance Engineering (ICPE)"}
@String{ICSE = "Proc.\ Int'l Conf.\ on Software Engineering (ICSE)"}
@String{ICSEC = "Companion Int'l Conf.\ on Software Engineering (ICSEC)"}
@String{ICSE-SEIP = "Proc.\ Int'l Conf.\ on Software Engineering: Software Engineering in Practice (ICSE-SEIP)"} 
@String{ICSM = "Proc.\ Int'l Conf.\ on Software Maintenance (ICSM)"}
@String{ICSME = "Proc.\ Int'l Conf.\ on Software Maintenance and Evolution (ICSME)"}
@String{ICSR = "Proc.\ Int'l Conf.\ on Software Reuse (ICSR)"}
@String{ICSSP = "Proc.\ Int'l Conf.\ on Software and Systems Processes (ICSSP)"}
@String{ICST = "Proc.\ Int'l Conf.\ on Software Testing, Verification and Validation (ICST)"}
@String{ICTCS = "Proc.\ Italian Conf.\ on Theoretical Computer Science (ICTCS)"}
@String{ICTSS = "Proc.\ Int'l Conf.\ on Testing Software and Systems (ICTSS)"}
@String{ICWE = "Proc.\ Int'l Conf.\ on Web Engineering (ICWE)"}
@String{IDPT = "Proc.\ World Conf.\ on Integrated Design and Process Technology (IDPT)"}
@String{IFAC = "World Congress of the International Federation of Automatic Control (IFAC)"}
@String{iFM = "Proc.\ World Conf.\ on Integrated Formal Methods (iFM)"}
@String{IJCAI = "Proc.\ Int'l Joint Conf.\ on Artificial Intelligence (IJCAI)"}
@String{IPISE = "Intentional Perspectives on Information Systems Engineering"}
@String{Informatik = "Jahrestagung der Gesellschaft f{\"{u}}r Informatik"}
@String{ITNG = "Proc.\ Inte'l Conf.\ on Information Technology: New Generations (ITNG)"}
@String{ITP = "Proc.\ Inte'l Conf.\ on Interactive Theorem Proving (ITP)"}
@String{JMLC = "Proc.\ Joint Modular Languages Conference (JMLC)"}
@String{MILCOM = "IEEE Military Communications Conference (MILCOM)"}
@String{MODELS = "Proc.\ Int'l Conf.\ on Model Driven Engineering Languages and Systems (MODELS)"}
@String{Modellierung = "Proc.\ Modellierung"}
@String{MODELSWARD = "Proc.\ Int'l Conf.\ on Models in Software Engineering (MODELSWARD)"}
@String{MODULARITY = "Proc.\ of Int'l Conf.\ on Modularity"}
@String{MSR = "Proc.\ Working Conf.\ on Mining Software Repositories (MSR)"}
@String{NaBIC = "World Congress on Nature Biologically Inspired Computing (NaBIC)"}
@String{NATOSE = "Proc.\ NATO Conf.\ on Software Engineering"}
@String{NFM = "Proc.\ Int'l Conf.\ NASA Formal Methods (NFM)"}
@String{NODe = "Revised Papers Int'l Conf.\ NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World (NODe)"}
@String{OOPSLA = "Proc.\ Conf.\ on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)"}
@String{PCS = "Proc.\ Int'l Conf.\ on Economic, Technical and Organisational Aspects of Product Configuration Systems"}
@String{PLDI = "Proc.\ ACM SIGPLAN Conf.\ on Programming Language Design and Implementation (PLDI)"}
@String{ICML = "Proc.\ Int'l Conf.\ on Machine Learning (ICML)"}
@String{PKRR = "Proc.\ Int'l Conf.\ on Principles of Knowledge Representation and Reasoning"}
@String{PPPJ = "Proc.\ Int'l Conf.\ on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools (PPPJ)"}
@String{PROFES = "Proc.\ of Int'l Conf.\ on Product Focused Software Process Improvement (PROFES)"}
@String{Promise = "Proc.\ of Int'l Conf.\ on Predictive Models in Software Engineering (Promise)"}
@String{QEST = "Proc.\ Int'l Conf.\ on Quantitative Evaluation of Systems (QEST)"}
@String{QoSA = "Proc.\ Int'l Conf.\ on Quality of Software Architectures (QoSA)"}
@String{QSIC = "Proc.\ Int'l Conf.\ on Quality Software (QSIC)"}
@String{QUATIC = "Proc.\ Int'l Conf.\ on the Quality of Information and Communications Technology (QUATIC)"}
@String{RAMiCS = "Proc.\ Int'l Conf.\ on Relational and Algebraic Methods in Computer Science (RAMiCS)"}
@String{RE = "Proc.\ Int'l Conf.\ on Requirements Engineering (RE)"}
@String{REFLECTION = "Proc.\ Int'l Conf.\ on Metalevel Architectures and Separation of Crosscutting Concerns"}
@String{REFSQ = "Proc.\ Int'l Working Conf.\ on Requirements Engineering: Foundation for Software Quality (REFSQ)"}
@String{RISE = "Proc.\ Int'l Conf.\ on Rapid Integration of Software Engineering Techniques (RISE)"}
@String{RV = "Proc.\ Int'l Conf.\ on Runtime Verification (RV)"}
@String{SANER = "Proc.\ Int'l Conf.\ on Software Analysis, Evolution and Reengineering (SANER)"}
@String{SAT = "Proc.\ Int'l Conf.\ on Theory and Applications of Satisfiability Testing (SAT)"}
@String{SCAM = "Proc.\ Int'l Working Conf.\ on Source Code Analysis and Manipulation (SCAM)"}
@String{SciPy = "Proc.\ Conf.\ on Python in Science (SciPy)"}
@String{SE = "Proc.\ Software Engineering (SE)"}
@String{SEFM = "Proc.\ Int'l Conf.\ on Software Engineering and Formal Methods (SEFM)"}
@String{SEKE = "Proc.\ Int'l Conf.\ on Software Engineering and Knowledge Engineering (SEKE)"}
@String{SERENE = "Proc.\ Int'l Conf.\ on Software Engineering for Resilient Systems (SERENE)"}
@String{SERP = "Proc.\ Int'l Conf.\ on Software Engineering Research and Practice (SERP)"}
@String{SETSS = "Proc.\ Int'l Conf.\ on Software Engineering for Telecommunication Switching Systems (SETSS)"}
@String{SIGMOD = "Proc.\ Int'l Conf.\ on Management of Data (SIGMOD)"}
@String{SLE = "Proc.\ Int'l Conf.\ on Software Language Engineering (SLE)"}
@String{SOFTENG = "Proc.\ Conf.\ on Advances and Trends in Software Engineering (SOFTENG)"}
@String{SOFSEM = "Proc.\ Conf.\ on Current Trends in Theory and Practice of Computer Science (SOFSEM)"}
@String{SOMET = "Proc.\ Int'l Conf.\ on Intelligent Software Methodologies, Tools and Techniques (SOMET)"}
@String{SPLC = "Proc.\ Int'l Systems and Software Product Line Conf.\ (SPLC)"}
@String{SPLASH = "Proc.\ Int'l Conf.\ on Object-Oriented Programming Systems Languages and Applications Companion (SPLASH)"}
@String{SSIRI = "Proc.\ Int'l Conf.\ on Secure System Integration and Reliability Improvement (SSIRI)"}
@String{TACAS = "Proc.\ Int'l Conf.\ on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)"}
@String{TAP = "Proc.\ Int'l Conf.\ on Tests and Proofs (TAP)"}
@String{TOOLSeurope = "Proc.\ Int'l Conf.\ Objects, Models, Components, Patterns (TOOLS EUROPE)"}
@String{TOOLSpacific = "Proc.\ Int'l Conf.\ on Technology of Object-Oriented Languages and Systems (TOOLS)"}
@String{XPS = "Proc.\ Biannual German Conf.\ on Knowledge-Based Systems (XPS)"}
@String{VaMoS20 = "Proc.\ Int'l Working Conf.\ on Variability Modelling of Software-Intensive Systems (VaMoS)"}
@String{VISSOFT = "Proc.\ Working Conf.\ on Software Visualization (VISSOFT)"}
@String{VSTTE = "Proc.\ IFIP Working Conf.\ on Verified Software: Theories, Tools, Experiments (VSTTE)"}
@String{WCRE = "Proc.\ Working Conf.\ on Reverse Engineering (WCRE)"}
@String{WICSA = "Proc.\ Working Conf.\ on Software Architecture (WICSA)"}
@String{WWW = "Proc.\ Int'l Conf.\ on World Wide Web"}

% workshop
@String{A-Mobile = "Proc.\ Int'l Workshop on Advances in Mobile App Analysis (A-Mobile)"}
@String{AOAsia = "Proc.\ Asian Workshop on Aspect-Oriented Software Development (AOAsia)"}
@String{ALENEX = "Proc.\ Workshop on Algorithm Engineering and Experiments (ALENEX)"}
@String{AOSE = "Proc.\ Int'l Workshop on Agent-Oriented Software Engineering (AOSE)"}
@String{APLE = "Proc.\ Int'l Workshop on Agile Product Line Engineering (APLE)"}
@String{ASAS = "Proc.\ Workshop on Assurances for Self-Adaptive Systems (ASAS)"}
@String{BigMDE = "Proc.\ of the Workshop on Scalability in Model Driven Engineering (BigMDE)"}
@String{CFV = "Proc.\ Int'l Workshop on Constraints in Formal Verification (CFV)"}
@String{CMA = "Proc.\ Int'l Workshop on Comparing Modeling Approaches (CMA)"}
@String{COMMitMDE = "Proc.\ Int'l Workshop on Collaborative Modelling in MDE (COMMitMDE)"}
@String{ConfWS = "Proc.\ Configuration Workshop (ConfWS)"}
@String{CVSM = "Proc.\ of the Workshop on Comparison and Versioning of Software Models (CVSM)"}
@String{DSPL = "Proc.\ Int'l Workshop on Dynamic Software Product Lines (DSPL)"}
@String{Eclipse = "Proc.\ Workshop on Eclipse Technology eXchange (ETX)"}
@String{EIWAS = "Proc.\ European Interactive Workshop on Aspects in Software (EIWAS)"}
@String{FIDE = "Proc.\ Workshop on Formal Integrated Development Environment (F-IDE)"}
@String{FMSPLE = "Proc.\ Int'l Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE)"}
@String{FMTea = "Proc.\ Int'l Workshop and Tutorial on Formal Methods Teaching (FMTea)"}
@String{FOAL = "Proc.\ Workshop on Foundations of Aspect-Oriented Languages (FOAL)"}
@String{FOOL = "Proc.\ Int'l Workshop on Foundations of Object-Oriented Languages (FOOL)"}
@String{FOSD = "Proc.\ Int'l Workshop on Feature-Oriented Software Development (FOSD)"}
@String{FTfJP = "Proc.\ Workshop on Formal Techniues for Java-Like Programs (FTfJP)"}
@String{GaMMa = "Proc.\ Int'l Workshop on Global Integrated Model Management (GaMMa)"}
@String{GP = "Proc.\ Workshop on Generative Programming (GP)"}
@String{IWLS = "Proc.\ Int'l Workshop on Logic Synthesis (IWLS)"}
@String{IWSECO = "Proc.\ Int'l Workshop on Software Ecosystems (IWSECO)"}
@String{LoCoCo = "Proc.\ Int'l Workshop on Logics for Component Configuration (LoCoCo)"}
@String{MAPLESCALE = "Proc.\ Joint Workshop on Model-Driven Approaches in Software Product Line Engineering and Scalable Modeling Techniques for Software Product Lines (MAPLE/SCALE)"}
@String{MASPEGHI = "Proc.\ Workshop on MechAnisms for SPEcialization, Generalization and inHerItance (MASPEGHI)"}
@String{MBEES = "Proc.\ Dagstuhl Workshop on Model-Based Development of Embedded Systems (MBEES)"}
@String{MISS = "Proc.\ of Workshop on Modularity in Systems Software (MISS)"}
@String{MODEVAR = "Proc.\ Int'l Workshop on Languages for Modelling Variability (MODEVAR)"}
@String{MODIQUITOUS = "Proc.\ Workshop on Model-based Interactive Ubiquitous Systems (MODIQUITOUS)"}
@String{Monterey = "Proc.\ Monterey Workshop on Development, Operation and Management of Large-Scale Complex IT Systems"}
@String{MultiPLE = "Proc.\ Int'l Workshop on Multi Product Line Engineering (MultiPLE)"}
@String{MUTATION = "Proc.\ Int'l Workshop on Mutation Analysis (MUTATION)"}
@String{MVOOPL = "Proc.\ Workshop on Modelling Variability for Object-Oriented Product Lines (MVOOPL)"}
@String{NWMODE = "Nordic Workshop on Model-Driven Software Engineering (NW-MODE)"}
@String{OOZ = "Proc.\ Workshop on Object Orientation in Z"}
@String{OSSICP = "Proc.\ Workshop on Open-Source Software for Integer and Contraint Programming (OSSICP)"}
@String{OSSPL = "Proc.\ Int'l Workshop on Open Source Software and Product Lines (OSSPL)"}
@String{PASTE = "Proc.\ Workshop on Program Analysis for Software Tools and Engineering (PASTE)"}
@String{PFE = "Proc.\ Int'l Workshop on Software Product-Family Engineering (PFE)"}
@String{PLAS = "Proc.\ Workshop on Programming Languages and Analysis for Security (PLAS)"}
@String{PLEASE = "Proc.\ Workshop on Product Line Approaches in Software Engineering (PLEASE)"}
@String{POS = "Proc.\ Pragmatics of SAT Workshop (POS)"}
@String{Poly = "Proc.\ Heterogeneous Data Management, Polystores, and Analytics for Healthcare (Poly)"}
@String{InnoSWDev = "Proc.\ Workshop on Innovative Software Development Methodologies and Practices (InnoSWDev)"}
@String{IWCT = "Proc.\ Int'l Workshop on Combinatorial Testing (IWCT)"}
@String{IWPC = "Proc.\ Int'l Workshop on Program Comprehension (IWPC)"}
@String{IWPSE = "Proc.\ Int'l Workshop on Principles of Software Evolution"}
@String{IW-SAPF = "Proc.\ Int'l Workshop on Software Architectures for Product Families (IW-SAPF)"}
@String{IWSSD = "Proc.\ Int'l Workshop on Software Specification and Design (IWSSD)"}
@String{REFINE = "Proc.\ Int'l Workshop on Refinement (REFINE)"}
@String{REVE = "Proc.\ Int'l Workshop on Reverse Variability Engineering (REVE)"}
@String{ROSATEA = "Proc.\ Int'l Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA)"}
@String{SATTOSE ="Proc.\ Seminar on Advanced Techniques and Tools for Software Evolution (SATToSE)"}
@String{SAVCBS = "Proc.\ Int'l Workshop on Specification and Verification of Component-Based Systems (SAVCBS)"}
@String{SBST = "Proc.\ Int'l Workshop on Search-Based Software Testing (SBST)"}
@String{SEAS = "Proc.\ Int'l Workshop on Software Engineering for Automotive Systems (SEAS)"}
@String{SF = "Proc.\ Int'l Workshop on Software Factories (SF)"}
@String{SMT = "Proc.\ Int'l Workshop on Satisfiability Modulo Theories (SMT)"}
@String{SPLAT = "Proc.\ Workshop on Software Engineering Properties of Languages and Aspect Technologies (SPLAT)"}
@String{SPLatools = "Proc.\ Workshop on Software Product Line Analysis Tools (SPLat)"}
@String{SPLTea = "Proc.\ Int'l Workshop on Software Product Line Teaching (SPLTea)"}
@String{SVMPD = "Proc.\ Int'l Workshop on Software Variability Management for Product Derivation - Towards Tool Support (SVMPD)"}
@String{SWESE = "Proc.\ Workshop on Semantic Web Enabled Software Engineering (SWESE)"}
@String{VACE = "Proc.\ Int'l Workshop on Variability and Complexity in Software Design (VACE)"}
@String{VaMoS = "Proc.\ Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS)"}
@String{ViSPLE = "Proc.\ Int'l Workshop on Visualisation in Software Product Line Engineering (ViSPLE)"}
@String{VAST = "Proc.\ Int'l Workshop on Variability-Intensive Systems Testing, Validation and Verification (VAST)"}
@String{VariComp="Proc.\ Int'l Workshop on Variability and Composition (VariComp)"}
@String{VariVolution = "Proc.\ Int'l Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution)"}
@String{VLSI = "Proc.\ Int'l Conf.\ on Very Large Scale Integration (VLSI-SOC)"}
@String{VR = "Proc.\ IEEE Virtual Reality Workshop (VR)"}
@String{WASP = "Proc.\ Latin American Workshop on Aspect-Oriented Software Development: Advanced Modularization Techniques (LA-WASP)"}
@String{WEA = "Proc.\ Int'l Workshop on Experimental and Efficient Algorithms (WEA)"} % now known as SEA

% symposium
@String{APLAS = "Proc.\ Asian Symposium on Programming Languages and Systems (APLAS)"}
@String{CSCS = "Proc.\ 7th ACM Computer Science in Cars Symposium (CSCS)"}
@String{DLS = "Proc.\ Symposium on Dynamic Languages (DLS)"}
@String{ESEM = "Proc.\ of the Int'l Symposium on Empirical Software Engineering and Measurement (ESEM)"}
@String{FACS = "Proc.\ Int'l Symposium on Formal Aspects of Component Software (FACS)"}
@String{FHIES = "Proc.\ Int'l Symposium on Foundations of Health Information Engineering and Systems (FHIES)"}
@String{FM = "Proc.\ Int'l Symposium on Formal Methods (FM)"}
@String{FMCO = "Proc.\ Int'l Symposium on Formal Methods for Components and Objects (FMCO)"}
@String{FME = "Proc.\ Int'l Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity (FME)"}
@String{FOCS = "Proc.\ IEEE Symposium on Foundations of Computer Science (FOCS)"}
@String{FSE	= "Proc.\ Int'l Symposium on Foundations of Software Engineering (FSE)"}
@String{GLSVLSI = "Proc.\ ACM Great Lakes Symposium on VLSI (GLSVLSI)"}
@String{HASE = "Proc.\ Int'l Symposium on High-Assurance Systems Engineering (HASE)"}
@String{ICTAC = "Proc.\ Int'l Colloquium on Theoretical Aspects of Computing (ICTAC)"}
@String{ISCAS = "Proc.\ Int'l Symposium on Circuits and Systems (ISCAS)"}
@String{ISESE = "Proc.\ Int'l Symposium on Empirical Software Engineering (ISESE)"}
@String{ISMVL = "Proc.\ Int'l Symposium on Multiple-Valued Logic (ISMVL)"}
@String{ISoLA = "Proc.\ Int'l Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)"}
@String{ISORC = "Proc.\ Int'l Symposium on Object-Oriented Real-Time Distributed Computing (ISORC)"}
@String{ISSRE = "Proc.\ Int'l Symposium on Software Reliability Engineering (ISSRE)"}
@String{ISSTA = "Proc.\ Int'l Symposium on Software Testing and Analysis (ISSTA)"}
@String{LICS = "Proc.\ of the Symposium on Logic in Computer Science (LICS)"}
@String{Onward = "Proc.\ Int'l Symposium on New Ideas, New Paradigms, and Reflections on Programming (Onward!)"}
@String{OSDI = "Proc.\ USENIX Symposium on Operating Systems Design and Implementation (OSDI)"}
@String{POPL = "Proc.\ Symposium on Principles of Programming Languages (POPL)"}
@String{PPoPP = "Proc.\ Symposium on Principles and Practice of Parallel Programming (PPoPP)"}
@String{SAC = "Proc.\ ACM Symposium on Applied Computing (SAC)"}
@String{SAST = "Proc.\ Brazilian Symposium on Systematic and Automated Software Testing (SAST)"}
@String{SBES = "Proc.\ Brazilian Symposium on Software Engineering (SBES)"}
@String{SBCARS = "Proc.\ Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS)"}
@String{SBCCI = "Proc.\ Symposium on Integrated Circuits and Systems Design (SBCCI)"}
@String{SBLP = "Proc.\ Brazilian Symposium on Programming Languages (SBLP)"}
@String{SBFM = "Proc.\ Brazilian Symposium on Formal Methods (SBFM)"}
@String{SC = "Proc.\ Int'l Symposium on Software Composition (SC)"}
@String{SEAMS = "Proc.\ Int'l Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)"}
@String{SETTA = "Proc.\ Int'l Symposium on Dependable Software Engineering (SETTA)"}
@String{SODA = "Proc.\ ACM-SIAM Symposium on Discrete Algorithms (SODA)"}
@String{SOSP = "Proc.\ ACM Symposium on Operating Systems Principles (SOSP)"}
@String{SRDS = "Proc.\ Symposium on Reliable Distributed Systems (SRDS)"}
@String{SSR = "Proc.\ Symposium on Software Reusability (SSR)"}
@String{SST = "Proc.\ Int'l Symposium on Software and Systems Traceability (SST)"}
@String{STACS = "Proc.\ Symposium on Theoretical Aspects of Computer Science (STACS)"}
@String{STOC = "Proc.\ ACM Symposium on Theory of Computing (STOC)"}
@String{VLHCC = "Proc.\ Int'l Symposium on Visual Languages and Human-Centric Computing (VL/HCC)"}
@String{VRST = "Proc.\ ACM Symposium on Virtual Reality Software and Technology (VRST)"}

% journal
@String{Algorithmica = "Algorithmica"}
@String{AIEDAM = "Artif.\ Intell.\ Eng.\ Des.\ Anal.\ Manuf.\ (AIEDAM)"}
@String{AAI = "Advances in Artificial Intelligence"}
@String{AIJ = "Artificial Intelligence (AIJ)"}
@String{AIR = "Artificial Intelligence Review (AIR)"}
@String{AMAI = "Annals of Mathematics and Artificial Intelligence (AMAI)"}
@String{AMS = "Trans.\ American Mathematical Society (AMS)"}
@String{ATDE = "Advances in Transdisciplinary Engineering (ATDE)"}
@String{AS = "Applied Sciences"}
@String{AUSE = "Automated Software Engineering"}
@String{AUTO = "Automatisierungstechnik"}
@String{BISE = "Business \& Information Systems Engineering (BISE)"}
@String{BMCME = "BMC Medical Education"}
@String{BSTJ = "Bell Systems Technical Journal"}
@String{CACM = "Comm.\ ACM"}
@String{CADICS = "IEEE Trans.\ on Computer-Aided Design of Integrated Circuits and Systems"}
@String{CCPE = "Concurrency and Computation: Practice and Experience"}
@String{CIM = "Comp. Intell. Mag. (CIM)"}
@String{CLSS = "Comput.\ Lang.\ Syst.\ Struct."}
@String{COLA = "J.\ Computer Languages (COLA)"}
@String{ComNet = "Computer Networks"}
@String{Computer = "IEEE Computer"}
@String{Constraints = "Constraints"}
@String{CSUR = "ACM Computing Surveys (CSUR)"}
@String{EJIS = "Europ.\ Journal of Information Systems (EJIS)"}
@String{ENTCS = "Electronic Notes in Theoretical Computer Science (ENTCS)"}
@String{EMSE = "Empirical Software Engineering (EMSE)"}
@String{EXWA = "Expert Systems with Applications: An Int'l J. (EXWA)"}
@String{FAC = "Formal Aspects of Computing"}
@String{FMSD = "Formal Methods in System Design"}
@String{IBMSJ = "IBM Syst. J."}
@String{IC = "J.\ Information and Computation"}
@String{IJC = "INFORMS J.\ on Computing"}
@String{IJAST = "Int'l J.\ Applied Science and Technology (IJAST)"}
@String{IJBM = "The International Journal of Biological Markers (IJBM)"}
@String{IJCSI = "Int'l J.\ Computer Science Issues (IJCSI)"}
@String{IJPE = "Int'l J.\ Production Economics"}
@String{IJSEA = "Int'l J.\ of Software Engineering \& Applications (IJSEA)"}
@String{IJSEKE = "Int'l J.\ Software Engineering and Knowledge Engineering (IJSEKE)"}
@String{IPL = "Information Processing Letters"}
@String{IS = "IEEE Intelligent Systems"}
@String{IndagMath = "Indagationes Mathematicae"}
@String{InfS = "Information Systems (IS)"}
@String{IST = "J.\ Information and Software Technology (IST)"}
@String{ITVL = "IEEE Trans.\ on Very Large Scale Integration (VLSI) Systems"}
@String{JA = "J.\ Algorithms"}
@String{JACM = "J.\ ACM"}
@String{JAR = "J.\ Autom.\ Reason."}
@String{JAIR = "J.\ Artificial Intelligence Research (JAIR)"}
@String{JBCS = "J.\ Brazilian Computer Society (JBCS)"}
@String{JCO = "J. of Combinatorial Optimization"}
@String{JDM = "SIAM Journal on Discrete Mathematics"}
@String{JEA = "ACM J.\ of Experimental Algorithmics (JEA)"}
@String{JFP = "Journal of Functional Programming (JFP)"}
@String{JGME = "J.\ of Graduate Medical Education (JGME)"}
@String{JIME = "J.\ of Interactive Media in Education (JIME)"}
@String{JLAMP = "J.\ Logic and Algebraic Methods in Programming (JLAMP)"}
@String{JLAP = "J.\ Logic and Algebraic Programming (JLAP)"}
@String{JO = "J.\ Order"}
@String{JOM = "J.\ Operations Management (JOM)"}
@String{JOOP = "J.\ of Object-Oriented Programming (JOOP)"}
@String{JOT = "J.\ Object Technology (JOT)"}
@String{JR = "J.\ Retailing"}
@String{JRCS = "J.\ Retailing and Consumer Services"}
@String{JSAT = "J.\ Satisfiability, Boolean Modeling and Computation"}
@String{JSERD = "J.\ Software Engineering Research and Development (JSERD)"}
@String{JSEP = "J.\ Software: Evolution and Process"}
@String{JSS = "J.\ Systems and Software (JSS)"}
@String{JUCS = "J.\ Universal Computer Science (J.UCS)"}
@String{JWIS = "Int'l J.\ Web Information Systems"}
@String{LM = "Le Matematiche"}
@String{LMCS = "Logical Methods in Computer Science (LMCS)"}
@String{MOR = "Mathematics of Operations Research (MOR)"}
@String{NG = "Nature Genetics"}
@String{NJC = "Nordic J.\ Computing"}
@String{NRL = "Naval Research Logistics"}
@String{NeurIPS = "Advances in Neural Information Processing Systems (NeurIPS)"}
@String{OSR = "ACM SIGOPS Operating Systems Review"}
@String{PACMPL = "Proceedings of the ACM on Programming Languages (PACMPL)"}
@String{PACMSE = "Proceedings of the ACM on Software Engineering (PACMSE)"}
@String{PPL = "Parallel Processing Letters"}
@String{PNAS = "Proc.\ of the National Academy of Sciences of the United States of America (PNAS)"}
@String{QREI = "Quality and Reliability Engineering International"}
@String{REJ = "Requirements Engineering"}
@String{SciAdv = "Science Advances"}
@String{SICOMP = "SIAM J.\ on Computing"}
@String{SCP = "Science of Computer Programming (SCP)"}
@String{SEN = "SIGSOFT Software Engineering Notes"}
@String{SIGPLAN = "SIGPLAN Not."}
@String{SME = "Manufacturing Systems, Manufacturing Processes, and Manufacturing Letters"}
@String{JSM = "J.\ Software Maintenance (JSM)"}
@String{JSME = "J.\ Software Maintenance and Evolution (JSME)"}
@String{JSMRP = "J.\ Software Maintenance: Research and Practice"}
@String{SCS = "J.\ Statistical Computation and Simulation"}
@String{Software = "IEEE Software"}
@String{SoSyM = "Software and Systems Modeling (SoSyM)"}
@String{SPE = "Software: Practice and Experience"}
@String{SPIP = "Software Process: Improvement and Practice"}
@String{SQJ = "Software Quality Journal (SQJ)"}
@String{STTT = "Int'l J.\ Software Tools for Technology Transfer (STTT)"}
@String{STVR = "Software Testing, Verification and Reliability (STVR)"}
@String{TALG = "ACM Trans.\ on Algorithms (TALG)"}
@String{TAOSD = "Trans.\ Aspect-Oriented Software Development"}
@String{TC = "IEEE Trans.\ on Computers"}
@String{TCS = "Theoretical Computer Science"}
@String{TOCE = "ACM Trans.\ on Computing Education (TOCE)"}
@String{TOIS = "ACM Trans.\ on Information Systems (TOIS)"}
@String{TOMS = "ACM Trans.\ on Mathematical Software (TOMS)"}
@String{TOPLAS = "ACM Trans.\ on Programming Languages and Systems (TOPLAS)"}
@String{TOSEM = "Trans.\ on Software Engineering and Methodology (TOSEM)"}
@String{TSE = "IEEE Trans.\ on Software Engineering (TSE)"}
@String{UPGRADE = "The European Journal for the Informatics Professional"}
@String{WIREs = "WIREs Data Mining and Knowledge Discovery (WIREs)"}

% publisher and address
@String{AAAIpress = "AAAI Press"}
@String{ACGME = "Accreditation Council for Graduate Medical Education (ACGME)"}
@String{ACM = "ACM"}
@String{ACM-AWL = "ACM/Addison-Wesley"}
@String{AddisonWesleyLongman = "Addison-Wesley"}
@String{AIRCC = "AIRCC"}
@String{arXiv = "Cornell University Library"}
@String{ButterworthHeinemann = "Butterworth-Heinemann"}
@String{CambridgeUP = "Cambridge University Press"}
@String{CEPIS = "CEPIS"}
@String{CEUR-WS = "CEUR Workshop Proceedings (CEUR-WS.org)"}
@String{ChapmanHallCRC = "Chapman \& Hall/CRC"}
@String{EasyChair = "EasyChair"}
@String{EdwardElgar = "Edward Elgar Publishing Limited"}
@String{Elsevier = "Elsevier Science Inc."}
@String{ElsevierNorthHolland = "Elsevier North-Holland, Inc."}
@String{ETH = "Swiss Federal Institute of Technology"}
@String{ERIC = "Education Resources Information Center (ERIC)"}
@String{Fraunhofer = "Fraunhofer IRB Verlag"}
@String{GI = "Gesellschaft f{\"u}r Informatik"}
@String{IADIS = "IADIS"}
@String{IBFI = "IBFI"}
@String{IBM = "IBM Corp."}
@String{IEEE = "IEEE"}
@String{IFAAMAS = "International Foundation for Autonomous Agents and Multiagent Systems"}
@String{IJCAIPub = "International Joint Conferences on Artificial Intelligence"}
@String{INFORMS = "INFORMS"}
@String{IOS = "IOS Press"}
@String{JSTOR = "JSTOR"}
@String{Kluwer = "Kluwer Academic Publishers"}
@String{NAS = "National Academy of Sciences"}
@String{NaturePG = "Nature Publishing Group"}
@String{MITpress = "MIT Press"}
@String{Pearson = "Pearson Education"}
@String{PrenticeHall = "Prentice-Hall Inc."}
@String{ResearchPS = "Research Publishing Services"}
@String{SIAM = "SIAM"}
@String{SciTePress = "SciTePress"}
@String{SchlossDagstuhl = "Schloss Dagstuhl"}
@String{SEI = "Software Engineering Institute"}
@String{Springer = "Springer"}
@String{TaylorFrancis = "Taylor \& Francis"}
@String{USENIX = "USENIX Association"}
@String{VLDB = "VLDB Endowment"}
@String{Wiley = "John Wiley \& Sons"}

% other
@String{MIT = "Doktorandentagung Magdeburger-Informatik-Tage (MIT)"}
@String{CoRR = "Computing Research Repository (CoRR)"}
@String{GTTSE = "Proc.\ Generative and Transformational Techniques in Software Engineering"}
@String{ReMoDD = "The Repository of Model-Driven Development (ReMoDD)"}
@String{LIPIcs = "Leibniz International Proceedings in Informatics (LIPIcs)"}
@String{LNCS = "Lecture Notes in Computer Science (LNCS)"}
@String{NASA = "NASA, Jet Propulsion Laboratory"}
@String{Microsoft = "Microsoft Research Cambridge"}