D. Batory

PROFILE

Homepage
No homepage is listed.
ORCID
No ORCID is listed.
Affiliations
No affiliations are listed.
Aliases
D. Batory, Don S. Batory, D Batory, Don Batory, Don Steve Batory, D. S. Batory, D.s. Batory
Publication record
346 papers · 14,760 citations · H-index 58

PAPERS

Finding Near-optimal Configurations in Colossal Spaces with Statistical Guarantees
20237 citationsauthor #2
Transforming Numerical Feature Models into Propositional Formulas and the Universal Variability Language
20236 citationsauthor #4
Correction to: Uniform and scalable sampling of highly configurable systems
20220 citationsauthor #5
Nemo: A Tool to Transform Feature Models with Numerical Features and Arithmetic Constraints
20222 citationsauthor #5
On Proving the Correctness of Refactoring Class Diagrams of MDE Metamodels
20224 citationsauthor #2
Uniform and scalable sampling of highly configurable systems
202251 citationsauthor #5
Domain-Specific Program Generation (Dagstuhl Seminar 03131)
20210 citationsauthor #1
Product Optimization in Stepwise Design
20212 citationsauthor #1
Aocl : A Pure-Java Constraint and Transformation Language for MDE
20208 citationsauthor #1
Scalable Uniform Sampling for Real-World Software Product Lines
202018 citationsauthor #3
Aocl : A Pure-Java Constraint Language for MDE
20191 citationsauthor #1
Should Future Variability Modeling Languages Express Constraints in OCL?
20194 citationsauthor #1
Uniform Sampling from Kconﬁg Feature Models
201920 citationsauthor #2
Code Transformation Issues in Move-Instance-Method Refactorings
20194 citationsauthor #2
Uniform Random Sampling Product Configurations of Feature Models That Have Numerical Features
201956 citationsauthor #5
First International Workshop on Languages for Modelling Variability (MODEVAR 2019)
201914 citationsauthor #3
t-wise Coverage by Uniform Sampling
201953 citationsauthor #3
Percentile Calculations for Randomly Searching Colossal Product Spaces
20181 citationsauthor #1
Towards Refactoring-Aware Regression Test Selection
201827 citationsauthor #5
Multi-Objective Optimization in Large Software Product Lines
20181 citationsauthor #2
Finding near-optimal configurations in product lines by random sampling
2017141 citationsauthor #2
Finding Product Line Configurations with High Performance by Random Sampling
20179 citationsauthor #2
Refactoring Java So ware Product Lines
20170 citationsauthor #2
Test of Time Award & Conjectures on the Future of SPLs
20170 citationsauthor #1
Refactoring Java Software Product Lines
201711 citationsauthor #2
X15: A Tool For Refactoring Java Software Product Lines
20172 citationsauthor #2
Move-Instance-Method Refactorings : Experience , Issues , and Solutions
20162 citationsauthor #2
Proceedings of the 15th International Conference on Modularity
20160 citationsauthor #2
Improving Refactoring Speed by 10X
201641 citationsauthor #2
COPE: Vision for a Change-Oriented Programming Environment
20165 citationsauthor #5
Foreword to the Special Issue on Formal Methods for Software Product Line Engineering
20160 citationsauthor #1
From software extensions to product lines of dataflow programs
20155 citationsauthor #2
Opportunities in Computational Science to Advance Software Engineering
20150 citationsauthor #1
Structured Document Algebra in Action
20156 citationsauthor #1
Faster bug detection for software product lines with incomplete feature models
20157 citationsauthor #6
Scripting parametric refactorings in Java to retrofit design patterns
201529 citationsauthor #2
Constructors in MDE : Bootstrapping MDELite
20150 citationsauthor #1
A Theory about the Structure of GTSEs
20155 citationsauthor #2
A theory of modularity for automated software development (keynote)
20155 citationsauthor #1
ReFlO: an interactive tool for pipe-and-filter domain specification and program generation
201411 citationsauthor #2
Code Generation to Aid Parallel Code Development
20141 citationsauthor #3
Performance Prediction in the Presence of Feature Interactions
20141 citationsauthor #5
Scripting Refactorings in Java to Introduce Design Patterns
20142 citationsauthor #2
Understanding performance stairs: elucidating heuristics
201411 citationsauthor #2
Dark Knowledge and Graph Grammars in Automated Software Design
201315 citationsauthor #1
On the Structure of General Theories of Software Engineering
20131 citationsauthor #2
Advanced, Tool-Driven Variability Mechanisms
20130 citationsauthor #2
A case study in mechanically deriving dense linear algebra code
201317 citationsauthor #2
Analysis of Software Product Lines
20133 citationsauthor #2
Basic Concepts, Classification, and Quality Criteria
20133 citationsauthor #2
Teaching model-driven engineering from a relational database perspective
201343 citationsauthor #1
DSLs, DLA, DxT, and MDE in CSE
20133 citationsauthor #3
Can undergraduates script their own refactorings?
20131 citationsauthor #2
Interfaces are key
20132 citationsauthor #3
Feature-Oriented Software Product Lines
2013723 citationsauthor #2
A Development Process for Feature-Oriented Product Lines
20135 citationsauthor #2
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems
201382 citationsauthor #4
Features, modularity, and variation points
201318 citationsauthor #1
Advanced, Language-Based Variability Mechanisms
20131 citationsauthor #2
Code Generation and Optimization of Distributed-Memory Dense Linear Algebra Kernels
201315 citationsauthor #2
Classic, Language-Based Variability Mechanisms
20130 citationsauthor #2
Classic, Tool-Driven Variability Mechanisms
20131 citationsauthor #2
Refactoring of Software Product Lines
20130 citationsauthor #2
Why (meta-)theories of automated software design are essential: A personal perspective
20137 citationsauthor #1
Reengineering Product Lines of Dataflow Programs
20130 citationsauthor #3
Mechanizing the expert dense linear algebra developer
20123 citationsauthor #4
Is the derivation of a model easier to understand than the model itself?
20127 citationsauthor #2
Shared Execution for Efficiently Testing Product Lines
201270 citationsauthor #3
Predicting performance via automated feature-interaction detection
2012254 citationsauthor #5
Code Generation of Optimized Distributed-Memory Dense Linear Algebra Kernels
20120 citationsauthor #2
Pushouts in software architecture design
201215 citationsauthor #4
Designing Linear Algebra Algorithms by Transformation: Mechanizing the Expert Developer
201243 citationsauthor #3
Proceedings - International Conference on Software Engineering: Foreword
20110 citationsauthor #2
Product lines of theorems
201154 citationsauthor #3
Feature interactions, products, and composition
201171 citationsauthor #1
Query Processing in Database Systems
2011101 citationsauthor #3
Mechanizing the Expert Dense Linear Algebra Developer FLAME Working Note # 58
20112 citationsauthor #4
Product Lines of Product Lines
20114 citationsauthor #1
Reducing combinatorics in testing product lines
2011146 citationsauthor #2
Proceedings of the 4th Workshop on Refactoring Tools
20110 citationsauthor #2
Fourth workshop on refactoring tools: (WRT 2011)
20110 citationsauthor #2
Towards Verification of Product Lines
20110 citationsauthor #1
Incremental Test Generation for Software Product Lines
2010111 citationsauthor #3
Extraction of MDE Architectures from Parallel Streaming Applications
20101 citationsauthor #2
Transformation-based parallelization of request-processing applications
20103 citationsauthor #3
Enforcing Safety Properties in Product Lines
20100 citationsauthor #3
Domain-Specific Composition of Model Deltas
201013 citationsauthor #2
Eliminating products to test in a software product line
20109 citationsauthor #2
Thoughts on automated software design and synthesis
20102 citationsauthor #1
Reducing Configurations to Monitor in a Software Product Line
201052 citationsauthor #3
Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27-29, 2010. Proceedings
20103 citationsauthor #2
Architecture Design by Transformation
20108 citationsauthor #2
On the impact of the optional feature problem: analysis and case studies
2009113 citationsauthor #5
Refactoring Feature Modules
200936 citationsauthor #2
Stepwise Development of Streaming Software Architectures
20091 citationsauthor #1
Dimensions of Variability in Software Product Lines.
20090 citationsauthor #1
A machine-checked model of safe composition
200948 citationsauthor #3
Safe composition of non-monotonic features
200933 citationsauthor #2
Safe Composition of Refactoring Feature Modules
20092 citationsauthor #2
Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach
200984 citationsauthor #5

TIMELINE

1978 129 citations

1980 5 citations

1981 25 citations

1982 120 citations

1983 24 citations

1984 148 citations

1985 386 citations

1986 128 citations

1987 238 citations

1988 372 citations

1989 36 citations

1990 40 citations

1991 0 citations

1992 794 citations

1993 231 citations

1994 484 citations

1995 194 citations

1996 122 citations

1997 383 citations

1998 649 citations

1999 311 citations

2000 505 citations

2001 250 citations

2002 522 citations

2003 1,187 citations

2004 417 citations

2005 1,648 citations

2006 1,017 citations

2007 771 citations

2008 302 citations

2009 775 citations

2010 202 citations

2011 378 citations

2012 392 citations

2013 940 citations

2014 26 citations

2015 57 citations

2016 48 citations

2017 163 citations

2018 29 citations

2019 152 citations

2020 26 citations

2021 2 citations

2022 57 citations

2023 13 citations

Unknown 45 citations

D. Batory

PROFILE

PAPERS

TIMELINE

COAUTHOR MAP

CONCEPT FOOTPRINT