Tagged by "Linux"

Publications

Variability Model of the Linux Kernel
Formal Semantics of the Kconfig Language
Reverse Engineering Feature Models
Configuration Challenges in Linux and eCos: A Survey

Projects

Feature Models in the Wild
Improving Usability of the Linux Kernel Configuration Tools
Reverse Engineering Feature Models

News Items

Variability Modeling in the Real: A Perspective from the Operating Systems Domain accepted at ASE 2010
"Reverse Engineering Feature Models" accepted at ICSE 2011

Tools

Linux Variability Analysis Tools (LVAT)

Home
Research Topics
Projects
Tools
Lab Members
Publications
Industrial Collaborators
Login

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

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

Moises Branco

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

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

University of Waterloo

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