Andreas Classen

  • 967 Citations
  • 14 h-Index
20062014
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.

  • 7 Similar Profiles
Model checking Engineering & Materials Science
Semantics Engineering & Materials Science
Specification languages Engineering & Materials Science
Specifications Engineering & Materials Science
Requirements engineering Engineering & Materials Science
Computer software reusability Engineering & Materials Science
Adaptive systems Engineering & Materials Science
Communication satellites Engineering & Materials Science

Projects 2007 2013

Research Output 2006 2014

161 Downloads (Pure)
Open Access
File
Specification languages
Model checking
Explosions
Semantics
Specifications
Model checking
Quality assurance
Mathematical models
Chemical analysis
187 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
Adaptive systems
Model checking
Failure modes
Costs
Modeling languages

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

Model checking
Mathematical models
Formal verification
File
Communication satellites
Industry
Defects
Costs

Activities 2007 2012

  • 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