( en | de | ru )

 

Disambiguation of "Classen, Andreas"

Author of the publication

copydeleteadd this publication to your clipboard
Feature Diagrams for Change-Oriented Programming.

, , , and . ICFI, page 107-122. IOS Press, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andreas Claßen

Andreas Claßen

Sabine Claßen

Novel aspects of TGFß TGFbeta in human CD4_1hn+ T cell biology. Uni Bonn, (2008)

Janine Claßen

Wilhelm Classen

 

Other publications of authors with the same name

Modelling and model checking variability-intensive systems. University of Namur, Belgium, (2011)Using the event calculus to reason about problem diagrams., , , , and . IWAAPF@ICSE, page 74-77. ACM, (2008)Model Checking Adaptive Software with Featured Transition Systems., , , , and . Assurances for Self-Adaptive Systems, volume 7740 of Lecture Notes in Computer Science, Springer, (2013)Symbolic model checking of software product lines., , , and . ICSE, page 321-330. ACM, (2011)Managing evolution in software product lines: a model-checking perspective., , , , and . VaMoS, page 183-191. ACM, (2012)Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking., , , , , and . IEEE Trans. Software Eng., 39 (8): 1069-1089 (2013)What's in a Feature: A Requirements Engineering Perspective., , and . FASE, volume 4961 of Lecture Notes in Computer Science, page 16-30. Springer, (2008)Model checking lots of systems: efficient verification of temporal properties in software product lines., , , , and . ICSE (1), page 335-344. ACM, (2010)Problem-Oriented Feature Interaction Detection in Software Product Lines.. ICFI, page 203-206. IOS Press, (2007)Relating requirements and feature configurations: a systematic approach., , , , and . SPLC, volume 446 of ACM International Conference Proceeding Series, page 201-210. ACM, (2009)