Christian Kästner - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged program analysis

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]

On the Impact of the Optional Feature Problem: Analysis and Case StudiesChristian Kästner, Sven Apel, Syed Saif ur Rahman, Marko Rosenmüller, Don S. Batory, Gunter Saake. In Proceedings of the 13th International Software Product Line Conference (SPLC). 2009:

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

SlowFaster, a user-friendly program for slow-fast analysis and its application on phylogeny of ::::Blastocystis::::Martin Kostka, Magdalena Uzlikova, Ivan Cepicka, Jaroslav Flegr. bmcbi, 9, 2008. [doi]

Symbolic Analysis for Increased Program Execution PerformanceKleanthis Psarris. ica3pp 2008: 318 [doi]

Some Assembly Required - Program Analysis of Embedded System CodeAnsgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried. SCAM 2008: 15-24 [doi]

A new computer program for QSAR-analysis: ARTE-QSARSofie Van Damme, Patrick Bultinck. jcc, 28(11):1924-1928, 2007. [doi]

Post-optimality analysis of the optimal solution of a degenerate linear program using a pivoting algorithmJan Stallaert. cor, 34(7):1871-1884, 2007. [doi]

Augmenting sensitivity analysis for embedded applications by program level derivation of process parametersDieter Zöbel, Christian Weyand. sies 2007: 17-24 [doi]

Collection analysis for Horn clause programsDale Miller. ppdp 2006: 179-188 [doi]

A Scalable Nonuniform Pointer Analysis for Embedded ProgramsArnaud Venet. SAS 2004: 149-164 [doi]

Structural Analysis of Explicit Fault-Tolerant ProgramsStefan Gossens, Mario Dal Cin. hase 2004: 89-96 [doi]

Quasar: A New Tool for Concurrent Ada Programs AnalysisSami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau. Ada-Europe 2003: 168-181 [doi]

Automated Analysis of CLP(FD) Program Execution TracesMireille Ducassé, Ludovic Langevine. ICLP 2002: 470-471 [doi]

Scope-Tree: A Program Representation for Symbolic Worst-Case Execution Time AnalysisAntoine Colin, Guillem Bernat. ecrts 2002: 50 [doi]

Longitudinal program analysisDavid Notkin. PASTE 2002: 1 [doi]

Automatic Analysis of Pointer Aliasing for Untyped ProgramsArnaud Venet. SCP, 35(2):223-248, 1999.

Dependency Analysis of Ada ProgramsJanusz W. Laski, William Stanley, Jim Hurst. sigada 1998: 263-275 [doi]

A Simple Flexible Program for the Computational Analysis of Amyl Acyl Residue Distribution in Proteins: Application to the Distribution of Aromatic versus Aliphatic Hydrophobic Amino Acids in Transmembrane alpha-Helical Spanners of Integral Membrane TransS. Tsang, Milton H. Saier Jr.. jcb, 3(1):185-190, 1996.

Perspectives on Program AnalysisFlemming Nielson. ACM Comput. Surv., 28(4es):168, 1996.

Timing Analysis of Ada Tasking ProgramsJames C. Corbett. TSE, 22(7):461-483, 1996. [doi]

Specialization of Imperative Programs Through Analysis of Relational ExpressionsAlexander Sakharov. Dagstuhl 1996: 430-445

The Future of Program AnalysisBarbara G. Ryder. ACM Comput. Surv., 28(4es):174, 1996.

Novel PC-program-systems for Efficient Analysis; Simulation and Iteration of High-resolution 1-D NMR SpectraGerhard Hägele, Rainer Fuhler, Hans Wolfgang Höffken, Thomas Lenzen, Robert Spiske, Ursula Weber. CANDC, 19(3):283-285, 1995. [doi]

Dynamic Matrices and the Cost Analysis of Concurrent ProgramsGian Luigi Ferrari, Ugo Montanari. amast 1995: 307-321

