Don S. Batory

ORCID

Publication Activity (10 Years)

Years Active: 1978-2024
Publications (10 Years): 24

Top Venues

SPLC (A)

Softw. Syst. Model.

ACM Trans. Softw. Eng. Methodol.

SPLC (B)

Publications

Jeho Oh, Don S. Batory, Ruben Heradio
Finding Near-optimal Configurations in Colossal Spaces with Statistical Guarantees. ACM Trans. Softw. Eng. Methodol. 33 (1) (2024)
Najd Altoyan, Don S. Batory
On Proving the Correctness of Refactoring Class Diagrams of MDE Metamodels. ACM Trans. Softw. Eng. Methodol. 32 (2) (2023)
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 (2023)
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) (2022)
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)
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) (2022)
Don S. Batory, Jeho Oh, Ruben Heradio, David Benavides
Product Optimization in Stepwise Design. Logic, Computation and Rigorous Methods (2021)
Don S. Batory, Najd Altoyan
Aocl : A Pure-Java Constraint and Transformation Language for MDE. MODELSWARD (2020)
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)
Don S. Batory
Should future variability modeling languages express constraints in OCL? SPLC (B) (2019)
David Benavides, Rick Rabiser, Don S. Batory, Mathieu Acher
First international workshop on languages for modelling variability (MODEVAR 2019). SPLC (A) (2019)
Jeho Oh, Paul Gazzillo, Don S. Batory
-wise coverage by uniform sampling. SPLC (A) (2019)
Jongwook Kim, Don S. Batory, Milos Gligoric
Code transformation issues in move-instance-method refactorings. IWOR@ICSE (2019)
Kaiyuan Wang, Chenguang Zhu, Ahmet Çelik, Jongwook Kim, Don S. Batory, Milos Gligoric
Towards refactoring-aware regression test selection. ICSE (2018)
Don S. Batory, Maider Azanza
Teaching model-driven engineering from a relational database perspective. Softw. Syst. Model. 16 (2) (2017)
Jeho Oh, Don S. Batory, Margaret Myers, Norbert Siegmund
Finding near-optimal configurations in product lines by random sampling. ESEC/SIGSOFT FSE (2017)
Jongwook Kim, Don S. Batory, Danny Dig
X15: A Tool For Refactoring Java Software Product Lines. SPLC (B) (2017)
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) (2017)
Don S. Batory
Test of Time Award & Conjectures on the Future of SPLs. SPLC (A) (2017)
Jongwook Kim, Don S. Batory, Danny Dig
Refactoring Java Software Product Lines. SPLC (A) (2017)
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)
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) (2016)
Don S. Batory
Foreword to the Special Issue on Formal Methods for Software Product Line Engineering. J. Log. Algebraic Methods Program. 85 (1) (2016)
Jongwook Kim, Don S. Batory, Danny Dig, Maider Azanza
Improving refactoring speed by 10X. ICSE (2016)
Don S. Batory
A theory of modularity for automated software development (keynote). MODULARITY (Companion) (2015)
Jongwook Kim, Don S. Batory, Danny Dig
Scripting parametric refactorings in Java to retrofit design patterns. ICSME (2015)
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)
Dewayne E. Perry, Don S. Batory
A Theory about the Structure of GTSEs. GTSE@ICSE (2015)
Don S. Batory, Peter Höfner, Dominik Köppl, Bernhard Möller, Andreas Zelend
Structured Document Algebra in Action. Software, Services, and Systems (2015)
Bryan Marker, Don S. Batory, Robert A. van de Geijn
Understanding performance stairs: elucidating heuristics. ASE (2014)
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)
Don S. Batory, Peter Höfner, Bernhard Möller, Andreas Zelend
Features, modularity, and variation points. FOSD (2013)
Bryan Marker, Robert A. van de Geijn, Don S. Batory
Interfaces are key. SE-HPCCSE@SC (2013)
Don S. Batory
Why (meta-)theories of automated software design are essential: A personal perspective. GTSE@ICSE (2013)
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) (2013)
Bryan Marker, Don S. Batory, Robert A. van de Geijn
Code Generation and Optimization of Distributed-Memory Dense Linear Algebra Kernels. ICCS (2013)
Don S. Batory, Eric Latimer, Maider Azanza
Teaching Model Driven Engineering from a Relational Database Perspective. MoDELS (2013)
Bryan Marker, Robert A. van de Geijn, Don S. Batory
DSLs, DLA, DxT, and MDE in CSE. SE-CSE@ICSE (2013)
Jongwook Kim, Don S. Batory, Danny Dig
Can undergraduates script their own refactorings? WRT@SPLASH (2013)
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)
Don S. Batory, Rui C. Gonçalves, Bryan Marker, Janet Siegmund
Dark Knowledge and Graph Grammars in Automated Software Design. SLE (2013)
Taylor L. Riché, Rui C. Gonçalves, Bryan Marker, Don S. Batory
Pushouts in software architecture design. GPCE (2012)
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)
Chang Hwan Peter Kim, Sarfraz Khurshid, Don S. Batory
Shared Execution for Efficiently Testing Product Lines. ISSRE (2012)
Bryan Marker, Jack Poulson, Don S. Batory, Robert A. van de Geijn
Designing Linear Algebra Algorithms by Transformation: Mechanizing the Expert Developer. VECPAR (2012)
Janet Feigenspan, Don S. Batory, Taylor L. Riché
Is the derivation of a model easier to understand than the model itself? ICPC (2012)
Bryan Marker, Andy Terrel, Jack Poulson, Don S. Batory, Robert A. van de Geijn
Mechanizing the expert dense linear algebra developer. PPOPP (2012)
Don S. Batory
Towards Verification of Product Lines. ITP (2011)
Benjamin Delaware, William R. Cook, Don S. Batory
Product lines of theorems. OOPSLA (2011)
Danny Dig, Don S. Batory
Fourth workshop on refactoring tools: (WRT 2011). ICSE (2011)
Don S. Batory, Peter Höfner, Jongwook Kim
Feature interactions, products, and composition. GPCE (2011)
Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid
Reducing combinatorics in testing product lines. AOSD (2011)
Engin Uzuncaova, Sarfraz Khurshid, Don S. Batory
Incremental Test Generation for Software Product Lines. IEEE Trans. Software Eng. 36 (3) (2010)
Maider Azanza, Don S. Batory, Oscar Díaz, Salvador Trujillo
Domain-Specific Composition of Model Deltas. ICMT@TOOLS (2010)
Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid
Eliminating products to test in a software product line. ASE (2010)
Don S. Batory
Thoughts on automated software design and synthesis. FoSER (2010)
Chang Hwan Peter Kim, Eric Bodden, Don S. Batory, Sarfraz Khurshid
Reducing Configurations to Monitor in a Software Product Line. RV (2010)
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) (2010)
Taylor L. Riché, Harrick M. Vin, Don S. Batory
Transformation-Based Parallelization of Request-Processing Applications. MoDELS (2) (2010)
Benjamin Delaware, William R. Cook, Don S. Batory
Fitting the pieces together: a machine-checked model of safe composition. ESEC/SIGSOFT FSE (2009)
Martin Kuhlemann, Don S. Batory, Sven Apel
Refactoring Feature Modules. ICSR (2009)
Don S. Batory
On the importance and challenges of FOSD. FOSD (2009)
Thomas Thüm, Don S. Batory, Christian Kästner
Reasoning about edits to feature models. ICSE (2009)
Don S. Batory
Stepwise Development of Streaming Software Architectures. JISBD (2009)
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)
Don S. Batory
Dimensions of Variability in Software Product Lines. VaMoS (2009)
Martin Kuhlemann, Don S. Batory, Christian Kästner
Safe composition of non-monotonic features. GPCE (2009)
Benjamin Delaware, William R. Cook, Don S. Batory
A machine-checked model of safe composition. FOAL (2009)
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)
Don S. Batory
Using modern mathematics as an FOSD modeling language. GPCE (2008)
David Benavides, Antonio Ruiz Cortés, Don S. Batory, Patrick Heymans
First International Workshop on Analysis of Software Product Lines (ASPL'08). SPLC (2008)
Sven Apel, Christian Kästner, Don S. Batory
Program refactoring using functional aspects. GPCE (2008)
Egon Börger, Don S. Batory
Coupling Design and Verification in Software Product Lines. FoIKS (2008)
Don S. Batory, Maider Azanza, João Saraiva
The Objects and Arrows of Computational Design. MoDELS (2008)
Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory
Testing Software Product Lines Using Incremental Test Generation. ISSRE (2008)
Chang Hwan Peter Kim, Christian Kästner, Don S. Batory
On the modularity of feature interactions. GPCE (2008)
Don S. Batory, Egon Börger
Modularizing Theorems for Software Product Lines: The Jbook Case Study. J. Univers. Comput. Sci. 14 (12) (2008)
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)
Chang Hwan Peter Kim, Krzysztof Czarnecki, Don S. Batory
On-demand materialization of aspects for application development. SPLAT@AOSD (2008)
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)
Greg Freeman, Don S. Batory, R. Greg Lavender
Lifting Transformational Models of Product Lines: A Case Study. ICMT@TOOLS (2008)
Don S. Batory, Oscar Díaz, Hartmut Ehrig, Claudia Ermel, Ulrike Prange, Gabriele Taentzer
Model Transformations should be Functors. Bull. EATCS 92 (2007)
Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory
A specification-based approach to testing software product lines. ESEC/SIGSOFT FSE (2007)
Don S. Batory
From implementation to theory in product synthesis. POPL (2007)
Don S. Batory, Daniel Garcia, Engin Uzuncaova, Sarfraz Khurshid
A specification-based approach to testing software product lines. ESEC/SIGSOFT FSE (Companion) (2007)
Don S. Batory
A Modeling Language for Program Design and Synthesis. Lipari Summer School (2007)
Salvador Trujillo, Don S. Batory, Oscar Díaz
Feature Oriented Model Driven Development: A Case Study for Portlets. ICSE (2007)
Christian Kästner, Sven Apel, Don S. Batory
A Case Study Implementing Features Using AspectJ. SPLC (2007)
Sahil Thaker, Don S. Batory, David Kitchin, William R. Cook
Safe composition of product lines. GPCE (2007)
Christian Kästner, Martin Kuhlemann, Don S. Batory
Automating Feature-Oriented Refactoring of Legacy Applications. WRT (2007)
Don S. Batory
Program Refactoring, Program Synthesis, and Model-Driven Development. CC (2007)
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)
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)
Don S. Batory
Feature Modularity in Software Product Lines. SPLC (2006)
Don S. Batory
Multilevel models in model-driven engineering, product lines, and metaprogramming. IBM Syst. J. 45 (3) (2006)
Sven Apel, Don S. Batory
When to use features and aspects?: a case study. GPCE (2006)
Don S. Batory, David Benavides, Antonio Ruiz Cortés
Automated analysis of feature models: challenges ahead. Commun. ACM 49 (12) (2006)
Roberto E. Lopez-Herrejon, Don S. Batory, Christian Lengauer
A disciplined approach to aspect composition. PEPM (2006)
Mark Grechanik, Dewayne E. Perry, Don S. Batory
A Security Mechanism for Component-Based Systems. ICCBSS (2006)
Jia Liu, Don S. Batory, Christian Lengauer
Feature oriented refactoring of legacy applications. ICSE (2006)

Don S. Batory.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Don S. Batory