Don S. Batory - RankMe

208 papers A* 27A 11B 38C 3Misc 1Journal 49Unranked 68

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Finding Near-optimal Configurations in Colossal Spaces with Statistical Guarantees. ACM Trans. Softw. Eng. Methodol. Jeho Oh, Don S. Batory, Ruben Heradio
2023	J	`jnl`	On Proving the Correctness of Refactoring Class Diagrams of MDE Metamodels. ACM Trans. Softw. Eng. Methodol. Najd Altoyan, Don S. Batory
2023	J	`jnl`	Transforming Numerical Feature Models into Propositional Formulas and the Universal Variability Language. J. Syst. Softw. Daniel-Jesus Munoz, Mónica Pinto, Lidia Fuentes, Don S. Batory
2022	J	`jnl`	Correction to: Uniform and scalable sampling of highly configurable systems. Empir. Softw. Eng. Ruben Heradio, David Fernández-Amorós, José A. Galindo, David Benavides, Don S. Batory
2022	B	`conf`	Nemo: A Tool to Transform Feature Models with Numerical Features and Arithmetic Constraints. ICSR Daniel-Jesus Munoz, Jeho Oh, Monica Pinto, Lidia Fuentes, Don S. Batory
2022	J	`jnl`	Uniform and scalable sampling of highly configurable systems. Empir. Softw. Eng. Ruben Heradio, David Fernández-Amorós, José A. Galindo, David Benavides, Don S. Batory
2021	—	`conf`	Product Optimization in Stepwise Design. Logic, Computation and Rigorous Methods Don S. Batory, Jeho Oh, Ruben Heradio, David Benavides
2020	C	`conf`	Aocl : A Pure-Java Constraint and Transformation Language for MDE. MODELSWARD Don S. Batory, Najd Altoyan
2019	—	`conf`	Code transformation issues in move-instance-method refactorings. IWOR@ICSE JongWook Kim, Don S. Batory, Milos Gligoric
2019	—	`conf`	First international workshop on languages for modelling variability (MODEVAR 2019). SPLC (A) David Benavides, Rick Rabiser, Don S. Batory, Mathieu Acher
2019	—	`conf`	Should future variability modeling languages express constraints in OCL? SPLC (B) Don S. Batory
2019	—	`conf`	Uniform random sampling product configurations of feature models that have numerical features. SPLC (A) Daniel-Jesus Munoz, Jeho Oh, Mónica Pinto, Lidia Fuentes, Don S. Batory
2018	A*	`conf`	Towards refactoring-aware regression test selection. ICSE Kaiyuan Wang, Chenguang Zhu, Ahmet Çelik, JongWook Kim, Don S. Batory, Milos Gligoric
2017	—	`conf`	Finding near-optimal configurations in product lines by random sampling. ESEC/SIGSOFT FSE Jeho Oh, Don S. Batory, Margaret Myers, Norbert Siegmund
2017	J	`jnl`	From software extensions to product lines of dataflow programs. Softw. Syst. Model. Rui C. Gonçalves, Don S. Batory, João L. Sobral, Taylor L. Riché
2017	—	`conf`	Refactoring Java Software Product Lines. SPLC (A) JongWook Kim, Don S. Batory, Danny Dig
2017	J	`jnl`	Teaching model-driven engineering from a relational database perspective. Softw. Syst. Model. Don S. Batory, Maider Azanza
2017	—	`conf`	Test of Time Award & Conjectures on the Future of SPLs. SPLC (A) Don S. Batory
2017	—	`conf`	X15: A Tool For Refactoring Java Software Product Lines. SPLC (B) JongWook Kim, Don S. Batory, Danny Dig
2016	—	`conf`	COPE: vision for a change-oriented programming environment. ICSE (Companion Volume) Danny Dig, Ralph E. Johnson, Darko Marinov, Brian P. Bailey, Don S. Batory
2016	—	`ed.`	Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14 - 18, 2016 MODULARITY (Companion) Lidia Fuentes, Don S. Batory, Krzysztof Czarnecki
2016	J	`jnl`	Foreword to the Special Issue on Formal Methods for Software Product Line Engineering. J. Log. Algebraic Methods Program. Don S. Batory
2016	A*	`conf`	Improving refactoring speed by 10X. ICSE JongWook Kim, Don S. Batory, Danny Dig, Maider Azanza
2016	—	`ed.`	Proceedings of the 15th International Conference on Modularity, MODULARITY 2016, Málaga, Spain, March 14 - 18, 2016 MODULARITY Lidia Fuentes, Don S. Batory, Krzysztof Czarnecki
2016	J	`jnl`	ReFlO: an interactive tool for pipe-and-filter domain specification and program generation. Softw. Syst. Model. Rui C. Gonçalves, Don S. Batory, João Luís Sobral
2015	—	`conf`	A Theory about the Structure of GTSEs. GTSE@ICSE Dewayne E. Perry, Don S. Batory
2015	—	`conf`	A theory of modularity for automated software development (keynote). MODULARITY (Companion) Don S. Batory
2015	B	`conf`	Faster bug detection for software product lines with incomplete feature models. SPLC Sabrina Souto, Divya Gopinath, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid, Don S. Batory
2015	A	`conf`	Scripting parametric refactorings in Java to retrofit design patterns. ICSME JongWook Kim, Don S. Batory, Danny Dig
2015	—	`conf`	Structured Document Algebra in Action. Software, Services, and Systems Don S. Batory, Peter Höfner, Dominik Köppl, Bernhard Möller, Andreas Zelend
2014	C	`conf`	Performance Prediction in the Presence of Feature Interactions. Software Engineering Norbert Siegmund, Sergiy S. Kolesnikov, Christian Kästner, Sven Apel, Don S. Batory, Marko Rosenmüller, Gunter Saake
2014	A*	`conf`	Understanding performance stairs: elucidating heuristics. ASE Bryan Marker, Don S. Batory, Robert A. van de Geijn
2013	J	`jnl`	A case study in mechanically deriving dense linear algebra code. Int. J. High Perform. Comput. Appl. Bryan Marker, Don S. Batory, Robert A. van de Geijn
2013	—	`conf`	Can undergraduates script their own refactorings? WRT@SPLASH JongWook Kim, Don S. Batory, Danny Dig
2013	Misc	`conf`	Code Generation and Optimization of Distributed-Memory Dense Linear Algebra Kernels. ICCS Bryan Marker, Don S. Batory, Robert A. van de Geijn
2013	—	`conf`	DSLs, DLA, DxT, and MDE in CSE. SE-CSE@ICSE Bryan Marker, Robert A. van de Geijn, Don S. Batory
2013	B	`conf`	Dark Knowledge and Graph Grammars in Automated Software Design. SLE Don S. Batory, Rui C. Gonçalves, Bryan Marker, Janet Siegmund
2013	—	`book`	Feature-Oriented Software Product Lines - Concepts and Implementation. Sven Apel, Don S. Batory, Christian Kästner, Gunter Saake
2013	—	`conf`	Features, modularity, and variation points. FOSD Don S. Batory, Peter Höfner, Bernhard Möller, Andreas Zelend
2013	—	`conf`	Interfaces are key. SE-HPCCSE@SC Bryan Marker, Robert A. van de Geijn, Don S. Batory
2013	—	`conf`	SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems. ESEC/SIGSOFT FSE Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don S. Batory, Sabrina Souto, Paulo Barros, Marcelo d'Amorim
2013	A	`conf`	Teaching Model Driven Engineering from a Relational Database Perspective. MoDELS Don S. Batory, Eric Latimer, Maider Azanza
2013	—	`conf`	Why (meta-)theories of automated software design are essential: A personal perspective. GTSE@ICSE Don S. Batory
2012	—	`conf`	Designing Linear Algebra Algorithms by Transformation: Mechanizing the Expert Developer. VECPAR Bryan Marker, Jack Poulson, Don S. Batory, Robert A. van de Geijn
2012	A	`conf`	Is the derivation of a model easier to understand than the model itself? ICPC Janet Feigenspan, Don S. Batory, Taylor L. Riché
2012	B	`conf`	Mechanizing the expert dense linear algebra developer. PPoPP Bryan Marker, Andy Terrel, Jack Poulson, Don S. Batory, Robert A. van de Geijn
2012	A*	`conf`	Predicting performance via automated feature-interaction detection. ICSE Norbert Siegmund, Sergiy S. Kolesnikov, Christian Kästner, Sven Apel, Don S. Batory, Marko Rosenmüller, Gunter Saake
2012	B	`conf`	Pushouts in software architecture design. GPCE Taylor L. Riché, Rui C. Gonçalves, Bryan Marker, Don S. Batory
2012	A	`conf`	Shared Execution for Efficiently Testing Product Lines. ISSRE Chang Hwan Peter Kim, Sarfraz Khurshid, Don S. Batory
2011	B	`conf`	Feature interactions, products, and composition. GPCE Don S. Batory, Peter Höfner, JongWook Kim
2011	—	`ed.`	Fourth Workshop on Refactoring Tools 2011, WRT '11, Waikiki, Honolulu, HI, USA, May 22, 2011 WRT@ICSE Danny Dig, Don S. Batory
2011	A*	`conf`	Fourth workshop on refactoring tools: (WRT 2011). ICSE Danny Dig, Don S. Batory
2011	A	`conf`	Product lines of theorems. OOPSLA Benjamin Delaware, William R. Cook, Don S. Batory
2011	—	`conf`	Reducing combinatorics in testing product lines. AOSD Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid
2011	B	`conf`	Towards Verification of Product Lines. ITP Don S. Batory
2010	—	`conf`	Domain-Specific Composition of Model Deltas. ICMT@TOOLS Maider Azanza, Don S. Batory, Oscar Díaz, Salvador Trujillo
2010	A*	`conf`	Eliminating products to test in a software product line. ASE Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid
2010	—	`ed.`	Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27-29, 2010. Proceedings VaMoS David Benavides, Don S. Batory, Paul Grünbacher
2010	J	`jnl`	Incremental Test Generation for Software Product Lines. IEEE Trans. Software Eng. Engin Uzuncaova, Sarfraz Khurshid, Don S. Batory
2010	J	`jnl`	Lifting transformational models of product lines: a case study. Softw. Syst. Model. Greg Freeman, Don S. Batory, R. Greg Lavender, Jacob Neal Sarvela
2010	—	`ed.`	Proceedings of the Second International Workshop on Feature-Oriented Software Development, FOSD 2010, Eindhoven, Netherlands, October 10, 2010 FOSD Sven Apel, Don S. Batory, Krzysztof Czarnecki, Florian Heidenreich, Christian Kästner, Oscar Nierstrasz
2010	B	`conf`	Reducing Configurations to Monitor in a Software Product Line. RV Chang Hwan Peter Kim, Eric Bodden, Don S. Batory, Sarfraz Khurshid
2010	—	`conf`	Thoughts on automated software design and synthesis. FoSER Don S. Batory
2010	—	`conf`	Transformation-Based Parallelization of Request-Processing Applications. MoDELS (2) Taylor L. Riché, Harrick M. Vin, Don S. Batory
2009	—	`conf`	A machine-checked model of safe composition. FOAL Benjamin Delaware, William R. Cook, Don S. Batory
2009	—	`conf`	Dimensions of Variability in Software Product Lines. VaMoS Don S. Batory
2009	—	`conf`	Fitting the pieces together: a machine-checked model of safe composition. ESEC/SIGSOFT FSE Benjamin Delaware, William R. Cook, Don S. Batory
2009	—	`conf`	Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach. TOOLS (47) Christian Kästner, Sven Apel, Salvador Trujillo, Martin Kuhlemann, Don S. Batory
2009	B	`conf`	On the impact of the optional feature problem: analysis and case studies. SPLC Christian Kästner, Sven Apel, Syed Saif ur Rahman, Marko Rosenmüller, Don S. Batory, Gunter Saake
2009	—	`conf`	On the importance and challenges of FOSD. FOSD Don S. Batory
2009	A*	`conf`	Reasoning about edits to feature models. ICSE Thomas Thüm, Don S. Batory, Christian Kästner
2009	B	`conf`	Refactoring Feature Modules. ICSR Martin Kuhlemann, Don S. Batory, Sven Apel
2009	B	`conf`	Safe composition of non-monotonic features. GPCE Martin Kuhlemann, Don S. Batory, Christian Kästner
2009	—	`conf`	Stepwise Development of Streaming Software Architectures. JISBD Don S. Batory
2008	—	`conf`	08281 Abstracts Collection - Software Engineering for Trailor-made Data Management. Software Engineering for Tailor-made Data Management Sven Apel, Don S. Batory, Goetz Graefe, Gunter Saake, Olaf Spinczyk
2008	—	`conf`	08281 Executive Summary - Software Engineering for Tailor-made Data Management. Software Engineering for Tailor-made Data Management Sven Apel, Don S. Batory, Goetz Graefe, Gunter Saake, Olaf Spinczyk
2008	—	`conf`	Coupling Design and Verification in Software Product Lines. FoIKS Egon Börger, Don S. Batory
2008	B	`conf`	First International Workshop on Analysis of Software Product Lines (ASPL'08). SPLC David Benavides, Antonio Ruiz Cortés, Don S. Batory, Patrick Heymans
2008	—	`conf`	Lifting Transformational Models of Product Lines: A Case Study. ICMT@TOOLS Greg Freeman, Don S. Batory, R. Greg Lavender
2008	J	`jnl`	Modularizing Theorems for Software Product Lines: The Jbook Case Study. J. Univers. Comput. Sci. Don S. Batory, Egon Börger
2008	B	`conf`	On the modularity of feature interactions. GPCE Chang Hwan Peter Kim, Christian Kästner, Don S. Batory
2008	—	`conf`	On-demand materialization of aspects for application development. SPLAT@AOSD Chang Hwan Peter Kim, Krzysztof Czarnecki, Don S. Batory
2008	B	`conf`	Program refactoring using functional aspects. GPCE Sven Apel, Christian Kästner, Don S. Batory
2008	—	`ed.`	Software Engineering for Tailor-made Data Management, 06.07. - 11.07.2008 Software Engineering for Tailor-made Data Management Sven Apel, Don S. Batory, Goetz Graefe, Gunter Saake, O. Spynczyk
2008	A	`conf`	Testing Software Product Lines Using Incremental Test Generation. ISSRE Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory
2008	A	`conf`	The Objects and Arrows of Computational Design. MoDELS Don S. Batory, Maider Azanza, João Saraiva
2008	B	`conf`	Using modern mathematics as an FOSD modeling language. GPCE Don S. Batory
2007	B	`conf`	A Case Study Implementing Features Using AspectJ. SPLC Christian Kästner, Sven Apel, Don S. Batory
2007	—	`conf`	A Modeling Language for Program Design and Synthesis. Lipari Summer School Don S. Batory
2007	—	`conf`	A specification-based approach to testing software product lines. ESEC/SIGSOFT FSE Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory
2007	—	`conf`	Automating Feature-Oriented Refactoring of Legacy Applications. WRT Christian Kästner, Martin Kuhlemann, Don S. Batory
2007	A*	`conf`	Feature Oriented Model Driven Development: A Case Study for Portlets. ICSE Salvador Trujillo, Don S. Batory, Oscar Díaz
2007	A*	`conf`	From implementation to theory in product synthesis. POPL Don S. Batory
2007	J	`jnl`	Model Transformations should be Functors. Bull. EATCS Don S. Batory, Oscar Díaz, Hartmut Ehrig, Claudia Ermel, Ulrike Prange, Gabriele Taentzer
2007	B	`conf`	Program Refactoring, Program Synthesis, and Model-Driven Development. CC Don S. Batory
2007	B	`conf`	Safe composition of product lines. GPCE Sahil Thaker, Don S. Batory, David Kitchin, William R. Cook
2006	—	`conf`	A Security Mechanism for Component-Based Systems. ICCBSS Mark Grechanik, Dewayne E. Perry, Don S. Batory
2006	C	`conf`	A disciplined approach to aspect composition. PEPM Roberto E. Lopez-Herrejon, Don S. Batory, Christian Lengauer
2006	J	`jnl`	Automated analysis of feature models: challenges ahead. Commun. ACM Don S. Batory, David Benavides, Antonio Ruiz Cortés
2006	B	`conf`	Feature Modularity in Software Product Lines. SPLC Don S. Batory
2006	A*	`conf`	Feature oriented refactoring of legacy applications. ICSE Jia Liu, Don S. Batory, Christian Lengauer
2006	B	`conf`	Feature refactoring a multi-representation program into a product line. GPCE Salvador Trujillo, Don S. Batory, Oscar Díaz
2006	—	`conf`	Modeling Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case Study. MoDELS (Workshops) Roberto E. Lopez-Herrejon, Don S. Batory
2006	J	`jnl`	Multilevel models in model-driven engineering, product lines, and metaprogramming. IBM Syst. J. Don S. Batory
2006	B	`conf`	Roadmap for enhanced languages and methods to aid verification. GPCE 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
2006	B	`conf`	When to use features and aspects?: a case study. GPCE Sven Apel, Don S. Batory
2005	—	`conf`	A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite. GTTSE Don S. Batory
2005	A	`conf`	Automatic code generation for actuator interfacing from a declarative specification. IROS Edwin H. Jung, Chetan Kapoor, Don S. Batory
2005	A	`conf`	Evaluating Support for Features in Advanced Modularization Technologies. ECOOP Roberto E. Lopez-Herrejon, Don S. Batory, William R. Cook
2005	B	`conf`	Feature Models, Grammars, and Propositional Formulas. SPLC Don S. Batory
2005	—	`conf`	Modeling Interactions in Feature Oriented Software Designs. FIW Jia Liu, Don S. Batory, Srinivas Nedunuri
2005	—	`conf`	Using AOP to Monitor and Administer Software for Grid Computing Environments. COMPSAC (1) Mark Grechanik, Dewayne E. Perry, Don S. Batory
2004	—	`conf`	A Science of Software Design. AMAST Don S. Batory
2004	B	`conf`	Automatic Remodularization and Optimized Synthesis of Product-Families. GPCE Jia Liu, Don S. Batory
2004	A*	`conf`	Design of Large-Scale Polylingual Systems. ICSE Mark Grechanik, Don S. Batory, Dewayne E. Perry
2004	—	`ed.`	Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers Domain-Specific Program Generation Christian Lengauer, Don S. Batory, Charles Consel, Martin Odersky
2004	A*	`conf`	Feature-Oriented Programming and the AHEAD Tool Suite. ICSE Don S. Batory
2004	—	`conf`	Program Comprehension in Generative Programming: A History of Grand Challenges. IWPC Don S. Batory
2004	J	`jnl`	Scaling Step-Wise Refinement. IEEE Trans. Software Eng. Don S. Batory, Jacob Neal Sarvela, Axel Rauschmayer
2003	A*	`conf`	A Tutorial on Feature Oriented Programming and Product-Lines. ICSE Don S. Batory
2003	A*	`conf`	Modularity in the New Millenium: A Panel Summary. ICSE Premkumar T. Devanbu, Robert Balzer, Don S. Batory, Gregor Kiczales, John Launchbury, David Lorge Parnas, Peri L. Tarr
2003	—	`conf`	Refinements and multi-dimensional separation of concerns. ESEC / SIGSOFT FSE Don S. Batory, Jia Liu, Jacob Neal Sarvela
2003	A*	`conf`	Scaling Step-Wise Refinement. ICSE Don S. Batory, Jacob Neal Sarvela, Axel Rauschmayer
2003	—	`conf`	The Road to Utopia: A Future for Generative Programming. Domain-Specific Program Generation Don S. Batory
2002	J	`jnl`	Achieving extensibility through product-lines and domain-specific languages: a case study. ACM Trans. Softw. Eng. Methodol. Don S. Batory, Clay Johnson, Bob MacDonald, Dale von Heeder
2002	—	`conf`	An approach to evolving database dependent systems. IWPSE Mark Grechanik, Dewayne E. Perry, Don S. Batory
2002	A*	`conf`	Generating Product-Lines of Product-Families. ASE Don S. Batory, Roberto E. Lopez-Herrejon, Jean-Philippe Martin
2002	B	`ed.`	Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings GPCE Don S. Batory, Charles Consel, Walid Taha
2002	B	`conf`	Integrating and Reusing GUI-Driven Applications. ICSR Mark Grechanik, Don S. Batory, Dewayne E. Perry
2002	J	`jnl`	Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs. ACM Trans. Softw. Eng. Methodol. Yannis Smaragdakis, Don S. Batory
2001	—	`conf`	A Standard Problem for Evaluating Product-Line Methodologies. GCSE Roberto E. Lopez-Herrejon, Don S. Batory
2001	J	`jnl`	Evolving Object-Oriented Designs with Refactorings. Autom. Softw. Eng. Lance Tokuda, Don S. Batory
2001	A*	`conf`	Generative Techniques for Product Lines. ICSE Gregory Butler, Don S. Batory, Krzysztof Czarnecki, Ulrich W. Eisenecker
2000	B	`conf`	Achieving Extensibility Through Product-Lines and Domain-Specific Languages: A Case Study. ICSR Don S. Batory, Clay Johnson, Bob MacDonald, Dale von Heeder
2000	J	`jnl`	Design Wizards and Visual Programming Environments for GenVoca Generators. IEEE Trans. Software Eng. Don S. Batory, Gang Chen, Eric Robertson, Tao Wang
2000	J	`jnl`	Jakarta Tool Suite (JTS). ACM SIGSOFT Softw. Eng. Notes Don S. Batory
2000	—	`conf`	Mixin-Based Programming in C++. GCSE Yannis Smaragdakis, Don S. Batory
2000	B	`conf`	Object-oriented frameworks and product lines. SPLC Don S. Batory, Richard Cardone, Yannis Smaragdakis
2000	A*	`conf`	Product-line architectures, aspects, and reuse (tutorial session). ICSE Don S. Batory
2000	—	`conf`	Refinements and Product Line Architectures. SAIG Don S. Batory
1999	J	`jnl`	9th workshop on institutionalizing software reuse (WISR '9) workshop summary. ACM SIGSOFT Softw. Eng. Notes Jeffrey S. Poulin, Don S. Batory, Larry Latour
1999	—	`conf`	Architectural Styles as Adaptors. WICSA Don S. Batory, Yannis Smaragdakis, Lou Coglianese
1999	—	`conf`	Automating Three Modes of Evolution for Object-Oriented Software Architectures. COOTS Lance Tokuda, Don S. Batory
1999	—	`conf`	Building Product-Lines with Mixin-Layers. ECOOP Workshops Yannis Smaragdakis, Don S. Batory
1999	A*	`conf`	Evolving Object-Oriented Designs with Refactorings. ASE Lance Tokuda, Don S. Batory
1999	—	`conf`	High level Modelling Languages, Adaptable Process Models and Software Generation: Drivers for Quality and Productivity. TOOLS (30) Ulrich Frank, Don S. Batory, Jean Bézivin, Brian Henderson-Sellers, Houman Younessi
1999	A*	`conf`	International Workshop on Software Transformation Systems (STS'99). ICSE 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
1999	—	`conf`	Scoping Constructs for Software Generators. GCSE Yannis Smaragdakis, Don S. Batory
1998	B	`conf`	Design wizards and visual programming environments for generators. ICSR Don S. Batory, Gang Chen, Eric Robertson, Tao Wang
1998	B	`conf`	Domain analysis for GenVoca generators. ICSR Don S. Batory
1998	A	`conf`	Implementing Layered Designs with Mixin Layers. ECOOP Yannis Smaragdakis, Don S. Batory
1998	B	`conf`	Implementing reusable object-oriented components. ICSR Yannis Smaragdakis, Don S. Batory
1998	B	`conf`	JTS: tools for implementing domain-specific languages. ICSR Don S. Batory, Bernie J. Lofaso, Yannis Smaragdakis
1997	J	`jnl`	Composition Validation and Subjectivity in GenVoca Generators. IEEE Trans. Software Eng. Don S. Batory, Bart J. Geraci
1997	—	`conf`	DiSTiL: A Transformation Library for Data Structures. DSL Yannis Smaragdakis, Don S. Batory
1997	—	`conf`	Memory Simulators and Software Generators. SSR Guillermo Jiménez-Pérez, Don S. Batory
1997	J	`jnl`	P2: A Lightweight DBMS Generator. J. Intell. Inf. Syst. Don S. Batory, Jeff Thomas
1997	—	`conf`	Rosetta: A Generator of Data Language Compilers. SSR E. E. Villarreal, Don S. Batory
1996	B	`conf`	Subjectivity and GenVoca generators. ICSR Don S. Batory
1996	B	`conf`	Validating component compositions in software system generators. ICSR Don S. Batory, Bart J. Geraci
1995	—	`conf`	Creating Reference Architectures: An Example from Avionics. SSR Don S. Batory, Lou Coglianese, Mark Goodwin, Steve Shafer
1995	A	`conf`	Objects and Domain Engineering - Panel Session. OOPSLA Sanjiv Gossain, Don S. Batory, Hassan Gomaa, Mitchell D. Lubars, Christopher W. Pidgeon, Ed Seidewitz
1995	—	`conf`	Panel Languages and Models for Reusable Components. SSR Ben Whittle, Don S. Batory, Reidar Conradi, J. Moore, Will Tracz, Bruce W. Weide
1995	A*	`conf`	Praire: A Rule Specification Framework for Query Optimizers. ICDE Dinesh Das, Don S. Batory
1994	J	`jnl`	A TSQL2 Tutorial. SIGMOD Rec. 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
1994	—	`conf`	Reengineering a Complex Application Using a Scalable Data Structure Compiler. SIGSOFT FSE Don S. Batory, Jeff Thomas, Marty Sirkin
1994	J	`jnl`	TSQL2 Language Specification. SIGMOD Rec. 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
1994	J	`jnl`	The GenVoca Model of Software-System Generators. IEEE Softw. Don S. Batory, Vivek Singhal, Jeff Thomas, Sankar Dasari, Bart J. Geraci, Marty Sirkin
1993	—	`conf`	Scalable Software Libraries. SIGSOFT FSE Don S. Batory, Vivek Singhal, Marty Sirkin, Jeff Thomas
1993	J	`jnl`	Software Components for Object-Oriented Database Systems. Int. J. Softw. Eng. Knowl. Eng. Don S. Batory, Devang Vasavada
1993	A*	`conf`	Software Components in a Data Structure Precompiler. ICSE Marty Sirkin, Don S. Batory, Vivek Singhal
1992	J	`jnl`	Implementing a Domain Model for Data Structures. Int. J. Softw. Eng. Knowl. Eng. Don S. Batory, Vivek Singhal, Marty Sirkin
1992	J	`jnl`	The Design and Implementation of Hierarchical Software Systems with Reusable Components. ACM Trans. Softw. Eng. Methodol. Don S. Batory, Sean W. O'Malley
1990	J	`jnl`	The Object-Oriented Functional Data Language. IEEE Trans. Software Eng. Michael V. Mannino, Injun Choi, Don S. Batory
1990	B	`conf`	The software engineering of extensible database systems. COMPSAC Don S. Batory
1989	J	`jnl`	ACM TODS Publication Policy. SIGMOD Rec. Don S. Batory, Philip A. Bernstein, Umeshwar Dayal, Laura M. Haas, Theo Härder, Won Kim, David Maier, Gerard Salton, Gio Wiederhold
1989	A*	`conf`	An Overview of the Object-Oriented Functional Data Language. ICDE Michael V. Mannino, Injun Choi, Don S. Batory
1989	B	`conf`	Construction of file management systems from software components. COMPSAC Don S. Batory, J. R. Barnett, J. Roy, Brian C. Twichell, Jorge F. Garza
1989	J	`jnl`	On the reusability of query optimization algorithms. Inf. Sci. Don S. Batory
1988	A*	`conf`	Concepts for a Database System Compiler. PODS Don S. Batory
1988	J	`jnl`	GENESIS: An Extensible Database Management System. IEEE Trans. Software Eng. Don S. Batory, J. R. Barnett, Jorge F. Garza, K. P. Smith, K. Tsukuda, Brian C. Twichell, T. E. Wise
1988	J	`jnl`	Implementation Concepts for an Extensible Data Model and Data Language. ACM Trans. Database Syst. Don S. Batory, T. Y. Leung, T. E. Wise
1987	J	`jnl`	A Cost-Benefit Decision Model: Analysis, Comparison, and Selection of Data Management Systems. ACM Trans. Database Syst. Stanley Y. W. Su, Jozo J. Dujmovic, Don S. Batory, Shamkant B. Navathe, Richard Elnicki
1987	J	`jnl`	Principles of Database Management System Extensibility. IEEE Data Eng. Bull. Don S. Batory
1987	J	`jnl`	SQL/NF: a query language for ¬1 NF relational databases. Inf. Syst. Mark A. Roth, Henry F. Korth, Don S. Batory
1986	J	`jnl`	Extensible Cost Models and Query Optimization in GENESIS. IEEE Database Eng. Bull. Don S. Batory
1986	—	`conf`	GENESIS: A Project to Develop an Extensible Database Management System. OODBS Don S. Batory
1986	—	`conf`	Panel on Extensible Database Systems. SIGMOD Conference Don S. Batory, Michael V. Mannino
1985	—	`conf`	A Model and Storage Technique for Versions of VLSI CAD Objects. FODO Won Kim, Don S. Batory
1985	—	`conf`	Modeling Concepts for VLSI CAD Objects (Abstract). SIGMOD Conference Don S. Batory, Won Kim
1985	J	`jnl`	Modeling Concepts for VLSI CAD Objects. ACM Trans. Database Syst. Don S. Batory, Won Kim
1985	J	`jnl`	Modeling the Storage Architectures of Commercial Database Systems. ACM Trans. Database Syst. Don S. Batory
1985	—	`ch.`	Progress Toward Automating The Development of Database System Software. Query Processing in Database Systems Don S. Batory
1985	—	`book`	Query Processing in Database Systems Won Kim, David S. Reiner, Don S. Batory
1984	A*	`conf`	Conceptual-To-Internal Mappings in Commercial Database Systems. PODS Don S. Batory
1984	J	`jnl`	Letter from the Editor. IEEE Database Eng. Bull. Don S. Batory
1984	A*	`conf`	Molecular Objects, Abstract Data Types, and Data Models: A Framework. VLDB Don S. Batory, Alejandro P. Buchmann
1984	J	`jnl`	Physical Storage and Implementation Issues. IEEE Database Eng. Bull. Don S. Batory
1983	B	`conf`	Index Coding: A Compression Technique for Large Statistical Databases. SSDBM Don S. Batory
1983	B	`conf`	Logical and Physical Modeling of Statistical Scientific Databases. SSDBM Stanley Y. W. Su, Shamkant B. Navathe, Don S. Batory
1982	J	`jnl`	A Unifying Model of Physical Databases. ACM Trans. Database Syst. Don S. Batory, C. C. Gotlieb
1982	J	`jnl`	Letter from the Editor. IEEE Database Eng. Bull. Don S. Batory
1982	J	`jnl`	Optimal File Designs and Reorganization Points. ACM Trans. Database Syst. Don S. Batory
1982	J	`jnl`	Physical Database Research at the University of Florida. IEEE Database Eng. Bull. Don S. Batory, Stanley Y. W. Su, Shamkant B. Navathe
1981	—	`conf`	B+ Trees and Indexed Sequential Files: A Performance Comparison. SIGMOD Conference Don S. Batory
1980	—	`—`	An analytical model of physical databases. Don S. Batory
1979	J	`jnl`	On Searching Transposed Files. ACM Trans. Database Syst. Don S. Batory
1978	A*	`conf`	On Searching Transposed Files (Abstract). VLDB Don S. Batory