


Остановите войну!
for scientists:


default search action
Don 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]