Projects per year
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
- 5 Finished
VLPL: Software Product Lines Verification
HEYMANS, P., SCHOBBENS, P., Classen, A., CORDY, M., KANG, E. & Legay, A.
1/01/11 → 1/01/13
Project: Research
Re2adapt: Research network on software adaptability
HEYMANS, P., BOUCHER, Q., Classen, A., HUBAUX, A. & SCHOBBENS, P.
1/06/08 → 1/06/12
Project: Research
Problem-driven Specification and Verification of Software Product Lines
1/10/07 → 30/09/11
Project: Research
Thèse-A-Classen: Modelling and Model Checking Variability-Intensive Systems
Classen, A., HEYMANS, P. & SCHOBBENS, P.
1/10/07 → 1/10/11
Project: PHD
MoVES: Fundamental Issues in Software Engineering: Modelling, Verification and Evolution of Software
SCHOBBENS, P., BAINA, S., Bontemps, Y., BROGNEAUX, A., Classen, A., Cleve, A., DETIENNE, V., ENGLEBERT, V., FAULKNER, S., GENON, N., HABRA, N., HAINAUT, J., HEYMANS, P., HUBAUX, A., JURETA, I., MATULEVICIUS, R., Mayer, N., OGER, L., Petit, M., RAMDOYAL, R., SANDRON, S., SAVAL, G., TOUSSAINT, H., Trigaux, J., Vanderose, B. & Zeippen, J.
1/01/07 → 31/12/11
Project: Research
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 proceeding › Chapter (peer-reviewed)
Explosions
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 journal › Article
Open Access
File
Specification languages
Model checking
Explosions
Semantics
Specifications
Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking
Classen, A., Cordy, M., Schobbens, P-Y., Heymans, P., Legay, A. & Raskin, J-F., 1 Jan 2013, In : IEEE Transactions on Software Engineering. 39, 8, p. 1069-1089 21 p.Research output: Contribution to journal › Article
Model checking
Quality assurance
Mathematical models
Chemical analysis
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 proceeding › Chapter
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 conference › Paper
Model checking
Mathematical models
Formal verification
Activities 2007 2012
2013 35th International Conference on Software Engineering, ICSE 2013
Andreas Classen (Contributor)9 Oct 2012
Activity: Participating in or organising an event types › Participation in conference
Reviewer: Information and Software Technology, Elsevier
Andreas Classen (Contributor)9 Aug 2012
Activity: Participating in or organising an event types › Participation in conference
PC Co-Chair: Third Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2012), held in conjunction with SPLC'12, Salvador, Brazil, September 2-7, 2012
Andreas Classen (Contributor)14 Jun 2012
Activity: Participating in or organising an event types › Participation in conference
PC Member: Posters and Demos track at the 20th International Requirements Engineering Conference (RE'12), September 24th-28th, 2012, Chicago, Illinois, USA.
Andreas Classen (Contributor)13 Jun 2012
Activity: Participating in or organising an event types › Participation in conference
Reviewer: Software and Systems Modeling, Springer
Andreas Classen (Contributor)7 Dec 2011
Activity: Participating in or organising an event types › Participation in conference
Thesis
Conception d'un logiciel automatisant le contrôle et l'analyse de modèles TVL
Author: Faber, P., 2010Supervisor: Heymans, P. (Supervisor), Classen, A. (Co-Supervisor) & Boucher, Q. (Co-Supervisor)
Student thesis: Master types › Master in Computer science
File
Modelling and model checking variability-intensive systems
Author: Classen, A., 3 Oct 2011Supervisor: 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 types › Doctor of Sciences
File
Problem-oriented modelling and verification of software product lines
Author: Classen, A., 2007Supervisor: Heymans, P. (Co-Supervisor) & Schobbens, P. (Co-Supervisor)
Student thesis: Master types › Master in Computer science
File