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.
- 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
- 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 2014
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
A Code Tagging Approach to Software Product Line Development: An Application to Satellite Communication Libraries
Heymans, P., Boucher, Q., Classen, A., Bourdoux, A. & Demonceau, L., 2012, In : International Journal on Software Tools for Technology Transfer (STTT). 5, p. 553-566 14 p.Research output: Contribution to journal › Article
File
Communication satellites
Industry
Defects
Costs
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