Travelled to:1 × Austria
1 × China
1 × Croatia
1 × Finland
1 × Ireland
1 × Italy
1 × Japan
1 × Norway
1 × Russia
1 × Singapore
1 × Spain
1 × Sweden
1 × The Netherlands
2 × Belgium
2 × Portugal
23 × USA
3 × France
3 × Switzerland
3 × United Kingdom
6 × Canada
6 × Germany
Collaborated with:∅ C.Kästner Y.Smaragdakis S.Apel R.E.Lopez-Herrejon W.R.Cook J.Liu S.Trujillo B.Marker M.Azanza T.L.Riché O.Díaz M.Sirkin S.Khurshid C.H.P.Kim J.Kim B.Delaware C.Lengauer J.N.Sarvela J.Thomas V.Singhal R.A.v.d.Geijn M.Kuhlemann R.Gonçalves L.Tokuda W.Kim A.P.Buchmann K.Fisler N.Siegmund D.Dig E.Latimer J.Feigenspan P.Höfner H.M.Vin T.Thüm G.Freeman R.G.Lavender J.Saraiva M.Grechanik D.E.Perry A.Rauschmayer J.Martin S.Krishnamurthi R.Cardone L.Coglianese S.Souto M.d'Amorim D.Marinov M.Rosenmüller G.Saake J.Siegmund E.Uzuncaova D.Garcia S.Thaker D.Kitchin G.Butler K.Czarnecki U.W.Eisenecker J.Oh M.Myers A.Terrel J.Poulson U.Frank J.Bézivin B.Henderson-Sellers H.Younessi D.Gopinath S.S.u.Rahman P.Barros S.S.Kolesnikov G.T.Leavens J.Abrial M.J.Butler A.Coglio E.C.R.Hehner C.B.Jones D.Miller S.L.P.Jones M.Sitaraman D.R.Smith A.Stump
Talks about:product (23) featur (18) line (17) model (16) softwar (10) program (10) design (8) orient (7) refactor (6) composit (6)
♂ Person: Don S. Batory
DBLP: Batory:Don_S=
Facilitated 8 volumes:
PrCo
PrCoPrCoPrCo
PrCo
PrCo
EdPaChContributed to:
2015
2015
2014
2013201320132012
2012
2012
20122011
20112010201020102009200920092009
2009200820082008
2007200720072007
2007200720062006
20062006
2005
2005200520042004
2004200320032002
2001200120012000200020002000199919991999
19991998
199419931993
1988
19851984
1984198119782017Wrote 70 papers:
- ICSME-2015-KimBD #design pattern #java #parametricity #refactoring
- Scripting parametric refactorings in Java to retrofit design patterns (JK, DSB, DD), pp. 211–220.
- SPLC-2015-SoutoGdMKB #debugging #detection #feature model #modelling #performance #product line
- Faster bug detection for software product lines with incomplete feature models (SS, DG, Md, DM, SK, DSB), pp. 151–160.
- ASE-2014-MarkerBG #comprehension #heuristic #performance
- Understanding performance stairs: elucidating heuristics (BM, DSB, RAvdG), pp. 301–312.
- ESEC-FSE-2013-KimMKBSBd #combinator #configuration management #dynamic analysis #lightweight #named #testing
- SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems (CHPK, DM, SK, DSB, SS, PB, Md), pp. 257–267.
- MoDELS-2013-BatoryLA #database #education #modelling #perspective #relational
- Teaching Model Driven Engineering from a Relational Database Perspective (DSB, EL, MA), pp. 121–137.
- SLE-2013-BatoryGMS #automation #design #graph grammar
- Dark Knowledge and Graph Grammars in Automated Software Design (DSB, RG, BM, JS), pp. 1–18.
- GPCE-2012-RicheGMB #architecture #category theory #design
- Pushouts in software architecture design (TLR, RG, BM, DSB), pp. 84–92.
- ICPC-2012-FeigenspanBR #question
- Is the derivation of a model easier to understand than the model itself? (JF, DSB, TLR), pp. 47–52.
- ICSE-2012-SiegmundKKABRS #automation #detection #performance #predict
- Predicting performance via automated feature-interaction detection (NS, SSK, CK, SA, DSB, MR, GS), pp. 167–177.
- PPoPP-2012-MarkerTPBG #algebra #developer #linear
- Mechanizing the expert dense linear algebra developer (BM, AT, JP, DSB, RAvdG), pp. 289–290.
- GPCE-2011-BatoryHK #composition #feature model #interactive
- Feature interactions, products, and composition (DSB, PH, JK), pp. 13–22.
- OOPSLA-2011-DelawareCB #product line #theorem
- Product lines of theorems (BD, WRC, DSB), pp. 595–608.
- ASE-2010-KimBK #product line
- Eliminating products to test in a software product line (CHPK, DSB, SK), pp. 139–142.
- ICMT-2010-AzanzaBDT #composition
- Domain-Specific Composition of Model Deltas (MA, DSB, OD, ST), pp. 16–30.
- MoDELS-v2-2010-RicheVB #parallel
- Transformation-Based Parallelization of Request-Processing Applications (TLR, HMV, DSB), pp. 2–16.
- ESEC-FSE-2009-DelawareCB #composition
- Fitting the pieces together: a machine-checked model of safe composition (BD, WRC, DSB), pp. 243–252.
- GPCE-2009-KuhlemannBK #composition
- Safe composition of non-monotonic features (MK, DSB, CK), pp. 177–186.
- ICSE-2009-ThumBK #feature model #modelling #reasoning
- Reasoning about edits to feature models (TT, DSB, CK), pp. 254–264.
- SPLC-2009-KastnerARRBS #analysis #case study #on the #problem
- On the impact of the optional feature problem: analysis and case studies (CK, SA, SSuR, MR, DSB, GS), pp. 181–190.
- TOOLS-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.
- GPCE-2008-ApelKB #aspect-oriented #functional #refactoring #using
- Program refactoring using functional aspects (SA, CK, DSB), pp. 161–170.
- GPCE-2008-Batory #modelling #using
- Using modern mathematics as an FOSD modeling language (DSB), pp. 35–44.
- GPCE-2008-KimKB #composition #feature model #interactive #on the
- On the modularity of feature interactions (CHPK, CK, DSB), pp. 23–34.
- ICMT-2008-FreemanBL #case study #modelling #product line
- Lifting Transformational Models of Product Lines: A Case Study (GF, DSB, RGL), pp. 16–30.
- MoDELS-2008-BatoryAS #design
- The Objects and Arrows of Computational Design (DSB, MA, JS), pp. 1–20.
- CC-2007-Batory #development #modelling #refactoring #synthesis
- Program Refactoring, Program Synthesis, and Model-Driven Development (DSB), pp. 156–171.
- ESEC-FSE-2007-UzuncaovaGKB #approach #product line #testing
- A specification-based approach to testing software product lines (EU, DG, SK, DSB), pp. 525–528.
- GPCE-2007-ThakerBKC #composition #product line
- Safe composition of product lines (ST, DSB, DK, WRC), pp. 95–104.
- ICSE-2007-TrujilloBD #case study #development #modelling
- Feature Oriented Model Driven Development: A Case Study for Portlets (ST, DSB, OD), pp. 44–53.
- POPL-2007-Batory #implementation #synthesis
- From implementation to theory in product synthesis (DSB), pp. 135–136.
- SPLC-2007-KastnerAB #aspectj #case study #implementation #using
- A Case Study Implementing Features Using AspectJ (CK, SA, DSB), pp. 223–232.
- GPCE-2006-ApelB #aspect-oriented #case study
- When to use features and aspects?: a case study (SA, DSB), pp. 59–68.
- GPCE-2006-LeavensABBCFHJMJSSS #roadmap #verification
- Roadmap for enhanced languages and methods to aid verification (GTL, JRA, DSB, MJB, AC, KF, ECRH, CBJ, DM, SLPJ, MS, DRS, AS), pp. 221–236.
- GPCE-2006-TrujilloBD #multi #product line #refactoring
- Feature refactoring a multi-representation program into a product line (ST, DSB, OD), pp. 191–200.
- ICSE-2006-LiuBL #legacy #refactoring
- Feature oriented refactoring of legacy applications (JL, DSB, CL), pp. 112–121.
- PEPM-2006-Lopez-HerrejonBL #approach #composition
- A disciplined approach to aspect composition (RELH, DSB, CL), pp. 68–77.
- SPLC-2006-Batory #composition #product line
- Feature Modularity in Software Product Lines (DSB), p. 230.
- ECOOP-2005-Lopez-HerrejonBC #composition
- Evaluating Support for Features in Advanced Modularization Technologies (RELH, DSB, WRC), pp. 169–194.
- GTTSE-2005-Batory #programming #tutorial
- A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite (DSB), pp. 3–35.
- SPLC-2005-Batory #feature model #modelling
- Feature Models, Grammars, and Propositional Formulas (DSB), pp. 7–20.
- GPCE-2004-LiuB #automation #product line #synthesis
- Automatic Remodularization and Optimized Synthesis of Product-Families (JL, DSB), pp. 379–395.
- ICSE-2004-Batory #feature model #programming
- Feature-Oriented Programming and the AHEAD Tool Suite (DSB), pp. 702–703.
- ICSE-2004-GrechanikBP #design #scalability
- Design of Large-Scale Polylingual Systems (MG, DSB, DEP), pp. 357–366.
- IWPC-2004-Batory #challenge #comprehension #generative #programming
- Program Comprehension in Generative Programming: A History of Grand Challenges (DSB), pp. 2–13.
- ESEC-FSE-2003-BatoryLS #multi
- Refinements and multi-dimensional separation of concerns (DSB, JL, JNS), pp. 48–57.
- ICSE-2003-Batory #product line #programming #tutorial
- A Tutorial on Feature Oriented Programming and Product-Lines (DSB), pp. 753–754.
- ICSE-2003-BatorySR #refinement #scalability
- Scaling Step-Wise Refinement (DSB, JNS, AR), pp. 187–197.
- ASE-2002-BatoryLM #generative #product line
- Generating Product-Lines of Product-Families (DSB, RELH, JPM), pp. 81–92.
- CBSE-2001-FislerKB #collaboration #component #design #verification
- Verifying Component-Based Collaboration Designs (KF, SK, DSB), p. 17.
- GCSE-2001-Lopez-HerrejonB #problem #product line #standard
- A Standard Problem for Evaluating Product-Line Methodologies (RELH, DSB), pp. 10–24.
- ICSE-2001-ButlerBCE #generative #product line
- Generative Techniques for Product Lines (GB, DSB, KC, UWE), pp. 760–761.
- GCSE-2000-SmaragdakisB #c++ #mixin #programming
- Mixin-Based Programming in C++ (YS, DSB), pp. 163–177.
- ICSE-2000-Batory #architecture #aspect-oriented #product line #reuse
- Product-line architectures, aspects, and reuse (DSB), p. 832.
- SAIG-2000-Batory #architecture #product line
- Refinements and Product Line Architectures (DSB), pp. 3–4.
- SPLC-2000-BatoryCS #framework #object-oriented #product line
- Object-oriented frameworks and product lines (DSB, RC, YS), pp. 227–248.
- ASE-1999-TokudaB #design #evolution #object-oriented #refactoring
- Evolving Object-Oriented Designs with Refactorings (LT, DSB), p. 174–?.
- GCSE-1999-SmaragdakisB #generative
- Scoping Constructs for Software Generators (YS, DSB), pp. 65–78.
- TOOLS-USA-1999-FrankBBHY #adaptation #generative #modelling #process #quality
- High level Modelling Languages, Adaptable Process Models and Software Generation: Drivers for Quality and Productivity (UF, DSB, JB, BHS, HY), pp. 563–570.
- WICSA-1999-BatorySC #adaptation #architecture
- Architectural Styles as Adaptors (DSB, YS, LC), pp. 203–224.
- ECOOP-1998-SmaragdakisB #design #implementation #mixin
- Implementing Layered Designs with Mixin Layers (YS, DSB), pp. 550–570.
- FSE-1994-BatoryTS #compilation #data type #re-engineering #scalability #using
- Reengineering a Complex Application Using a Scalable Data Structure Compiler (DSB, JT, MS), pp. 111–120.
- FSE-1993-BatorySST #library #scalability
- Scalable Software Libraries (DSB, VS, MS, JT), pp. 191–199.
- ICSE-1993-SirkinBS #component #data type
- Software Components in a Data Structure Precompiler (MS, DSB, VS), pp. 437–446.
- PODS-1988-Batory #compilation #concept #database
- Concepts for a Database System Compiler (DSB), pp. 184–192.
- SIGMOD-1985-BatoryK #concept #modelling
- Modeling Concepts for VLSI CAD Objects (DSB, WK), p. 446.
- PODS-1984-Batory #concept #database
- Conceptual-To-Internal Mappings in Commercial Database Systems (DSB), pp. 70–78.
- VLDB-1984-BatoryB #data type #framework #modelling
- Molecular Objects, Abstract Data Types, and Data Models: A Framework (DSB, APB), pp. 172–184.
- SIGMOD-1981-Batory #comparison #performance
- B+ Trees and Indexed Sequential Files: A Performance Comparison (DSB), pp. 30–39.
- VLDB-1978-Batory #on the
- On Searching Transposed Files (DSB), p. 488.
- ESEC-FSE-2017-OhBMS #product line #random
- Finding near-optimal configurations in product lines by random sampling (JO, DSB, MM, NS), pp. 61–71.