Tagged by "Configuration"

Publications

Decision-making coordination in collaborative product configuration
Efficient compilation techniques for large scale feature models
Verifying feature-based model templates against well-formedness OCL constraints
Synchronizing Cardinality-Based Feature Models and Their Specializations
FeaturePlugin: Feature Modeling Plug-In for Eclipse

Projects

Improving Usability of the Linux Kernel Configuration Tools

Home
Research Topics
Projects
Tools
Lab Members
Publications
Industrial Collaborators
Login

Our lab is a very exciting place to learn and work!

Moises Branco

In our lab, people rarely work alone - we collaborate a lot with each other as well as with external researchers and our industry partners.

Michal Antkiewicz

Recent Publications

Modeling the Effects of AUTOSAR Overheads on Application Timing and Schedulability
Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems
Modeling and Reasoning with Multirelations, and their encoding in Alloy
Exponential Recency Weighted Average Branching Heuristic for SAT Solvers
A Novel Approach for Estimating Truck Factors
Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners
Cost-Efficient Sampling for Performance Prediction of Configurable Systems

Feature Modeling clafer tools release Reverse Engineering API Framework comprehension eCos Software Product Lines Software Maintenance Variability Modeling Linux FSML Clafer

Generative Software Development Lab
Department of Electrical and Computer Engineering
University of Waterloo
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1