Silviya Grigorova

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 1

Top Topics

Knowledge Retrieval

Modeling Framework

Evaluation Method

Top Venues

ISSRE (Supplemental Proceedings)

SAFECOMP Workshops

ISSRE Workshops

Publications

Valentin Cassano, Thomas Stephen Edward Maibaum, Silviya Grigorova
A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case. ICFEM (2016)
Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
Is Current Incremental Safety Assurance Sound? SAFECOMP Workshops (2015)
Silviya Grigorova, T. S. E. Maibaum
Argument Evaluation in the Context of Assurance Case Confidence Modeling. ISSRE Workshops (2014)
Silviya Grigorova, T. S. E. Maibaum
Taking a page from the law books: Considering evidence weight in evaluating assurance case confidence. ISSRE (Supplemental Proceedings) (2013)