Don S. Batory
Orcid: 0000-0002-8739-3841Affiliations:
- University of Texas at Austin, USA
According to our database1,
Don S. Batory
authored at least 198 papers
between 1978 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on id.loc.gov
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
ACM Trans. Softw. Eng. Methodol., January, 2024
2023
Transforming Numerical Feature Models into Propositional Formulas and the Universal Variability Language.
J. Syst. Softw., October, 2023
ACM Trans. Softw. Eng. Methodol., April, 2023
2022
Empir. Softw. Eng., 2022
Empir. Softw. Eng., 2022
[inline-graphic not available: see fulltext]: A Tool to Transform Feature Models with Numerical Features and Arithmetic Constraints.
Proceedings of the Reuse and Software Quality, 2022
2021
Proceedings of the Logic, Computation and Rigorous Methods, 2021
2020
Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020
2019
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019
Uniform random sampling product configurations of feature models that have numerical features.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019
Proceedings of the 3rd International Workshop on Refactoring, 2019
2018
Proceedings of the 40th International Conference on Software Engineering, 2018
2017
Softw. Syst. Model., 2017
Softw. Syst. Model., 2017
Proceedings of the 21st International Systems and Software Product Line Conference, 2017
Proceedings of the 21st International Systems and Software Product Line Conference, 2017
Proceedings of the 21st International Systems and Software Product Line Conference, 2017
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
2016
ReFlO: an interactive tool for pipe-and-filter domain specification and program generation.
Softw. Syst. Model., 2016
Foreword to the Special Issue on Formal Methods for Software Product Line Engineering.
J. Log. Algebraic Methods Program., 2016
Proceedings of the 38th International Conference on Software Engineering, 2016
Proceedings of the 38th International Conference on Software Engineering, 2016
2015
Proceedings of the 19th International Conference on Software Product Line, 2015
Proceedings of the 2015 IEEE International Conference on Software Maintenance and Evolution, 2015
Proceedings of the IEEE/ACM 4th SEMAT Workshop on a General Theory of Software Engineering, 2015
Proceedings of the Companion Proceedings of the 14th International Conference on Modularity, 2015
2014
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
2013
Int. J. High Perform. Comput. Appl., 2013
Proceedings of the Software Language Engineering - 6th International Conference, 2013
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013
Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering, 2013
Proceedings of the 2013 ACM Workshop on Refactoring Tools, 2013
Proceedings of the Model-Driven Engineering Languages and Systems, 2013
Proceedings of the 5th International Workshop on Software Engineering for Computational Science and Engineering, 2013
Why (meta-)theories of automated software design are essential: A personal perspective.
Proceedings of the 2nd SEMAT Workshop on a General Theory of Software Engineering, 2013
Proceedings of the International Conference on Computational Science, 2013
Proceedings of the 5th International Workshop on Feature-Oriented Software Development, 2013
Springer, ISBN: 978-3-642-37520-0, 2013
2012
Designing Linear Algebra Algorithms by Transformation: Mechanizing the Expert Developer.
Proceedings of the High Performance Computing for Computational Science, 2012
Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012
Proceedings of the IEEE 20th International Conference on Program Comprehension, 2012
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012
Proceedings of the 34th International Conference on Software Engineering, 2012
Proceedings of the Generative Programming and Component Engineering, 2012
2011
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
Proceedings of the Interactive Theorem Proving - Second International Conference, 2011
Proceedings of the 33rd International Conference on Software Engineering, 2011
Proceedings of the Generative Programming And Component Engineering, 2011
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011
2010
IEEE Trans. Software Eng., 2010
Softw. Syst. Model., 2010
Proceedings of the Workshop on Future of Software Engineering Research, 2010
Proceedings of the Runtime Verification - First International Conference, 2010
Proceedings of the Model Driven Engineering Languages and Systems, 2010
Proceedings of the ASE 2010, 2010
Proceedings of the Theory and Practice of Model Transformations, 2010
2009
Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems, 2009
Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach.
Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009
Proceedings of the Software Product Lines, 13th International Conference, 2009
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009
Proceedings of the First International Workshop on Feature-Oriented Software Development, 2009
Stepwise Development of Streaming Software Architectures.
Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009
Proceedings of the 31st International Conference on Software Engineering, 2009
Proceedings of the Generative Programming and Component Engineering, 2009
Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, 2009
2008
J. Univers. Comput. Sci., 2008
Proceedings of the Software Product Lines, 12th International Conference, 2008
Proceedings of the Model Driven Engineering Languages and Systems, 2008
Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008
Proceedings of the Theory and Practice of Model Transformations, 2008
Proceedings of the Generative Programming and Component Engineering, 2008
Proceedings of the Generative Programming and Component Engineering, 2008
Proceedings of the Generative Programming and Component Engineering, 2008
Proceedings of the Foundations of Information and Knowledge Systems, 2008
Proceedings of the Software Engineering for Tailor-made Data Management, 06.07., 2008
Proceedings of the Software Engineering for Tailor-made Data Management, 06.07., 2008
Proceedings of the SPLAT@AOSD 2008: Proceedings of the 2008 AOSD workshop on Software engineering properties of languages and aspect technologies, Brussels, Belgium, 31 March, 2008
2007
Model Transformations should be Functors.
Bull. EATCS, 2007
Proceedings of the Software Product Lines, 11th International Conference, 2007
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007
Proceedings of the Advances in Software Engineering, Lipari Summer School 2007, 2007
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
Proceedings of the Generative Programming and Component Engineering, 2007
Proceedings of the 1st Workshop on Refactoring Tools, 2007
Proceedings of the Compiler Construction, 16th International Conference, 2007
2006
IBM Syst. J., 2006
Proceedings of the Software Product Lines, 10th International Conference, 2006
Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006
Modeling Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case Study.
Proceedings of the Models in Software Engineering, 2006
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
Proceedings of the Fifth International Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems, 2006
Proceedings of the Generative Programming and Component Engineering, 2006
Proceedings of the Generative Programming and Component Engineering, 2006
Proceedings of the Generative Programming and Component Engineering, 2006
2005
Proceedings of the Software Product Lines, 9th International Conference, 2005
Proceedings of the 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2005
Proceedings of the Generative and Transformational Techniques in Software Engineering, 2005
Modeling Interactions in Feature Oriented Software Designs.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VIII, 2005
Proceedings of the ECOOP 2005, 2005
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005
2004
Proceedings of the 12th International Workshop on Program Comprehension (IWPC 2004), 2004
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004
Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004
Proceedings of the Algebraic Methodology and Software Technology, 2004
2003
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003
Proceedings of the 25th International Conference on Software Engineering, 2003
Proceedings of the 25th International Conference on Software Engineering, 2003
Proceedings of the Domain-Specific Program Generation, International Seminar, 2003
2002
Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs.
ACM Trans. Softw. Eng. Methodol., 2002
Achieving extensibility through product-lines and domain-specific languages: a case study.
ACM Trans. Softw. Eng. Methodol., 2002
Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002
Proceedings of the International Workshop on Principles of Software Evolution, 2002
Proceedings of the Software Reuse: Methods, 2002
2001
Proceedings of the 23rd International Conference on Software Engineering, 2001
Proceedings of the Generative and Component-Based Software Engineering, 2001
2000
IEEE Trans. Software Eng., 2000
Object-oriented frameworks and product lines.
Proceedings of the Software Product Lines; Experiences and Research Directions, 2000
Proceedings of the 22nd International Conference on on Software Engineering, 2000
Proceedings of the Generative and Component-Based Software Engineering, 2000
1999
ACM SIGSOFT Softw. Eng. Notes, 1999
Architectural Styles as Adaptors.
Proceedings of the Software Architecture, 1999
High level Modelling Languages, Adaptable Process Models and Software Generation: Drivers for Quality and Productivity.
Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999
Proceedings of the 1999 International Conference on Software Engineering, 1999
Proceedings of the Generative and Component-Based Software Engineering, 1999
Building Product-Lines with Mixin-Layers.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999
Proceedings of the 5th USENIX Conference on Object-Oriented Technologies & Systems, 1999
1998
Proceedings of the Fifth International Conference on Software Reuse, 1998
Proceedings of the Fifth International Conference on Software Reuse, 1998
Proceedings of the Fifth International Conference on Software Reuse, 1998
Proceedings of the Fifth International Conference on Software Reuse, 1998
1997
IEEE Trans. Software Eng., 1997
Proceedings of the 1997 ACM SIGSOFT Symposium on Symposium on Software Reusability, 1997
Proceedings of the 1997 ACM SIGSOFT Symposium on Symposium on Software Reusability, 1997
Proceedings of the Conference on Domain-Specific Languages, 1997
1996
Proceedings of Fourth IEEE International Conference on Software Reuse, 1996
Proceedings of Fourth IEEE International Conference on Software Reuse, 1996
1995
Panel Languages and Models for Reusable Components.
Proceedings of the ACM SIGSOFT Symposium on Software Reusability, 1995
Proceedings of the ACM SIGSOFT Symposium on Software Reusability, 1995
Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, 1995
Proceedings of the Eleventh International Conference on Data Engineering, 1995
1994
Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, 1994
1993
Int. J. Softw. Eng. Knowl. Eng., 1993
Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, 1993
Proceedings of the 15th International Conference on Software Engineering, 1993
1992
The Design and Implementation of Hierarchical Software Systems with Reusable Components.
ACM Trans. Softw. Eng. Methodol., 1992
Int. J. Softw. Eng. Knowl. Eng., 1992
1990
Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990
1989
ACM TODS Publication Policy.
SIGMOD Rec., 1989
Proceedings of the Fifth International Conference on Data Engineering, 1989
Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989
1988
ACM Trans. Database Syst., 1988
Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1988
1987
A Cost-Benefit Decision Model: Analysis, Comparison, and Selection of Data Management Systems.
ACM Trans. Database Syst., 1987
1986
IEEE Database Eng. Bull., 1986
Proceedings of the 1986 ACM SIGMOD International Conference on Management of Data, 1986
Proceedings of the 1986 International Workshop on Object-Oriented Database Systems, 1986
1985
ACM Trans. Database Syst., 1985
Proceedings of the 1985 ACM SIGMOD International Conference on Management of Data, 1985
A Model and Storage Technique for Versions of VLSI CAD Objects.
Proceedings of the Foundations of Data Organization, 1985
Progress Toward Automating The Development of Database System Software.
Proceedings of the Query Processing in Database Systems, 1985
1984
Proceedings of the Tenth International Conference on Very Large Data Bases, 1984
Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1984
1983
Proceedings of the Second International Workshop on Statistical Database Management, 1983
Proceedings of the Second International Workshop on Statistical Database Management, 1983
1982
IEEE Database Eng. Bull., 1982
1981
Proceedings of the 1981 ACM SIGMOD International Conference on Management of Data, Ann Arbor, Michigan, USA, April 29, 1981
1980
1979
1978
On Searching Transposed Files (Abstract).
Proceedings of the Fourth International Conference on Very Large Data Bases, 1978