default search action
Don S. Batory
Person information
- affiliation: University of Texas at Austin, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j49]Jeho Oh, Don S. Batory, Ruben Heradio:
Finding Near-optimal Configurations in Colossal Spaces with Statistical Guarantees. ACM Trans. Softw. Eng. Methodol. 33(1): 7:1-7:36 (2024) - 2023
- [j48]Daniel-Jesus Munoz, Mónica Pinto, Lidia Fuentes, Don S. Batory:
Transforming Numerical Feature Models into Propositional Formulas and the Universal Variability Language. J. Syst. Softw. 204: 111770 (2023) - [j47]Najd Altoyan, Don S. Batory:
On Proving the Correctness of Refactoring Class Diagrams of MDE Metamodels. ACM Trans. Softw. Eng. Methodol. 32(2): 44:1-44:42 (2023) - [d2]Daniel-Jesus Munoz, Mónica Pinto, Lidia Fuentes, Don S. Batory:
Nemo2 (Numbers, fEatures, MOdels, version 2). Zenodo, 2023 - [d1]Daniel-Jesus Munoz, Mónica Pinto, Lidia Fuentes, Don S. Batory:
Nemo2 (Numbers, fEatures, MOdels, version 2) Testing Files. Zenodo, 2023 - 2022
- [j46]Ruben Heradio, David Fernández-Amorós, José A. Galindo, David Benavides, Don S. Batory:
Uniform and scalable sampling of highly configurable systems. Empir. Softw. Eng. 27(2): 44 (2022) - [j45]Ruben Heradio, David Fernández-Amorós, José A. Galindo, David Benavides, Don S. Batory:
Correction to: Uniform and scalable sampling of highly configurable systems. Empir. Softw. Eng. 27(2): 57 (2022) - [c146]Daniel-Jesus Munoz, Jeho Oh, Mónica Pinto, Lidia Fuentes, Don S. Batory:
[inline-graphic not available: see fulltext]: A Tool to Transform Feature Models with Numerical Features and Arithmetic Constraints. ICSR 2022: 59-75 - 2021
- [c145]Don S. Batory, Jeho Oh, Ruben Heradio, David Benavides:
Product Optimization in Stepwise Design. Logic, Computation and Rigorous Methods 2021: 63-81 - 2020
- [c144]Don S. Batory, Najd Altoyan:
Aocl : A Pure-Java Constraint and Transformation Language for MDE. MODELSWARD 2020: 319-327
2010 – 2019
- 2019
- [c143]Jongwook Kim, Don S. Batory, Milos Gligoric:
Code transformation issues in move-instance-method refactorings. IWOR@ICSE 2019: 17-22 - [c142]Jeho Oh, Paul Gazzillo, Don S. Batory:
t-wise coverage by uniform sampling. SPLC (A) 2019: 15:1-15:4 - [c141]Daniel-Jesus Munoz, Jeho Oh, Mónica Pinto, Lidia Fuentes, Don S. Batory:
Uniform random sampling product configurations of feature models that have numerical features. SPLC (A) 2019: 39:1-39:13 - [c140]David Benavides, Rick Rabiser, Don S. Batory, Mathieu Acher:
First international workshop on languages for modelling variability (MODEVAR 2019). SPLC (A) 2019: 46:1 - [c139]Don S. Batory:
Should future variability modeling languages express constraints in OCL? SPLC (B) 2019: 87:1 - 2018
- [c138]Kaiyuan Wang, Chenguang Zhu, Ahmet Çelik, Jongwook Kim, Don S. Batory, Milos Gligoric:
Towards refactoring-aware regression test selection. ICSE 2018: 233-244 - 2017
- [j44]Don S. Batory, Maider Azanza:
Teaching model-driven engineering from a relational database perspective. Softw. Syst. Model. 16(2): 443-467 (2017) - [j43]Rui C. Gonçalves, Don S. Batory, João L. Sobral, Taylor L. Riché:
From software extensions to product lines of dataflow programs. Softw. Syst. Model. 16(4): 929-947 (2017) - [c137]Jeho Oh, Don S. Batory, Margaret Myers, Norbert Siegmund:
Finding near-optimal configurations in product lines by random sampling. ESEC/SIGSOFT FSE 2017: 61-71 - [c136]Don S. Batory:
Test of Time Award & Conjectures on the Future of SPLs. SPLC (A) 2017: 4 - [c135]Jongwook Kim, Don S. Batory, Danny Dig:
X15: A Tool For Refactoring Java Software Product Lines. SPLC (B) 2017: 28-31 - [c134]Jongwook Kim, Don S. Batory, Danny Dig:
Refactoring Java Software Product Lines. SPLC (A) 2017: 59-68 - 2016
- [j42]Don S. Batory:
Foreword to the Special Issue on Formal Methods for Software Product Line Engineering. J. Log. Algebraic Methods Program. 85(1): 121-122 (2016) - [j41]Rui C. Gonçalves, Don S. Batory, João Luís Sobral:
ReFlO: an interactive tool for pipe-and-filter domain specification and program generation. Softw. Syst. Model. 15(2): 377-395 (2016) - [c133]Danny Dig, Ralph E. Johnson, Darko Marinov, Brian P. Bailey, Don S. Batory:
COPE: vision for a change-oriented programming environment. ICSE (Companion Volume) 2016: 773-776 - [c132]Jongwook Kim, Don S. Batory, Danny Dig, Maider Azanza:
Improving refactoring speed by 10X. ICSE 2016: 1145-1156 - [e9]Lidia Fuentes, Don S. Batory, Krzysztof Czarnecki:
Proceedings of the 15th International Conference on Modularity, MODULARITY 2016, Málaga, Spain, March 14 - 18, 2016. ACM 2016, ISBN 978-1-4503-3995-7 [contents] - [e8]Lidia Fuentes, Don S. Batory, Krzysztof Czarnecki:
Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14 - 18, 2016. ACM 2016, ISBN 978-1-4503-4033-5 [contents] - 2015
- [c131]Don S. Batory:
A theory of modularity for automated software development (keynote). MODULARITY (Companion) 2015: 1-10 - [c130]Don S. Batory, Peter Höfner, Dominik Köppl, Bernhard Möller, Andreas Zelend:
Structured Document Algebra in Action. Software, Services, and Systems 2015: 291-311 - [c129]Dewayne E. Perry, Don S. Batory:
A Theory about the Structure of GTSEs. GTSE@ICSE 2015: 39-46 - [c128]Jongwook Kim, Don S. Batory, Danny Dig:
Scripting parametric refactorings in Java to retrofit design patterns. ICSME 2015: 211-220 - [c127]Sabrina Souto, Divya Gopinath, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid, Don S. Batory:
Faster bug detection for software product lines with incomplete feature models. SPLC 2015: 151-160 - 2014
- [c126]Bryan Marker, Don S. Batory, Robert A. van de Geijn:
Understanding performance stairs: elucidating heuristics. ASE 2014: 301-312 - [c125]Norbert Siegmund, Sergiy S. Kolesnikov, Christian Kästner, Sven Apel, Don S. Batory, Marko Rosenmüller, Gunter Saake:
Performance Prediction in the Presence of Feature Interactions. Software Engineering 2014: 33-34 - 2013
- [b2]Sven Apel, Don S. Batory, Christian Kästner, Gunter Saake:
Feature-Oriented Software Product Lines - Concepts and Implementation. Springer 2013, ISBN 978-3-642-37520-0, pp. I-XVI, 1-315 - [j40]Bryan Marker, Don S. Batory, Robert A. van de Geijn:
A case study in mechanically deriving dense linear algebra code. Int. J. High Perform. Comput. Appl. 27(4): 440-453 (2013) - [c124]Don S. Batory, Peter Höfner, Bernhard Möller, Andreas Zelend:
Features, modularity, and variation points. FOSD 2013: 9-16 - [c123]Bryan Marker, Don S. Batory, Robert A. van de Geijn:
Code Generation and Optimization of Distributed-Memory Dense Linear Algebra Kernels. ICCS 2013: 1282-1291 - [c122]Don S. Batory:
Why (meta-)theories of automated software design are essential: A personal perspective. GTSE@ICSE 2013: 19-22 - [c121]Bryan Marker, Robert A. van de Geijn, Don S. Batory:
DSLs, DLA, DxT, and MDE in CSE. SE-CSE@ICSE 2013: 84-87 - [c120]Don S. Batory, Eric Latimer, Maider Azanza:
Teaching Model Driven Engineering from a Relational Database Perspective. MoDELS 2013: 121-137 - [c119]Jongwook Kim, Don S. Batory, Danny Dig:
Can undergraduates script their own refactorings? WRT@SPLASH 2013: 9-12 - [c118]Bryan Marker, Robert A. van de Geijn, Don S. Batory:
Interfaces are key. SE-HPCCSE@SC 2013: 21-24 - [c117]Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don S. Batory, Sabrina Souto, Paulo Barros, Marcelo d'Amorim:
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems. ESEC/SIGSOFT FSE 2013: 257-267 - [c116]Don S. Batory, Rui C. Gonçalves, Bryan Marker, Janet Siegmund:
Dark Knowledge and Graph Grammars in Automated Software Design. SLE 2013: 1-18 - 2012
- [c115]Taylor L. Riché, Rui C. Gonçalves, Bryan Marker, Don S. Batory:
Pushouts in software architecture design. GPCE 2012: 84-92 - [c114]Norbert Siegmund, Sergiy S. Kolesnikov, Christian Kästner, Sven Apel, Don S. Batory, Marko Rosenmüller, Gunter Saake:
Predicting performance via automated feature-interaction detection. ICSE 2012: 167-177 - [c113]Chang Hwan Peter Kim, Sarfraz Khurshid, Don S. Batory:
Shared Execution for Efficiently Testing Product Lines. ISSRE 2012: 221-230 - [c112]Janet Feigenspan, Don S. Batory, Taylor L. Riché:
Is the derivation of a model easier to understand than the model itself? ICPC 2012: 47-52 - [c111]Bryan Marker, Andy Terrel, Jack Poulson, Don S. Batory, Robert A. van de Geijn:
Mechanizing the expert dense linear algebra developer. PPoPP 2012: 289-290 - [c110]Bryan Marker, Jack Poulson, Don S. Batory, Robert A. van de Geijn:
Designing Linear Algebra Algorithms by Transformation: Mechanizing the Expert Developer. VECPAR 2012: 362-378 - 2011
- [c109]Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid:
Reducing combinatorics in testing product lines. AOSD 2011: 57-68 - [c108]Don S. Batory, Peter Höfner, Jongwook Kim:
Feature interactions, products, and composition. GPCE 2011: 13-22 - [c107]Danny Dig, Don S. Batory:
Fourth workshop on refactoring tools: (WRT 2011). ICSE 2011: 1202-1203 - [c106]Don S. Batory:
Towards Verification of Product Lines. ITP 2011: 1 - [c105]Benjamin Delaware, William R. Cook, Don S. Batory:
Product lines of theorems. OOPSLA 2011: 595-608 - [e7]Danny Dig, Don S. Batory:
Fourth Workshop on Refactoring Tools 2011, WRT '11, Waikiki, Honolulu, HI, USA, May 22, 2011. ACM 2011, ISBN 978-1-4503-0579-2 [contents] - 2010
- [j39]Greg Freeman, Don S. Batory, R. Greg Lavender, Jacob Neal Sarvela:
Lifting transformational models of product lines: a case study. Softw. Syst. Model. 9(3): 359-373 (2010) - [j38]Engin Uzuncaova, Sarfraz Khurshid, Don S. Batory:
Incremental Test Generation for Software Product Lines. IEEE Trans. Software Eng. 36(3): 309-322 (2010) - [c104]Maider Azanza, Don S. Batory, Oscar Díaz, Salvador Trujillo:
Domain-Specific Composition of Model Deltas. ICMT@TOOLS 2010: 16-30 - [c103]Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid:
Eliminating products to test in a software product line. ASE 2010: 139-142 - [c102]Taylor L. Riché, Harrick M. Vin, Don S. Batory:
Transformation-Based Parallelization of Request-Processing Applications. MoDELS (2) 2010: 2-16 - [c101]Chang Hwan Peter Kim, Eric Bodden, Don S. Batory, Sarfraz Khurshid:
Reducing Configurations to Monitor in a Software Product Line. RV 2010: 285-299 - [c100]Don S. Batory:
Thoughts on automated software design and synthesis. FoSER 2010: 29-32 - [e6]Sven Apel, Don S. Batory, Krzysztof Czarnecki, Florian Heidenreich, Christian Kästner, Oscar Nierstrasz:
Proceedings of the Second International Workshop on Feature-Oriented Software Development, FOSD 2010, Eindhoven, Netherlands, October 10, 2010. ACM 2010, ISBN 978-1-4503-0208-1 [contents] - [e5]David Benavides, Don S. Batory, Paul Grünbacher:
Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27-29, 2010. Proceedings. ICB-Research Report 37, Universität Duisburg-Essen 2010 [contents]
2000 – 2009
- 2009
- [c99]Benjamin Delaware, William R. Cook, Don S. Batory:
A machine-checked model of safe composition. FOAL 2009: 31-35 - [c98]Martin Kuhlemann, Don S. Batory, Christian Kästner:
Safe composition of non-monotonic features. GPCE 2009: 177-186 - [c97]Thomas Thüm, Don S. Batory, Christian Kästner:
Reasoning about edits to feature models. ICSE 2009: 254-264 - [c96]Martin Kuhlemann, Don S. Batory, Sven Apel:
Refactoring Feature Modules. ICSR 2009: 106-115 - [c95]Don S. Batory:
Stepwise Development of Streaming Software Architectures. JISBD 2009: 4 - [c94]Don S. Batory:
On the importance and challenges of FOSD. FOSD 2009: 1 - [c93]Benjamin Delaware, William R. Cook, Don S. Batory:
Fitting the pieces together: a machine-checked model of safe composition. ESEC/SIGSOFT FSE 2009: 243-252 - [c92]Christian Kästner, Sven Apel, Syed Saif ur Rahman, Marko Rosenmüller, Don S. Batory, Gunter Saake:
On the impact of the optional feature problem: analysis and case studies. SPLC 2009: 181-190 - [c91]Christian Kästner, Sven Apel, Salvador Trujillo, Martin Kuhlemann, Don S. Batory:
Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach. TOOLS (47) 2009: 175-194 - [c90]Don S. Batory:
Dimensions of Variability in Software Product Lines. VaMoS 2009: 7 - 2008
- [j37]Don S. Batory, Egon Börger:
Modularizing Theorems for Software Product Lines: The Jbook Case Study. J. Univers. Comput. Sci. 14(12): 2059-2082 (2008) - [c89]Chang Hwan Peter Kim, Krzysztof Czarnecki, Don S. Batory:
On-demand materialization of aspects for application development. SPLAT@AOSD 2008: 4:1-4:6 - [c88]Egon Börger, Don S. Batory:
Coupling Design and Verification in Software Product Lines. FoIKS 2008: 1-4 - [c87]Chang Hwan Peter Kim, Christian Kästner, Don S. Batory:
On the modularity of feature interactions. GPCE 2008: 23-34 - [c86]Don S. Batory:
Using modern mathematics as an FOSD modeling language. GPCE 2008: 35-44 - [c85]Sven Apel, Christian Kästner, Don S. Batory:
Program refactoring using functional aspects. GPCE 2008: 161-170 - [c84]Greg Freeman, Don S. Batory, R. Greg Lavender:
Lifting Transformational Models of Product Lines: A Case Study. ICMT@TOOLS 2008: 16-30 - [c83]Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory:
Testing Software Product Lines Using Incremental Test Generation. ISSRE 2008: 249-258 - [c82]Don S. Batory, Maider Azanza, João Saraiva:
The Objects and Arrows of Computational Design. MoDELS 2008: 1-20 - [c81]David Benavides, Antonio Ruiz Cortés, Don S. Batory, Patrick Heymans:
First International Workshop on Analysis of Software Product Lines (ASPL'08). SPLC 2008: 385 - [e4]Sven Apel, Don S. Batory, Goetz Graefe, Gunter Saake, O. Spynczyk:
Software Engineering for Tailor-made Data Management, 06.07. - 11.07.2008. Dagstuhl Seminar Proceedings 08281, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - [i2]Sven Apel, Don S. Batory, Goetz Graefe, Gunter Saake, Olaf Spinczyk:
08281 Abstracts Collection - Software Engineering for Trailor-made Data Management. Software Engineering for Tailor-made Data Management 2008 - [i1]Sven Apel, Don S. Batory, Goetz Graefe, Gunter Saake, Olaf Spinczyk:
08281 Executive Summary - Software Engineering for Tailor-made Data Management. Software Engineering for Tailor-made Data Management 2008 - 2007
- [j36]Don S. Batory, Oscar Díaz, Hartmut Ehrig, Claudia Ermel, Ulrike Prange, Gabriele Taentzer:
Model Transformations should be Functors. Bull. EATCS 92: 75-81 (2007) - [c80]Don S. Batory:
Program Refactoring, Program Synthesis, and Model-Driven Development. CC 2007: 156-171 - [c79]Christian Kästner, Martin Kuhlemann, Don S. Batory:
Automating Feature-Oriented Refactoring of Legacy Applications. WRT 2007: 62-63 - [c78]Sahil Thaker, Don S. Batory, David Kitchin, William R. Cook:
Safe composition of product lines. GPCE 2007: 95-104 - [c77]Salvador Trujillo, Don S. Batory, Oscar Díaz:
Feature Oriented Model Driven Development: A Case Study for Portlets. ICSE 2007: 44-53 - [c76]Don S. Batory:
A Modeling Language for Program Design and Synthesis. Lipari Summer School 2007: 39-58 - [c75]Don S. Batory:
From implementation to theory in product synthesis. POPL 2007: 135-136 - [c74]Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory:
A specification-based approach to testing software product lines. ESEC/SIGSOFT FSE 2007: 525-528 - [c73]Christian Kästner, Sven Apel, Don S. Batory:
A Case Study Implementing Features Using AspectJ. SPLC 2007: 223-232 - 2006
- [j35]Don S. Batory, David Benavides, Antonio Ruiz Cortés:
Automated analysis of feature models: challenges ahead. Commun. ACM 49(12): 45-47 (2006) - [j34]Don S. Batory:
Multilevel models in model-driven engineering, product lines, and metaprogramming. IBM Syst. J. 45(3): 527-540 (2006) - [c72]Sven Apel, Don S. Batory:
When to use features and aspects?: a case study. GPCE 2006: 59-68 - [c71]Salvador Trujillo, Don S. Batory, Oscar Díaz:
Feature refactoring a multi-representation program into a product line. GPCE 2006: 191-200 - [c70]Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump:
Roadmap for enhanced languages and methods to aid verification. GPCE 2006: 221-236 - [c69]Mark Grechanik, Dewayne E. Perry, Don S. Batory:
A Security Mechanism for Component-Based Systems. ICCBSS 2006: 53-62 - [c68]Jia Liu, Don S. Batory, Christian Lengauer:
Feature oriented refactoring of legacy applications. ICSE 2006: 112-121 - [c67]Roberto E. Lopez-Herrejon, Don S. Batory:
Modeling Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case Study. MoDELS (Workshops) 2006: 6-16 - [c66]Roberto E. Lopez-Herrejon, Don S. Batory, Christian Lengauer:
A disciplined approach to aspect composition. PEPM 2006: 68-77 - [c65]Don S. Batory:
Feature Modularity in Software Product Lines. SPLC 2006: 230 - 2005
- [c64]Mark Grechanik, Dewayne E. Perry, Don S. Batory:
Using AOP to Monitor and Administer Software for Grid Computing Environments. COMPSAC (1) 2005: 241-248 - [c63]Roberto E. Lopez-Herrejon, Don S. Batory, William R. Cook:
Evaluating Support for Features in Advanced Modularization Technologies. ECOOP 2005: 169-194 - [c62]Jia Liu, Don S. Batory, Srinivas Nedunuri:
Modeling Interactions in Feature Oriented Software Designs. FIW 2005: 178-197 - [c61]Don S. Batory:
A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite. GTTSE 2005: 3-35 - [c60]Edwin H. Jung, Chetan Kapoor, Don S. Batory:
Automatic code generation for actuator interfacing from a declarative specification. IROS 2005: 2839-2844 - [c59]Don S. Batory:
Feature Models, Grammars, and Propositional Formulas. SPLC 2005: 7-20 - 2004
- [j33]Don S. Batory, Jacob Neal Sarvela, Axel Rauschmayer:
Scaling Step-Wise Refinement. IEEE Trans. Software Eng. 30(6): 355-371 (2004) - [c58]Don S. Batory:
A Science of Software Design. AMAST 2004: 3-18 - [c57]Jia Liu, Don S. Batory:
Automatic Remodularization and Optimized Synthesis of Product-Families. GPCE 2004: 379-395 - [c56]Mark Grechanik, Don S. Batory, Dewayne E. Perry:
Design of Large-Scale Polylingual Systems. ICSE 2004: 357-366 - [c55]Don S. Batory:
Feature-Oriented Programming and the AHEAD Tool Suite. ICSE 2004: 702-703 - [c54]Don S. Batory:
Program Comprehension in Generative Programming: A History of Grand Challenges. IWPC 2004: 2-13 - [e3]Christian Lengauer, Don S. Batory, Charles Consel, Martin Odersky:
Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers. Lecture Notes in Computer Science 3016, Springer 2004, ISBN 3-540-22119-0 [contents] - 2003
- [c53]Don S. Batory:
The Road to Utopia: A Future for Generative Programming. Domain-Specific Program Generation 2003: 1-18 - [c52]Don S. Batory, Jacob Neal Sarvela, Axel Rauschmayer:
Scaling Step-Wise Refinement. ICSE 2003: 187-197 - [c51]Premkumar T. Devanbu, Robert Balzer, Don S. Batory, Gregor Kiczales, John Launchbury, David Lorge Parnas, Peri L. Tarr:
Modularity in the New Millenium: A Panel Summary. ICSE 2003: 723-725 - [c50]Don S. Batory:
A Tutorial on Feature Oriented Programming and Product-Lines. ICSE 2003: 753-754 - [c49]Don S. Batory, Jia Liu, Jacob Neal Sarvela:
Refinements and multi-dimensional separation of concerns. ESEC / SIGSOFT FSE 2003: 48-57 - 2002
- [j32]Don S. Batory, Clay Johnson, Bob MacDonald, Dale von Heeder:
Achieving extensibility through product-lines and domain-specific languages: a case study. ACM Trans. Softw. Eng. Methodol. 11(2): 191-214 (2002) - [j31]Yannis Smaragdakis, Don S. Batory:
Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs. ACM Trans. Softw. Eng. Methodol. 11(2): 215-255 (2002) - [c48]Mark Grechanik, Don S. Batory, Dewayne E. Perry:
Integrating and Reusing GUI-Driven Applications. ICSR 2002: 1-16 - [c47]Mark Grechanik, Dewayne E. Perry, Don S. Batory:
An approach to evolving database dependent systems. IWPSE 2002: 113-116 - [c46]Don S. Batory, Roberto E. Lopez-Herrejon, Jean-Philippe Martin:
Generating Product-Lines of Product-Families. ASE 2002: 81-92 - [e2]Don S. Batory, Charles Consel, Walid Taha:
Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings. Lecture Notes in Computer Science 2487, Springer 2002, ISBN 3-540-44284-7 [contents] - 2001
- [j30]Lance Tokuda, Don S. Batory:
Evolving Object-Oriented Designs with Refactorings. Autom. Softw. Eng. 8(1): 89-120 (2001) - [c45]Roberto E. Lopez-Herrejon, Don S. Batory:
A Standard Problem for Evaluating Product-Line Methodologies. GCSE 2001: 10-24 - [c44]Gregory Butler, Don S. Batory, Krzysztof Czarnecki, Ulrich W. Eisenecker:
Generative Techniques for Product Lines. ICSE 2001: 760-761 - 2000
- [j29]Don S. Batory:
Jakarta Tool Suite (JTS). ACM SIGSOFT Softw. Eng. Notes 25(1): 103-104 (2000) - [j28]Don S. Batory, Gang Chen, Eric Robertson, Tao Wang:
Design Wizards and Visual Programming Environments for GenVoca Generators. IEEE Trans. Software Eng. 26(5): 441-452 (2000) - [c43]Yannis Smaragdakis, Don S. Batory:
Mixin-Based Programming in C++. GCSE 2000: 163-177 - [c42]Don S. Batory:
Product-line architectures, aspects, and reuse (tutorial session). ICSE 2000: 832 - [c41]Don S. Batory, Clay Johnson, Bob MacDonald, Dale von Heeder:
Achieving Extensibility Through Product-Lines and Domain-Specific Languages: A Case Study. ICSR 2000: 117-136 - [c40]Don S. Batory:
Refinements and Product Line Architectures. SAIG 2000: 3-4 - [c39]Don S. Batory, Richard Cardone, Yannis Smaragdakis:
Object-oriented frameworks and product lines. SPLC 2000: 227-248
1990 – 1999
- 1999
- [j27]Jeffrey S. Poulin, Don S. Batory, Larry Latour:
9th workshop on institutionalizing software reuse (WISR '9) workshop summary. ACM SIGSOFT Softw. Eng. Notes 24(3): 29-31 (1999) - [c38]Lance Tokuda, Don S. Batory:
Automating Three Modes of Evolution for Object-Oriented Software Architectures. COOTS 1999: 189-202 - [c37]Yannis Smaragdakis, Don S. Batory:
Building Product-Lines with Mixin-Layers. ECOOP Workshops 1999: 197 - [c36]Yannis Smaragdakis, Don S. Batory:
Scoping Constructs for Software Generators. GCSE 1999: 65-78 - [c35]Marcelo Sant'Anna, Julio César Sampaio do Prado Leite, Ira D. Baxter, David S. Wile, Ted J. Biggerstaff, Don S. Batory, Premkumar T. Devanbu, Elizabeth Burd:
International Workshop on Software Transformation Systems (STS'99). ICSE 1999: 701-702 - [c34]Lance Tokuda, Don S. Batory:
Evolving Object-Oriented Designs with Refactorings. ASE 1999: 174- - [c33]Ulrich Frank, Don S. Batory, Jean Bézivin, Brian Henderson-Sellers, Houman Younessi:
High level Modelling Languages, Adaptable Process Models and Software Generation: Drivers for Quality and Productivity. TOOLS (30) 1999: 563-570 - [c32]Don S. Batory, Yannis Smaragdakis, Lou Coglianese:
Architectural Styles as Adaptors. WICSA 1999: 203-224 - 1998
- [c31]Yannis Smaragdakis, Don S. Batory:
Implementing Layered Designs with Mixin Layers. ECOOP 1998: 550-570 - [c30]Yannis Smaragdakis, Don S. Batory:
Implementing reusable object-oriented components. ICSR 1998: 36-45 - [c29]Don S. Batory, Bernie J. Lofaso, Yannis Smaragdakis:
JTS: tools for implementing domain-specific languages. ICSR 1998: 143-153 - [c28]Don S. Batory, Gang Chen, Eric Robertson, Tao Wang:
Design wizards and visual programming environments for generators. ICSR 1998: 255-267 - [c27]Don S. Batory:
Domain analysis for GenVoca generators. ICSR 1998: 350-351 - 1997
- [j26]Don S. Batory, Jeff Thomas:
P2: A Lightweight DBMS Generator. J. Intell. Inf. Syst. 9(2): 107-123 (1997) - [j25]Don S. Batory, Bart J. Geraci:
Composition Validation and Subjectivity in GenVoca Generators. IEEE Trans. Software Eng. 23(2): 67-84 (1997) - [c26]Yannis Smaragdakis, Don S. Batory:
DiSTiL: A Transformation Library for Data Structures. DSL 1997 - [c25]Guillermo Jiménez-Pérez, Don S. Batory:
Memory Simulators and Software Generators. SSR 1997: 136-145 - [c24]E. E. Villarreal, Don S. Batory:
Rosetta: A Generator of Data Language Compilers. SSR 1997: 146-156 - 1996
- [c23]Don S. Batory, Bart J. Geraci:
Validating component compositions in software system generators. ICSR 1996: 72-81 - [c22]Don S. Batory:
Subjectivity and GenVoca generators. ICSR 1996: 166-175 - 1995
- [c21]Dinesh Das, Don S. Batory:
Praire: A Rule Specification Framework for Query Optimizers. ICDE 1995: 201-210 - [c20]Sanjiv Gossain, Don S. Batory, Hassan Gomaa, Mitchell D. Lubars, Christopher W. Pidgeon, Ed Seidewitz:
Objects and Domain Engineering - Panel Session. OOPSLA 1995: 333-336 - [c19]Ben Whittle, Don S. Batory, Reidar Conradi, J. Moore, Will Tracz, Bruce W. Weide:
Panel Languages and Models for Reusable Components. SSR 1995: 19-20 - [c18]Don S. Batory, Lou Coglianese, Mark Goodwin, Steve Shafer:
Creating Reference Architectures: An Example from Avionics. SSR 1995: 27-37 - 1994
- [j24]Richard T. Snodgrass, Ilsoo Ahn, Gad Ariav, Don S. Batory, James Clifford, Curtis E. Dyreson, Ramez Elmasri, Fabio Grandi, Christian S. Jensen, Wolfgang Käfer, Nick Kline, Krishna G. Kulkarni, T. Y. Cliff Leung, Nikos A. Lorentzos, John F. Roddick, Arie Segev, Michael D. Soo, Suryanarayana M. Sripada:
TSQL2 Language Specification. SIGMOD Rec. 23(1): 65-86 (1994) - [j23]Richard T. Snodgrass, Ilsoo Ahn, Gad Ariav, Don S. Batory, James Clifford, Curtis E. Dyreson, Ramez Elmasri, Fabio Grandi, Christian S. Jensen, Wolfgang Käfer, Nick Kline, Krishna G. Kulkarni, T. Y. Cliff Leung, Nikos A. Lorentzos, John F. Roddick, Arie Segev, Michael D. Soo, Suryanarayana M. Sripada:
A TSQL2 Tutorial. SIGMOD Rec. 23(3): 27-33 (1994) - [j22]Don S. Batory, Vivek Singhal, Jeff Thomas, Sankar Dasari, Bart J. Geraci, Marty Sirkin:
The GenVoca Model of Software-System Generators. IEEE Softw. 11(5): 89-94 (1994) - [c17]Don S. Batory, Jeff Thomas, Marty Sirkin:
Reengineering a Complex Application Using a Scalable Data Structure Compiler. SIGSOFT FSE 1994: 111-120 - 1993
- [j21]Don S. Batory, Devang Vasavada:
Software Components for Object-Oriented Database Systems. Int. J. Softw. Eng. Knowl. Eng. 3(2): 165-192 (1993) - [c16]Marty Sirkin, Don S. Batory, Vivek Singhal:
Software Components in a Data Structure Precompiler. ICSE 1993: 437-446 - [c15]Don S. Batory, Vivek Singhal, Marty Sirkin, Jeff Thomas:
Scalable Software Libraries. SIGSOFT FSE 1993: 191-199 - 1992
- [j20]Don S. Batory, Vivek Singhal, Marty Sirkin:
Implementing a Domain Model for Data Structures. Int. J. Softw. Eng. Knowl. Eng. 2(3): 375-402 (1992) - [j19]Don S. Batory, Sean W. O'Malley:
The Design and Implementation of Hierarchical Software Systems with Reusable Components. ACM Trans. Softw. Eng. Methodol. 1(4): 355-398 (1992) - 1990
- [j18]Michael V. Mannino, Injun Choi, Don S. Batory:
The Object-Oriented Functional Data Language. IEEE Trans. Software Eng. 16(11): 1258-1272 (1990) - [c14]Don S. Batory:
The software engineering of extensible database systems. COMPSAC 1990
1980 – 1989
- 1989
- [j17]Don S. Batory:
On the reusability of query optimization algorithms. Inf. Sci. 49(1-3): 177-202 (1989) - [j16]Don S. Batory, Philip A. Bernstein, Umeshwar Dayal, Laura M. Haas, Theo Härder, Won Kim, David Maier, Gerard Salton, Gio Wiederhold:
ACM TODS Publication Policy. SIGMOD Rec. 18(1): 31 (1989) - [c13]Don S. Batory, J. R. Barnett, J. Roy, Brian C. Twichell, Jorge F. Garza:
Construction of file management systems from software components. COMPSAC 1989: 358-364 - [c12]Michael V. Mannino, Injun Choi, Don S. Batory:
An Overview of the Object-Oriented Functional Data Language. ICDE 1989: 18-26 - 1988
- [j15]Don S. Batory, T. Y. Leung, T. E. Wise:
Implementation Concepts for an Extensible Data Model and Data Language. ACM Trans. Database Syst. 13(3): 231-262 (1988) - [j14]Don S. Batory, J. R. Barnett, Jorge F. Garza, K. P. Smith, K. Tsukuda, Brian C. Twichell, T. E. Wise:
GENESIS: An Extensible Database Management System. IEEE Trans. Software Eng. 14(11): 1711-1730 (1988) - [c11]Don S. Batory:
Concepts for a Database System Compiler. PODS 1988: 184-192 - 1987
- [j13]Don S. Batory:
Principles of Database Management System Extensibility. IEEE Data Eng. Bull. 10(2): 40-46 (1987) - [j12]Mark A. Roth, Henry F. Korth, Don S. Batory:
SQL/NF: a query language for ¬1 NF relational databases. Inf. Syst. 12(1): 99-114 (1987) - [j11]Stanley Y. W. Su, Jozo J. Dujmovic, Don S. Batory, Shamkant B. Navathe, Richard Elnicki:
A Cost-Benefit Decision Model: Analysis, Comparison, and Selection of Data Management Systems. ACM Trans. Database Syst. 12(3): 472-520 (1987) - 1986
- [j10]Don S. Batory:
Extensible Cost Models and Query Optimization in GENESIS. IEEE Database Eng. Bull. 9(4): 30-36 (1986) - [c10]Don S. Batory:
GENESIS: A Project to Develop an Extensible Database Management System. OODBS 1986: 207-208 - [c9]Don S. Batory, Michael V. Mannino:
Panel on Extensible Database Systems. SIGMOD Conference 1986: 187-190 - 1985
- [j9]Don S. Batory, Won Kim:
Modeling Concepts for VLSI CAD Objects. ACM Trans. Database Syst. 10(3): 322-346 (1985) - [j8]Don S. Batory:
Modeling the Storage Architectures of Commercial Database Systems. ACM Trans. Database Syst. 10(4): 463-528 (1985) - [c8]Won Kim, Don S. Batory:
A Model and Storage Technique for Versions of VLSI CAD Objects. FODO 1985: 427-439 - [c7]Don S. Batory, Won Kim:
Modeling Concepts for VLSI CAD Objects (Abstract). SIGMOD Conference 1985: 446 - [p1]Don S. Batory:
Progress Toward Automating The Development of Database System Software. Query Processing in Database Systems 1985: 261-278 - [e1]Won Kim, David S. Reiner, Don S. Batory:
Query Processing in Database Systems. Springer 1985, ISBN 3-540-13831-5 [contents] - 1984
- [j7]Don S. Batory:
Letter from the Editor. IEEE Database Eng. Bull. 7(1): 1 (1984) - [j6]Don S. Batory:
Physical Storage and Implementation Issues. IEEE Database Eng. Bull. 7(1): 49-52 (1984) - [c6]Don S. Batory:
Conceptual-To-Internal Mappings in Commercial Database Systems. PODS 1984: 70-78 - [c5]Don S. Batory, Alejandro P. Buchmann:
Molecular Objects, Abstract Data Types, and Data Models: A Framework. VLDB 1984: 172-184 - 1983
- [c4]Stanley Y. W. Su, Shamkant B. Navathe, Don S. Batory:
Logical and Physical Modeling of Statistical Scientific Databases. SSDBM 1983: 251-263 - [c3]Don S. Batory:
Index Coding: A Compression Technique for Large Statistical Databases. SSDBM 1983: 306-314 - 1982
- [j5]Don S. Batory:
Letter from the Editor. IEEE Database Eng. Bull. 5(1): 1 (1982) - [j4]Don S. Batory, Stanley Y. W. Su, Shamkant B. Navathe:
Physical Database Research at the University of Florida. IEEE Database Eng. Bull. 5(1): 5-8 (1982) - [j3]Don S. Batory:
Optimal File Designs and Reorganization Points. ACM Trans. Database Syst. 7(1): 60-81 (1982) - [j2]Don S. Batory, C. C. Gotlieb:
A Unifying Model of Physical Databases. ACM Trans. Database Syst. 7(4): 509-539 (1982) - 1981
- [c2]Don S. Batory:
B+ Trees and Indexed Sequential Files: A Performance Comparison. SIGMOD Conference 1981: 30-39 - 1980
- [b1]Don S. Batory:
An analytical model of physical databases. University of Toronto, Canada, 1980
1970 – 1979
- 1979
- [j1]Don S. Batory:
On Searching Transposed Files. ACM Trans. Database Syst. 4(4): 531-544 (1979) - 1978
- [c1]Don S. Batory:
On Searching Transposed Files (Abstract). VLDB 1978: 488
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-06 21:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint