| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Bryan Marker, Andy Terrel, Jack Poulson, Don S. Batory, Robert A. van de Geijn |
Mechanizing the expert dense linear algebra developer.  |
PPOPP  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid |
Reducing combinatorics in testing product lines. |
AOSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Don S. Batory, Peter Höfner, Jongwook Kim |
Feature interactions, products, and composition. |
GPCE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Don S. Batory |
Towards Verification of Product Lines. |
ITP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Delaware, William R. Cook, Don S. Batory |
Product lines of theorems. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Danny Dig, Don S. Batory |
Fourth workshop on refactoring tools: (WRT 2011). |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Freeman, Don S. Batory, R. Greg Lavender, Jacob Neal Sarvela |
Lifting transformational models of product lines: a case study. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Engin Uzuncaova, Sarfraz Khurshid, Don S. Batory |
Incremental Test Generation for Software Product Lines. |
IEEE Trans. Software Eng. |
2010 |
DBLP DOI BibTeX RDF |
software engineering, testing and debugging, Software/program verification |
| 1 | Chang Hwan Peter Kim, Eric Bodden, Don S. Batory, Sarfraz Khurshid |
Reducing Configurations to Monitor in a Software Product Line. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid |
Eliminating products to test in a software product line. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Apel, Don S. Batory, Krzysztof Czarnecki, Florian Heidenreich, Christian Kästner, Oscar Nierstrasz (eds.) |
Proceedings of the Second International Workshop on Feature-Oriented Software Development, FOSD 2010, Eindhoven, Netherlands, October 10, 2010 |
FOSD |
2010 |
DBLP BibTeX RDF |
|
| 1 | Maider Azanza, Don S. Batory, Oscar Díaz, Salvador Trujillo |
Domain-Specific Composition of Model Deltas. |
ICMT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Taylor L. Riché, Harrick M. Vin, Don S. Batory |
Transformation-Based Parallelization of Request-Processing Applications. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Don S. Batory |
Thoughts on automated software design and synthesis. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Benavides, Don S. Batory, Paul Grünbacher (eds.) |
Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27-29, 2010. Proceedings |
VaMoS |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kuhlemann, Don S. Batory, Christian Kästner |
Safe composition of non-monotonic features. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
safe composition, refactoring, feature-oriented programming, AHEAD |
| 1 | Benjamin Delaware, William R. Cook, Don S. Batory |
A machine-checked model of safe composition. |
FOAL |
2009 |
DBLP DOI BibTeX RDF |
feature model, product lines, type safety |
| 1 | Don S. Batory |
On the importance and challenges of FOSD. |
FOSD |
2009 |
DBLP DOI BibTeX RDF |
science of automated design, verification, testing, features, feature interactions, feature-oriented software development |
| 1 | Martin Kuhlemann, Don S. Batory, Sven Apel |
Refactoring Feature Modules. |
ICSR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Thüm, Don S. Batory, Christian Kästner |
Reasoning about edits to feature models. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Delaware, William R. Cook, Don S. Batory |
Fitting the pieces together: a machine-checked model of safe composition. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
feature models, product lines, type safety |
| 1 | Don S. Batory |
Stepwise Development of Streaming Software Architectures. |
JISBD |
2009 |
DBLP BibTeX RDF |
|
| 1 | Don S. Batory |
Dimensions of Variability in Software Product Lines. |
VaMoS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Don S. Batory, Egon Börger |
Modularizing Theorems for Software Product Lines: The Jbook Case Study. |
J. UCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | David Benavides, Antonio Ruiz Cortés, Don S. Batory, Patrick Heymans |
First International Workshop on Analysis of Software Product Lines (ASPL'08). |
SPLC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Chang Hwan Peter Kim, Christian Kästner, Don S. Batory |
On the modularity of feature interactions. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
lifters, safe composition, feature interactions, derivatives, feature oriented software development |
| 1 | Sven Apel, Christian Kästner, Don S. Batory |
Program refactoring using functional aspects. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
aspect-oriented refactoring, functional aspects, pseudo-commutativity, stepwise refinement, aspect interactions |
| 1 | Don S. Batory |
Using modern mathematics as an FOSD modeling language. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
commuting diagrams, software product lines, features, geodesics, model driven design |
| 1 | Greg Freeman, Don S. Batory, R. Greg Lavender |
Lifting Transformational Models of Product Lines: A Case Study. |
ICMT |
2008 |
DBLP DOI BibTeX RDF |
transformation reuse, highlevel transformations, code generation, features, product-lines, model composition |
| 1 | Don S. Batory, Maider Azanza, João Saraiva |
The Objects and Arrows of Computational Design. |
MoDELS |
2008 |
DBLP DOI BibTeX RDF |
Software product lines, model driven engineering, categories |
| 1 | Egon Börger, Don S. Batory |
Coupling Design and Verification in Software Product Lines. |
FoIKS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory |
Testing Software Product Lines Using Incremental Test Generation. |
ISSRE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Don S. Batory, Oscar Díaz, Hartmut Ehrig, Claudia Ermel, Ulrike Prange, Gabriele Taentzer |
Model Transformations should be Functors. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Christian Kästner, Sven Apel, Don S. Batory |
A Case Study Implementing Features Using AspectJ. |
SPLC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Don S. Batory |
A Modeling Language for Program Design and Synthesis. |
Lipari Summer School |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Don S. Batory |
From implementation to theory in product synthesis. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
features, program synthesis, category theory, mixins, model driven design, virtual classes, AHEAD, GenVoca |
| 1 | Sahil Thaker, Don S. Batory, David Kitchin, William R. Cook |
Safe composition of product lines. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
compositional programming, features, product lines, SAT solvers |
| 1 | Don S. Batory |
Program Refactoring, Program Synthesis, and Model-Driven Development. |
CC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Kästner, Martin Kuhlemann, Don S. Batory |
Automating Feature-Oriented Refactoring of Legacy Applications. |
WRT |
2007 |
DBLP BibTeX RDF |
|
| 1 | Salvador Trujillo, Don S. Batory, Oscar Díaz |
Feature Oriented Model Driven Development: A Case Study for Portlets. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory |
A specification-based approach to testing software product lines. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
product-lines, specification-based testing, test data generation, alloy, AHEAD, GenVoca |
| 1 | Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory |
A specification-based approach to testing software product lines. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
product-lines, specification-based testing, test data generation, alloy, AHEAD, GenVoca |
| 1 | Don S. Batory |
Multilevel models in model-driven engineering, product lines, and metaprogramming. |
IBM Systems Journal |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Don S. Batory, David Benavides, Antonio Ruiz Cortés |
Automated analysis of feature models: challenges ahead. |
Commun. ACM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Don S. Batory |
Feature Modularity in Software Product Lines. |
SPLC |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mark Grechanik, Dewayne E. Perry, Don S. Batory |
A Security Mechanism for Component-Based Systems. |
ICCBSS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto E. Lopez-Herrejon, Don S. Batory, Christian Lengauer |
A disciplined approach to aspect composition. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
verified software grand challenge, verification, annotations, programming languages, tools, specification languages, program generation, correctness by construction |
| 1 | Salvador Trujillo, Don S. Batory, Oscar Díaz |
Feature refactoring a multi-representation program into a product line. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
refinements, refactoring, software product lines, program synthesis, multiple representations, feature-oriented programming, AHEAD |
| 1 | Sven Apel, Don S. Batory |
When to use features and aspects?: a case study. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, software product lines, separation of concerns, feature-oriented programming, collaboration-based design, stepwise development, crosscutting |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Liu, Don S. Batory, Christian Lengauer |
Feature oriented refactoring of legacy applications. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
program algebra, refactoring, features, product lines, program synthesis, feature interactions |
| 1 | Don S. Batory |
Feature Models, Grammars, and Propositional Formulas. |
SPLC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Liu, Don S. Batory, Srinivas Nedunuri |
Modeling Interactions in Feature Oriented Software Designs. |
FIW |
2005 |
DBLP BibTeX RDF |
|
| 1 | Mark Grechanik, Dewayne E. Perry, Don S. Batory |
Using AOP to Monitor and Administer Software for Grid Computing Environments. |
COMPSAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Edwin H. Jung, Chetan Kapoor, Don S. Batory |
Automatic code generation for actuator interfacing from a declarative specification. |
IROS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Don S. Batory |
A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite. |
GTTSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto E. Lopez-Herrejon, Don S. Batory, William R. Cook |
Evaluating Support for Features in Advanced Modularization Technologies. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Don S. Batory, Jacob Neal Sarvela, Axel Rauschmayer |
Scaling Step-Wise Refinement. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Don S. Batory |
A Science of Software Design. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Lengauer, Don S. Batory, Charles Consel, Martin Odersky (eds.) |
Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers |
Domain-Specific Program Generation |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jia Liu, Don S. Batory |
Automatic Remodularization and Optimized Synthesis of Product-Families. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Don S. Batory |
Program Comprehension in Generative Programming: A History of Grand Challenges. |
IWPC |
2004 |
DBLP DOI BibTeX RDF |
keynote |
| 1 | Don S. Batory |
Feature-Oriented Programming and the AHEAD Tool Suite. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Grechanik, Don S. Batory, Dewayne E. Perry |
Design of Large-Scale Polylingual Systems. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Don S. Batory |
The Road to Utopia: A Future for Generative Programming. |
Domain-Specific Program Generation |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Don S. Batory, Jacob Neal Sarvela, Axel Rauschmayer |
Scaling Step-Wise Refinement. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Don S. Batory |
A Tutorial on Feature Oriented Programming and Product-Lines. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Don S. Batory, Jia Liu, Jacob Neal Sarvela |
Refinements and multi-dimensional separation of concerns. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
multidimensional separation of concerns, refinements, program synthesis, feature-oriented programming, origami, AHEAD, GenVoca |
| 1 | Yannis Smaragdakis, Don S. Batory |
Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs. |
ACM Trans. Softw. Eng. Methodol. |
2002 |
DBLP DOI BibTeX RDF |
component-based software, product-line architectures, Collaboration-based design |
| 1 | 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. |
2002 |
DBLP DOI BibTeX RDF |
simulation, refinements, domain-specific languages, aspects, GenVoca |
| 1 | Don S. Batory, Roberto E. Lopez-Herrejon, Jean-Philippe Martin |
Generating Product-Lines of Product-Families. |
ASE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Don S. Batory, Charles Consel, Walid Taha (eds.) |
Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings |
GPCE |
2002 |
DBLP BibTeX RDF |
|
| 1 | Mark Grechanik, Don S. Batory, Dewayne E. Perry |
Integrating and Reusing GUI-Driven Applications. |
ICSR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lance Tokuda, Don S. Batory |
Evolving Object-Oriented Designs with Refactorings. |
Autom. Softw. Eng. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto E. Lopez-Herrejon, Don S. Batory |
A Standard Problem for Evaluating Product-Line Methodologies. |
GCSE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Gregory Butler, Don S. Batory, Krzysztof Czarnecki, Ulrich W. Eisenecker |
Generative Techniques for Product Lines. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Don S. Batory, Gang Chen, Eric Robertson, Tao Wang |
Design Wizards and Visual Programming Environments for GenVoca Generators. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
applications product-lines, components, refinements, generators, Self-adaptive software, architectural optimizations |
| 1 | Don S. Batory, Richard Cardone, Yannis Smaragdakis |
Object-oriented frameworks and product lines. |
SPLC |
2000 |
DBLP BibTeX RDF |
|
| 1 | Don S. Batory |
Refinements and Product Line Architectures. |
SAIG |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Smaragdakis, Don S. Batory |
Mixin-Based Programming in C++. |
GCSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Don S. Batory, Clay Johnson, Bob MacDonald, Dale von Heeder |
Achieving Extensibility Through Product-Lines and Domain-Specific Languages: A Case Study. |
ICSR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Don S. Batory |
Product-line architectures, aspects, and reuse (tutorial session). |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Smaragdakis, Don S. Batory |
Building Product-Lines with Mixin-Layers. |
ECOOP Workshops |
1999 |
DBLP BibTeX RDF |
|
| 1 | Don S. Batory, Yannis Smaragdakis, Lou Coglianese |
Architectural Styles as Adaptors. |
WICSA |
1999 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Lance Tokuda, Don S. Batory |
Evolving Object-Oriented Designs with Refactorings. (PDF / PS) |
ASE |
1999 |
DBLP DOI BibTeX RDF |
design evolution, patterns, refactorings |
| 1 | Yannis Smaragdakis, Don S. Batory |
Scoping Constructs for Software Generators. |
GCSE |
1999 |
DBLP DOI BibTeX RDF |
generation scoping, hygienic macro expansion, program transformations, software generators |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Lance Tokuda, Don S. Batory |
Automating Three Modes of Evolution for Object-Oriented Software Architectures. |
COOTS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Yannis Smaragdakis, Don S. Batory |
Implementing Layered Designs with Mixin Layers. |
ECOOP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Don S. Batory, Bart J. Geraci |
Composition Validation and Subjectivity in GenVoca Generators. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
composition validation, design rule checking, subjectivity, software generators, GenVoca |
| 1 | Don S. Batory, Jeff Thomas |
P2: A Lightweight DBMS Generator. |
J. Intell. Inf. Syst. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillermo Jiménez-Pérez, Don S. Batory |
Memory Simulators and Software Generators. |
SSR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | E. E. Villarreal, Don S. Batory |
Rosetta: A Generator of Data Language Compilers. |
SSR |
1997 |
DBLP DOI BibTeX RDF |
SQL |
| 1 | Yannis Smaragdakis, Don S. Batory |
DiSTiL: A Transformation Library for Data Structures. |
DSL |
1997 |
DBLP BibTeX RDF |
|
| 1 | Dinesh Das, Don S. Batory |
Praire: A Rule Specification Framework for Query Optimizers. |
ICDE |
1995 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")