Clafer: Lightweight Modeling of Structure and Behaviour

TitleClafer: Lightweight Modeling of Structure and Behaviour
Publication TypeJournal Article
Year of Publication2018
AuthorsJuodisius, P., A. Sarkar, R. Rao Mukkamala, M. Antkiewicz, K. Czarnecki, and A. Wąsowski
KeywordsBehaviour modeling, Feature Modeling, Language Design, Semantics, Variability Modeling

Examples models in Behavioral Clafer are published on Clafer Model wiki and summarized on the Clafer blog

Refereed DesignationRefereed

WISE Lab logo


We are looking for postdocs and graduate students interested in working on all aspects of autonomous driving.

For more information, visit Open positions.