Sofia Guerra

Publication Activity (10 Years)

Years Active: 2000-2006
Publications (10 Years): 0

Publications

Robin E. Bloomfield, Sofia Guerra, Ann Miller, Marcelo Masera, Charles B. Weinstock
International Working Group on Assurance Cases (for Security). IEEE Secur. Priv. 4 (3) (2006)
Peter G. Bishop, Robin E. Bloomfield, Sofia Guerra, Konstantinos Tourlas
Justification of Smart Sensors for Nuclear Applications. SAFECOMP (2005)
Charles Howell, Sofia Guerra, Shari Lawrence Pfleeger, Victoria Stavridou-Coleman
Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities. DSN (2004)
Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra, Claire Jones
Integrity Static Analysis of COTS/SOUP. SAFECOMP (2003)
Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra
Software criticality analysis of COTS/SOUP. Reliab. Eng. Syst. Saf. 81 (3) (2003)
Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra
Software Criticality Analysis of COTS/SOUP. SAFECOMP (2002)
Robin E. Bloomfield, Sofia Guerra
Process Modelling to Support Dependability Arguments. DSN (2002)
Sofia Guerra
Composition of Default Specifications. J. Log. Comput. 11 (4) (2001)
Sofia Guerra
Distance Functions for Defaults in Reactive Systems. AMAST (2000)
Kenji Takahashi, Wolfgang Emmerich, Anthony Finkelstein, Sofia Guerra
System development using application services over the Net (tutorial session). ICSE (2000)