Andreas Classen

  • 1002 Citations
  • 14 h-Index
20062019
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.

  • 8 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
Explosions Engineering & Materials Science
Adaptive systems Engineering & Materials Science

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

Projects 2007 2013

Research Output 2006 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)

Explosions
178 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

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