Home

Best paper at MDI'10

by Xiong, Yingfei on October 31, 2010

Paper Specifying Overlaps of Heterogeneous Models for Global Consistency Checking was selected as one of the two best papers at MDI'10 and will appear in the post-proceedings of MoDELS workshops.

Tags:
  • Awards
  • Model Synchronization
  • Home
  • Research Topics
  • Projects
  • Tools
  • Lab Members
  • Publications
  • Industrial Collaborators
  • Login

Our extensive industrial collaboration enables us to do research with immediate application to software development practices in realistic settings.

Thiago Tonelli Bartolomei

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
Software Maintenance Software Product Lines Clafer Feature Modeling Linux FSML Reverse Engineering clafer tools release eCos API Variability Modeling Framework comprehension
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 		Department of Electrical and Computer Engineering