SpinA-AT and DNMR-SIM--two New PC-programs for Analysis and Simulation of NMR SpectraRainer Fuhler, Thomas Lenzen, Gerhard Hägele. CANDC, 19(3):277-282, 1995. [doi]

KITP-93: An Automated Inference System for Program AnalysisTie-Cheng Wang, Allen Goldberg. cade 1994: 831-835

On the Efficient Engineering of Ambitious Program AnalysisJong-Deok Choi, Ron Cytron, Jeanne Ferrante. TSE, 20(2):105-114, 1994. [doi]

Software Tools for Micro-analysis of ProgramsJacques Cohen, Aline Weitzman. SPE, 22(9):777-808, 1992.

SSCNAP: a program for symbolic analysis of switched capacitor circuitsBixia Li, Deren Gu. tcad, 11(3):334-340, 1992. [doi]

CASPER: a computer program used for structural analysis of carbohydratesPer Erik Jansson, Lennart Kenne, Goeran Widmalm. jcisd, 31(4):508-516, 1991. [doi]

A Framework for Construction and Evaluation of High-Level Specifications for Program Analysis TechniquesG. A. Venkatesh. PLDI 1989: 1-12

COMAP: a comigrating analysis program for estimating the relationship of adenoviruses on the genome levelT. Adrian, W. Heinrich. nar, 14(1):559-565, 1986.

A collection of programs for nucleic acid and protein analysis, written in FORTRAN 77 for IBM-PC compatible microcomputersB. Franz Lang, Gertraud Burger. nar, 14(1):455-465, 1986.

Improved programs for DNA and protein sequence analysis on the IBM personal computer and other standard computer systemsD. W. Mount, B. Conrad. nar, 14(1):443-454, 1986.

The SEQANAL and SEQTALK programs: a new method of access to high- resolution nucleotide sequence comparison and analysis programs from a remote laboratory mini- or microcomputerL. Burnett, A. Basten, W. J. Hensley. bioinformatics, 1(4):241-247, 1985.

Microcomputer programs for graphic analysis of nucleic acid and protein sequencesD. W. Mount, B. Conrad. nar, 12(1):811-817, 1984.

A comprehensive set of sequence analysis programs for the VAXJ. Devereux, P. Haeberli, O. Smithies. nar, 12(1):387-395, 1984.

Programmable calculator section : Numerical analysis of one-dimensional and cylindrical diffusion systems using a programmable calculatorW. Linert, K. J. Stiglbrunner, P. Rechberger. CANDC, 8(1):59-66, 1983. [doi]

Symbolic Program Analysis in Almost-Linear TimeJohn H. Reif, Robert Endre Tarjan. SICOMP, 11(1):81-93, 1982.

Loop Elimination and Loop Reduction-A Model-Theoretic Analysis of Programs (Partial Report)A. J. Kfoury. focs 1980: 173-184

Analysis of Simple Programs Over Different Sets of PrimitivesA. J. Kfoury. POPL 1980: 56-61

A Theoretical Study of the Time Analysis of ProgramsAkeo Adachi, Takumi Kasai, Etsuro Moriya. mfcs 1979: 201-207

Sensitivity Analysis Procedures for Geometric Programs: Computational AspectsJohn J. Dinkel, Gary A. Kochenberger, S. N. Wong. TOMS, 4(1):1-14, 1978. [doi]

Intelligent Program AnalysisGregory R. Ruth. ai, 7(1):65-85, 1976.

Logical Analysis of ProgramsShmuel Katz, Zohar Manna. CACM, 19(4):188-206, 1976.

A Computer Program for the Statistical Analysis of Series of EventsPeter A. W. Lewis. IBMSJ, 5(4):202-225, 1966.

An Experimental Program for Linkage AnalysisFrank Bitonti, DeWitt W. Cooper, David N. Frayne, Howard H. Hansen. IBMSJ, 4(3):200-223, 1965.

runs on WebDSL