Ina Schaefer - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged Variability-Aware Analysis

Proof Composition for Deductive Verification of Software Product LinesThomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel. In Proceedings of the International Workshop on Variability-intensive Systems Testing, Validation & Verification (VAST). 2011:

Feature-Interaction Detection using Feature-Aware VerificationSven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, and Dirk Beyer, Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, and Dirk Beyer. In Proceedings of the IEEE International Conference on Automated Software Engineering (ASE). 2011:

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]

Parsing All of C by Taming the PreprocessorPaul Gazzillo, Robert Grimm. Technical Report TR2011-939, 2011.

Variability-Aware Parsing in the Presence of Lexical Macros and Conditional CompilationChristian Kästner, Paolo G. Giarrusso, Tillmann Rendel, Sebastian Erdweg, Klaus Ostermann, Thorsten Berger. In Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). 2011:

Feature Consistency in Compile-Time-Configurable System Software: Facing the Linux 10,000 Feature ProblemReinhard Tartler, Daniel Lohmann, Julio Sincero, Wolfgang Schr{\"o}der-Preikschat. In Proc.\ European Conference on Computer Systems (EuroSys). 2011: 47-60

Implementing software product lines using traitsLorenzo Bettini, Ferruccio Damiani, Ina Schaefer. SAC 2010: 2096-2102 [doi]

Featuremodellbasiertes und kombinatorisches Testen von Software-ProduktlinienSebastian Oster, Philipp Ritter, andy-schÃ¼rr. se 2010: 177-188

Type safety for feature-oriented product linesSven Apel, Christian Kästner, Armin Größlinger, Christian Lengauer. ASE, 17(3):251-300, 2010. [doi]

A calculus for uniform feature compositionSven Apel, DeLesley Hutchins. TOPLAS, 32(5), 2010. [doi]

TypeChef: toward type checking #ifdef variability in CKenner, Andy, Christian Kästner, Haase, Steffen, Leich, Thomas. In Proceedings of the 2nd International Workshop on Feature-Oriented Software Development. 2010: 25-32 [doi]

Detecting Dependences and Interactions in Feature-Oriented DesignSven Apel, Wolfgang Scholz, Christian Lengauer, Christian Kästner. issre 2010: 161-170 [doi]

Automated Incremental Pairwise Testing of Software Product LinesSebastian Oster, Florian Markert, Philipp Ritter. SPLC 2010: 196-210 [doi]

Safe Composition of TransformationsFlorian Heidenreich, Jan Kopcsek, Uwe Aßmann. ICMT 2010: 108-122 [doi]

Model checking lots of systems: efficient verification of temporal properties in software product linesAndreas Classen, Patrick Heymans, Pierre Yves Schobbens, Axel Legay, Jean-François Raskin. ICSE 2010: 335-344 [doi]

Modular logic metaprogrammingKarl Klose, Klaus Ostermann. OOPSLA 2010: 484-503 [doi]

Towards safer compositionAndreas Classen, Patrick Heymans, Thein Than Tun, Bashar Nuseibeh. ICSE 2009: 227-230 [doi]

A machine-checked model of safe compositionBenjamin Delaware, William R. Cook, Don S. Batory. foal 2009: 31-35 [doi]

Fitting the pieces together: a machine-checked model of safe compositionBenjamin Delaware, William R. Cook, Don S. Batory. FSE 2009: 243-252 [doi]

Model Checking of Domain Artifacts in Product Line EngineeringKim Lauenroth, Klaus Pohl, Simon Toehning. ASE 2009: 269-280 [doi]

Towards Systematic Ensuring Well-Formedness of Software Product LinesFlorian Heidenreich. In Proceedings of the First International Workshop on Feature-Oriented Software Development. 2009:

Safe Composition of Non-Monotonic FeaturesMartin Kuhlemann, Don S. Batory, Christian Kästner. In Proceedings of the 8th International Conference on Generative Programming and Component Engineering (GPCE). 2009:

Type-Safe Feature-Oriented Product LinesSven Apel, Christian Kästner, Armin Gr{\"o}{\ss}linger, Christian Lengauer. Technical Report MIP-0909, 2009.

Guaranteeing Syntactic Correctness for all Product Line Variants: A Language-Independent ApproachChristian Kästner, Sven Apel, Salvador Trujillo, Martin Kuhlemann, Don S. Batory. In Proceedings of the 47th International Conference Objects, Models, Components, Patterns (TOOLS EUROPE). 2009: [doi]

Configuration Lifting: Verification meets Software ConfigurationHendrik Post, Carsten Sinz. ASE 2008: 347-350 [doi]

Calculating and Modeling Common Parts of Software Product LinesAlexander Gruler, Martin Leucker, Kathrin D. Scheidemann. SPLC 2008: 203-212 [doi]

Generating Rewritable Abstract Syntax TreesJeffrey L. Overbey, Ralph E. Johnson. SLE 2008: 114-133 [doi]

On the modularity of feature interactionsChang Hwan Peter Kim, Christian Kästner, Don S. Batory. GPCE 2008: 23-34 [doi]

Feature featherweight java: a calculus for feature-oriented programming and stepwise refinementSven Apel, Christian Kästner, Christian Lengauer. GPCE 2008: 101-112 [doi]

Modeling and Model Checking Software Product LinesAlexander Gruler, Martin Leucker, Kathrin D. Scheidemann. fmoods 2008: 113-131 [doi]

Granularity in software product linesChristian Kästner, Sven Apel, Martin Kuhlemann. ICSE 2008: 311-320 [doi]

Type-Checking Software Product Lines - A Formal ApproachChristian Kästner, Sven Apel. ASE 2008: 258-267 [doi]

Expressive and safe static reflection with MorphJShan Shan Huang, Yannis Smaragdakis. PLDI 2008: 79-89 [doi]

cJ: enhancing java with safe type conditionsShan Shan Huang, David Zook, Yannis Smaragdakis. AOSD 2007: 185-198 [doi]

Towards Feature-Oriented Specification and Development with Event-BMichael Poppleton. refsq 2007: 367-381 [doi]

Safe composition of product linesSahil Thaker, Don S. Batory, David Kitchin, William R. Cook. GPCE 2007: 95-104 [doi]

Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated AnalysisAndreas Metzger, Patrick Heymans, Klaus Pohl, Pierre Yves Schobbens, Germain Saval. RE 2007: 243-253 [doi]

Verifying feature-based model templates against well-formedness OCL constraintsKrzysztof Czarnecki, Krzysztof Pietroszek. GPCE 2006: 211-220 [doi]

Decomposing Verification Around End-User FeaturesKathi Fisler, Shriram Krishnamurthi. vstte 2008: 74-81 [doi]

Statically Safe Program Generation with SafeGenShan Shan Huang, David Zook, Yannis Smaragdakis. GPCE 2005: 309-326 [doi]

Modular Verification of Open Features Using Three-Valued Model CheckingHarry C. Li, Shriram Krishnamurthi, Kathi Fisler. ASE, 12(3):349-382, 2005. [doi]

A Case Study in Using ACL2 for Feature-Oriented VerificationFisler, Kathi, Roberts, Brian. In Proc. Int'l Workshop on the ACL2 Theorem Prover and Its Applications. 2004:

Handling Preprocessor-Conditioned DeclarationsLerina Aversano, Massimiliano Di Penta, Ira. D. Baxter. Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2002. [doi]

Verifying cross-cutting features as open systemsHarry C. Li, Shriram Krishnamurthi, Kathi Fisler. ESEC/FSE 2002: 89-98 [doi]

Preprocessor Conditional Removal by Simple Partial EvaluationIra D. Baxter, Michael Mehlich. WCRE 2001: 281-290 [doi]

Modular verification of collaboration-based software designsKathi Fisler, Shriram Krishnamurthi. ESEC/FSE 2001: 152-163 [doi]

Hyper/J:::TM:::: Multi-Dimensional Separation of Concerns for Java:::TM:::Peri L. Tarr, Harold Ossher. ICSE 2001: 729-730

An Integrated Program Representation and Toolkit for the Maintenance of C ProgramsPlatoff, Michael, Wagner, Michael, Camaratta, Joseph. In IEEE International Conference on Software Maintenance 2006. 1991: 192-137

runs on WebDSL