Don S. Batory - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Don S. Batory' as author, editor, or advisor:

Reducing Combinatorics in Testing Product LinesKim, Chang Hwan Peter, Batory, Don S., Khurshid, Sarfraz. In Proceedings of the International Conference on Aspect-Oriented Software Development (AOSD). 2011: 57-68 [doi]
Product Optimization in Stepwise DesignDon S. Batory, Jeho Oh, Ruben Heradio, David Benavides 0001. BIRTHDAY 2021: 63-81 [doi]
Construction of file management systems from software componentsDon S. Batory, J. R. Barnett, J. Roy, Brian C. Twichell, Jorge F. Garza. compsac 1989: 358-364 [doi]
Feature interactions, products, and compositionDon S. Batory, Peter Höfner, Jongwook Kim. GPCE 2011: 13-22 [doi]
Uniform and scalable sampling of highly configurable systemsRuben Heradio, David Fernández-Amorós, José A. Galindo, David Benavides 0001, Don S. Batory. ese, 27(2):44, 2022. [doi]
Automating Feature-Oriented Refactoring of Legacy ApplicationsChristian Kästner, Martin Kuhlemann, Don S. Batory. ECOOP 2007: 62-63 [doi]
Implementing reusable object-oriented componentsYannis Smaragdakis, Don S. Batory. icsr 1998: 36-45 [doi]
Reducing Configurations to Monitor in a Software Product LineChang Hwan Peter Kim, Eric Bodden, Don S. Batory, Sarfraz Khurshid. RV 2010: 285-299 [doi]
Feature-Oriented Software Product Lines - Concepts and ImplementationSven Apel, Don S. Batory, Christian Kästner, Gunter Saake, editors, Springer, 2013. [doi]
Domain-Specific Composition of Model DeltasMaider Azanza, Don S. Batory, Oscar Díaz, Salvador Trujillo. ICMT 2010: 16-30 [doi]
The software engineering of extensible database systemsDon S. Batory. compsac 1990: [doi]
Features, modularity, and variation pointsDon S. Batory, Peter Höfner, Bernhard Möller, Andreas Zelend. GPCE 2013: 9-16 [doi]
Towards refactoring-aware regression test selectionKaiyuan Wang, Chenguang Zhu, Ahmet Çelik, Jongwook Kim, Don S. Batory, Milos Gligoric. ICSE 2018: 233-244 [doi]
Software Engineering for Tailor-made Data Management, 06.07. - 11.07.2008Sven Apel, Don S. Batory, Goetz Graefe, Gunter Saake, O. Spynczyk, editors, Volume 08281 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2008. [doi]
DSLs, DLA, DxT, and MDE in CSEBryan Marker, Robert A. van de Geijn, Don S. Batory. ICSE 2013: 84-87 [doi]
Home PageDon S. Batory. http://www.cs.utexas.edu/users/dsb/,
X15: A Tool For Refactoring Java Software Product LinesJongwook Kim, Don S. Batory, Danny Dig. SPLC 2017: 28-31 [doi]
9th workshop on institutionalizing software reuse (WISR '9) workshop summaryJeffrey S. Poulin, Don S. Batory, Larry Latour. sigsoft, 24(3):29-31, 1999. [doi]
Scripting parametric refactorings in Java to retrofit design patternsJongwook Kim, Don S. Batory, Danny Dig. ICSM 2015: 211-220 [doi]
Transforming Numerical Feature Models into Propositional Formulas and the Universal Variability LanguageDaniel-Jesus Munoz, Mónica Pinto, Lidia Fuentes, Don S. Batory. jss, 204:111770, October 2023. [doi]
[inline-graphic not available: see fulltext]: A Tool to Transform Feature Models with Numerical Features and Arithmetic ConstraintsDaniel-Jesus Munoz, Jeho Oh, Mónica Pinto, Lidia Fuentes, Don S. Batory. icsr 2022: 59-75 [doi]
An approach to evolving database dependent systemsMark Grechanik, Dewayne E. Perry, Don S. Batory. iwpse 2002: 113-116 [doi]
ReFlO: an interactive tool for pipe-and-filter domain specification and program generationRui C. Gonçalves, Don S. Batory, João Luís Sobral. SoSyM, 15(2):377-395, 2016. [doi]
Model Transformations should be FunctorsDon S. Batory, Oscar Díaz, Hartmut Ehrig, Claudia Ermel, Ulrike Prange, Gabriele Taentzer. eatcs, 92:75-81, 2007.
Validating component compositions in software system generatorsDon S. Batory, Bart J. Geraci. icsr 1996: 72-81 [doi]
08281 Executive Summary - Software Engineering for Tailor-made Data ManagementSven Apel, Don S. Batory, Goetz Graefe, Gunter Saake, Olaf Spinczyk. Dagstuhl 2008: [doi]
Thoughts on automated software design and synthesisDon S. Batory. FSE 2010: 29-32 [doi]
Reducing combinatorics in testing product linesChang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid. AOSD 2011: 57-68 [doi]
Fourth workshop on refactoring tools: (WRT 2011)Danny Dig, Don S. Batory. ICSE 2011: 1202-1203 [doi]
Why (meta-)theories of automated software design are essential: A personal perspectiveDon S. Batory. ICSE 2013: 19-22 [doi]
On Proving the Correctness of Refactoring Class Diagrams of MDE MetamodelsNajd Altoyan, Don S. Batory. TOSEM, 32(2), April 2023. [doi]
Towards Verification of Product LinesDon S. Batory. itp 2011: 1 [doi]
Product lines of theoremsBenjamin Delaware, William R. Cook, Don S. Batory. OOPSLA 2011: 595-608 [doi]
Faster bug detection for software product lines with incomplete feature modelsSabrina Souto, Divya Gopinath, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid, Don S. Batory. SPLC 2015: 151-160 [doi]
Uniform random sampling product configurations of feature models that have numerical features: [research]Daniel-Jesus Munoz, Jeho Oh, Mónica Pinto, Lidia Fuentes, Don S. Batory. SPLC 2019: [doi]
Finding Near-optimal Configurations in Colossal Spaces with Statistical GuaranteesJeho Oh, Don S. Batory, Ruben Heradio. TOSEM, 33(1), January 2024. [doi]
Jakarta Tool Suite (JTS)Don S. Batory. sigsoft, 25(1):103-104, 2000. [doi]
Eliminating products to test in a software product lineChang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid. ASE 2010: 139-142 [doi]
Code Generation and Optimization of Distributed-Memory Dense Linear Algebra KernelsBryan Marker, Don S. Batory, Robert A. van de Geijn. iccs 2013: 1282-1291 [doi]
Teaching model-driven engineering from a relational database perspectiveDon S. Batory, Maider Azanza. SoSyM, 16(2):443-467, 2017. [doi]
Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14 - 18, 2016Lidia Fuentes, Don S. Batory, Krzysztof Czarnecki, editors, ACM, 2016. [doi]
Pushouts in software architecture designTaylor L. Riché, R. Gonçalves, Bryan Marker, Don S. Batory. GPCE 2012: 84-92 [doi]
Proceedings of the Second International Workshop on Feature-Oriented Software Development, FOSD 2010, Eindhoven, Netherlands, October 10, 2010Sven Apel, Don S. Batory, Krzysztof Czarnecki, Florian Heidenreich, Christian Kästner, Oscar Nierstrasz, editors, ACM, 2010.
Design wizards and visual programming environments for generatorsDon S. Batory, Gang Chen, Eric Robertson, Tao Wang. icsr 1998: 255-267 [doi]
Automatic code generation for actuator interfacing from a declarative specificationEdwin H. Jung, Chetan Kapoor, Don S. Batory. iros 2005: 2839-2844 [doi]
Designing Linear Algebra Algorithms by Transformation: Mechanizing the Expert DeveloperBryan Marker, Jack Poulson, Don S. Batory, Robert A. van de Geijn. vecpar 2013: 362-378 [doi]
First international workshop on languages for modelling variability (MODEVAR 2019)David Benavides, Rick Rabiser, Don S. Batory, Mathieu Acher. SPLC 2019: [doi]
Can undergraduates script their own refactorings?Jongwook Kim, Don S. Batory, Danny Dig. OOPSLA 2013: 9-12 [doi]
On-demand materialization of aspects for application developmentChang Hwan Peter Kim, Krzysztof Czarnecki, Don S. Batory. AOSD 2008: [doi]
Domain analysis for GenVoca generatorsDon S. Batory. icsr 1998: 350-351 [doi]
Shared Execution for Efficiently Testing Product LinesChang Hwan Peter Kim, Sarfraz Khurshid, Don S. Batory. issre 2012: 221-230 [doi]
Should future variability modeling languages express constraints in OCL?Don S. Batory. SPLC 2019: [doi]
Predicting performance via automated feature-interaction detectionNorbert Siegmund, Sergiy S. Kolesnikov, Christian Kästner, Sven Apel, Don S. Batory, Marko Rosenmüller, Gunter Saake. ICSE 2012: 167-177 [doi]
Interfaces are keyBryan Marker, Robert A. van de Geijn, Don S. Batory. sc 2013: 21-24 [doi]
Improving refactoring speed by 10XJongwook Kim, Don S. Batory, Danny Dig, Maider Azanza. ICSE 2016: 1145-1156 [doi]
Dark Knowledge and Graph Grammars in Automated Software DesignDon S. Batory, Rui Gonçalves, Bryan Marker, Janet Siegmund. SLE 2013: 1-18 [doi]
Code transformation issues in move-instance-method refactoringsJongwook Kim, Don S. Batory, Milos Gligoric. ICSE 2019: 17-22 [doi]
A case study in mechanically deriving dense linear algebra codeBryan Marker, Don S. Batory, Robert A. van de Geijn. ijhpca, 27(4):440-453, 2013. [doi]
Structured Document Algebra in ActionDon S. Batory, Peter Höfner, Dominik Köppl, Bernhard Möller, Andreas Zelend. BIRTHDAY 2015: 291-311 [doi]
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systemsChang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don S. Batory, Sabrina Souto, Paulo Barros, Marcelo d'Amorim. FSE 2013: 257-267 [doi]
Finding near-optimal configurations in product lines by random samplingJeho Oh, Don S. Batory, Margaret Myers, Norbert Siegmund. FSE 2017: 61-71 [doi]
Transformation-Based Parallelization of Request-Processing ApplicationsTaylor L. Riché, Harrick M. Vin, Don S. Batory. MoDELS 2010: 2-16 [doi]
Subjectivity and GenVoca generatorsDon S. Batory. icsr 1996: 166-175 [doi]
JTS: tools for implementing domain-specific languagesDon S. Batory, Bernie J. Lofaso, Yannis Smaragdakis. icsr 1998: 143-153 [doi]
A Theory about the Structure of GTSEsDewayne E. Perry, Don S. Batory. ICSE 2015: 39-46 [doi]
Lifting transformational models of product lines: a case studyGreg Freeman, Don S. Batory, R. Greg Lavender, Jacob Neal Sarvela. SoSyM, 9(3):359-373, 2010. [doi]
COPE: vision for a change-oriented programming environmentDanny Dig, Ralph E. Johnson, Darko Marinov, Brian P. Bailey, Don S. Batory. ICSE 2016: 773-776 [doi]
Refactoring Java Software Product LinesJongwook Kim, Don S. Batory, Danny Dig. SPLC 2017: 59-68 [doi]
Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27-29, 2010. ProceedingsDavid Benavides, Don S. Batory, Paul Grünbacher, editors, Volume 37 of ICB-Research Report, Universität Duisburg-Essen, 2010.
08281 Abstracts Collection - Software Engineering for Trailor-made Data ManagementSven Apel, Don S. Batory, Goetz Graefe, Gunter Saake, Olaf Spinczyk. Dagstuhl 2008: [doi]
Correction to: Uniform and scalable sampling of highly configurable systemsRuben Heradio, David Fernández-Amorós, José A. Galindo, David Benavides 0001, Don S. Batory. ese, 27(2):57, 2022. [doi]
Is the derivation of a model easier to understand than the model itself?Janet Feigenspan, Don S. Batory, Taylor L. Riché. IWPC 2012: 47-52 [doi]
Foreword to the Special Issue on Formal Methods for Software Product Line EngineeringDon S. Batory. jlp, 85(1):121-122, 2016. [doi]
Understanding performance stairs: elucidating heuristicsBryan Marker, Don S. Batory, Robert A. van de Geijn. ASE 2014: 301-312 [doi]
Proceedings of the 15th International Conference on Modularity, MODULARITY 2016, Málaga, Spain, March 14 - 18, 2016Lidia Fuentes, Don S. Batory, Krzysztof Czarnecki, editors, ACM, 2016. [doi]
Test of Time Award & Conjectures on the Future of SPLsDon S. Batory. SPLC 2017: 4 [doi]
Incremental Test Generation for Software Product LinesEngin Uzuncaova, Sarfraz Khurshid, Don S. Batory. TSE, 36(3):309-322, 2010. [doi]
A theory of modularity for automated software development (keynote)Don S. Batory. AOSD 2015: 1-10 [doi]
An analytical model of physical databasesDon S. Batory. PhD thesis, University of Toronto, Canada, 1980. [doi]
From software extensions to product lines of dataflow programsRui C. Gonçalves, Don S. Batory, João L. Sobral, Taylor L. Riché. SoSyM, 16(4):929-947, 2017. [doi]
Performance Prediction in the Presence of Feature InteractionsNorbert Siegmund, Sergiy S. Kolesnikov, Christian Kästner, Sven Apel, Don S. Batory, Marko Rosenmüller, Gunter Saake. se 2014: 33-34
t-wise coverage by uniform sampling: [challenge solution]Jeho Oh, Paul Gazzillo, Don S. Batory. SPLC 2019: [doi]
Aocl : A Pure-Java Constraint and Transformation Language for MDEDon S. Batory, Najd Altoyan. modelsward 2020: 319-327 [doi]
Mechanizing the expert dense linear algebra developerBryan Marker, Andy Terrel, Jack Poulson, Don S. Batory, Robert A. van de Geijn. ppopp 2012: 289-290 [doi]
Fourth Workshop on Refactoring Tools 2011, WRT '11, Waikiki, Honolulu, HI, USA, May 22, 2011Danny Dig, Don S. Batory, editors, ACM, 2011. [doi]
Teaching Model Driven Engineering from a Relational Database PerspectiveDon S. Batory, Eric Latimer, Maider Azanza. MoDELS 2013: 121-137 [doi]

runs on WebDSL