Alma L. Juarez Dominguez

Publication Activity (10 Years)

Years Active: 2005-2013
Publications (10 Years): 0

Top Topics

Safety Critical

Computing Systems

Top Venues

University of Waterloo, Ontario, Canada (PHD)

Education History

University of Waterloo, Ontario, Canada

PHD

Publications

Alma L. Juarez Dominguez, Bruce G. Partridge, Jeffrey J. Joyce
Creating safety assurance cases for rebreather systems. ASSURE@ICSE (2013)
Alma L. Juarez Dominguez
Feature Interaction Detection in the Automotive Domain. ASE (2008)
Alma L. Juarez Dominguez, Nancy A. Day, Jeffrey J. Joyce
Modelling feature interactions in the automotive domain. MiSE (2008)
Alma L. Juarez Dominguez, Nancy A. Day
Compositional reasoning for port-based distributed systems. ASE (2005)