| 2005 |
|---|
| 8 | EE | Peter G. Bishop,
Robin E. Bloomfield,
Sofia Guerra,
Konstantinos Tourlas:
Justification of Smart Sensors for Nuclear Applications.
SAFECOMP 2005: 194-207 |
| 2004 |
|---|
| 7 | | Charles Howell,
Sofia Guerra,
Shari Lawrence Pfleeger,
Victoria Stavridou-Coleman:
Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities.
DSN 2004: 903 |
| 2003 |
|---|
| 6 | EE | Peter G. Bishop,
Robin E. Bloomfield,
Tim Clement,
Sofia Guerra,
Claire Jones:
Integrity Static Analysis of COTS/SOUP.
SAFECOMP 2003: 63-76 |
| 2002 |
|---|
| 5 | EE | Robin E. Bloomfield,
Sofia Guerra:
Process Modelling to Support Dependability Arguments.
DSN 2002: 113-122 |
| 4 | EE | Peter G. Bishop,
Robin E. Bloomfield,
Tim Clement,
Sofia Guerra:
Software Criticality Analysis of COTS/SOUP.
SAFECOMP 2002: 198-211 |
| 2001 |
|---|
| 3 | EE | Sofia Guerra:
Composition of Default Specifications.
J. Log. Comput. 11(4): 559-578 (2001) |
| 2000 |
|---|
| 2 | EE | Sofia Guerra:
Distance Functions for Defaults in Reactive Systems.
AMAST 2000: 26-40 |
| 1 | EE | Kenji Takahashi,
Wolfgang Emmerich,
Anthony Finkelstein,
Sofia Guerra:
System development using application services over the Net (tutorial session).
ICSE 2000: 830 |
