Victoria Stavridou

Publication Activity (10 Years)

Years Active: 1987-2003
Publications (10 Years): 0

Publications

Alfonso Valdes, Magnus Almgren, Steven Cheung, Yves Deswarte, Bruno Dutertre, Joshua Levy, Hassen Saïdi, Victoria Stavridou, Tomás E. Uribe
Dependable Intrusion Tolerance: Technology Demo. DISCEX (2) (2003)
Hassen Saïdi, Victoria Stavridou, Bruno Dutertre
Protocol Codesign. Security Protocols Workshop (2003)
Victoria Stavridou
Protocol Codesign (Discussion). Security Protocols Workshop (2003)
Bruno Dutertre, Valentin Crettaz, Victoria Stavridou
Intrusion-Tolerant Enclaves. IEEE Symposium on Security and Privacy (2002)
Alfonso Valdes, Magnus Almgren, Steven Cheung, Yves Deswarte, Bruno Dutertre, Joshua Levy, Hassen Saïdi, Victoria Stavridou, Tomás E. Uribe
An Architecture for an Adaptive Intrusion-Tolerant Server. Security Protocols Workshop (2002)
Bruno Dutertre, Hassen Saïdi, Victoria Stavridou
Intrusion-Tolerant Group Management in Enclaves. DSN (2001)
Victoria Stavridou
Architectural analysis of component-based systems. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Victoria Stavridou
Dependability Then and Now: Commentary on Donald MacKenzie, "A View from the Sonnenbichl". ICHC (2000)
John Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou
A Formalization of Software Architecture. World Congress on Formal Methods (1999)
Fred Gilham, Robert A. Riemenschneider, Victoria Stavridou
Secure Interoperation of Secure Distributed Databases. World Congress on Formal Methods (1999)
Paul Mukherjee, Victoria Stavridou
Decomposition in Real-Time Safety-Critical Systems. Real Time Syst. 14 (2) (1998)
Victoria Stavridou, Robert A. Riemenschneider
Provably dependable software architectures. ISAW@FSE (1998)
Kirsten Mark Hansen, Anders P. Ravn, Victoria Stavridou
From Safety Analysis to Software Requirements. IEEE Trans. Software Eng. 24 (7) (1998)
Bruno Dutertre, Victoria Stavridou
Formal Requirements Analysis of an Avionics Control System. IEEE Trans. Software Eng. 23 (5) (1997)
Shaoying Liu, Victoria Stavridou, Bruno Dutertre
The practice of formal methods in safety-critical systems. J. Syst. Softw. 28 (1) (1995)
Paul Mukherjee, Victoria Stavridou
A Theory pf Orwellian Specifications with NewThink. Formal Aspects Comput. 7 (6) (1995)
Victoria Stavridou
Gordon's Computer: A Hardware Verification Case Study in OBJ3. Formal Methods Syst. Des. 4 (3) (1994)
Victoria Stavridou
Formal Methods and VLSI Engineering Practice. Comput. J. 37 (2) (1994)
Jonathan P. Bowen, Victoria Stavridou
Safety-critical systems, formal methods and standards. Softw. Eng. J. 8 (4) (1993)
Jonathan P. Bowen, Victoria Stavridou
The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective. FME (1993)
Paul Mukherjee, Victoria Stavridou
The Formal Specification of Safety Requirements for Storing Explosives. Formal Aspects Comput. 5 (4) (1993)
Victoria Stavridou, Joseph A. Goguen, A. Stevens, S. M. Eker, S. N. Aloneftis, Keith Michael Hobley
FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment. TPCD (1992)
Paul Mukherjee, Victoria Stavridou
Newthink - An Orwellian specification language for real-time safety critical systems. RTS (1992)
Robin M. Gallimore, Derek Coleman, Victoria Stavridou
UMIST OBJ: A Language for Executable Program Specifications. Comput. J. 32 (5) (1989)
Victoria Stavridou, Howard Barringer, David A. Edwards
Formal Specification and Verification of Hardware: A Comparative Case Study. DAC (1988)
Derek Coleman, Robin M. Gallimore, Victoria Stavridou
The design of a rewrite rule interpreter from algebraic specifications. Softw. Eng. J. 2 (4) (1987)