 | 2009 |
|---|
| 125 |       | 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 |
| 124 | | Benjamin Delaware,
William R. Cook,
Don S. Batory:
A machine-checked model of safe composition.
FOAL 2009: 31-35 |
| 123 | | Don S. Batory:
On the importance and challenges of FOSD.
FOSD 2009: 1 |
| 122 | | Martin Kuhlemann,
Don S. Batory,
Christian Kästner:
Safe composition of non-monotonic features.
GPCE 2009: 177-186 |
| 121 | | Thomas Thüm,
Don S. Batory,
Christian Kästner:
Reasoning about edits to feature models.
ICSE 2009: 254-264 |
| 120 | | Martin Kuhlemann,
Don S. Batory,
Sven Apel:
Refactoring Feature Modules.
ICSR 2009: 106-115 |
| 119 |  | Don S. Batory:
Stepwise Development of Streaming Software Architectures.
JISBD 2009: 4 |
| 118 | | 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 |
| 117 | | Don S. Batory:
Dimensions of Variability in Software Product Lines.
VaMoS 2009: 7 |
| 2008 |
|---|
| 116 | | Egon Börger,
Don S. Batory:
Coupling Design and Verification in Software Product Lines.
FoIKS 2008: 1-4 |
| 115 | | Sven Apel,
Christian Kästner,
Don S. Batory:
Program refactoring using functional aspects.
GPCE 2008: 161-170 |
| 114 | | Chang Hwan Peter Kim,
Christian Kästner,
Don S. Batory:
On the modularity of feature interactions.
GPCE 2008: 23-34 |
| 113 | | Don S. Batory:
Using modern mathematics as an FOSD modeling language.
GPCE 2008: 35-44 |
| 112 | | Greg Freeman,
Don S. Batory,
R. Greg Lavender:
Lifting Transformational Models of Product Lines: A Case Study.
ICMT 2008: 16-30 |
| 111 | | Engin Uzuncaova,
Daniel Garcia,
Sarfraz Khurshid,
Don S. Batory:
Testing Software Product Lines Using Incremental Test Generation.
ISSRE 2008: 249-258 |
| 110 | | Don S. Batory,
Maider Azanza,
João Saraiva:
The Objects and Arrows of Computational Design.
MoDELS 2008: 1-20 |
| 109 | | 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 |
| 108 | | Don S. Batory,
Egon Börger:
Modularizing Theorems for Software Product Lines: The Jbook Case Study.
J. UCS 14(12): 2059-2082 (2008) |
| 2007 |
|---|
| 107 | | Don S. Batory:
Program Refactoring, Program Synthesis, and Model-Driven Development.
CC 2007: 156-171 |
| 106 | | Engin Uzuncaova,
Daniel Garcia,
Sarfraz Khurshid,
Don S. Batory:
A specification-based approach to testing software product lines.
ESEC/SIGSOFT FSE 2007: 525-528 |
| 105 | | Engin Uzuncaova,
Daniel Garcia,
Sarfraz Khurshid,
Don S. Batory:
A specification-based approach to testing software product lines.
ESEC/SIGSOFT FSE (Companion) 2007: 525-528 |
| 104 | | Sahil Thaker,
Don S. Batory,
David Kitchin,
William R. Cook:
Safe composition of product lines.
GPCE 2007: 95-104 |
| 103 | | Salvador Trujillo,
Don S. Batory,
Oscar Díaz:
Feature Oriented Model Driven Development: A Case Study for Portlets.
ICSE 2007: 44-53 |
| 102 | | Don S. Batory:
A Modeling Language for Program Design and Synthesis.
Lipari Summer School 2007: 39-58 |
| 101 | | Don S. Batory:
From implementation to theory in product synthesis.
POPL 2007: 135-136 |
| 100 | | Christian Kästner,
Sven Apel,
Don S. Batory:
A Case Study Implementing Features Using AspectJ.
SPLC 2007: 223-232 |
| 2006 |
|---|
| 99 | | Salvador Trujillo,
Don S. Batory,
Oscar Díaz:
Feature refactoring a multi-representation program into a product line.
GPCE 2006: 191-200 |
| 98 | | 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 |
| 97 | | Sven Apel,
Don S. Batory:
When to use features and aspects?: a case study.
GPCE 2006: 59-68 |
| 96 | | Don S. Batory:
A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite.
GTTSE 2006: 3-35 |
| 95 | | Mark Grechanik,
Dewayne E. Perry,
Don S. Batory:
A Security Mechanism for Component-Based Systems.
ICCBSS 2006: 53-62 |
| 94 | | Jia Liu,
Don S. Batory,
Christian Lengauer:
Feature oriented refactoring of legacy applications.
ICSE 2006: 112-121 |
| 93 | | 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 |
| 92 | | Roberto E. Lopez-Herrejon,
Don S. Batory,
Christian Lengauer:
A disciplined approach to aspect composition.
PEPM 2006: 68-77 |
| 91 | | Don S. Batory:
Feature Modularity in Software Product Lines.
SPLC 2006: 230 |
| 90 | | Don S. Batory,
David Benavides,
Antonio Ruiz Cortés:
Automated analysis of feature models: challenges ahead.
Commun. ACM 49(12): 45-47 (2006) |
| 89 | | Don S. Batory:
Multilevel models in model-driven engineering, product lines, and metaprogramming.
IBM Systems Journal 45(3): 527-540 (2006) |
| 2005 |
|---|
| 88 | | Mark Grechanik,
Dewayne E. Perry,
Don S. Batory:
Using AOP to Monitor and Administer Software for Grid Computing Environments.
COMPSAC (1) 2005: 241-248 |
| 87 | | Roberto E. Lopez-Herrejon,
Don S. Batory,
William R. Cook:
Evaluating Support for Features in Advanced Modularization Technologies.
ECOOP 2005: 169-194 |
| 86 | | Jia Liu,
Don S. Batory,
Srinivas Nedunuri:
Modeling Interactions in Feature Oriented Software Designs.
FIW 2005: 178-197 |
| 85 | | Don S. Batory:
Feature Models, Grammars, and Propositional Formulas.
SPLC 2005: 7-20 |
| 2004 |
|---|
| 84 | | Christian Lengauer,
Don S. Batory,
Charles Consel,
Martin Odersky:
Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers
Springer 2004 |
| 83 | | Don S. Batory:
A Science of Software Design.
AMAST 2004: 3-18 |
| 82 | | Jia Liu,
Don S. Batory:
Automatic Remodularization and Optimized Synthesis of Product-Families.
GPCE 2004: 379-395 |
| 81 | | Mark Grechanik,
Don S. Batory,
Dewayne E. Perry:
Design of Large-Scale Polylingual Systems.
ICSE 2004: 357-366 |
| 80 | | Don S. Batory:
Feature-Oriented Programming and the AHEAD Tool Suite.
ICSE 2004: 702-703 |
| 79 | | Don S. Batory:
Program Comprehension in Generative Programming: A History of Grand Challenges.
IWPC 2004: 2-13 |
| 78 | | Don S. Batory,
Jacob Neal Sarvela,
Axel Rauschmayer:
Scaling Step-Wise Refinement.
IEEE Trans. Software Eng. 30(6): 355-371 (2004) |
| 2003 |
|---|
| 77 | | Don S. Batory:
The Road to Utopia: A Future for Generative Programming.
Domain-Specific Program Generation 2003: 1-18 |
| 76 | | Don S. Batory,
Jia Liu,
Jacob Neal Sarvela:
Refinements and multi-dimensional separation of concerns.
ESEC / SIGSOFT FSE 2003: 48-57 |
| 75 | | Don S. Batory,
Jacob Neal Sarvela,
Axel Rauschmayer:
Scaling Step-Wise Refinement.
ICSE 2003: 187-197 |
| 74 | | 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 |
| 73 | | Don S. Batory:
A Tutorial on Feature Oriented Programming and Product-Lines.
ICSE 2003: 753-754 |
| 2002 |
|---|
| 72 | | 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
Springer 2002 |
| 71 | | Don S. Batory,
Roberto E. Lopez-Herrejon,
Jean-Philippe Martin:
Generating Product-Lines of Product-Families.
ASE 2002: 81-92 |
| 70 | | Mark Grechanik,
Don S. Batory,
Dewayne E. Perry:
Integrating and Reusing GUI-Driven Applications.
ICSR 2002: 1-16 |
| 69 | | 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) |
| 68 | | 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) |
| 2001 |
|---|
| 67 | | Roberto E. Lopez-Herrejon,
Don S. Batory:
A Standard Problem for Evaluating Product-Line Methodologies.
GCSE 2001: 10-24 |
| 66 | | Gregory Butler,
Don S. Batory,
Krzysztof Czarnecki,
Ulrich W. Eisenecker:
Generative Techniques for Product Lines.
ICSE 2001: 760-761 |
| 65 | | Lance Tokuda,
Don S. Batory:
Evolving Object-Oriented Designs with Refactorings.
Autom. Softw. Eng. 8(1): 89-120 (2001) |
| 2000 |
|---|
| 64 | | Yannis Smaragdakis,
Don S. Batory:
Mixin-Based Programming in C++.
GCSE 2000: 163-177 |
| 63 | | Don S. Batory:
Product-line architectures, aspects, and reuse (tutorial session).
ICSE 2000: 832 |
| 62 | | 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 |
| 61 | | Don S. Batory:
Refinements and Product Line Architectures.
SAIG 2000: 3-4 |
| 60 | | Don S. Batory,
Richard Cardone,
Yannis Smaragdakis:
Object-oriented frameworks and product lines.
SPLC 2000: 227-248 |
| 59 | | 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) |
| 1999 |
|---|
| 58 | | Lance Tokuda,
Don S. Batory:
Evolving Object-Oriented Designs with Refactorings.
ASE 1999: 174- |
| 57 | | Lance Tokuda,
Don S. Batory:
Automating Three Modes of Evolution for Object-Oriented Software Architectures.
COOTS 1999: 189-202 |
| 56 | | Yannis Smaragdakis,
Don S. Batory:
Building Product-Lines with Mixin-Layers.
ECOOP Workshops 1999: 197 |
| 55 | | Yannis Smaragdakis,
Don S. Batory:
Scoping Constructs for Software Generators.
GCSE 1999: 65-78 |
| 54 | | Marcelo Sant'Anna,
Julio Cesar 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 |
| 53 | | 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 |
| 52 | | Don S. Batory,
Yannis Smaragdakis,
Lou Coglianese:
Architectural Styles as Adaptors.
WICSA 1999: 203-224 |
| 1998 |
|---|
| 51 | | Yannis Smaragdakis,
Don S. Batory:
Implementing Layered Designs with Mixin Layers.
ECOOP 1998: 550-570 |
| 1997 |
|---|
| 50 | | Yannis Smaragdakis,
Don S. Batory:
DiSTiL: A Transformation Library for Data Structures.
DSL 1997 |
| 49 | | Guillermo Jiménez-Pérez,
Don S. Batory:
Memory Simulators and Software Generators.
SSR 1997: 136-145 |
| 48 | | E. E. Villarreal,
Don S. Batory:
Rosetta: A Generator of Data Language Compilers.
SSR 1997: 146-156 |
| 47 | | Don S. Batory,
Bart J. Geraci:
Composition Validation and Subjectivity in GenVoca Generators.
IEEE Trans. Software Eng. 23(2): 67-84 (1997) |
| 46 | | Don S. Batory,
Jeff Thomas:
P2: A Lightweight DBMS Generator.
J. Intell. Inf. Syst. 9(2): 107-123 (1997) |
| 1995 |
|---|
| 45 | | Dinesh Das,
Don S. Batory:
Praire: A Rule Specification Framework for Query Optimizers.
ICDE 1995: 201-210 |
| 44 | | Sanjiv Gossain,
Don S. Batory,
Hassan Gomaa,
Mitchell D. Lubars,
Christopher Pidgeon,
Ed Seidewitz:
Objects and Domain Engineering - Panel Session.
OOPSLA 1995: 333-336 |
| 43 | | 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 |
| 42 | | Don S. Batory,
Lou Coglianese,
Mark Goodwin,
Steve Shafer:
Creating Reference Architectures: An Example from Avionics.
SSR 1995: 27-37 |
| 1994 |
|---|
| 41 | | Don S. Batory,
Jeff Thomas,
Marty Sirkin:
Reengineering a Complex Application Using a Scalable Data Structure Compiler.
SIGSOFT FSE 1994: 111-120 |
| 40 | | Don S. Batory,
Vivek Singhal,
Jeff Thomas,
Sankar Dasari,
Bart J. Geraci,
Marty Sirkin:
The GenVoca Model of Software-System Generators.
IEEE Software 11(5): 89-94 (1994) |
| 39 | | 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 Record 23(1): 65-86 (1994) |
| 38 | | 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 Record 23(3): 27-33 (1994) |
| 1993 |
|---|
| 37 | | Marty Sirkin,
Don S. Batory,
Vivek Singhal:
Software Components in a Data Structure Precompiler.
ICSE 1993: 437-446 |
| 36 | | Don S. Batory,
Vivek Singhal,
Marty Sirkin,
Jeff Thomas:
Scalable Software Libraries.
SIGSOFT FSE 1993: 191-199 |
| 35 | | Don S. Batory,
Devang Vasavada:
Software Components for Object-Oriented Database Systems.
International Journal of Software Engineering and Knowledge Engineering 3(2): 165-192 (1993) |
| 1992 |
|---|
| 34 | | 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) |
| 33 | | Don S. Batory,
Vivek Singhal,
Marty Sirkin:
Implementing a Domain Model for Data Structures.
International Journal of Software Engineering and Knowledge Engineering 2(3): 375-402 (1992) |
| 1990 |
|---|
| 32 | | Michael V. Mannino,
Injun Choi,
Don S. Batory:
The Object-Oriented Functional Data Language.
IEEE Trans. Software Eng. 16(11): 1258-1272 (1990) |
| 1989 |
|---|
| 31 | | Michael V. Mannino,
Injun Choi,
Don S. Batory:
An Overview of the Object-Oriented Functional Data Language.
ICDE 1989: 18-26 |
| 30 | | Don S. Batory:
On the reusability of query optimization algorithms.
Inf. Sci. 49(1-3): 177-202 (1989) |
| 29 | | 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 Record 18(1): 31 (1989) |
| 1988 |
|---|
| 28 | | Don S. Batory:
Concepts for a Database System Compiler.
PODS 1988: 184-192 |
| 27 | | 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) |
| 26 | | Don S. Batory,
J. R. Barnett,
J. F. Garza,
K. P. Smith,
K. Tsukuda,
B. C. Twichell,
T. E. Wise:
GENESIS: An Extensible Database Management System.
IEEE Trans. Software Eng. 14(11): 1711-1730 (1988) |
| 1987 |
|---|
| 25 | | 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) |
| 24 | | Don S. Batory:
Principles of Database Management System Extensibility.
IEEE Data Eng. Bull. 10(2): 40-46 (1987) |
| 23 | | 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) |
| 1986 |
|---|
| 22 | | Don S. Batory:
GENESIS: A Project to Develop an Extensible Database Management System.
OODBS 1986: 207-208 |
| 21 | | Don S. Batory,
Michael V. Mannino:
Panel on Extensible Database Systems.
SIGMOD Conference 1986: 187-190 |
| 20 | | Don S. Batory:
Extensible Cost Models and Query Optimization in GENESIS.
IEEE Database Eng. Bull. 9(4): 30-36 (1986) |
| 1985 |
|---|
| 19 | | Won Kim,
David S. Reiner,
Don S. Batory:
Query Processing in Database Systems
Springer 1985 |
| 18 | | Won Kim,
Don S. Batory:
A Model and Storage Technique for Versions of VLSI CAD Objects.
FODO 1985: 427-439 |
| 17 | | Don S. Batory,
Won Kim:
Modeling Concepts for VLSI CAD Objects (Abstract).
SIGMOD Conference 1985: 446 |
| 16 | | Don S. Batory:
Progress Toward Automating The Development of Database System Software.
Query Processing in Database Systems 1985: 261-278 |
| 15 | | Don S. Batory,
Won Kim:
Modeling Concepts for VLSI CAD Objects.
ACM Trans. Database Syst. 10(3): 322-346 (1985) |
| 14 | | Don S. Batory:
Modeling the Storage Architectures of Commercial Database Systems.
ACM Trans. Database Syst. 10(4): 463-528 (1985) |
| 1984 |
|---|
| 13 | | Don S. Batory:
Conceptual-To-Internal Mappings in Commercial Database Systems.
PODS 1984: 70-78 |
| 12 | | Don S. Batory,
Alejandro P. Buchmann:
Molecular Objects, Abstract Data Types, and Data Models: A Framework.
VLDB 1984: 172-184 |
| 11 | | Don S. Batory:
Letter from the Editor.
IEEE Database Eng. Bull. 7(1): 1 (1984) |
| 10 | | Don S. Batory:
Physical Storage and Implementation Issues.
IEEE Database Eng. Bull. 7(1): 49-52 (1984) |
| 1983 |
|---|
| 9 | | Stanley Y. W. Su,
Shamkant B. Navathe,
Don S. Batory:
Logical and Physical Modeling of Statistical Scientific Databases.
SSDBM 1983: 251-263 |
| 8 | | Don S. Batory:
Index Coding: A Compression Technique for Large Statistical Databases.
SSDBM 1983: 306-314 |
| 1982 |
|---|
| 7 | | Don S. Batory:
Optimal File Designs and Reorganization Points.
ACM Trans. Database Syst. 7(1): 60-81 (1982) |
| 6 | | Don S. Batory,
C. C. Gotlieb:
A Unifying Model of Physical Databases.
ACM Trans. Database Syst. 7(4): 509-539 (1982) |
| 5 | | Don S. Batory:
Letter from the Editor.
IEEE Database Eng. Bull. 5(1): 1 (1982) |
| 4 | | 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) |
| 1981 |
|---|
| 3 | | Don S. Batory:
B+ Trees and Indexed Sequential Files: A Performance Comparison.
SIGMOD Conference 1981: 30-39 |
| 1979 |
|---|
| 2 | | Don S. Batory:
On Searching Transposed Files.
ACM Trans. Database Syst. 4(4): 531-544 (1979) |
| 1978 |
|---|
| 1 | | Don S. Batory:
On Searching Transposed Files (Abstract).
VLDB 1978: 488 |
