Distance Functions for Defaults in Reactive Systems. - Sofia Guerra (AMAST, 2000)

System development using application services over the Net (tutorial session). - Kenji Takahashi; Wolfgang Emmerich; Anthony Finkelstein; Sofia Guerra (ICSE, 2000)

Composition of Default Specifications. - Sofia Guerra (J. Log. Comput., 2001)

Process Modelling to Support Dependability Arguments. - Robin E. Bloomfield; Sofia Guerra (DSN, 2002)

Integrity Static Analysis of COTS/SOUP. - Peter G. Bishop; Robin E. Bloomfield; Tim Clement; Sofia Guerra; Claire Jones (SAFECOMP, 2003)

Software criticality analysis of COTS/SOUP. - Peter G. Bishop; Robin E. Bloomfield; Tim Clement; Sofia Guerra (Reliab. Eng. Syst. Saf., 2003)

Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities. - Charles Howell; Sofia Guerra; Shari Lawrence Pfleeger; Victoria Stavridou-Coleman (DSN, 2004)

Justification of Smart Sensors for Nuclear Applications. - Peter G. Bishop; Robin E. Bloomfield; Sofia Guerra; Konstantinos Tourlas (SAFECOMP, 2005)

International Working Group on Assurance Cases (for Security). - Robin E. Bloomfield; Sofia Guerra; Ann Miller; Marcelo Masera; Charles B. Weinstock (IEEE Secur. Priv., 2006)