Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDon 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
showing all ?? records
2020 – today
- 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]