Sofia Guerra

According to our database, Sofia Guerra authored at least 9 papers between 2000 and 2006.

Collaborative distances:

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

2006

International Working Group on Assurance Cases (for Security).

Robin E. Bloomfield, Sofia Guerra, Ann Miller, Marcelo Masera, Charles B. Weinstock

IEEE Secur. Priv., 2006

2005

Justification of Smart Sensors for Nuclear Applications.

Peter G. Bishop, Robin E. Bloomfield, Sofia Guerra, Konstantinos Tourlas

Proceedings of the Computer Safety, 2005

2004

Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities.

Charles Howell, Sofia Guerra, Shari Lawrence Pfleeger, Victoria Stavridou-Coleman

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003

Software criticality analysis of COTS/SOUP.

Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra

Reliab. Eng. Syst. Saf., 2003

Integrity Static Analysis of COTS/SOUP.

Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra, Claire Jones

Proceedings of the Computer Safety, 2003

2002

Process Modelling to Support Dependability Arguments.

Robin E. Bloomfield, Sofia Guerra

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001

Composition of Default Specifications.

Sofia Guerra

J. Log. Comput., 2001

2000

System development using application services over the Net (tutorial session).

Kenji Takahashi, Wolfgang Emmerich, Anthony Finkelstein, Sofia Guerra

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Distance Functions for Defaults in Reactive Systems.

Sofia Guerra

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000