Silviya Grigorova

According to our database, Silviya Grigorova authored at least 4 papers between 2013 and 2016.

Collaborative distances:

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

2016

A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case.

Valentin Cassano, Thomas Stephen Edward Maibaum, Silviya Grigorova

Proceedings of the Formal Methods and Software Engineering, 2016

2015

Is Current Incremental Safety Assurance Sound?

Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng

Proceedings of the Computer Safety, Reliability, and Security, 2015

2014

Argument Evaluation in the Context of Assurance Case Confidence Modeling.

Silviya Grigorova, T. S. E. Maibaum

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

2013

Taking a page from the law books: Considering evidence weight in evaluating assurance case confidence.

Silviya Grigorova, T. S. E. Maibaum

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013