Andreas Classen

  • 1035 Citations
  • 14 h-Index
20062019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

2019

A Decade of Featured Transition Systems

Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., Schobbens, P-Y. & Raskin, J-F., Oct 2019, From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. ter Beek, M., Fantechi, A. & Semini, L. (eds.). Springer Verlag, p. 285-312 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

2014
Open Access
File
221 Downloads (Pure)
2013

Model checking adaptive software with featured transition systems

Cordy, M., Classen, A., Heymans, P., Legay, A. & Schobbens, P., 1 Jan 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Principles, Models, and Techniques. Cámara, J., de Lemos, R., Ghezzi, C. & Lopes, A. (eds.). Heidelberg Dordrecht London New York: Springer, Vol. 7740. p. 1-29 29 p. (Lecture Notes in Computer Science).

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

Open Access
File
188 Downloads (Pure)

ProVeLines: A Product Line of Verifiers for Software Product Lines

Cordy, M., Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A., Aug 2013, p. 141 - 146. 6 p.

Research output: Contribution to conferencePaper

2012
File
120 Downloads (Pure)

Managing evolution in Software Product Lines: A model-checking perspective

Cordy, M., Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A., 2012, Proceedings of the Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany, January 25-27. Ulrich, W., Sven, E. & Stefania, A. (eds.). ACM Press, p. 183-191 9 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

114 Downloads (Pure)

Simulation-Based Abstractions for Software Product-Line Model Checking

Cordy, M., Classen, A., Perrouin, G., Heymans, P., Schobbens, P-Y. & Legay, A., 2012, Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9. IEEE, Vol. 672-682.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
29 Downloads (Pure)
2011

A Formal Semantics for Feature Cardinalities in Feature Diagrams

Michel, R., Classen, A., Hubaux, A. & Boucher, Q., 2011, Proceedings of the Fifth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'11), Namur, Belgium, January 27-29. ACM Press, p. 83-90 8 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
153 Downloads (Pure)

A Text-based Approach to Feature Modelling: Syntax and Semantics of TVL

Classen, A., Boucher, Q. & Heymans, P., 2011, In : Science of Computer Programming. 76, 12, p. 1130-1143 14 p.

Research output: Contribution to journalArticle

File
251 Downloads (Pure)
259 Downloads (Pure)

Symbolic Model Checking of Software Product Lines

Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A., 2011, 33rd International Conference on Software Engineering, ICSE 2011, May 21-28, 2011, Waikiki, Honolulu, Hawaii, Proceedings. ACM Press, p. 321-330 10 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
165 Downloads (Pure)
2010

A Preliminary Review on the Application of Feature Diagrams in Practice

Hubaux, A., Classen, A., Mendonca, M. & Heymans, P., 2010, Proceedings of the Fourth Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria, January 27-29. p. 53-59 7 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
198 Downloads (Pure)
File
223 Downloads (Pure)

Introducing TVL, a Text-based Feature Modelling Language

Boucher, Q., Classen, A., Faber, P. & Heymans, P., 2010, Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria, January 27-29. University of Duisburg-Essen, p. 159-162 4 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
742 Downloads (Pure)

Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines

Classen, A., Heymans, P., Schobbens, P-Y., Legay, A. & Raskin, J-F., 2010, 32nd International Conference on Software Engineering, ICSE 2010, May 2-8, 2010, Cape Town, South Africa, Proceedings. ACM Press, p. 335-344 10 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
52 Downloads (Pure)
File
298 Downloads (Pure)

Tag and Prune: A Pragmatic Approach to Software Product Line Implementation

Boucher, Q., Classen, A., Heymans, P., Bourdoux, A. & Demonceau, L., 2010, 25th IEEE/ACM International Conference on Automated Software Engineering (ASE'10), Antwerp, Belgium, 20-24 September 2010. ACM Press, p. 333-336 4 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
125 Downloads (Pure)

The TVL Specification

Classen, A., Boucher, Q., Faber, P. & Heymans, P., 2010

Research output: Other contribution

File
79 Downloads (Pure)

Workflow-driven Product Derivation (Invited Talk)

Hubaux, A., Abbasi, E. K., Classen, A. & Heymans, P., 2010, (Unpublished) First International Workshop on Product Line Requirements Engineering and Quality (PLREQ'10), June 30, 2010 , Essen, Germany. Schmid, K. (ed.).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
71 Downloads (Pure)

XToF: A Tool for Tag-based Product Line Implementation

Gauthier, C., Classen, A., Boucher, Q., Heymans, P., Storey, M-A. & Mendonca, M., 2010, Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria, January 27-29. p. 163-166 4 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
38 Downloads (Pure)
2009

A Formal Semantics for Multi-level Staged Configuration

Classen, A., Hubaux, A. & Heymans, P., 2009, Proceedings of the Third Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09). Duisburg-Essen: Institute for Computer Science and Business Information Systems , p. 51-60 10 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
181 Downloads (Pure)

Analysis of Feature Configuration Workflows

Classen, A., Hubaux, A. & Heymans, P., 2009, p. 381-382. 2 p.

Research output: Contribution to conferencePoster

File
33 Downloads (Pure)

Feature Diagrams for Change-Oriented Programming

Ebraert, P., Classen, A., Heymans, P. & D'Hondt, T., 2009, (Unpublished) Proceedings of the 10th International Conference on Feature Interactions (ICFI'09), Lisbon, Portugal. Nakamura, M. & Reiff-Marganiec, S. (eds.). Amsterdam: IOS Press, p. 107-122 16 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
163 Downloads (Pure)

