Alma L. Juarez Dominguez

According to our database, Alma L. Juarez Dominguez authored at least 5 papers between 2005 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2013

Creating safety assurance cases for rebreather systems.

Alma L. Juarez Dominguez, Bruce G. Partridge, Jeffrey J. Joyce

Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, 2013

2012

Detection of Feature Interactions in Automotive Active Safety Features.

Alma L. Juarez Dominguez

PhD thesis, 2012

2008

Feature Interaction Detection in the Automotive Domain.

Alma L. Juarez Dominguez

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Modelling feature interactions in the automotive domain.

Alma L. Juarez Dominguez, Nancy A. Day, Jeffrey J. Joyce

Proceedings of the International Workshop on Modeling in Software Engineering, 2008

2005

Compositional reasoning for port-based distributed systems.

Alma L. Juarez Dominguez, Nancy A. Day

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005