Sofia Guerra

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2006
j2		Robin E. Bloomfield, Sofia Guerra, Ann Miller, Marcelo Masera, Charles B. Weinstock: International Working Group on Assurance Cases (for Security). IEEE Security & Privacy 4(3): 66-68 (2006)
	2005
c7		Peter G. Bishop, Robin E. Bloomfield, Sofia Guerra, Konstantinos Tourlas: Justification of Smart Sensors for Nuclear Applications. SAFECOMP 2005: 194-207
	2004
c6		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
c5		Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra, Claire Jones: Integrity Static Analysis of COTS/SOUP. SAFECOMP 2003: 63-76
	2002
c4		Robin E. Bloomfield, Sofia Guerra: Process Modelling to Support Dependability Arguments. DSN 2002: 113-122
c3		Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra: Software Criticality Analysis of COTS/SOUP. SAFECOMP 2002: 198-211
	2001
j1		Sofia Guerra: Composition of Default Specifications. J. Log. Comput. 11(4): 559-578 (2001)
	2000
c2		Sofia Guerra: Distance Functions for Defaults in Reactive Systems. AMAST 2000: 26-40
c1		Kenji Takahashi, Wolfgang Emmerich, Anthony Finkelstein, Sofia Guerra: System development using application services over the Net (tutorial session). ICSE 2000: 830

Coauthor Index

Last update Sun May 19 19:47:46 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page