Feature Management Applied to On-Board Software Building Blocks

Bourdoux, A., Demonceau, L., Parisis, P., Classen, A. & Boucher, Q., 2009, Proceedings of DASIA 2009, DAta Systems In Aerospace, May 2009, Istanbul, Turkey. ESA

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
52 Downloads (Pure)

Formal Modelling of Feature Configuration Workflows

Hubaux, A., Classen, A. & Heymans, P., 2009, Proceedings of the 13th International Software Product Lines Conference (SPLC'09), San Francisco, CA, USA. John, D. & Dirk, M. (eds.). SEI, Carnegie Mellon University, p. 221-230 10 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
170 Downloads (Pure)

Relating Requirements and Feature Configurations: A Systematic Approach

Tun, T. T., Boucher, Q., Classen, A., Hubaux, A. & Heymans, P., 2009, Proceedings of the 13th International Software Product Lines Conference (SPLC'09), San Francisco, CA, USA. John, D. & Dirk, M. (eds.). SEI, Carnegie Mellon University, p. 201-210 10 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
124 Downloads (Pure)

Towards Safer Composition

Classen, A., Heymans, P., Tun, T. T. & Nuseibeh, B., 2009, Proceedings of the 31st International Conference on Software Engineering (ICSE), Companion Volume, New Ideas and Emerging Results Track. Harald, C. & Alessro, G. (eds.). IEEE, p. 227-230 4 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
68 Downloads (Pure)

Automatic Student Coaching and Monitoring Thanks to AUTOMATON: The Case of Writing a Compiler

Linden, I., Toussaint, H., Classen, A. & Schobbens, P-Y., 2008, ECEL 2008: Proceedings of the 7th European Conference on e-Learning, Cyprus 6-7 November 2008. Williams, R. (ed.). p. 109-117 9 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
43 Downloads (Pure)

Evaluating formal properties of feature diagram languages

Heymans, P., Schobbens, P-Y., Trigaux, J-C., Bontemps, Y., Matulevicius, R. & Classen, A., 1 Jan 2008, In : IET Software Journal . 2, 3, p. 281-302 22 p.

Research output: Contribution to journalArticle

File
76 Downloads (Pure)

Modelling Variability in Self-Adaptive systems: Towards a Research Agenda

Classen, A., Hubaux, A., Sanen, F., Truyen, E., Vallejos, J., Costanza, P., De Meuter, W., Heymans, P. & Joosen, W., 2008, (Unpublished) Workshop on Modularization, Composition and Generative Techniques for Product Line Engineering (McGPLE'08), collocated with GPCE'08: Workshop of the Seventh International Conference on Generative Programming and Component Engineering (GPCE'08), October 19-23, 2008, Nashville, Tennessee, USA. p. 19-26 8 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
43 Downloads (Pure)

Taming Time in Software Product Lines

Hubaux, A. & Classen, A., 2008

Research output: Other contribution

File
80 Downloads (Pure)

Using the Event Calculus to Reason about Problem Diagrams

Classen, A., Laney, R., Tun, T. T., Heymans, P. & Hubaux, A., 2008, Proceedings of the Third International Workshop on Applications and Advances in Problem Frames (IWAAPF'08), co-located with ICSE'08. Rapanotti, L., Jon, G., Zhi, H. & Karl, J. (eds.). ACM Press, p. 74-77 4 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
30 Downloads (Pure)

What's in a Feature? A Requirements Engineering Perspective.

Classen, A., Heymans, P. & Schobbens, P-Y., 2008, Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering (FASE'08): Held as part of the Joint European Conferences on Theory and Practice of Software (ETAPS'08), Budapest, Hungary. Luiz, J. & Paola, F. (eds.). Heidelberg: Springer, Vol. 4961. p. 16-30 15 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
1909 Downloads (Pure)
2007

On the Structure of Problem Variability: From Feature Diagrams to Problem Frames

Classen, A., Heymans, P., Laney, R., Nuseibeh, B. & Tun, T. T., 2007, First International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS). Pohl, K., Kang, K., Heymans, P. & Metzger, A. (eds.). Limerick: Lero, Irish Software Engineering Institute, p. 109-117 9 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
83 Downloads (Pure)

Problem-Oriented Feature Interaction Detection in Software Product Lines: Short paper presented at the Doctoral Symposium

Classen, A., 2007, Proceedings of the 9th International Conference on Feature Interactions in Software and Communication Systems (ICFI'07), Grenoble: Doctoral Symposium. du, L. & Jean-Luc, B. (eds.). Amsterdam: IOS Press, p. 217-220 4 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
82 Downloads (Pure)

Towards the Comparative Evaluation of Feature Diagram Languages

Heymans, P., Schobbens, P-Y., Trigaux, J-C., Matulevicius, R., Classen, A. & Bontemps, Y., 2007, Software and Services Variability Management Workshop - Concepts, Models and Tools. Mannisto, T., Niemela, E. & Raatikainen, M. (eds.). Helsinki: Helsinki University of Technology Software Business and Engineering Institute, p. 1-16 16 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
104 Downloads (Pure)
2006

Comparative Semantics of Feature Diagrams: FFD vs vDFD

Trigaux, J-C., Heymans, P., Schobbens, P-Y. & Classen, A., 2006, Proceedings of the Workshop on Comparative Evaluation in Requirements Engineering (CERE'06) held in conjunction with the 14th IEEE International Requirements Engineering Conference (RE'06).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
95 Downloads (Pure)