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
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
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
Problem-driven Specification and Verification of Software Product Lines
1/10/07 → 30/09/11
Project: Research
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)
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
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 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
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
Activities 2007 2012
2013 35th International Conference on Software Engineering, ICSE 2013
Andreas Classen (Contributor)Activity: Participating in or organising an event types › Participation in conference
Reviewer: Information and Software Technology, Elsevier
Andreas Classen (Contributor)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)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)Activity: Participating in or organising an event types › Participation in conference
Reviewer: Software and Systems Modeling, Springer
Andreas Classen (Contributor)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
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
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