|
Search the dblp DataBase
Sofia Guerra:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Sofia Guerra
Distance Functions for Defaults in Reactive Systems. [Citation Graph (0, 0)][DBLP] AMAST, 2000, pp:26-40 [Conf]
- Robin E. Bloomfield, Sofia Guerra
Process Modelling to Support Dependability Arguments. [Citation Graph (0, 0)][DBLP] DSN, 2002, pp:113-122 [Conf]
- Charles Howell, Sofia Guerra, Shari Lawrence Pfleeger, Victoria Stavridou-Coleman
Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities. [Citation Graph (0, 0)][DBLP] DSN, 2004, pp:903- [Conf]
- Kenji Takahashi, Wolfgang Emmerich, Anthony Finkelstein, Sofia Guerra
System development using application services over the Net (tutorial session). [Citation Graph (0, 0)][DBLP] ICSE, 2000, pp:830- [Conf]
- Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra
Software Criticality Analysis of COTS/SOUP. [Citation Graph (0, 0)][DBLP] SAFECOMP, 2002, pp:198-211 [Conf]
- Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra, Claire Jones
Integrity Static Analysis of COTS/SOUP. [Citation Graph (0, 0)][DBLP] SAFECOMP, 2003, pp:63-76 [Conf]
- Peter G. Bishop, Robin E. Bloomfield, Sofia Guerra, Konstantinos Tourlas
Justification of Smart Sensors for Nuclear Applications. [Citation Graph (0, 0)][DBLP] SAFECOMP, 2005, pp:194-207 [Conf]
- Sofia Guerra
Composition of Default Specifications. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2001, v:11, n:4, pp:559-578 [Journal]
Search in 0.001secs, Finished in 0.002secs
|