Andreas Classen

  • 1051 Citations
  • 14 h-Index
20062019

Research output per year

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

Fingerprint Dive into the research topics where Andreas Classen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 9 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects

Research Output

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)

  • Formal semantics, modular specification, and symbolic verification of product-line behaviour

    Classen, A., Cordy, M., Heymans, P., Legay, A. & Schobbens, P. Y., 1 Feb 2014, In : Science of Computer Programming. 80, PART B, p. 416-439 24 p.

    Research output: Contribution to journalArticle

    Open Access
    File
  • 242 Downloads (Pure)
  • 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

  • Activities

    • 63 Participation in conference
    • 12 Participation in workshop, seminar, course

    2013 35th International Conference on Software Engineering, ICSE 2013

    Andreas Classen (Contributor)

    9 Oct 2012

    Activity: Participating in or organising an event typesParticipation in conference

    Reviewer: Information and Software Technology, Elsevier

    Andreas Classen (Contributor)

    9 Aug 2012

    Activity: Participating in or organising an event typesParticipation in conference

    Reviewer: Software and Systems Modeling, Springer

    Andreas Classen (Contributor)

    7 Dec 2011

    Activity: Participating in or organising an event typesParticipation in conference

    Thesis

    Conception d'un logiciel automatisant le contrôle et l'analyse de modèles TVL

    Author: Faber, P., 2010

    Supervisor: Heymans, P. (Supervisor), Classen, A. (Co-Supervisor) & Boucher, Q. (Co-Supervisor)

    Student thesis: Master typesMaster in Computer science

    File

    Modelling and model checking variability-intensive systems

    Author: Classen, A., 3 Oct 2011

    Supervisor: Heymans, P. (Supervisor), Schobbens, P. (Co-Supervisor), Jacquet, J. (Jury), Habra, N. (External person) (Jury), PECHEUR, C. (External person) (Jury), Nuseibeh, B. (External person) (Jury) & KATOEN, J. (External person) (Jury)

    Student thesis: Doc typesDoctor of Sciences

    File

    Problem-oriented modelling and verification of software product lines

    Author: Classen, A., 2007

    Supervisor: Heymans, P. (Co-Supervisor) & Schobbens, P. (Co-Supervisor)

    Student thesis: Master typesMaster in Computer science

    File