Victoria Stavridou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1988–2002
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | SP | Intrusion-Tolerant Enclaves. | Bruno Dutertre, Valentin Crettaz, Victoria Stavridou |
| 2001 | DSN | Intrusion-Tolerant Group Management in Enclaves. | Bruno Dutertre, Hassen Sadi, Victoria Stavridou |
| 1999 | FM | Secure Interoperation of Secure Distributed Databases. | Fred Gilham, Robert A. Riemenschneider, Victoria Stavridou |
| 1999 | FM | A Formalization of Software Architecture. | John Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou |
| 1993 | FM | The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective. | Jonathan P. Bowen, Victoria Stavridou |
| 1992 | ECRTS | Newthink - An Orwellian specification language for real-time safety critical systems. | Paul Mukherjee, Victoria Stavridou |
| 1988 | DAC | Formal Specification and Verification of Hardware: A Comparative Case Study. | Victoria Stavridou, Howard Barringer, David A. Edwards |